Instances of family Counter solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
counter_e_2SAT0.5
cnt01SAT0.5
cnt02eSAT0.52
cnt05SAT0.56
cnt10SAT2.13
cnt07eSAT2.36
cnt11SAT4.19
cnt08eSAT7.07
cnt14SAT34.83
cnt16rFAIL600