| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 132555 | 469519 | 67.10 | 67.24 | 80.94 | 21.83 | 21.61 |
|---|
| zChaff | minisat | SatELite |
| 7627.95 |
875.379 |
833.179 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 66.18 | 66.20 | 78.61 | 21.39 | 21.29 | 0 | 55816 | 12 | 55816 | 12 | 169461164 | 359.529 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5620.25 |
531.311 |
244.233 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 66.13 | 69.33 | 80.49 | 22.51 | 19.30 | 0 | 14167 | 3 | 14167 | 3 | 55126382 | 116.735 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2926.38 |
561.406 |
976.24 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.17 | 67.31 | 81.11 | 21.86 | 21.64 | 0 | 1010 | 0 | 1010 | 0 | 25344169 | 55.3866 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10157.9 |
759.433 |
281.311 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.11 | 67.33 | 81.05 | 21.86 | 21.63 | 0 | 640 | 0 | 640 | 0 | 17340888 | 37.6293 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2419.52 |
555.473 |
760.592 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.75 | 66.87 | 80.12 | 21.70 | 21.50 | 0 | 24384 | 5 | 24384 | 5 | 109636324 | 229.84 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
543.864 |
675.887 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 66.70 | 68.17 | 80.81 | 22.14 | 20.65 | 0 | 6393 | 1 | 6393 | 1 | 39588071 | 83.4673 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
687.062 |
1276.87 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.17 | 67.31 | 81.11 | 21.86 | 21.64 | 0 | 1010 | 0 | 1010 | 0 | 25344169 | 55.6915 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10024 |
751.795 |
271.536 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.11 | 67.33 | 81.05 | 21.86 | 21.63 | 0 | 640 | 0 | 640 | 0 | 17340888 | 37.7283 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2448.27 |
498.809 |
733.524 |