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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-105.850.840.210.890.411
caqe-portfolio9.651.382.010.320.71
squeezebf+aqme6.020.860.230.880.431