Before revision:  In an experimental study , we show that our ranked-enumeration approach is not only theoretically interesting, but also fast and memory-efficient in practice .
After revision:  In an experimental study , we show that our ranked-enumeration approach is also memory-efficient in practice .