> but I needed a good reason that would justify the time investment It should be understood though that there are cases when math(-like) language is abused, leading to overcomplication and obscurantism [1]. In mathematics, there is always the temptation of formalizing for formalization's sake. Indeed, 99% of pure math is non-constructive ("there exists a group such that", "the algorithm converges in O(N) steps"), as…
The "runtime on real data" thing is a trope by now, an algorithm that is exponential is in general not going to miraculously be very fast on "real-world" data, and even if it is, chances are, it won't be anymore once you change your data (with some few exceptions like the Simplex algorithm).