Instances of family Adder solved by QuBE7
QBFEVAL'10 - Competitive Track.

InstanceResultTime
adder-12-satFAIL796.49
Adder2-6-cFAIL1200.01
adder-4-satFAIL1200.02
Adder2-4-sFAIL1200.02
adder-6-satFAIL1200.02
adder-12-unsatFAIL1200.02
adder-8-unsatFAIL1200.02
Adder2-6-sFAIL1200.02
adder-8-satFAIL1200.03
adder-10-unsatFAIL1200.03
Adder2-10-sFAIL1200.04
adder-14-unsatFAIL1200.04
adder-16-unsatFAIL1200.05
adder-10-satFAIL1200.07
adder-14-satFAIL1200.1