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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.19
tlc03-uniform-depth-21UNSAT0.44
tlc03-uniform-depth-52UNSAT1.34
tlc01-uniform-depth-73UNSAT2.14
tlc03-nonuniform-depth-17UNSAT3
tlc04-uniform-depth-36FAIL9.01
tlc02-uniform-depth-114UNSAT68.57
tlc02-uniform-depth-241UNSAT343.65
tlc04-nonuniform-depth-56UNSAT474.32
tlc04-nonuniform-depth-98FAIL600