OGDC: Result from searching from state genInitConf(5,1) --
where the nodes together cover the entire 20mx20m sensing area --
for a system in steady state but where the active nodes do not cover
the area.
--------------------------------------------------------------------



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

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

	 Real-Time Maude 2.2 extension October 6, 2006

------

rewrites: 176695071 in 226818ms cpu (226962ms real) (779015 rewrites/second)

Timed search [1] in OGDC-ANALYSIS 
	{genInitConf(7197,5)} =>* {C:Configuration} 
in time < roundTime and with mode maximal time increase with default roundTime
    :

No solution

Bye.