| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 406052 | 12784 | 75.92 | 45.17 | 72.16 | 1.74 | 34.21 |
|---|
| zChaff | minisat | SatELite |
| 0.308953 |
0.12598 |
2.11168 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 96.78 | 64.19 | 96.62 | 2.41 | 34.90 | 404131 | 7690 | 60 | 7250 | 57 | 2428580 | 1.07883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.007998 |
0.581911 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 98.26 | 48.84 | 93.16 | 1.30 | 46.38 | 404131 | 3354 | 26 | 2914 | 23 | 657939 | 0.570913 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.008998 |
0.007998 |
0.627904 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 98.17 | 51.40 | 98.08 | 1.37 | 48.09 | 404131 | 3827 | 30 | 3387 | 26 | 747239 | 0.594909 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.006999 |
0.010998 |
0.599908 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 98.26 | 48.84 | 93.16 | 1.30 | 46.38 | 404131 | 3354 | 26 | 2914 | 23 | 657939 | 0.573912 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.012998 |
0.691894 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 96.78 | 64.19 | 96.62 | 2.41 | 34.90 | 404131 | 7690 | 60 | 7250 | 57 | 2428580 | 1.09783 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.009998 |
0.52192 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 98.26 | 48.84 | 93.16 | 1.30 | 46.38 | 404131 | 3354 | 26 | 2914 | 23 | 657939 | 0.576912 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.011998 |
0.701893 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 98.17 | 51.40 | 98.08 | 1.37 | 48.09 | 404131 | 3827 | 30 | 3387 | 26 | 747239 | 0.610907 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.010998 |
0.561914 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 98.26 | 48.84 | 93.16 | 1.30 | 46.38 | 404131 | 3354 | 26 | 2914 | 23 | 657939 | 0.582911 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.009998 |
0.625904 |