Open
Description
Maybe we can implement a metric that gives a result for "embedding quality per time". This could give a trade-off between long runtimes but good results (pure ILP algorithms) and short runtimes but bad results (pure heuristic algorithm).