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

InstanceResultTime
tlc03-uniform-depth-9UNSAT0.71
tlc03-nonuniform-depth-17UNSAT0.85
tlc03-uniform-depth-21UNSAT1.33
tlc03-uniform-depth-52UNSAT1.74
tlc01-uniform-depth-73UNSAT2.3
tlc02-uniform-depth-114UNSAT5.66
tlc04-uniform-depth-36UNSAT5.67
tlc04-nonuniform-depth-56UNSAT5.69
tlc02-uniform-depth-241UNSAT19.14
tlc04-nonuniform-depth-98UNSAT19.3