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

InstanceResultTime
counter_e_2SAT0.22
cnt14FAIL599.61
cnt10FAIL599.71
cnt16rFAIL599.71
cnt05FAIL599.81