Family evader-pursuer-6x6-standard results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103666.46458.31245.63600273.250.25
caqe-portfolio2003.17250.468.35299.81112.230
squeezebf+aqme3811.02476.38214.51600234.320.25