variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
920 | 16394 | 73.16 | 76.26 | 98.90 | 26.13 | 23.02 |
---|
zChaff | minisat | SatELite |
0.005 |
0.016997 |
0.311952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 73.46 | 75.62 | 98.64 | 25.74 | 23.58 | 0 | 3066 | 19 | 3066 | 19 | 2837880 | 1.08083 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.014997 |
0.293955 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 72.05 | 79.41 | 98.85 | 27.27 | 19.91 | 0 | 651 | 4 | 651 | 4 | 691226 | 0.272958 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004999 |
0.015997 |
0.289955 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 73.16 | 76.26 | 98.90 | 26.19 | 23.09 | 0 | 0 | 0 | 0 | 0 | 858 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.016997 |
0.311952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 73.16 | 76.26 | 98.90 | 26.19 | 23.09 | 0 | 0 | 0 | 0 | 0 | 665 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.016997 |
0.311952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 73.08 | 76.28 | 98.87 | 26.25 | 23.06 | 0 | 376 | 2 | 376 | 2 | 136176 | 0.056991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008998 |
0.015997 |
0.293955 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 73.01 | 76.69 | 98.89 | 26.33 | 22.65 | 0 | 92 | 1 | 92 | 1 | 38500 | 0.019996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.015997 |
0.289955 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 73.16 | 76.26 | 98.90 | 26.19 | 23.09 | 0 | 0 | 0 | 0 | 0 | 858 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.016997 |
0.311952 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 73.16 | 76.26 | 98.90 | 26.19 | 23.09 | 0 | 0 | 0 | 0 | 0 | 665 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005 |
0.016997 |
0.311952 |