Result of analysis of whether we'll always (in the first round)
stay in a steady state once that state's been reached.
-------------------------------------------------------------


		     \||||||||||||||||||/
		   --- Welcome to Maude ---
		     /||||||||||||||||||\
	    Maude 2.2 built: Nov 28 2005 16:10:26
	     Copyright 1997-2005 SRI International
		   Thu Oct 19 01:10:54 2006

	     Full Maude 2.2 `(December 1st`, 2005`)

	 Real-Time Maude 2.2 extension October 6, 2006



rewrites: 21241424 in 25624ms cpu (26135ms real) (828962 rewrites/second)

Model check{genInitConf(341,5)}  |=t steady-state-phase =>[]steady-state-phase
    in OGDC-ANALYSIS in time < roundTime with mode maximal time increase with
    default roundTime

Result Bool :
  true

Bye.