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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.11
tlc03-nonuniform-depth-17UNSAT0.11
tlc03-uniform-depth-21UNSAT0.21
tlc03-uniform-depth-52UNSAT0.51
tlc01-uniform-depth-73UNSAT0.71
tlc04-nonuniform-depth-56UNSAT1.51
tlc02-uniform-depth-114UNSAT8.01
tlc04-nonuniform-depth-98UNSAT20.41
tlc02-uniform-depth-241UNSAT29.11
tlc04-uniform-depth-36FAIL592.52