Instances of family Counter solved by <a href='solver_detail.php?solver=238'>hiqqer1ldsq</a> <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Instances of family Counter solved by hiqqer1ldsq
QBFEVAL'16 - Prenex CNF Track.

Instance	Result	Time
counter_e_2	SAT	0.02
cnt01	SAT	0.02
cnt02e	SAT	0.02
cnt05	SAT	0.04
cnt10	SAT	0.1
cnt14	SAT	0.47
cnt11	SAT	0.63
cnt07e	SAT	8.85
cnt16r	FAIL	599.81
cnt08e	FAIL	599.82

Contact | Organization | Links | Citing QBFLIB