Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3