Instances of family Adder solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
Adder2-2-cUNSAT0.2
Adder2-16-sFAIL599.53
adder-14-satFAIL599.62
adder-10-satFAIL599.62
adder-12-unsatFAIL599.62