| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 78503 | 311630 | 82.39 | 78.18 | 76.63 | 4.30 | 8.31 |
|---|
| zChaff | minisat | SatELite |
| 48.1257 |
8.19175 |
17.5813 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.58 | 76.64 | 73.96 | 4.97 | 9.07 | 2 | 36541 | 12 | 36541 | 12 | 54794526 | 43.1594 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 40.8728 |
7.12792 |
18.8411 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.86 | 78.44 | 76.88 | 4.32 | 8.87 | 0 | 1747 | 1 | 1747 | 1 | 7706009 | 6.63899 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 37.2023 |
9.02363 |
18.3242 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.71 | 78.48 | 76.92 | 4.49 | 8.86 | 0 | 1212 | 0 | 1212 | 0 | 5178991 | 4.71328 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 45.3241 |
9.48456 |
16.9534 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.71 | 78.48 | 76.92 | 4.49 | 8.86 | 0 | 1211 | 0 | 1211 | 0 | 4444920 | 3.88741 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 54.3587 |
9.73752 |
17.0844 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.25 | 78.66 | 76.09 | 4.49 | 8.21 | 2 | 12090 | 4 | 12090 | 4 | 26458747 | 22.2216 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 60.6498 |
12.971 |
17.6903 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.86 | 78.44 | 76.88 | 4.32 | 8.87 | 0 | 1747 | 1 | 1747 | 1 | 7673242 | 6.551 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 36.2795 |
9.58154 |
18.4732 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.71 | 78.48 | 76.92 | 4.49 | 8.86 | 0 | 1212 | 0 | 1212 | 0 | 5176501 | 4.73928 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 45.3651 |
9.46056 |
16.8584 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.71 | 78.48 | 76.92 | 4.49 | 8.86 | 0 | 1211 | 0 | 1211 | 0 | 4444413 | 4.03039 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 54.2398 |
9.45656 |
16.8834 |