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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-105.970.60.030.610.041
caqe-portfolio2.40.240.070.220.21
squeezebf+aqme6.030.60.030.620.061