variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
892 | 6695 | 67.14 | 68.02 | 86.59 | 22.78 | 21.70 |
---|
zChaff | minisat | SatELite |
0.06699 |
0.215967 |
1.06384 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 66.49 | 67.20 | 85.49 | 22.69 | 21.75 | 35 | 658 | 10 | 658 | 10 | 728319 | 0.685895 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.082988 |
0.230964 |
0.91486 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 66.55 | 69.90 | 86.55 | 23.42 | 19.86 | 31 | 180 | 3 | 180 | 3 | 222710 | 0.224965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.070989 |
0.25896 |
1.55076 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 69761 | 0.06399 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.075989 |
0.301954 |
1.47578 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 60786 | 0.06099 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.074989 |
0.305953 |
1.35079 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 67.25 | 68.23 | 86.79 | 22.90 | 21.71 | 31 | 62 | 1 | 62 | 1 | 101333 | 0.093985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.074988 |
0.469928 |
1.2898 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 67.28 | 68.39 | 86.84 | 22.92 | 21.59 | 31 | 36 | 1 | 36 | 1 | 67036 | 0.06499 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.082988 |
0.290955 |
1.38179 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 62054 | 0.06299 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.073989 |
0.303953 |
1.35879 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 57358 | 0.05999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.074989 |
0.305953 |
1.34479 |