Instances of family trafficlight-controller solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.69
tlc03-nonuniform-depth-17UNSAT0.84
tlc03-uniform-depth-21UNSAT0.93
tlc03-uniform-depth-52UNSAT1.94
tlc01-uniform-depth-73UNSAT2.18
tlc04-nonuniform-depth-56UNSAT4.27
tlc02-uniform-depth-114UNSAT5.39
tlc04-uniform-depth-36UNSAT5.71
tlc04-nonuniform-depth-98UNSAT11.83
tlc02-uniform-depth-241UNSAT23.2