Instances of family Counter solved by <a href='solver_detail.php?solver=51'>sKizzo-0.10-qck</a> <br> QBFEVAL'07

qbflib.org

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

Instance	Result	Time
counter_r_8	SAT	2.58
counter_e_8	SAT	6.84
counter_re_8	SAT	7.18

Contact | Organization | Links | Citing QBFLIB