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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10119.5711.964.7812.177.381
caqe-portfolio61.836.182.576.384.511
squeezebf+aqme131.6713.179.1611.212.440