Instances of family Counter solved by <a href='solver_detail.php?solver=254'>depqbf-cert-v2</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

qbflib.org

Instances of family Counter solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
counter_e_2	SAT	0.02
cnt01	SAT	0.02
cnt02e	SAT	0.02
cnt05	SAT	0.11
cnt10	SAT	20.11
cnt11	SAT	160.21
cnt16r	FAIL	611.02
cnt08e	FAIL	620.44
cnt07e	FAIL	627.22
cnt14	FAIL	631.97

Contact | Organization | Links | Citing QBFLIB