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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10132.2213.2237.820.590.141
caqe-portfolio10.511.052.660.120.11
squeezebf+aqme62.396.2416.920.570.061