Sota solver results for family Counter
QBFEVAL'06


InstanceSolverResultTime
counter_82clsQSAT0.14
counter_e_8preQuantorSAT2.7
counter_re_42clsQSAT0.01
counter_re_8sKizzo-0.9-stdSAT3.36
counter_r_8sKizzo-0.9-absSAT0.61