variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
64762 | 176313 | 68.81 | 68.89 | 77.71 | 21.99 | 21.79 |
---|
zChaff | minisat | SatELite |
70.9192 |
13.6689 |
9.27859 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 68.81 | 68.88 | 77.70 | 22.43 | 22.23 | 0 | 62 | 0 | 62 | 0 | 17580936 | 26.368 | UNKNOWN |
---|
zChaff | minisat | SatELite |
48.1737 |
14.6258 |
9.12761 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.81 | 68.89 | 77.71 | 22.43 | 22.22 | 0 | 16 | 0 | 16 | 0 | 5125335 | 7.76682 | UNKNOWN |
---|
zChaff | minisat | SatELite |
37.7573 |
14.0829 |
9.23659 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 7 | 0 | 7 | 0 | 2909898 | 4.66129 | UNKNOWN |
---|
zChaff | minisat | SatELite |
72.205 |
13.195 |
9.26059 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 5 | 0 | 5 | 0 | 1599474 | 2.53961 | UNKNOWN |
---|
zChaff | minisat | SatELite |
68.8345 |
13.251 |
9.24659 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 68.81 | 68.88 | 77.70 | 22.43 | 22.23 | 0 | 62 | 0 | 62 | 0 | 16922929 | 24.8982 | UNKNOWN |
---|
zChaff | minisat | SatELite |
48.5686 |
13.217 |
9.30259 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 68.81 | 68.89 | 77.71 | 22.43 | 22.22 | 0 | 16 | 0 | 16 | 0 | 4966728 | 7.41187 | UNKNOWN |
---|
zChaff | minisat | SatELite |
38.4492 |
13.8079 |
9.09762 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 7 | 0 | 7 | 0 | 2909898 | 4.5913 | UNKNOWN |
---|
zChaff | minisat | SatELite |
69.5384 |
13.22 |
9.13361 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 5 | 0 | 5 | 0 | 1599474 | 2.66859 | UNKNOWN |
---|
zChaff | minisat | SatELite |
70.0294 |
14.0819 |
8.98763 |