variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
686 | 6816 | 64.22 | 66.78 | 63.34 | 20.77 | 18.41 |
---|
zChaff | minisat | SatELite |
0.007999 |
0.008998 |
0.058991 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 64.98 | 67.42 | 66.19 | 22.25 | 19.86 | 0 | 294 | 4 | 294 | 4 | 225073 | 0.177972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.008998 |
0.057991 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 63.47 | 68.17 | 64.65 | 22.39 | 19.39 | 0 | 139 | 2 | 139 | 2 | 80213 | 0.06399 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.009998 |
0.058991 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 64.98 | 67.42 | 66.19 | 22.25 | 19.86 | 0 | 294 | 4 | 294 | 4 | 106285 | 0.085986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009998 |
0.008998 |
0.06099 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 63.47 | 68.17 | 64.65 | 22.39 | 19.39 | 0 | 139 | 2 | 139 | 2 | 53668 | 0.043993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007999 |
0.009998 |
0.06099 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 64.98 | 67.42 | 66.19 | 22.25 | 19.86 | 0 | 294 | 4 | 294 | 4 | 109052 | 0.084987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.007999 |
0.010998 |
0.05999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 63.47 | 68.17 | 64.65 | 22.39 | 19.39 | 0 | 139 | 2 | 139 | 2 | 54268 | 0.043993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.009998 |
0.05999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 64.98 | 67.42 | 66.19 | 22.25 | 19.86 | 0 | 294 | 4 | 294 | 4 | 106285 | 0.084987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.009999 |
0.008998 |
0.058991 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 63.47 | 68.17 | 64.65 | 22.39 | 19.39 | 0 | 139 | 2 | 139 | 2 | 53668 | 0.044993 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.009998 |
0.05999 |