variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2401 | 15953 | 14.96 | 15.03 | 2.94 | 2.70 | 3.58 |
---|
zChaff | minisat | SatELite |
177.993 |
121.563 |
358.098 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 11.85 | 12.95 | 1.28 | 2.38 | 2.50 | 0 | 2860 | 18 | 2860 | 18 | 193494 | 1.18382 | UNKNOWN |
---|
zChaff | minisat | SatELite |
231.615 |
61.5176 |
193.271 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 11.47 | 17.55 | 2.41 | 3.28 | 2.30 | 0 | 2294 | 14 | 2294 | 14 | 164342 | 1.09783 | UNKNOWN |
---|
zChaff | minisat | SatELite |
227.329 |
165.916 |
98.687 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 186316 | 1.15582 | UNKNOWN |
---|
zChaff | minisat | SatELite |
214.437 |
63.2124 |
108.036 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 168683 | 1.09383 | UNKNOWN |
---|
zChaff | minisat | SatELite |
195.976 |
167.712 |
104.805 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 125962 | 0.649901 | UNKNOWN |
---|
zChaff | minisat | SatELite |
209.985 |
62.0506 |
111.342 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 115675 | 0.637903 | UNKNOWN |
---|
zChaff | minisat | SatELite |
191.241 |
167.001 |
97.9201 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 13.68 | 13.94 | 3.50 | 2.49 | 3.46 | 0 | 2559 | 16 | 2559 | 16 | 125836 | 0.644901 | UNKNOWN |
---|
zChaff | minisat | SatELite |
209.389 |
65.0291 |
110.291 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 12.37 | 17.37 | 3.40 | 3.25 | 3.29 | 0 | 2154 | 14 | 2154 | 14 | 115655 | 0.634903 | UNKNOWN |
---|
zChaff | minisat | SatELite |
193.234 |
170.415 |
98.2941 |