| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 21536 | 8966 | 82.61 | 50.58 | 79.36 | 1.25 | 34.94 |
|---|
| zChaff | minisat | SatELite |
| 4.05338 |
0.084987 |
1.20182 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 85.41 | 52.26 | 82.50 | 1.17 | 35.84 | 20075 | 652 | 7 | 652 | 7 | 1422307 | 0.698893 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.47362 |
0.153976 |
1.52977 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 85.95 | 51.66 | 82.56 | 1.11 | 36.35 | 20075 | 348 | 4 | 348 | 4 | 205945 | 0.109983 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.30865 |
0.082987 |
1.39179 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 85.85 | 51.96 | 83.02 | 1.13 | 36.50 | 20075 | 396 | 4 | 396 | 4 | 239754 | 0.13098 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.93355 |
0.25696 |
0.968852 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 85.95 | 51.66 | 82.56 | 1.11 | 36.35 | 20075 | 348 | 4 | 348 | 4 | 205945 | 0.114982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.16667 |
0.080987 |
1.38679 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 85.42 | 52.30 | 82.51 | 1.17 | 35.81 | 20075 | 645 | 7 | 645 | 7 | 1289583 | 0.633903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.88241 |
0.283956 |
0.990849 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 85.95 | 51.66 | 82.56 | 1.11 | 36.35 | 20075 | 348 | 4 | 348 | 4 | 205945 | 0.113982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.31265 |
0.078987 |
1.36679 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 85.85 | 51.96 | 83.02 | 1.13 | 36.50 | 20075 | 396 | 4 | 396 | 4 | 239754 | 0.140978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.92356 |
0.238963 |
0.962853 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 85.95 | 51.66 | 82.56 | 1.11 | 36.35 | 20075 | 348 | 4 | 348 | 4 | 205945 | 0.113982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.16267 |
0.076988 |
1.40079 |