variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
2901 | 18243 | 14.45 | 13.84 | 2.35 | 3.21 | 2.64 |
---|
zChaff | minisat | SatELite |
320.443 |
71.5171 |
166.916 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 12.49 | 11.10 | 0.83 | 2.30 | 2.19 | 0 | 2969 | 16 | 2969 | 16 | 218957 | 1.43278 | UNKNOWN |
---|
zChaff | minisat | SatELite |
526.184 |
17.6003 |
98.803 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 16.64 | 10.71 | 2.04 | 2.22 | 3.12 | 0 | 2393 | 13 | 2393 | 13 | 188856 | 1.36579 | UNKNOWN |
---|
zChaff | minisat | SatELite |
364.902 |
126.464 |
169.772 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 13.53 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2667 | 15 | 2667 | 15 | 211944 | 1.40279 | UNKNOWN |
---|
zChaff | minisat | SatELite |
282.899 |
85.204 |
95.7804 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 192301 | 1.3478 | UNKNOWN |
---|
zChaff | minisat | SatELite |
445.896 |
123.258 |
170.209 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 13.52 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2668 | 15 | 2668 | 15 | 146966 | 0.84887 | UNKNOWN |
---|
zChaff | minisat | SatELite |
267.195 |
85.222 |
98.824 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 135816 | 0.835872 | UNKNOWN |
---|
zChaff | minisat | SatELite |
438.854 |
122.602 |
172.037 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 13.53 | 12.54 | 2.75 | 2.94 | 2.45 | 0 | 2667 | 15 | 2667 | 15 | 146841 | 0.838872 | UNKNOWN |
---|
zChaff | minisat | SatELite |
267.593 |
84.1582 |
96.7363 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 16.53 | 11.30 | 2.69 | 2.87 | 3.10 | 0 | 2287 | 13 | 2287 | 13 | 135792 | 0.84987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
419.048 |
126.937 |
170.406 |