Instances of family Counter solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
counter_re_2SAT0.8
counter_e_2SAT0.8
counter_r_2SAT0.82
counter_2SAT0.82
counter_re_4SAT0.87
counter_4SAT0.92
counter_r_4SAT0.93
counter_e_4SAT0.95
counter_8SAT1.11
counter_r_8SAT1.46
counter_re_8SAT2.95
counter_e_8SAT3.36
counter_re_64FAIL411.39
counter_e_64FAIL420.68
counter_r_64FAIL424.51
counter_64FAIL468.07
counter_e_16FAIL492.96
counter_re_32FAIL493.68
counter_re_16FAIL494.19
counter_r_16FAIL496.38
counter_e_32FAIL497.27
counter_r_32FAIL503.88
counter_32FAIL535.31
counter_16FAIL587.34