Instances of family Adder solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
Adder2-4-sSAT0.19
adder-4-satSAT0.21
Adder2-6-sSAT33.44
Adder2-4-cUNSAT35.37
adder-6-satSAT37.73
adder-10-satFAIL600
Adder2-8-sFAIL600
adder-16-satFAIL600
adder-12-satFAIL600
adder-8-satFAIL600
adder-14-satFAIL600