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

InstanceResultTime
adder-2-unsatUNSAT0.01
Adder2-2-cUNSAT0.03
adder-14-satFAIL599.52
Adder2-16-sFAIL599.53
adder-10-satFAIL599.61
adder-12-satFAIL599.61
adder-12-unsatFAIL599.61
Adder2-10-sFAIL599.61
Adder2-8-sFAIL599.71
Adder2-8-cFAIL599.72