| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 51673 | 213684 | 81.44 | 77.50 | 78.07 | 5.69 | 9.41 |
|---|
| zChaff | minisat | SatELite |
| 1.74773 |
0.500923 |
7.02593 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.30 | 76.21 | 76.36 | 6.21 | 10.26 | 3 | 18828 | 9 | 18828 | 9 | 43538904 | 30.9753 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.59476 |
1.26381 |
6.42602 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.02 | 77.67 | 78.26 | 5.59 | 9.87 | 0 | 1508 | 1 | 1508 | 1 | 8699174 | 5.98909 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.2988 |
0.307953 |
8.42472 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.74 | 77.77 | 78.36 | 5.93 | 9.84 | 0 | 805 | 0 | 805 | 0 | 5392231 | 3.90341 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.515921 |
0.482926 |
8.80266 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.73 | 77.75 | 78.34 | 5.93 | 9.84 | 0 | 740 | 0 | 740 | 0 | 4559188 | 3.15152 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.09183 |
0.435933 |
7.73982 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.51 | 77.72 | 77.73 | 5.80 | 9.53 | 3 | 6881 | 3 | 6881 | 3 | 28228082 | 19.737 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.08268 |
0.752885 |
6.53701 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.02 | 77.67 | 78.26 | 5.59 | 9.87 | 0 | 1508 | 1 | 1508 | 1 | 8669438 | 6.04108 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.3258 |
0.301954 |
8.41072 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.74 | 77.77 | 78.36 | 5.93 | 9.84 | 0 | 805 | 0 | 805 | 0 | 5392231 | 3.9394 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.539919 |
0.477927 |
8.23875 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.73 | 77.75 | 78.34 | 5.93 | 9.84 | 0 | 740 | 0 | 740 | 0 | 4559188 | 3.14152 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.10483 |
0.436933 |
7.82481 |