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

qbflib.org

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

Instance	Result	Time
counter_e_2	SAT	0.02
cnt02e	SAT	0.02
cnt01	SAT	0.03
cnt05	SAT	0.08
cnt10	SAT	3.11
cnt11	SAT	39.62
cnt07e	FAIL	592.62
cnt08e	FAIL	593.22
cnt16r	FAIL	593.42
cnt14	FAIL	593.82

Contact | Organization | Links | Citing QBFLIB