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

qbflib.org

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

Instance	Result	Time
tlc05-nonuniform-depth-6	UNSAT	0.02
tlc04-nonuniform-depth-8	UNSAT	0.04
tlc03-nonuniform-depth-19	UNSAT	0.39
tlc01-nonuniform-depth-63	UNSAT	0.85
tlc04-nonuniform-depth-27	UNSAT	0.93
tlc02-nonuniform-depth-73	UNSAT	5.53
tlc04-nonuniform-depth-64	UNSAT	6.91
tlc05-nonuniform-depth-73	UNSAT	8.43
tlc03-nonuniform-depth-67	UNSAT	8.64
tlc02-uniform-depth-151	UNSAT	25

Contact | Organization | Links | Citing QBFLIB