| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 8441 | 187545 | 65.12 | 72.25 | 80.71 | 25.64 | 18.79 |
|---|
| zChaff | minisat | SatELite |
| 44.2073 |
569.819 |
691.829 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.10 | 68.35 | 74.07 | 22.70 | 19.86 | 0 | 50492 | 27 | 50492 | 27 | 168171229 | 742.549 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 41.0708 |
192.405 |
366.437 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 63.50 | 76.32 | 79.98 | 27.08 | 14.57 | 0 | 9997 | 5 | 9997 | 5 | 37103453 | 170.243 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 40.3999 |
616.935 |
647.518 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 65.33 | 72.50 | 80.99 | 25.73 | 18.86 | 0 | 642 | 0 | 642 | 0 | 6559196 | 26.7749 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 45.3481 |
949.822 |
1060.16 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 65.33 | 72.50 | 80.99 | 25.72 | 18.86 | 0 | 635 | 0 | 635 | 0 | 5129980 | 22.4816 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 46.8539 |
903.506 |
1362.3 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.28 | 72.38 | 80.73 | 25.65 | 18.86 | 0 | 3114 | 2 | 3114 | 2 | 15512496 | 61.6296 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 40.8908 |
356.073 |
2195.63 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 65.20 | 72.78 | 80.91 | 25.82 | 18.54 | 0 | 1349 | 1 | 1349 | 1 | 6487957 | 29.5345 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 41.3187 |
1288.82 |
1698.54 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 65.33 | 72.50 | 80.98 | 25.72 | 18.85 | 0 | 628 | 0 | 628 | 0 | 5811342 | 23.6164 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 42.0176 |
950.545 |
696.088 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 65.33 | 72.50 | 80.98 | 25.72 | 18.85 | 0 | 627 | 0 | 627 | 0 | 4773437 | 21.0508 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 42.9705 |
917.458 |
692.322 |