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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102867.09286.71255.9894.26531.60.6
caqe-portfolio6.330.630.720.420.31
squeezebf+aqme2877.39287.74255.0991.68528.180.6