Instances of family Counter solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
cnt01SAT0.01
cnt02eSAT0.01
counter_e_2SAT0.02
cnt05SAT0.06
cnt11SAT0.29
cnt10SAT0.3
cnt14SAT0.5
cnt07eSAT0.91
cnt08eSAT24.83
cnt16rSAT31.91