Suite Miller-Scholl-Becker results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102682.95268.3273.61114.21597.530.6
caqe-portfolio666.0366.6117.046.688.220.8
squeezebf+aqme2686.79268.68273.3114.89597.410.6