| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 66131 | 214786 | 67.27 | 67.31 | 77.52 | 21.45 | 21.29 |
|---|
| zChaff | minisat | SatELite |
| 869.564 |
82.5125 |
131.946 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.24 | 67.26 | 77.42 | 21.72 | 21.57 | 0 | 1825 | 1 | 1825 | 1 | 38531178 | 63.6393 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 607.696 |
143.857 |
110.083 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.20 | 67.47 | 77.51 | 21.80 | 21.43 | 0 | 504 | 0 | 504 | 0 | 12816333 | 21.1488 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 259.763 |
66.5159 |
104.941 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.29 | 67.33 | 77.59 | 21.76 | 21.59 | 0 | 194 | 0 | 194 | 0 | 8126718 | 13.466 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1047.8 |
85.0771 |
57.8222 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.26 | 67.34 | 77.56 | 21.76 | 21.58 | 0 | 92 | 0 | 92 | 0 | 5193585 | 8.70568 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 780.579 |
73.5268 |
97.5382 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.24 | 67.26 | 77.42 | 21.72 | 21.57 | 0 | 1825 | 1 | 1825 | 1 | 31946629 | 52.585 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 601.243 |
154.373 |
104.509 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.20 | 67.47 | 77.51 | 21.80 | 21.43 | 0 | 504 | 0 | 504 | 0 | 11193885 | 18.5282 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 290.013 |
60.7148 |
104.755 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.29 | 67.33 | 77.59 | 21.76 | 21.59 | 0 | 194 | 0 | 194 | 0 | 8126718 | 13.6749 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1084.04 |
79.169 |
56.1765 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.26 | 67.34 | 77.56 | 21.76 | 21.58 | 0 | 92 | 0 | 92 | 0 | 5193585 | 8.72567 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 773.633 |
68.7425 |
95.9984 |