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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103009.94300.99299.01303.3599.110.5
caqe-portfolio1800.94180.09146.68299.83299.520.4
squeezebf+aqme3009.56300.96299.05303.21599.330.5