Instances of family Adder solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
Adder2-4-cUNSAT1.27
adder-16-satFAIL329.02
adder-14-satFAIL412.16
adder-4-satFAIL600
adder-10-satFAIL600
adder-6-satFAIL600
Adder2-6-sFAIL600
adder-12-satFAIL600
adder-8-satFAIL600
Adder2-4-sFAIL600
Adder2-8-sFAIL600