Instances of family Counter solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
counter_e_2SAT0.12
cnt01SAT0.12
cnt02eSAT0.12
cnt05SAT0.12
cnt10SAT0.32
cnt11SAT0.32
cnt14SAT0.52
cnt07eSAT6.43
cnt16rFAIL299.84
cnt08eFAIL299.89