Instances of family Counter solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
cnt01SAT0
cnt02eSAT0.01
counter_e_2SAT0.02
cnt05FAIL599.71
cnt07eFAIL599.71
cnt08eFAIL599.71
cnt10FAIL599.71
cnt14FAIL599.71
cnt16rFAIL599.71
cnt11FAIL599.81