variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
728 | 5784 | 88.93 | 12.55 | 49.33 | 2.11 | 47.10 |
---|
zChaff | minisat | SatELite |
0.007 |
0.002999 |
0.233964 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 89.01 | 13.86 | 62.10 | 2.58 | 57.67 | 0 | 3027 | 52 | 3027 | 52 | 100736 | 0.040993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.003999 |
0.095985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 94.44 | 7.14 | 52.38 | 1.30 | 50.01 | 0 | 337 | 6 | 337 | 6 | 13052 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.005999 |
0.123981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 92.23 | 9.98 | 73.19 | 1.82 | 69.88 | 0 | 1886 | 33 | 1886 | 33 | 66062 | 0.030995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.007998 |
0.099984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 94.44 | 7.14 | 52.38 | 1.30 | 50.01 | 0 | 337 | 6 | 337 | 6 | 12578 | 0.008998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.006998 |
0.124981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 92.06 | 9.90 | 72.63 | 1.86 | 69.54 | 0 | 1966 | 34 | 1966 | 34 | 75215 | 0.033994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.004999 |
0.079987 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 94.44 | 7.14 | 52.38 | 1.30 | 50.01 | 0 | 337 | 6 | 337 | 6 | 13052 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.007998 |
0.121981 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 92.23 | 9.98 | 73.19 | 1.82 | 69.88 | 0 | 1886 | 33 | 1886 | 33 | 66062 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.005999 |
0.104984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 94.44 | 7.14 | 52.38 | 1.30 | 50.01 | 0 | 337 | 6 | 337 | 6 | 12578 | 0.009998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.004999 |
0.136979 |