| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 42330 | 165416 | 81.40 | 77.68 | 77.49 | 7.38 | 8.76 |
|---|
| zChaff | minisat | SatELite |
| 0.059991 |
0.137979 |
4.5913 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.38 | 76.23 | 75.88 | 8.12 | 9.97 | 4 | 12874 | 8 | 12874 | 8 | 15558884 | 10.5624 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.3658 |
0.973851 |
5.82911 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.90 | 77.68 | 77.59 | 7.44 | 9.49 | 0 | 1004 | 1 | 1004 | 1 | 2961906 | 2.05769 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.608 |
0.32795 |
5.85711 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.58 | 77.79 | 77.70 | 7.79 | 9.45 | 0 | 435 | 0 | 435 | 0 | 1856682 | 1.41278 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.47432 |
0.996848 |
6.36803 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.59 | 77.76 | 77.67 | 7.79 | 9.45 | 0 | 381 | 0 | 381 | 0 | 1465929 | 1.03584 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.95094 |
0.711891 |
6.17706 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.47 | 77.51 | 77.18 | 7.67 | 9.44 | 1 | 4135 | 2 | 4135 | 2 | 9454903 | 6.50301 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.05223 |
1.56676 |
4.38233 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.90 | 77.68 | 77.59 | 7.44 | 9.49 | 0 | 1004 | 1 | 1004 | 1 | 2961900 | 2.06169 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.70498 |
0.32295 |
5.50616 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.58 | 77.79 | 77.70 | 7.79 | 9.45 | 0 | 435 | 0 | 435 | 0 | 1856682 | 1.43978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.46632 |
0.974851 |
6.34104 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.59 | 77.76 | 77.67 | 7.79 | 9.45 | 0 | 381 | 0 | 381 | 0 | 1465929 | 1.06484 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.91895 |
0.712891 |
5.70913 |