Before revision:  Experimental results  show that our provable algorithms improve existing heuristics also in practice.
After revision:  Experimental results and open source code show that our provable algorithms improve existing heuristics also in practice.