Instances of family Counter solved by sKizzo-0.10-std
QBFEVAL'07

InstanceResultTime
counter_r_8SAT4.13
counter_e_8SAT6.94
counter_re_8SAT7.05