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

InstanceResultTime
adder-2-unsatUNSAT0.03
Adder2-2-cUNSAT0.04
Adder2-10-sFAIL169.43
Adder2-16-sFAIL179.72
adder-14-satFAIL318.12
adder-12-satFAIL344.32
Adder2-8-sFAIL599.71
adder-10-satFAIL599.71
Adder2-8-cFAIL599.71
adder-12-unsatFAIL599.71