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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1014000.32368.43281.53600587.050.447
caqe-portfolio6394.91168.29131.74224.38294.680.395
squeezebf+aqme15558.57409.44259.42600552.380.395