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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.01
tlc03-nonuniform-depth-17UNSAT0.02
tlc03-uniform-depth-21UNSAT0.02
tlc01-uniform-depth-73UNSAT2.03
tlc04-uniform-depth-36UNSAT2.12
tlc03-uniform-depth-52UNSAT8.1
tlc04-nonuniform-depth-56UNSAT9.93
tlc02-uniform-depth-114UNSAT13.73
tlc04-nonuniform-depth-98UNSAT21.11
tlc02-uniform-depth-241UNSAT54.4