Family C5315 results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102410.74301.34298.66302.31597.370.5
caqe-portfolio1508.59188.57143.65299.84296.470.375
squeezebf+aqme2411.58301.45298.56302.38597.060.5