| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 512 | 17913 | 56.75 | 58.66 | 31.40 | 16.07 | 15.49 |
|---|
| zChaff | minisat | SatELite |
| 0.212967 |
0.070989 |
0.26196 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 64.75 | 66.64 | 63.85 | 20.71 | 19.84 | 0 | 9232 | 52 | 9232 | 52 | 1077878 | 1.90671 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.137979 |
0.053991 |
0.216967 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 38.57 | 83.31 | 42.96 | 23.63 | 12.38 | 0 | 5300 | 30 | 5300 | 30 | 481815 | 1.11783 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.20397 |
0.051992 |
0.275958 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 64.83 | 66.67 | 64.19 | 20.77 | 19.95 | 0 | 9150 | 51 | 9150 | 51 | 814083 | 1.54577 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.127981 |
0.054991 |
0.208968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 38.77 | 83.05 | 44.46 | 23.55 | 13.32 | 0 | 5260 | 29 | 5260 | 29 | 420711 | 0.958854 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.142977 |
0.079987 |
0.242963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 64.76 | 66.63 | 63.89 | 20.71 | 19.86 | 0 | 9223 | 51 | 9223 | 51 | 894530 | 1.65175 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.136979 |
0.052991 |
0.205968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 38.62 | 83.24 | 43.21 | 23.61 | 12.53 | 0 | 5290 | 30 | 5290 | 30 | 435249 | 0.928858 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.12998 |
0.052991 |
0.275958 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 64.83 | 66.67 | 64.19 | 20.77 | 19.95 | 0 | 9150 | 51 | 9150 | 51 | 814083 | 1.50277 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.116982 |
0.05999 |
0.206968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 38.77 | 83.05 | 44.46 | 23.55 | 13.32 | 0 | 5260 | 29 | 5260 | 29 | 420711 | 0.967852 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.144978 |
0.077988 |
0.238963 |