| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 29084 | 119659 | 77.66 | 75.03 | 71.88 | 9.31 | 8.34 |
|---|
| zChaff | minisat | SatELite |
| 2972.9 |
561.31 |
1336.24 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.55 | 73.38 | 69.79 | 9.14 | 9.94 | 0 | 8634 | 7 | 8634 | 7 | 35906497 | 25.2702 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3671.62 |
620.779 |
1191.66 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.85 | 74.68 | 71.52 | 8.61 | 9.59 | 0 | 1799 | 2 | 1799 | 2 | 7236627 | 5.18721 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4363 |
698.87 |
946.685 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 77.72 | 75.05 | 71.94 | 9.91 | 9.46 | 0 | 112 | 0 | 112 | 0 | 6473766 | 4.54231 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2359.42 |
1002.22 |
1329.87 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 77.72 | 75.04 | 71.93 | 9.91 | 9.46 | 0 | 90 | 0 | 90 | 0 | 3818951 | 2.72858 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3111.99 |
1007.83 |
1349.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.88 | 73.80 | 70.25 | 9.01 | 9.79 | 0 | 6861 | 6 | 6861 | 6 | 23159036 | 16.3515 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4572.1 |
688.465 |
1686.19 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.84 | 74.68 | 71.51 | 8.62 | 9.59 | 0 | 1782 | 1 | 1782 | 1 | 7221267 | 5.16221 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2808.42 |
607.577 |
986.841 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 77.71 | 75.05 | 71.93 | 9.93 | 9.46 | 0 | 95 | 0 | 95 | 0 | 6372631 | 4.45232 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2952.6 |
832.905 |
1356.85 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 77.71 | 75.04 | 71.92 | 9.93 | 9.46 | 0 | 73 | 0 | 73 | 0 | 3805498 | 2.71559 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3277.75 |
1021.2 |
1333.51 |