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

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