Sota solver results for family trafficlight-controller
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
tlc01-uniform-depth-73squeezebf+aqmeUNSAT2.18
tlc02-uniform-depth-114squeezebf+aqmeUNSAT5.39
tlc02-uniform-depth-241aqme-10UNSAT19.14
tlc03-nonuniform-depth-17squeezebf+aqmeUNSAT0.84
tlc03-uniform-depth-21squeezebf+aqmeUNSAT0.93
tlc03-uniform-depth-52aqme-10UNSAT1.74
tlc03-uniform-depth-9caqe-portfolioUNSAT0.62
tlc04-nonuniform-depth-56squeezebf+aqmeUNSAT4.27
tlc04-nonuniform-depth-98squeezebf+aqmeUNSAT11.83
tlc04-uniform-depth-36aqme-10UNSAT5.67