variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
994 | 17409 | 33.72 | 34.57 | 6.72 | 8.16 | 8.50 |
---|
zChaff | minisat | SatELite |
2.87056 |
0.19197 |
0.693894 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 27.05 | 27.98 | 2.66 | 6.55 | 6.06 | 0 | 4572 | 26 | 4572 | 26 | 257437 | 1.55276 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.51277 |
0.107983 |
0.640902 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 23.73 | 40.39 | 5.58 | 9.69 | 4.87 | 0 | 2510 | 14 | 2510 | 14 | 166023 | 1.18082 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.999847 |
0.076988 |
0.602908 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 30.62 | 30.29 | 8.56 | 7.02 | 7.78 | 0 | 3743 | 22 | 3743 | 22 | 197424 | 1.40979 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.64275 |
0.069989 |
0.546916 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 25.43 | 39.49 | 7.68 | 9.48 | 6.99 | 0 | 2171 | 12 | 2171 | 12 | 145191 | 1.12283 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.11083 |
0.075988 |
0.582911 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 30.63 | 30.27 | 8.56 | 7.01 | 7.79 | 0 | 3734 | 21 | 3734 | 21 | 116064 | 0.610907 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.679896 |
0.066989 |
0.563914 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 25.45 | 39.48 | 7.68 | 9.47 | 7.00 | 0 | 2165 | 12 | 2165 | 12 | 72502 | 0.400939 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.81272 |
0.075988 |
0.611906 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 30.63 | 30.27 | 8.56 | 7.01 | 7.79 | 0 | 3734 | 21 | 3734 | 21 | 115938 | 0.611906 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.671898 |
0.069989 |
0.527919 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 25.45 | 39.48 | 7.68 | 9.47 | 7.00 | 0 | 2165 | 12 | 2165 | 12 | 72484 | 0.404938 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1.86472 |
0.073988 |
0.605907 |