I don't think that quantum topology or Heegaard Floer homology are useful as knot tabulation tools. Geometric invariants (*e.g.* hyperbolic volume) and classical invariants (*e.g.* signature) have been the weapon of choice for knot tabulators. I don't know of any pair of knots which have been separated using quantum invariants or Floer homology which we did not know how to separate using classical or geometric invariants.

There are several invariants which separate knots at least conjecturally, including the knot group (plus peripheral structure), the collection of all twisted Alexander polynomials of a knot (whatever that means), and the knot quandle. Surely HFH separates knots as well, although I don't think that this has been proven, so it detects "everything" in some sense. The issue is computational efficiency. But I think that the strength of HFH is in revealing structure to the space of knots and in analyzing properties of individual knots as opposed to as a tool to distinguish knots.