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

qbflib.org

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

Instance	Result	Time
counter_e_2	SAT	0.03
cnt01	SAT	0.03
cnt02e	SAT	0.03
cnt05	SAT	0.05
cnt10	SAT	0.11
cnt14	SAT	0.46
cnt11	SAT	0.83
cnt07e	SAT	20.79
cnt08e	SAT	418.03
cnt16r	FAIL	599.71

Contact | Organization | Links | Citing QBFLIB