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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-105.830.580.030.580.031
caqe-portfolio1.610.160.050.130.11
squeezebf+aqme5.90.590.030.590.051