variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
763 | 16401 | 69.79 | 72.98 | 93.51 | 25.43 | 22.14 |
---|
zChaff | minisat | SatELite |
0.007999 |
0.013997 |
0.177972 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 70.58 | 73.09 | 94.02 | 25.14 | 22.54 | 0 | 2059 | 13 | 2059 | 13 | 2071318 | 1.63875 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.009998 |
0.225965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 68.71 | 77.50 | 94.07 | 27.01 | 18.25 | 0 | 957 | 6 | 957 | 6 | 577944 | 0.569913 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007998 |
0.015997 |
0.243962 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 70.49 | 73.76 | 94.70 | 25.72 | 22.38 | 0 | 206 | 1 | 206 | 1 | 120166 | 0.116982 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008997 |
0.016997 |
0.227965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 70.35 | 73.81 | 94.59 | 25.72 | 22.36 | 0 | 186 | 1 | 186 | 1 | 95402 | 0.094985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.014997 |
0.246962 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 70.68 | 73.68 | 94.66 | 25.50 | 22.42 | 0 | 334 | 2 | 334 | 2 | 178038 | 0.162975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.008998 |
0.223965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 70.31 | 73.92 | 94.58 | 25.76 | 22.25 | 0 | 209 | 1 | 209 | 1 | 105805 | 0.103984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.011998 |
0.241963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 70.49 | 73.76 | 94.70 | 25.72 | 22.38 | 0 | 206 | 1 | 206 | 1 | 120166 | 0.117982 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009999 |
0.016997 |
0.228965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 70.35 | 73.81 | 94.59 | 25.72 | 22.36 | 0 | 186 | 1 | 186 | 1 | 95402 | 0.083987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004 |
0.015997 |
0.244962 |