variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
20864 | 93208 | 79.14 | 74.44 | 74.49 | 8.60 | 10.31 |
---|
zChaff | minisat | SatELite |
635.559 |
986.896 |
84.0382 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 78.16 | 74.18 | 72.64 | 8.91 | 9.84 | 1 | 6653 | 7 | 6653 | 7 | 11751067 | 9.65853 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1178.6 |
514.984 |
951.531 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 79.74 | 74.26 | 74.36 | 8.17 | 10.75 | 0 | 706 | 1 | 706 | 1 | 1858375 | 1.57076 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2262.27 |
794.787 |
3328.7 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 79.18 | 74.47 | 74.57 | 8.81 | 10.68 | 0 | 94 | 0 | 94 | 0 | 1468182 | 1.23881 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1048.64 |
273.68 |
9229.01 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 79.19 | 74.44 | 74.54 | 8.81 | 10.68 | 0 | 57 | 0 | 57 | 0 | 995628 | 0.85187 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1326.4 |
313.305 |
7689.65 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 78.80 | 74.98 | 73.45 | 8.68 | 9.55 | 1 | 3896 | 4 | 3896 | 4 | 8263514 | 6.64799 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1400.09 |
1366.14 |
2695.22 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 79.72 | 74.27 | 74.33 | 8.20 | 10.75 | 0 | 678 | 1 | 678 | 1 | 1854300 | 1.46678 | UNKNOWN |
---|
zChaff | minisat | SatELite |
741.947 |
2303.92 |
3595.67 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 79.16 | 74.48 | 74.54 | 8.84 | 10.68 | 0 | 66 | 0 | 66 | 0 | 1460825 | 1.23081 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3668.94 |
362.241 |
3455.8 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 79.16 | 74.45 | 74.51 | 8.84 | 10.68 | 0 | 29 | 0 | 29 | 0 | 991729 | 0.856869 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2173.52 |
956.595 |
TimeOut |