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

InstanceResultTime
adder-2-unsatUNSAT0.02
Adder2-2-cUNSAT0.04
Adder2-8-sUNSAT14.88
Adder2-10-sUNSAT32.15
Adder2-16-sSAT129.58
adder-12-satFAIL599.61
adder-14-satFAIL599.61
adder-10-satFAIL599.61
adder-12-unsatFAIL599.71
Adder2-8-cFAIL599.72