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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1030.913.093.640.651.11
caqe-portfolio3.10.310.190.220.21
squeezebf+aqme31.223.123.710.740.991