| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2401 | 15953 | 14.96 | 15.03 | 2.94 | 2.70 | 3.58 |
|---|
| zChaff | minisat | SatELite |
| 177.993 |
121.563 |
358.098 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 11.85 | 12.95 | 1.28 | 2.38 | 2.50 | 0 | 2860 | 18 | 2860 | 18 | 193494 | 1.18382 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 231.615 |
61.5176 |
193.271 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 11.47 | 17.55 | 2.41 | 3.28 | 2.30 | 0 | 2294 | 14 | 2294 | 14 | 164342 | 1.09783 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 227.329 |
165.916 |
98.687 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 186316 | 1.15582 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 214.437 |
63.2124 |
108.036 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 168683 | 1.09383 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 195.976 |
167.712 |
104.805 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 125962 | 0.649901 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 209.985 |
62.0506 |
111.342 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 115675 | 0.637903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 191.241 |
167.001 |
97.9201 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 125836 | 0.644901 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 209.389 |
65.0291 |
110.291 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 115655 | 0.634903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 193.234 |
170.415 |
98.2941 |