variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1437 | 29170 | 75.03 | 74.06 | 99.09 | 24.37 | 25.35 |
---|
zChaff | minisat | SatELite |
0.098986 |
0.015997 |
1.09983 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 74.72 | 74.26 | 99.01 | 24.66 | 25.14 | 0 | 2223 | 8 | 2223 | 8 | 6531139 | 2.73458 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.044993 |
0.025996 |
0.913861 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 76.26 | 73.63 | 99.07 | 23.15 | 25.81 | 0 | 471 | 2 | 471 | 2 | 1653556 | 0.704892 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.015997 |
0.021996 |
1.04484 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 75.03 | 74.06 | 99.09 | 24.39 | 25.39 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.098986 |
0.015997 |
1.09983 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 75.03 | 74.06 | 99.09 | 24.39 | 25.39 | 0 | 0 | 0 | 0 | 0 | 1400 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.098986 |
0.015997 |
1.09983 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 75.11 | 73.98 | 99.08 | 24.31 | 25.46 | 0 | 286 | 1 | 286 | 1 | 182687 | 0.095985 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.048992 |
0.017997 |
1.3128 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 75.28 | 73.97 | 99.09 | 24.15 | 25.47 | 0 | 94 | 0 | 94 | 0 | 46964 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.056992 |
0.014997 |
1.10283 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 75.03 | 74.06 | 99.09 | 24.39 | 25.39 | 0 | 0 | 0 | 0 | 0 | 1687 | 0.018997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.098986 |
0.015997 |
1.09983 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 75.03 | 74.06 | 99.09 | 24.39 | 25.39 | 0 | 0 | 0 | 0 | 0 | 1400 | 0.011998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.098986 |
0.015997 |
1.09983 |