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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1030.43.043.40.920.741
caqe-portfolio70.937.0916.240.630.61
squeezebf+aqme23.822.382.480.960.411