Led color used for a Solution.Halt caused by it.unibo.tuprolog.solve.exception.TimeOutException (HaltView).