Suite Katz results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106000600060000
caqe-portfolio2252.59225.26115.05299.81242.60.3
squeezebf+aqme6000600060000