Instances of family Counter solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
cnt01SAT0
cnt02eSAT0.03
counter_e_2SAT0.03
cnt05SAT0.15
cnt10SAT25.1
cnt07eSAT63.28
cnt11SAT109.37
cnt08eSAT533.8
cnt14FAIL590.93
cnt16rFAIL600