| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 146190 | 574961 | 81.13 | 77.24 | 77.24 | 7.55 | 8.94 |
|---|
| zChaff | minisat | SatELite |
| 0.141978 |
0.414936 |
16.1835 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.06 | 75.72 | 75.59 | 8.02 | 9.68 | 4 | 44599 | 8 | 44599 | 8 | 65589421 | 49.6105 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10624.1 |
7.47786 |
80.4408 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.60 | 77.23 | 77.32 | 7.34 | 9.19 | 0 | 3299 | 1 | 3299 | 1 | 12283487 | 10.4384 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3807.49 |
8.37073 |
276.724 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.30 | 77.34 | 77.43 | 7.68 | 9.16 | 0 | 1425 | 0 | 1425 | 0 | 8445434 | 7.36388 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7178.87 |
0.515921 |
15.9156 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.31 | 77.31 | 77.40 | 7.68 | 9.16 | 0 | 1236 | 0 | 1236 | 0 | 6589411 | 5.42917 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7264.97 |
0.527919 |
16.1915 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.17 | 77.04 | 76.92 | 7.56 | 9.16 | 1 | 14035 | 2 | 14035 | 2 | 42837285 | 34.2048 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7326.15 |
75.7515 |
248.706 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.60 | 77.23 | 77.32 | 7.34 | 9.19 | 0 | 3299 | 1 | 3299 | 1 | 12283481 | 10.5704 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3611.79 |
8.46271 |
275.842 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.30 | 77.34 | 77.43 | 7.68 | 9.16 | 0 | 1425 | 0 | 1425 | 0 | 8445434 | 7.40987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6807.66 |
0.507922 |
16.0166 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.31 | 77.31 | 77.40 | 7.68 | 9.16 | 0 | 1236 | 0 | 1236 | 0 | 6589411 | 5.42617 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7054.02 |
0.527919 |
16.1835 |