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

InstanceResultTime
Adder2-6-cUNSAT39.13
Adder2-4-sSAT261
adder-4-satFAIL1199.34
adder-14-unsatFAIL1200.12
adder-16-unsatFAIL1200.14
adder-6-satFAIL1200.16
adder-8-unsatFAIL1200.16
Adder2-10-sFAIL1200.16
adder-10-unsatFAIL1200.16
Adder2-6-sFAIL1200.16
adder-8-satFAIL1200.16
adder-10-satFAIL1200.17
adder-12-unsatFAIL1200.17
adder-14-satFAIL1200.17
adder-12-satFAIL1200.17