variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2111 | 19998 | 35.51 | 20.63 | 10.71 | 0.01 | 0.01 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 32.27 | 16.62 | 6.21 | 0.17 | 0.35 | 0 | 970 | 5 | 970 | 5 | 309633 | 0.937857 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 35.53 | 20.63 | 10.72 | 0.16 | 0.34 | 0 | 9 | 0 | 9 | 0 | 217420 | 0.672897 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 35.53 | 20.63 | 10.72 | 0.16 | 0.34 | 0 | 9 | 0 | 9 | 0 | 256313 | 0.879866 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 35.53 | 20.63 | 10.72 | 0.16 | 0.34 | 0 | 9 | 0 | 9 | 0 | 217420 | 0.674897 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 35.53 | 20.64 | 10.72 | 0.17 | 0.34 | 0 | 8 | 0 | 8 | 0 | 129631 | 0.804877 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 35.53 | 20.64 | 10.72 | 0.17 | 0.34 | 0 | 8 | 0 | 8 | 0 | 90624 | 0.596909 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 35.53 | 20.64 | 10.72 | 0.17 | 0.34 | 0 | 8 | 0 | 8 | 0 | 129450 | 0.815875 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 35.53 | 20.64 | 10.72 | 0.17 | 0.34 | 0 | 8 | 0 | 8 | 0 | 90624 | 0.596909 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |