Instances of family Counter solved by qbfbdd
QBFEVAL'05

InstanceResultTime
counter_2SAT0.03
counter_r_2SAT0.04
counter_e_2SAT0.08
counter_re_2SAT0.23
counter_4SAT14.15
counter_r_4SAT26.05
counter_e_4SAT36.53
counter_r_16FAIL900.2
counter_e_8FAIL900.21
counter_re_8FAIL900.24
counter_re_16FAIL900.38
counter_re_4FAIL900.44
counter_r_8FAIL900.44
counter_re_32FAIL900.46
counter_e_16FAIL900.48
counter_e_32FAIL900.54
counter_e_64FAIL900.63
counter_32FAIL900.67
counter_re_64FAIL900.67
counter_r_32FAIL900.75
counter_16FAIL900.76
counter_8FAIL900.8
counter_64FAIL900.99
counter_r_64FAIL900.99