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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106000600060000
caqe-portfolio2211.65221.17122.07299.77281.260.3
squeezebf+aqme6000600060000