| 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 |