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

InstanceResultTime
Adder2-2-cUNSAT0.13
adder-10-satUNSAT27.02
adder-14-satUNSAT75.28
Adder2-16-sUNSAT285.7
adder-12-unsatFAIL599.71