| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 117426 | 469472 | 24.29 | 75.72 | 0.03 | 3.98 | 24.28 |
|---|
| zChaff | minisat | SatELite |
| 3192.01 |
35.4476 |
45.2261 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 24.24 | 75.78 | 0.03 | 3.99 | 24.24 | 345 | 1004 | 0 | 1004 | 0 | 1521048 | 23.9754 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5334.2 |
44.5332 |
44.7522 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 24.21 | 75.80 | 0.03 | 3.99 | 24.21 | 345 | 502 | 0 | 502 | 0 | 371321 | 7.2499 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4701.37 |
46.314 |
44.8422 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 24.24 | 75.78 | 0.03 | 3.99 | 24.24 | 345 | 1004 | 0 | 1004 | 0 | 1520787 | 23.8574 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5334.11 |
46.281 |
44.3893 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 24.21 | 75.80 | 0.03 | 3.99 | 24.21 | 345 | 502 | 0 | 502 | 0 | 371123 | 7.43687 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5029.73 |
46.137 |
47.7337 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 5 | 0 | 5 | 0 | 121779 | 2.85357 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4534.28 |
46.076 |
44.6462 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 0 | 0 | 0 | 0 | 0 | 0.272958 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3192.01 |
35.4476 |
45.2261 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 5 | 0 | 5 | 0 | 121779 | 2.66759 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4420.83 |
44.4012 |
45.4811 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 24.29 | 75.72 | 0.03 | 3.98 | 24.29 | 345 | 0 | 0 | 0 | 0 | 0 | 0.263959 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3192.01 |
35.4476 |
45.2261 |