Instances of family Counter solved by semprop
QBFEVAL'05

InstanceResultTime
counter_re_2SAT0
counter_r_2SAT0
counter_e_2SAT0.01
counter_r_4SAT0.01
counter_2SAT0.01
counter_4SAT0.02
counter_8SAT0.5
counter_re_4SAT0.71
counter_e_4SAT1.45
counter_64FAIL900.91
counter_re_64FAIL900.95
counter_e_64FAIL900.96
counter_e_32FAIL900.98
counter_r_32FAIL900.98
counter_re_32FAIL900.99
counter_32FAIL900.99
counter_r_64FAIL900.99
counter_16FAIL900.99
counter_e_8FAIL900.99
counter_r_8FAIL901
counter_r_16FAIL901
counter_re_16FAIL901
counter_e_16FAIL901
counter_re_8FAIL901.01