Instances of family trafficlight-controller solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT1.34
tlc03-nonuniform-depth-17UNSAT3.18
tlc03-uniform-depth-21UNSAT14.09
tlc01-uniform-depth-73UNSAT34.66
tlc03-uniform-depth-52UNSAT110.1
tlc04-nonuniform-depth-56FAIL599.71
tlc04-uniform-depth-36FAIL599.71
tlc04-nonuniform-depth-98FAIL599.71
tlc02-uniform-depth-241FAIL599.81
tlc02-uniform-depth-114FAIL599.81