| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 80029 | 328275 | 77.98 | 75.14 | 69.78 | 7.60 | 9.45 |
|---|
| zChaff | minisat | SatELite |
| 8031.96 |
88.5335 |
130.943 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.18 | 74.87 | 68.45 | 7.90 | 9.28 | 0 | 15373 | 5 | 15373 | 5 | 74086048 | 61.2067 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3278.8 |
110.174 |
158.151 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.22 | 75.15 | 69.80 | 7.51 | 9.69 | 0 | 1031 | 0 | 1031 | 0 | 12301438 | 9.90049 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9352.57 |
237.261 |
109.542 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.06 | 75.23 | 69.88 | 7.70 | 9.64 | 0 | 467 | 0 | 467 | 0 | 11815858 | 9.03763 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7254.2 |
159.511 |
127.894 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.06 | 75.20 | 69.86 | 7.70 | 9.67 | 0 | 357 | 0 | 357 | 0 | 6757449 | 5.39418 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6782.77 |
103.52 |
75.2576 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.69 | 75.67 | 69.15 | 7.72 | 8.83 | 0 | 8212 | 3 | 8212 | 3 | 42922383 | 34.9997 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7829.29 |
27.8928 |
39.226 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.22 | 75.15 | 69.80 | 7.51 | 9.69 | 0 | 1031 | 0 | 1031 | 0 | 12298624 | 9.8825 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9123.11 |
236.847 |
107.236 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.06 | 75.23 | 69.88 | 7.70 | 9.64 | 0 | 467 | 0 | 467 | 0 | 11802268 | 9.06662 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7203.18 |
166.197 |
127.676 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.06 | 75.20 | 69.86 | 7.70 | 9.67 | 0 | 357 | 0 | 357 | 0 | 6754635 | 5.37618 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6510.72 |
103.381 |
76.1014 |