Instances of family trafficlight-controller solved by <a href='solver_detail.php?solver=272'>ijtihad_v1</a> <br> QBFEVAL'17 - Prenex CNF Track

qbflib.org

Instances of family trafficlight-controller solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

Instance	Result	Time
tlc05-nonuniform-depth-6	UNSAT	0.03
tlc04-nonuniform-depth-8	UNSAT	0.05
tlc03-nonuniform-depth-19	UNSAT	0.25
tlc04-nonuniform-depth-27	UNSAT	0.59
tlc01-nonuniform-depth-63	UNSAT	0.83
tlc03-nonuniform-depth-67	UNSAT	1.26
tlc02-nonuniform-depth-73	UNSAT	1.48
tlc02-uniform-depth-151	UNSAT	3.94
tlc05-nonuniform-depth-73	UNSAT	4.67
tlc04-nonuniform-depth-64	UNSAT	6.48

Contact | Organization | Links | Citing QBFLIB