| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1262 | 13811 | 38.55 | 42.21 | 9.83 | 11.22 | 9.68 |
|---|
| zChaff | minisat | SatELite |
| 2071.17 |
293.508 |
1817.35 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 35.12 | 37.84 | 6.84 | 10.02 | 9.42 | 0 | 5155 | 37 | 5155 | 37 | 257061 | 1.13883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1914.79 |
365.311 |
1531 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 27.48 | 54.48 | 10.02 | 14.71 | 6.40 | 0 | 3109 | 23 | 3109 | 23 | 141306 | 0.900863 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2228.65 |
259.746 |
1410.29 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 38.53 | 40.99 | 14.41 | 11.08 | 10.55 | 0 | 4389 | 32 | 4389 | 32 | 181529 | 0.966853 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1820.04 |
198.57 |
1262.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 29.37 | 53.06 | 12.36 | 14.32 | 8.84 | 0 | 2823 | 20 | 2823 | 20 | 126255 | 0.843871 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2371.96 |
302.241 |
1191.96 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 38.37 | 40.76 | 14.20 | 11.02 | 10.50 | 0 | 4247 | 31 | 4247 | 31 | 173636 | 0.958854 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2625.72 |
222.618 |
1342.15 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 29.45 | 52.55 | 12.24 | 14.19 | 8.84 | 0 | 2717 | 20 | 2717 | 20 | 120296 | 0.836872 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2443.25 |
261.029 |
1152.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 38.37 | 40.76 | 14.20 | 11.02 | 10.50 | 0 | 4247 | 31 | 4247 | 31 | 173510 | 0.959854 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2705.8 |
224.047 |
1347.87 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 29.45 | 52.55 | 12.24 | 14.19 | 8.84 | 0 | 2717 | 20 | 2717 | 20 | 120272 | 0.828873 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2561.07 |
259.887 |
1180.87 |