variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
743 | 17853 | 72.25 | 77.03 | 99.43 | 27.30 | 22.51 |
---|
zChaff | minisat | SatELite |
0.005999 |
0.012998 |
0.339948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 70.32 | 78.53 | 99.26 | 29.16 | 20.89 | 0 | 4000 | 22 | 4000 | 22 | 2274296 | 0.858869 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.010998 |
0.317951 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 70.38 | 82.22 | 99.39 | 29.18 | 17.30 | 0 | 1126 | 6 | 1126 | 6 | 548293 | 0.209968 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003999 |
0.011998 |
0.334949 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 72.25 | 77.03 | 99.43 | 27.34 | 22.52 | 0 | 0 | 0 | 0 | 0 | 689 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.012998 |
0.339948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 72.25 | 77.03 | 99.43 | 27.34 | 22.52 | 0 | 0 | 0 | 0 | 0 | 640 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.012998 |
0.339948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 71.96 | 77.32 | 99.42 | 27.63 | 22.22 | 0 | 187 | 1 | 187 | 1 | 65054 | 0.034994 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.011998 |
0.332949 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 72.10 | 77.44 | 99.43 | 27.48 | 22.11 | 0 | 94 | 1 | 94 | 1 | 28210 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.004 |
0.010998 |
0.336948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 72.25 | 77.03 | 99.43 | 27.34 | 22.52 | 0 | 0 | 0 | 0 | 0 | 689 | 0.010998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.012998 |
0.339948 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 72.25 | 77.03 | 99.43 | 27.34 | 22.52 | 0 | 0 | 0 | 0 | 0 | 640 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.012998 |
0.339948 |