variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
66131 | 214786 | 67.27 | 67.31 | 77.52 | 21.45 | 21.29 |
---|
zChaff | minisat | SatELite |
869.564 |
82.5125 |
131.946 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 67.24 | 67.26 | 77.42 | 21.72 | 21.57 | 0 | 1825 | 1 | 1825 | 1 | 38531178 | 63.6393 | UNKNOWN |
---|
zChaff | minisat | SatELite |
607.696 |
143.857 |
110.083 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 67.20 | 67.47 | 77.51 | 21.80 | 21.43 | 0 | 504 | 0 | 504 | 0 | 12816333 | 21.1488 | UNKNOWN |
---|
zChaff | minisat | SatELite |
259.763 |
66.5159 |
104.941 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.29 | 67.33 | 77.59 | 21.76 | 21.59 | 0 | 194 | 0 | 194 | 0 | 8126718 | 13.466 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1047.8 |
85.0771 |
57.8222 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 67.26 | 67.34 | 77.56 | 21.76 | 21.58 | 0 | 92 | 0 | 92 | 0 | 5193585 | 8.70568 | UNKNOWN |
---|
zChaff | minisat | SatELite |
780.579 |
73.5268 |
97.5382 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 67.24 | 67.26 | 77.42 | 21.72 | 21.57 | 0 | 1825 | 1 | 1825 | 1 | 31946629 | 52.585 | UNKNOWN |
---|
zChaff | minisat | SatELite |
601.243 |
154.373 |
104.509 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 67.20 | 67.47 | 77.51 | 21.80 | 21.43 | 0 | 504 | 0 | 504 | 0 | 11193885 | 18.5282 | UNKNOWN |
---|
zChaff | minisat | SatELite |
290.013 |
60.7148 |
104.755 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.29 | 67.33 | 77.59 | 21.76 | 21.59 | 0 | 194 | 0 | 194 | 0 | 8126718 | 13.6749 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1084.04 |
79.169 |
56.1765 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 67.26 | 67.34 | 77.56 | 21.76 | 21.58 | 0 | 92 | 0 | 92 | 0 | 5193585 | 8.72567 | UNKNOWN |
---|
zChaff | minisat | SatELite |
773.633 |
68.7425 |
95.9984 |