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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1041.294.132.744.745.791
caqe-portfolio2.60.260.10.220.21
squeezebf+aqme40.764.082.444.85.461