Suite Kronegger-Pfandler-Pichler results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103735.84186.79270.711.78598.090.7
caqe-portfolio4286.51214.33131.14299.81258.40.3
squeezebf+aqme6727.89336.39291.53600585.520.45