variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1917 | 5096 | 54.32 | 69.96 | 81.30 | 45.17 | 26.69 |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 54.31 | 69.95 | 81.30 | 45.20 | 26.69 | 0 | 1 | 0 | 1 | 0 | 299222 | 0.098984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.470929 |
0.394939 |
2.69359 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 71973 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54421 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54235 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 54.31 | 69.95 | 81.30 | 45.20 | 26.69 | 0 | 1 | 0 | 1 | 0 | 284879 | 0.100984 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.472928 |
0.387941 |
2.59361 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 71973 | 0.029995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54421 | 0.024996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54235 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.691894 |
0.387941 |
2.6446 |