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

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