Family trafficlight-controller results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1062.396.246.763.984.821
caqe-portfolio758.8875.89113.4222.8132.450.7
squeezebf+aqme56.985.76.663.234.551