Instances of family trafficlight-controller solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.59
tlc03-nonuniform-depth-17UNSAT2.24
tlc03-uniform-depth-21UNSAT2.87
tlc03-uniform-depth-52UNSAT11.16
tlc01-uniform-depth-73UNSAT11.32
tlc02-uniform-depth-114UNSAT33.11
tlc02-uniform-depth-241UNSAT125.37
tlc04-nonuniform-depth-56UNSAT202.93
tlc04-nonuniform-depth-98FAIL599.7
tlc04-uniform-depth-36FAIL599.72