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

qbflib.org

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

Instance	Result	Time
tlc05-nonuniform-depth-6	UNSAT	0.03
tlc04-nonuniform-depth-8	UNSAT	0.06
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.25
tlc02-nonuniform-depth-73	UNSAT	1.48
tlc02-uniform-depth-151	UNSAT	3.97
tlc05-nonuniform-depth-73	UNSAT	4.67
tlc04-nonuniform-depth-64	UNSAT	6.55

Contact | Organization | Links | Citing QBFLIB