| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 39606 | 163255 | 81.81 | 77.34 | 78.18 | 5.42 | 9.73 |
|---|
| zChaff | minisat | SatELite |
| 12.8191 |
3.9514 |
11.8942 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.56 | 75.98 | 76.35 | 5.97 | 10.65 | 2 | 13996 | 9 | 13996 | 9 | 25767430 | 17.1084 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8.93664 |
4.83026 |
10.4974 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.26 | 77.40 | 78.26 | 5.37 | 10.31 | 0 | 897 | 1 | 897 | 1 | 4394240 | 3.10653 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.4591 |
3.77743 |
11.6812 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.97 | 77.48 | 78.34 | 5.71 | 10.27 | 0 | 317 | 0 | 317 | 0 | 2583928 | 2.03569 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.7522 |
3.20551 |
9.42157 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.97 | 77.48 | 78.33 | 5.71 | 10.27 | 0 | 315 | 0 | 315 | 0 | 2180790 | 1.60476 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.9942 |
3.21951 |
9.38157 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.76 | 77.53 | 77.73 | 5.57 | 9.89 | 2 | 4724 | 3 | 4724 | 3 | 15668511 | 11.0103 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.7824 |
4.69329 |
10.0835 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.26 | 77.40 | 78.26 | 5.37 | 10.31 | 0 | 897 | 1 | 897 | 1 | 4368680 | 3.10053 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.3761 |
3.86541 |
11.6982 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.97 | 77.48 | 78.34 | 5.71 | 10.27 | 0 | 317 | 0 | 317 | 0 | 2583928 | 2.05469 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.6792 |
3.2565 |
9.33858 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.97 | 77.48 | 78.33 | 5.71 | 10.27 | 0 | 315 | 0 | 315 | 0 | 2180790 | 1.60675 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 11.9792 |
3.24151 |
9.36957 |