variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
529 | 59685 | 99.92 | 0.19 | 39.11 | 0.08 | 39.00 |
---|
zChaff | minisat | SatELite |
7.9238 |
44.7062 |
306.648 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 99.85 | 0.38 | 33.25 | 0.15 | 33.02 | 0 | 29556 | 50 | 29556 | 50 | 11949020 | 39.1211 | UNKNOWN |
---|
zChaff | minisat | SatELite |
334.024 |
106.02 |
989.269 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 99.92 | 0.19 | 39.11 | 0.08 | 39.00 | 0 | 0 | 0 | 0 | 0 | 1216 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
7.9238 |
44.7062 |
306.648 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 99.89 | 0.26 | 53.72 | 0.11 | 53.56 | 0 | 16228 | 27 | 16228 | 27 | 9342614 | 32.1801 | UNKNOWN |
---|
zChaff | minisat | SatELite |
160.645 |
191.168 |
245.575 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 99.92 | 0.19 | 39.11 | 0.08 | 39.00 | 0 | 0 | 0 | 0 | 0 | 1216 | 0.027995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
7.9238 |
44.7062 |
306.648 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 99.89 | 0.29 | 49.83 | 0.11 | 49.66 | 0 | 19598 | 33 | 19598 | 33 | 10056709 | 33.5389 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2.92556 |
21.3018 |
98.963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 99.92 | 0.19 | 39.11 | 0.08 | 39.00 | 0 | 0 | 0 | 0 | 0 | 1216 | 0.029995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
7.9238 |
44.7062 |
306.648 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 99.89 | 0.26 | 53.72 | 0.11 | 53.56 | 0 | 16228 | 27 | 16228 | 27 | 9342614 | 32.4141 | UNKNOWN |
---|
zChaff | minisat | SatELite |
159.545 |
187.556 |
253.672 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 99.92 | 0.19 | 39.11 | 0.08 | 39.00 | 0 | 0 | 0 | 0 | 0 | 1216 | 0.024996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
7.9238 |
44.7062 |
306.648 |