| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 53113 | 220086 | 82.62 | 78.92 | 77.72 | 4.55 | 7.83 |
|---|
| zChaff | minisat | SatELite |
| 18.3952 |
3.64445 |
8.90065 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.85 | 77.05 | 75.21 | 5.22 | 8.65 | 2 | 25584 | 12 | 25584 | 12 | 36441038 | 28.9606 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 23.6384 |
3.46847 |
8.25174 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 83.08 | 79.12 | 77.95 | 4.53 | 8.16 | 0 | 1201 | 1 | 1201 | 1 | 6034408 | 4.42133 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.5531 |
4.00839 |
8.00578 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.93 | 79.17 | 78.01 | 4.72 | 8.15 | 0 | 813 | 0 | 813 | 0 | 4129132 | 3.32649 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 32.2111 |
4.46932 |
9.8365 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.91 | 79.16 | 77.99 | 4.72 | 8.14 | 0 | 772 | 0 | 772 | 0 | 3558956 | 2.6436 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.4323 |
3.05854 |
8.40172 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.67 | 79.31 | 77.56 | 4.73 | 7.76 | 1 | 5180 | 2 | 5180 | 2 | 19191145 | 14.2998 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 23.9414 |
2.90156 |
9.26459 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 83.08 | 79.12 | 77.95 | 4.53 | 8.16 | 0 | 1201 | 1 | 1201 | 1 | 6034408 | 4.39533 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.7181 |
3.98939 |
7.97379 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.93 | 79.17 | 78.01 | 4.72 | 8.15 | 0 | 813 | 0 | 813 | 0 | 4129132 | 3.3145 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 32.1871 |
4.48732 |
10.3474 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.91 | 79.16 | 77.99 | 4.72 | 8.14 | 0 | 772 | 0 | 772 | 0 | 3558956 | 2.6586 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.3483 |
3.21951 |
8.34173 |