| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 59056 | 323700 | 82.23 | 70.84 | 84.71 | 6.59 | 19.10 |
|---|
| zChaff | minisat | SatELite |
| 11.4563 |
2.45463 |
7.71483 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 81.36 | 71.02 | 84.01 | 6.95 | 18.67 | 0 | 26675 | 8 | 26675 | 8 | 151813381 | 134.16 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 16.9104 |
2.14167 |
7.72882 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.79 | 70.96 | 85.05 | 6.41 | 19.36 | 0 | 2189 | 1 | 2189 | 1 | 31460142 | 29.1636 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 13.7369 |
1.54277 |
8.06677 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.56 | 71.15 | 85.24 | 6.64 | 19.33 | 0 | 2004 | 1 | 2004 | 1 | 11665196 | 11.3873 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7.53786 |
1.85372 |
7.77082 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.59 | 71.03 | 85.09 | 6.63 | 19.31 | 0 | 1445 | 0 | 1445 | 0 | 10141803 | 9.34858 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.7874 |
1.81972 |
7.72382 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.96 | 71.95 | 84.53 | 6.72 | 18.07 | 0 | 16710 | 5 | 16710 | 5 | 133218067 | 125.928 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 15.4447 |
2.36364 |
7.63084 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.79 | 70.96 | 85.05 | 6.41 | 19.36 | 0 | 2189 | 1 | 2189 | 1 | 30989697 | 28.9406 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.7538 |
1.52477 |
7.43187 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.56 | 71.15 | 85.24 | 6.64 | 19.33 | 0 | 2004 | 1 | 2004 | 1 | 11665196 | 11.4993 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7.63084 |
1.79873 |
7.67183 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.59 | 71.03 | 85.09 | 6.63 | 19.31 | 0 | 1445 | 0 | 1445 | 0 | 10141803 | 9.35458 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.9003 |
1.75973 |
7.65184 |