Instances of family trafficlight-controller solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.21
tlc03-nonuniform-depth-17UNSAT0.21
tlc03-uniform-depth-21UNSAT0.31
tlc03-uniform-depth-52UNSAT0.71
tlc01-uniform-depth-73UNSAT1.03
tlc04-nonuniform-depth-56UNSAT23.81
tlc04-nonuniform-depth-98FAIL151.56
tlc02-uniform-depth-114FAIL603.67
tlc02-uniform-depth-241FAIL636.23
tlc04-uniform-depth-36FAIL638.92