Suite Jordan-Kaiser results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103307.51330.75281.11444.93599.160.5
caqe-portfolio916.8891.69136.262.837.820.7
squeezebf+aqme3306.31330.63281.65446.92599.160.5