variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
49967 | 162142 | 67.40 | 67.18 | 77.55 | 21.18 | 21.59 |
---|
zChaff | minisat | SatELite |
670.207 |
37.5013 |
38.5471 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 67.37 | 67.13 | 77.44 | 21.46 | 21.89 | 0 | 1405 | 1 | 1405 | 1 | 29006195 | 47.0269 | UNKNOWN |
---|
zChaff | minisat | SatELite |
346.385 |
88.9185 |
26.9719 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 67.57 | 67.10 | 77.53 | 21.32 | 21.95 | 0 | 414 | 0 | 414 | 0 | 9595678 | 14.7838 | UNKNOWN |
---|
zChaff | minisat | SatELite |
250.07 |
25.8131 |
33.5799 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.41 | 67.20 | 77.62 | 21.50 | 21.90 | 0 | 148 | 0 | 148 | 0 | 6120903 | 9.8625 | UNKNOWN |
---|
zChaff | minisat | SatELite |
181.351 |
41.1897 |
31.5622 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 67.43 | 67.17 | 77.58 | 21.49 | 21.91 | 0 | 71 | 0 | 71 | 0 | 3924136 | 6.07508 | UNKNOWN |
---|
zChaff | minisat | SatELite |
200.667 |
61.0087 |
48.0527 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 67.37 | 67.13 | 77.44 | 21.46 | 21.89 | 0 | 1402 | 1 | 1402 | 1 | 24059958 | 38.3282 | UNKNOWN |
---|
zChaff | minisat | SatELite |
137.049 |
80.6437 |
26.8079 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 67.57 | 67.10 | 77.53 | 21.33 | 21.95 | 0 | 412 | 0 | 412 | 0 | 8389305 | 12.3261 | UNKNOWN |
---|
zChaff | minisat | SatELite |
154.834 |
25.8181 |
33.5469 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.41 | 67.20 | 77.62 | 21.50 | 21.90 | 0 | 148 | 0 | 148 | 0 | 6120903 | 9.37757 | UNKNOWN |
---|
zChaff | minisat | SatELite |
193.397 |
39.399 |
31.3962 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 67.43 | 67.17 | 77.58 | 21.49 | 21.91 | 0 | 71 | 0 | 71 | 0 | 3924136 | 6.52701 | UNKNOWN |
---|
zChaff | minisat | SatELite |
178.399 |
61.7206 |
49.1045 |