| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 61748 | 244870 | 82.44 | 78.31 | 76.75 | 4.31 | 8.27 |
|---|
| zChaff | minisat | SatELite |
| 12.5151 |
2.30865 |
11.2223 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.65 | 76.78 | 74.12 | 5.03 | 9.19 | 2 | 28511 | 12 | 28511 | 12 | 42388531 | 34.1598 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.6618 |
5.10822 |
8.39472 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.90 | 78.57 | 77.00 | 4.37 | 8.96 | 0 | 1362 | 1 | 1362 | 1 | 5941644 | 4.90425 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.6184 |
3.83842 |
8.42472 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.76 | 78.61 | 77.04 | 4.54 | 8.95 | 0 | 942 | 0 | 942 | 0 | 3985196 | 3.49447 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.5978 |
3.22151 |
8.5307 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.76 | 78.61 | 77.04 | 4.54 | 8.95 | 0 | 941 | 0 | 941 | 0 | 3418545 | 2.89156 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.4621 |
3.23051 |
8.42772 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.31 | 78.79 | 76.23 | 4.54 | 8.32 | 2 | 9335 | 4 | 9335 | 4 | 20393221 | 16.2625 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.5976 |
3.87541 |
8.78866 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.90 | 78.57 | 77.00 | 4.37 | 8.96 | 0 | 1362 | 1 | 1362 | 1 | 5918627 | 4.84426 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.2433 |
3.78242 |
8.78966 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.76 | 78.61 | 77.04 | 4.54 | 8.95 | 0 | 942 | 0 | 942 | 0 | 3983266 | 3.53246 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 16.0336 |
3.20051 |
8.44971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.76 | 78.61 | 77.04 | 4.54 | 8.95 | 0 | 941 | 0 | 941 | 0 | 3418153 | 2.91556 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.4621 |
3.22051 |
8.59569 |