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

InstanceResultTime
Adder2-6-sFAIL1200.14
adder-6-satFAIL1200.14
adder-14-satFAIL1200.15
Adder2-4-sFAIL1200.15
adder-8-unsatFAIL1200.15
adder-14-unsatFAIL1200.15
adder-16-unsatFAIL1200.15
adder-12-satFAIL1200.16
adder-4-satFAIL1200.16
adder-8-satFAIL1200.16
adder-10-satFAIL1200.16
adder-12-unsatFAIL1200.16
Adder2-6-cFAIL1200.16
adder-10-unsatFAIL1200.16
Adder2-10-sFAIL1200.18