Instances of family Adder solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0.16
adder-12-unsatFAIL599.71
adder-10-satFAIL599.71
Adder2-16-sFAIL599.81
adder-14-satFAIL599.81