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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1045.594.563.763.333.941
caqe-portfolio26.942.692.621.722.51
squeezebf+aqme63.276.339.631.94.080