| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2468 | 27533 | 68.04 | 71.37 | 90.40 | 24.64 | 21.04 |
|---|
| zChaff | minisat | SatELite |
| 0.802878 |
26.529 |
86.6718 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.11 | 71.31 | 89.40 | 24.91 | 20.39 | 88 | 3603 | 13 | 3603 | 13 | 7467913 | 11.6762 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.14783 |
20.4269 |
225.307 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.06 | 74.46 | 90.38 | 25.71 | 18.01 | 77 | 1143 | 4 | 1143 | 4 | 1987105 | 3.21551 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.06584 |
32.853 |
98.489 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 68.31 | 71.64 | 90.75 | 24.73 | 21.12 | 76 | 107 | 0 | 107 | 0 | 543855 | 0.724889 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.890865 |
17.3994 |
285.315 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.30 | 71.64 | 90.75 | 24.73 | 21.12 | 76 | 105 | 0 | 105 | 0 | 476900 | 0.696894 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.931858 |
12.7581 |
535.254 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 68.28 | 71.63 | 90.72 | 24.74 | 21.10 | 76 | 200 | 1 | 200 | 1 | 721791 | 1.02584 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.00285 |
9.16461 |
51.0732 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.27 | 71.71 | 90.74 | 24.76 | 21.05 | 76 | 130 | 0 | 130 | 0 | 512479 | 0.760884 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.13183 |
9.47156 |
180.219 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 68.30 | 71.64 | 90.75 | 24.73 | 21.12 | 76 | 106 | 0 | 106 | 0 | 464530 | 0.648901 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.880866 |
26.087 |
206.765 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.30 | 71.64 | 90.75 | 24.73 | 21.12 | 76 | 105 | 0 | 105 | 0 | 440698 | 0.609907 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.909862 |
12.7841 |
525.586 |