Instances of family Counter solved by GRL
QBFEVAL'05

InstanceResultTime
counter_2SAT0
counter_e_2SAT0
counter_r_2SAT0.01
counter_re_2SAT0.02
counter_4SAT0.1
counter_e_4SAT1.05
counter_r_4SAT1.31
counter_re_4SAT6.87
counter_8SAT58
counter_re_16FAIL899.62
counter_re_32FAIL899.96
counter_re_8FAIL900.09
counter_re_64FAIL900.11
counter_e_8FAIL900.45
counter_e_16FAIL900.51
counter_e_32FAIL900.51
counter_r_8FAIL900.61
counter_e_64FAIL900.61
counter_64FAIL900.79
counter_32FAIL900.79
counter_r_16FAIL900.81
counter_r_64FAIL900.82
counter_16FAIL900.86
counter_r_32FAIL900.88