variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
145523 | 578670 | 82.31 | 77.96 | 76.42 | 4.29 | 8.39 |
---|
zChaff | minisat | SatELite |
1704.68 |
169.857 |
147.949 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.47 | 76.40 | 73.69 | 4.88 | 8.87 | 2 | 68661 | 12 | 68661 | 12 | 105175504 | 87.1847 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4009.57 |
182.274 |
151.686 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.78 | 78.23 | 76.68 | 4.23 | 8.72 | 0 | 3287 | 1 | 3287 | 1 | 14936969 | 13.338 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4233.47 |
117.164 |
109.284 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2292 | 0 | 2292 | 0 | 10077671 | 9.54455 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1785 |
119.665 |
189.502 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2291 | 0 | 2291 | 0 | 8655670 | 7.98879 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2694.46 |
131.798 |
185.752 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 82.15 | 78.46 | 75.85 | 4.40 | 8.02 | 2 | 23110 | 4 | 23110 | 4 | 51312840 | 45.1151 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3027.24 |
105.475 |
160.523 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.78 | 78.23 | 76.68 | 4.23 | 8.72 | 0 | 3287 | 1 | 3287 | 1 | 14851202 | 13.4969 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3941.14 |
125.942 |
116.211 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2292 | 0 | 2292 | 0 | 10072941 | 9.59754 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1853.74 |
136.533 |
199.328 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2291 | 0 | 2291 | 0 | 8654703 | 7.85381 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2823.56 |
129.818 |
192.823 |