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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-101855.61185.56271.498.8832.740.7
caqe-portfolio1549.8154.98143.02163.05296.60.6
squeezebf+aqme1852.87185.29271.667.4932.650.7