Rule out

Added ruling out for the solver using a schedule.