variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1024 | 11657 | 64.69 | 66.11 | 63.76 | 20.81 | 19.66 |
---|
zChaff | minisat | SatELite |
2.97355 |
0.145977 |
1.03484 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 445346 | 0.365944 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.81742 |
0.146977 |
1.05184 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 159700 | 0.131979 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.84542 |
0.143978 |
1.04784 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.178972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.53946 |
0.157975 |
1.04784 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.083987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.88641 |
0.142978 |
1.05784 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 214916 | 0.179972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.58845 |
0.143978 |
1.04784 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 103843 | 0.086986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.84042 |
0.139978 |
1.02684 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.174973 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.60345 |
0.153976 |
1.03684 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.085986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.84142 |
0.143978 |
1.02784 |