Instances of family Counter solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
cnt01SAT0.04
cnt02eSAT0.04
counter_e_2SAT0.04
cnt05SAT0.09
cnt11SAT0.32
cnt10SAT0.33
cnt14SAT0.53
cnt08eSAT18.69
cnt07eSAT22.79
cnt16rFAIL242.85