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

qbflib.org

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

Instance	Result	Time
tlc05-nonuniform-depth-6	UNSAT	0.6
tlc04-nonuniform-depth-8	UNSAT	0.83
tlc03-nonuniform-depth-19	UNSAT	2.16
tlc04-nonuniform-depth-27	UNSAT	3.33
tlc02-uniform-depth-151	FAIL	5.65
tlc01-nonuniform-depth-63	UNSAT	7.55
tlc03-nonuniform-depth-67	UNSAT	7.63
tlc04-nonuniform-depth-64	UNSAT	9.54
tlc05-nonuniform-depth-73	UNSAT	10.22
tlc02-nonuniform-depth-73	UNSAT	13.34

Contact | Organization | Links | Citing QBFLIB