variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1906 | 11428 | 45.90 | 47.33 | 10.77 | 12.24 | 11.58 |
---|
zChaff | minisat | SatELite |
0.011997 |
0.016997 |
0.226965 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 40.73 | 42.76 | 6.16 | 11.57 | 10.37 | 931 | 4338 | 38 | 4338 | 38 | 157501 | 0.429934 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.013997 |
0.180972 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 32.80 | 58.92 | 10.32 | 15.82 | 7.42 | 931 | 2248 | 20 | 2248 | 20 | 75409 | 0.252961 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.011998 |
0.204968 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 44.77 | 45.59 | 15.61 | 12.34 | 12.28 | 931 | 3544 | 31 | 3544 | 31 | 102145 | 0.331949 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.019997 |
0.013997 |
0.183972 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 34.82 | 57.15 | 13.01 | 15.34 | 10.20 | 931 | 1964 | 17 | 1964 | 17 | 63008 | 0.220966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.012998 |
0.203968 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 44.77 | 45.59 | 15.61 | 12.34 | 12.28 | 931 | 3544 | 31 | 3544 | 31 | 98572 | 0.320951 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.018997 |
0.012998 |
0.185971 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 34.82 | 57.15 | 13.01 | 15.34 | 10.20 | 931 | 1964 | 17 | 1964 | 17 | 59539 | 0.220966 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.006999 |
0.013997 |
0.202969 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 44.77 | 45.59 | 15.61 | 12.34 | 12.28 | 931 | 3544 | 31 | 3544 | 31 | 98314 | 0.318951 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.019997 |
0.013997 |
0.187971 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 34.82 | 57.15 | 13.01 | 15.34 | 10.20 | 931 | 1964 | 17 | 1964 | 17 | 59509 | 0.211967 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.014997 |
0.201969 |