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

InstanceResultTime
cnt01SAT0.02
cnt02eSAT0.02
counter_e_2SAT0.02
cnt05SAT0.11
cnt10SAT0.41
cnt11SAT0.71
cnt14SAT0.71
cnt07eSAT6.41
cnt16rFAIL592.94
cnt08eFAIL593.02