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

InstanceResultTime
cnt01SAT0
counter_e_2SAT0.01
cnt02eSAT0.01
cnt05SAT0.04
cnt11SAT2.59
cnt10SAT3.03
cnt14SAT15.6
cnt07eFAIL599.71
cnt08eFAIL599.71
cnt16rFAIL599.71