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

InstanceResultTime
counter_e_2FAIL0.02
cnt01FAIL0.02
cnt02eFAIL0.02
cnt05FAIL0.06
cnt10FAIL2.52
cnt11FAIL19.7
cnt08eFAIL612.52
cnt07eFAIL615.42
cnt14FAIL616.32
cnt16rFAIL629.33