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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-107.560.760.160.840.331
caqe-portfolio1.20.1200.1201
squeezebf+aqme7.60.760.170.830.351