| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 81606 | 337735 | 81.71 | 77.16 | 78.03 | 5.46 | 9.79 |
|---|
| zChaff | minisat | SatELite |
| 2918.59 |
1070.27 |
1403.13 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.45 | 75.75 | 76.17 | 5.86 | 10.44 | 2 | 29036 | 9 | 29036 | 9 | 61769820 | 45.3381 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4563.79 |
2216.11 |
4825.24 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.17 | 77.21 | 78.10 | 5.25 | 10.10 | 0 | 1877 | 1 | 1877 | 1 | 11521450 | 8.58469 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3462.26 |
1593.52 |
3107.5 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 637 | 0 | 637 | 0 | 6397918 | 5.2692 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2029.17 |
2526.22 |
1380.47 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 635 | 0 | 635 | 0 | 5493220 | 4.23836 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1761.18 |
2543.72 |
1342.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.66 | 77.32 | 77.57 | 5.46 | 9.68 | 2 | 9784 | 3 | 9784 | 3 | 39559101 | 29.6975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6516.41 |
1792.65 |
2274.17 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.17 | 77.21 | 78.10 | 5.25 | 10.10 | 0 | 1877 | 1 | 1877 | 1 | 11443390 | 8.5257 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3333.06 |
1574.19 |
3194.13 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 637 | 0 | 637 | 0 | 6397918 | 5.2892 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1918.72 |
2532.47 |
1350.73 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 635 | 0 | 635 | 0 | 5493220 | 4.21436 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1777.64 |
2568.81 |
1355.16 |