| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 5525 | 96480 | 66.53 | 69.56 | 79.64 | 23.36 | 20.53 |
|---|
| zChaff | minisat | SatELite |
| 13.346 |
175.048 |
702.501 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.96 | 68.09 | 76.26 | 22.40 | 20.52 | 0 | 14955 | 16 | 14955 | 16 | 40299313 | 103.889 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.2453 |
160.49 |
1094.55 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 65.47 | 72.34 | 79.12 | 24.29 | 17.64 | 0 | 3704 | 4 | 3704 | 4 | 10598450 | 29.2286 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 17.3204 |
486.837 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.71 | 69.76 | 79.88 | 23.43 | 20.58 | 0 | 293 | 0 | 293 | 0 | 2120053 | 5.33819 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 13.4889 |
606.65 |
2776.09 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 66.70 | 69.77 | 79.87 | 23.42 | 20.58 | 0 | 282 | 0 | 282 | 0 | 1730890 | 4.5953 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 13.7859 |
902.593 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.70 | 69.73 | 79.81 | 23.40 | 20.59 | 0 | 521 | 1 | 521 | 1 | 3099034 | 7.18991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 17.0534 |
1635.56 |
4338.38 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 66.69 | 69.79 | 79.85 | 23.43 | 20.54 | 0 | 319 | 0 | 319 | 0 | 1872315 | 5.04223 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 13.6349 |
1102.27 |
1184.29 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.71 | 69.75 | 79.86 | 23.42 | 20.58 | 0 | 268 | 0 | 268 | 0 | 1860472 | 4.74028 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 13.6229 |
225.182 |
4931.04 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 66.71 | 69.75 | 79.86 | 23.42 | 20.58 | 0 | 266 | 0 | 266 | 0 | 1599588 | 4.21836 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.1798 |
451.237 |
4605.28 |