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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.1
tlc03-nonuniform-depth-17UNSAT0.21
tlc03-uniform-depth-21UNSAT0.27
tlc03-uniform-depth-52UNSAT0.91
tlc01-uniform-depth-73UNSAT1.57
tlc04-nonuniform-depth-56UNSAT8.32
tlc04-nonuniform-depth-98UNSAT32.29
tlc02-uniform-depth-114UNSAT221.35
tlc02-uniform-depth-241FAIL602.46
tlc04-uniform-depth-36FAIL610.62