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

InstanceResultTime
counter_e_2SAT0
cnt01SAT0
cnt02eSAT0
cnt05SAT0.01
cnt10SAT0.05
cnt11SAT0.05
cnt14SAT0.08
cnt07eSAT0.31
cnt08eSAT2.96
cnt16rFAIL599.81