Runtimes of used methods with Skadi given in interations per second.

RF-ref time to reach standard coverage 0.95 using alg2, z3 solver, with 6 parallel cores. RF-alg runtimes are not shown as they are not implemented for the general case. Solving a system of nonlinear inequality constraints is beyond the scope of this manuscript. Timeout (TO) 1 hour.