Instances of family Adder solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
adder-2-unsatUNSAT0.21
Adder2-2-cUNSAT0.21
adder-10-satFAIL591.85
Adder2-16-sFAIL592.42
adder-14-satFAIL592.42
adder-12-satFAIL592.72
Adder2-10-sFAIL592.84
adder-12-unsatFAIL593.22
Adder2-8-cFAIL593.32
Adder2-8-sFAIL593.52