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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-105.650.570.020.570.031
caqe-portfolio1.720.170.050.170.11
squeezebf+aqme6.210.620.10.60.031