| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 952 | 54924 | 21.62 | 21.57 | 4.80 | 4.46 | 5.02 |
|---|
| zChaff | minisat | SatELite |
| 5.31619 |
2.06669 |
10.2354 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 14.09 | 15.24 | 3.46 | 2.72 | 2.65 | 0 | 31877 | 58 | 31877 | 58 | 3313390 | 94.8336 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.98709 |
1.00385 |
4.77927 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 40.10 | 13.33 | 7.27 | 1.83 | 9.37 | 0 | 25321 | 46 | 25321 | 46 | 2616664 | 84.0752 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.33304 |
1.15382 |
5.68414 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 18.59 | 19.70 | 10.59 | 4.38 | 4.27 | 0 | 30039 | 55 | 30039 | 55 | 3199912 | 96.8413 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.22436 |
1.08083 |
5.66514 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 39.46 | 14.72 | 8.76 | 3.41 | 9.22 | 0 | 24838 | 45 | 24838 | 45 | 2736423 | 89.3214 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.77012 |
1.08184 |
6.14706 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 14.12 | 15.26 | 3.49 | 2.74 | 2.66 | 0 | 31870 | 58 | 31870 | 58 | 3313021 | 105.41 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.18921 |
0.993848 |
5.13422 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 40.10 | 13.33 | 7.27 | 1.83 | 9.37 | 0 | 25321 | 46 | 25321 | 46 | 2616664 | 82.4725 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.17006 |
1.15082 |
5.83711 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 18.59 | 19.70 | 10.59 | 4.38 | 4.27 | 0 | 30039 | 55 | 30039 | 55 | 3199912 | 94.0937 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.07038 |
1.06984 |
5.66014 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 39.46 | 14.72 | 8.76 | 3.41 | 9.22 | 0 | 24838 | 45 | 24838 | 45 | 2736423 | 83.9202 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.83811 |
1.08683 |
6.13807 |