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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-104086.4186.94200.651.657.660.872
caqe-portfolio2910.2461.92111.484.1326.340.702
squeezebf+aqme4698.6499.97213.011.4412.520.617