variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
335 | 7529 | 70.37 | 75.03 | 95.98 | 26.47 | 21.65 |
---|
zChaff | minisat | SatELite |
0.001999 |
0.006998 |
0.177972 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 70.60 | 74.18 | 95.58 | 25.87 | 22.06 | 0 | 1301 | 17 | 1301 | 17 | 672621 | 0.604908 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.006998 |
0.201969 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 69.42 | 77.85 | 96.04 | 27.47 | 18.92 | 0 | 273 | 4 | 273 | 4 | 174502 | 0.159975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.004999 |
0.238963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 70.56 | 75.15 | 96.33 | 26.50 | 21.73 | 0 | 28 | 0 | 28 | 0 | 26215 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.008998 |
0.26196 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 70.46 | 75.20 | 96.19 | 26.53 | 21.70 | 0 | 17 | 0 | 17 | 0 | 23432 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.006998 |
0.263959 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 70.73 | 75.00 | 96.31 | 26.32 | 21.86 | 0 | 72 | 1 | 72 | 1 | 54881 | 0.054991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.003999 |
0.235964 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 70.46 | 75.21 | 96.19 | 26.53 | 21.69 | 0 | 18 | 0 | 18 | 0 | 31428 | 0.030995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.000999 |
0.006998 |
0.293955 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 70.56 | 75.15 | 96.33 | 26.50 | 21.73 | 0 | 28 | 0 | 28 | 0 | 26215 | 0.025996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.004999 |
0.25796 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 70.46 | 75.20 | 96.19 | 26.53 | 21.70 | 0 | 17 | 0 | 17 | 0 | 23432 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.006998 |
0.26096 |