| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2099 | 16061 | 47.86 | 45.91 | 17.08 | 11.98 | 12.95 |
|---|
| zChaff | minisat | SatELite |
| 0.006999 |
0.020996 |
0.287956 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 32.34 | 31.19 | 23.10 | 9.85 | 10.10 | 832 | 12082 | 75 | 12082 | 75 | 444224 | 1.40379 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.005 |
0.012998 |
0.244962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 77.33 | 17.66 | 22.12 | 2.78 | 21.61 | 832 | 6121 | 38 | 6121 | 38 | 228464 | 1.22181 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.006 |
0.011998 |
0.246962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 44.84 | 46.53 | 47.27 | 15.61 | 13.27 | 832 | 10258 | 64 | 10258 | 64 | 331572 | 1.3378 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.004999 |
0.012998 |
0.243962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 73.32 | 21.93 | 26.16 | 7.82 | 20.49 | 832 | 5577 | 35 | 5577 | 35 | 205252 | 1.19482 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.005999 |
0.017997 |
0.238963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 32.73 | 31.59 | 23.65 | 10.00 | 10.20 | 832 | 12053 | 75 | 12053 | 75 | 425254 | 1.20782 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.004999 |
0.011998 |
0.217966 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 77.29 | 17.71 | 22.17 | 2.84 | 21.60 | 832 | 6115 | 38 | 6115 | 38 | 211868 | 1.01684 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.005 |
0.014997 |
0.240963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 44.84 | 46.53 | 47.27 | 15.61 | 13.27 | 832 | 10258 | 64 | 10258 | 64 | 314919 | 1.13983 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.003998 |
0.009998 |
0.228965 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 73.32 | 21.93 | 26.16 | 7.82 | 20.49 | 832 | 5577 | 35 | 5577 | 35 | 188480 | 0.989849 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.004999 |
0.015997 |
0.241963 |