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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1013608.86243.02288.324.51599.20.607
caqe-portfolio7235.62129.21144.39.79299.410.589
squeezebf+aqme14808.29264.43291.7411.36599.270.571