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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-105.050.630.140.540.231
caqe-portfolio0.960.1200.1201
squeezebf+aqme4.830.60.140.520.191