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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-104200.93525.12198.1260000.125
caqe-portfolio1799.98225129.66299.84149.760.25
squeezebf+aqme4200.93525.12198.1260000.125