https://9dok.org/document/q052945g-determining-the-expected-runtime-of-exact-graph-coloring.html