| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 44193 | 148785 | 65.38 | 65.50 | 67.04 | 20.39 | 20.45 |
|---|
| zChaff | minisat | SatELite |
| 118.754 |
31.4862 |
44.5662 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.18 | 65.42 | 66.41 | 20.44 | 20.39 | 0 | 19999 | 13 | 19999 | 13 | 22677269 | 36.8594 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 117.677 |
31.5762 |
37.6423 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 64.13 | 68.73 | 67.67 | 21.41 | 18.40 | 0 | 6975 | 5 | 6975 | 5 | 8164224 | 12.5071 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 109.71 |
37.9592 |
60.8677 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.24 | 66.35 | 69.75 | 20.82 | 20.89 | 0 | 5784 | 4 | 5784 | 4 | 7874379 | 13.008 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 135.59 |
34.6037 |
35.3476 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 65.06 | 66.95 | 68.51 | 20.86 | 20.51 | 0 | 3202 | 2 | 3202 | 2 | 4367061 | 7.02693 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 102.224 |
31.3332 |
52.537 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.55 | 65.74 | 67.53 | 20.57 | 20.56 | 0 | 15497 | 10 | 15497 | 10 | 17743801 | 29.2096 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 119.174 |
39.9049 |
42.2996 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 64.42 | 68.17 | 67.93 | 21.24 | 19.06 | 0 | 5808 | 4 | 5808 | 4 | 6866456 | 11.1453 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 109.634 |
33.7649 |
40.8438 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.24 | 66.35 | 69.74 | 20.82 | 20.88 | 0 | 5764 | 4 | 5764 | 4 | 7793389 | 12.3461 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 123.93 |
33.075 |
39.1291 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 65.06 | 66.94 | 68.51 | 20.86 | 20.51 | 0 | 3194 | 2 | 3194 | 2 | 4326966 | 7.32689 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 113.259 |
31.0673 |
44.1933 |