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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106.270.630.140.590.061
caqe-portfolio1.730.170.050.180.11
squeezebf+aqme5.950.60.040.60.071