| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 118213 | 491231 | 82.58 | 78.81 | 77.64 | 4.57 | 7.86 |
|---|
| zChaff | minisat | SatELite |
| 1470.58 |
512.066 |
63.9723 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.77 | 76.91 | 75.09 | 5.16 | 8.51 | 2 | 57469 | 12 | 57469 | 12 | 96152578 | 79.5599 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2539.6 |
326.208 |
49.7104 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 83.02 | 79.01 | 77.87 | 4.47 | 8.03 | 0 | 2618 | 1 | 2618 | 1 | 18209587 | 13.176 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2375 |
223.414 |
33.4259 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.88 | 79.06 | 77.92 | 4.65 | 8.02 | 0 | 1758 | 0 | 1758 | 0 | 12678477 | 9.94749 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2627.18 |
230.738 |
43.0775 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.87 | 79.05 | 77.91 | 4.65 | 8.02 | 0 | 1699 | 0 | 1699 | 0 | 11190050 | 8.07177 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2790.15 |
393.483 |
76.1554 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.62 | 79.20 | 77.48 | 4.66 | 7.62 | 1 | 11410 | 2 | 11410 | 2 | 56607965 | 44.7302 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2399.93 |
398.716 |
40.8768 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 83.02 | 79.01 | 77.87 | 4.47 | 8.03 | 0 | 2618 | 1 | 2618 | 1 | 18209587 | 13.7039 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2493.31 |
223.503 |
32.744 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.88 | 79.06 | 77.92 | 4.65 | 8.02 | 0 | 1758 | 0 | 1758 | 0 | 12678477 | 10.2644 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2747.15 |
220.69 |
42.3706 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.87 | 79.05 | 77.91 | 4.65 | 8.02 | 0 | 1699 | 0 | 1699 | 0 | 11190050 | 8.77567 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2511.67 |
377.669 |
72.9099 |