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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-101784.95178.5212.7191.1576.840.8
caqe-portfolio3005.23300.522.22299.790.050
squeezebf+aqme5998.02599.80.13599.720.010