Instances of family Counter solved by sSolve
QBFEVAL'06

InstanceResultTime
counter_re_4SAT39.88
counter_8SAT3858.68
counter_e_8FAIL6000.11
counter_r_8FAIL6000.15
counter_re_8FAIL6000.26