Turns out that graph_tool algorithm isn't exact.