Instances of family Adder solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
Adder2-2-cUNSAT0.96
adder-6-unsatFAIL901.03
Adder2-12-sFAIL901.03
adder-4-unsatFAIL901.03
adder-8-unsatFAIL901.03
adder-10-satFAIL901.04
Adder2-16-cFAIL901.04
adder-6-satFAIL901.16