Instances of family trafficlight-controller solved by qesto
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.05
tlc03-uniform-depth-21UNSAT0.26
tlc03-nonuniform-depth-17UNSAT0.27
tlc03-uniform-depth-52UNSAT0.72
tlc01-uniform-depth-73UNSAT0.77
tlc02-uniform-depth-114UNSAT3.39
tlc04-nonuniform-depth-56FAIL6.43
tlc04-nonuniform-depth-98FAIL7.43
tlc02-uniform-depth-241UNSAT13.42
tlc04-uniform-depth-36FAIL599.71