Instances of family Counter solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
counter_2UNSAT0
counter_re_4UNSAT0
counter_e_2UNSAT0
counter_e_8UNSAT0.01
counter_re_8UNSAT0.01
counter_re_2UNSAT0.01
counter_e_4UNSAT0.01
counter_8UNSAT0.01
counter_r_4UNSAT0.01
counter_r_8UNSAT0.01
counter_4UNSAT0.01
counter_r_2UNSAT0.01
counter_16UNSAT0.03
counter_e_16UNSAT0.04
counter_r_16UNSAT0.04
counter_re_16UNSAT0.04
counter_r_32UNSAT0.13
counter_re_32UNSAT0.13
counter_32UNSAT0.13
counter_e_32UNSAT0.14
counter_64UNSAT0.53
counter_r_64UNSAT0.54
counter_re_64UNSAT0.54
counter_e_64UNSAT0.62