0.00/0.05	NO
0.00/0.05	/export/starexec/sandbox/benchmark/theBenchmark.trs
0.00/0.05	Input rules:
0.00/0.05	   [ b -> a,
0.00/0.05	     b -> c,
0.00/0.05	     c -> b,
0.00/0.05	     c -> d ]
0.00/0.05	Sorts having no ground terms: 
0.00/0.05	Rules applicable to ground terms:
0.00/0.05	   [ b -> a,
0.00/0.05	     b -> c,
0.00/0.05	     c -> b,
0.00/0.05	     c -> d ]
0.00/0.05	Constructor pattern: [a,d]
0.00/0.05	Defined pattern: [c,b]
0.00/0.05	Constructor subsystem:
0.00/0.05	   [ ]
0.00/0.05	Modified Constructor subsystem:
0.00/0.05	   [ ]
0.00/0.05	candidate for c:
0.00/0.05	   [ c -> d ]
0.00/0.05	   [ c -> b ]
0.00/0.05	candidate for b:
0.00/0.05	   [ b -> c ]
0.00/0.05	   [ b -> a ]
0.00/0.05	Find a quasi-ordering ...
0.00/0.05	order successfully found
0.00/0.05	Precedence:
0.00/0.05	 c : Mul,  b : Mul;
0.00/0.05	 a : Mul;
0.00/0.05	 d : Mul;
0.00/0.05	Rules:
0.00/0.05	   [ c -> d,
0.00/0.05	     b -> a ]
0.00/0.05	Conjectures:
0.00/0.05	   [ b = c,
0.00/0.05	     c = b ]
0.00/0.05	STEP 0
0.00/0.05	ES:
0.00/0.05	   [ b = c,
0.00/0.05	     c = b ]
0.00/0.05	HS:
0.00/0.05	   [ ]
0.00/0.05	ES0:
0.00/0.05	   [ a = d,
0.00/0.05	     d = a ]
0.00/0.05	HS0:
0.00/0.05	   [ ]
0.00/0.05	ES1:
0.00/0.05	   [ a = d,
0.00/0.05	     d = a ]
0.00/0.05	HS1:
0.00/0.05	   [ ]
0.00/0.05	: Success(not GCR)
0.00/0.05	(9 msec.)
0.00/0.05	
0.00/0.05	=============================
0.00/0.05	Total: 1 Success, 0 Failure: 10 millisec.
0.00/0.05	EOF