Instances of family Counter solved by QMRes
QBFEVAL'05

InstanceResultTime
counter_2SAT0.01
counter_r_2SAT0.02
counter_e_2SAT0.03
counter_re_2SAT0.03
counter_4SAT1.36
counter_r_4SAT1.72
counter_re_4SAT19.95
counter_e_4SAT80.23
counter_32FAIL900.29
counter_8FAIL900.32
counter_64FAIL900.57
counter_r_16FAIL900.57
counter_r_64FAIL900.61
counter_e_64FAIL900.62
counter_e_16FAIL900.63
counter_re_8FAIL900.66
counter_16FAIL900.69
counter_re_32FAIL900.75
counter_e_32FAIL900.75
counter_re_64FAIL900.76
counter_r_32FAIL900.8
counter_re_16FAIL900.87
counter_e_8FAIL900.9
counter_r_8FAIL900.95