Instances of family Adder solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0.15
adder-14-satFAIL599.81
adder-10-satFAIL599.91
adder-12-unsatFAIL606.33
Adder2-16-sFAIL612.64