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

InstanceResultTime
counter_e_2SAT0
cnt01SAT0
cnt02eSAT0
cnt05SAT0.02
cnt10SAT5.03
cnt11SAT7.08
cnt07eSAT331.65
cnt08eFAIL599.83
cnt14FAIL600.03
cnt16rFAIL600.19