| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 9267 | 215440 | 71.24 | 67.13 | 82.76 | 20.38 | 24.55 |
|---|
| zChaff | minisat | SatELite |
| 43.5354 |
193.975 |
647.647 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 69.03 | 66.52 | 78.05 | 20.49 | 23.09 | 0 | 49259 | 23 | 49259 | 23 | 192999775 | 793.004 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 39.732 |
725.866 |
1359.05 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 75.16 | 65.63 | 82.13 | 16.32 | 25.90 | 0 | 11234 | 5 | 11234 | 5 | 47997706 | 217.437 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 46.11 |
598.71 |
929.408 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 71.45 | 67.33 | 83.02 | 20.44 | 24.63 | 0 | 672 | 0 | 672 | 0 | 6994662 | 28.8156 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 42.0116 |
573.599 |
683.749 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 71.46 | 67.33 | 83.01 | 20.44 | 24.63 | 0 | 654 | 0 | 654 | 0 | 5645147 | 25.6531 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 46.341 |
1264.99 |
995.023 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 71.29 | 67.41 | 82.86 | 20.53 | 24.48 | 0 | 2370 | 1 | 2370 | 1 | 11950532 | 48.5496 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 42.0826 |
159.998 |
448.597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 71.51 | 67.30 | 82.99 | 20.37 | 24.65 | 0 | 805 | 0 | 805 | 0 | 6071951 | 27.6758 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 47.5488 |
148.56 |
795.96 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 71.45 | 67.33 | 83.00 | 20.44 | 24.62 | 0 | 630 | 0 | 630 | 0 | 6238900 | 25.9591 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 46.5129 |
534.842 |
874.171 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 71.45 | 67.33 | 83.00 | 20.44 | 24.62 | 0 | 628 | 0 | 628 | 0 | 5227235 | 23.8974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 51.8891 |
358.155 |
850.551 |