| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1524 | 60653 | 14.85 | 17.43 | 3.44 | 4.07 | 3.43 |
|---|
| zChaff | minisat | SatELite |
| 1.9707 |
0.122981 |
1.89671 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 7.78 | 10.56 | 1.19 | 2.06 | 1.43 | 0 | 9851 | 16 | 9851 | 16 | 1577426 | 101.452 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.33365 |
0.183972 |
1.2868 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 6.94 | 19.18 | 3.12 | 4.51 | 1.08 | 0 | 5515 | 9 | 5515 | 9 | 1315488 | 95.8014 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.16682 |
0.179972 |
1.54076 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 9.65 | 12.42 | 3.99 | 2.76 | 2.07 | 0 | 8371 | 14 | 8371 | 14 | 1489353 | 102.53 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.062991 |
0.160975 |
0.968852 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 7.55 | 19.05 | 3.76 | 4.48 | 1.73 | 0 | 5150 | 8 | 5150 | 8 | 1325323 | 96.4833 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.549915 |
0.171973 |
1.63675 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 8.01 | 10.80 | 1.56 | 2.18 | 1.52 | 0 | 9596 | 16 | 9596 | 16 | 1445599 | 93.5078 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.299954 |
0.152976 |
0.789879 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 7.02 | 19.14 | 3.20 | 4.50 | 1.16 | 0 | 5408 | 9 | 5408 | 9 | 1187714 | 85.693 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.600909 |
0.248962 |
1.38079 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 9.65 | 12.42 | 3.98 | 2.75 | 2.07 | 0 | 8308 | 14 | 8308 | 14 | 1362505 | 96.4093 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.027996 |
0.152976 |
0.813876 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 7.55 | 19.03 | 3.75 | 4.48 | 1.73 | 0 | 5091 | 8 | 5091 | 8 | 1199275 | 87.2837 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.32949 |
0.230964 |
1.37979 |