Instances of family Counter solved by QbflHR
QBFEVAL'05

InstanceResultTime
counter_2SAT0.78
counter_r_2SAT1.42
counter_e_2SAT12.12
counter_re_2SAT104.08
counter_e_4FAIL900.99
counter_64FAIL900.99
counter_r_64FAIL900.99
counter_re_64FAIL900.99
counter_e_8FAIL900.99
counter_e_16FAIL900.99
counter_re_32FAIL901
counter_32FAIL901
counter_e_32FAIL901
counter_8FAIL901
counter_r_4FAIL901
counter_r_8FAIL901
counter_r_16FAIL901
counter_4FAIL901
counter_re_16FAIL901
counter_16FAIL901
counter_r_32FAIL901
counter_re_8FAIL901
counter_e_64FAIL901.01
counter_re_4FAIL901.01