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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10213.6421.3624.917.6718.241
caqe-portfolio19.551.962.250.771.111
squeezebf+aqme215.1721.5225.047.7318.371