| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 994 | 17409 | 33.72 | 34.57 | 6.72 | 8.16 | 8.50 |
|---|
| zChaff | minisat | SatELite |
| 2.87056 |
0.19197 |
0.693894 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 27.05 | 27.98 | 2.66 | 6.55 | 6.06 | 0 | 4572 | 26 | 4572 | 26 | 257437 | 1.55276 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.51277 |
0.107983 |
0.640902 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 23.73 | 40.39 | 5.58 | 9.69 | 4.87 | 0 | 2510 | 14 | 2510 | 14 | 166023 | 1.18082 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.999847 |
0.076988 |
0.602908 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 30.62 | 30.29 | 8.56 | 7.02 | 7.78 | 0 | 3743 | 22 | 3743 | 22 | 197424 | 1.40979 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.64275 |
0.069989 |
0.546916 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 25.43 | 39.49 | 7.68 | 9.48 | 6.99 | 0 | 2171 | 12 | 2171 | 12 | 145191 | 1.12283 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.11083 |
0.075988 |
0.582911 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 30.63 | 30.27 | 8.56 | 7.01 | 7.79 | 0 | 3734 | 21 | 3734 | 21 | 116064 | 0.610907 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.679896 |
0.066989 |
0.563914 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 25.45 | 39.48 | 7.68 | 9.47 | 7.00 | 0 | 2165 | 12 | 2165 | 12 | 72502 | 0.400939 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.81272 |
0.075988 |
0.611906 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 30.63 | 30.27 | 8.56 | 7.01 | 7.79 | 0 | 3734 | 21 | 3734 | 21 | 115938 | 0.611906 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.671898 |
0.069989 |
0.527919 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 25.45 | 39.48 | 7.68 | 9.47 | 7.00 | 0 | 2165 | 12 | 2165 | 12 | 72484 | 0.404938 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.86472 |
0.073988 |
0.605907 |