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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103897.29389.73268.9600599.170.4
caqe-portfolio704.7870.48115.749.5918.320.2
squeezebf+aqme4475.59447.56243.33600599.170.3