0.005/0.005	YES
0.005/0.005	
0.005/0.005	Problem 1:
0.005/0.005	
0.005/0.005	
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	Confluence Problem:
0.005/0.005	(VAR vNonEmpty:S x:S)
0.005/0.005	(STRATEGY CONTEXTSENSITIVE
0.005/0.005	(a)
0.005/0.005	(c)
0.005/0.005	(b)
0.005/0.005	(fSNonEmpty)
0.005/0.005	)
0.005/0.005	(RULES
0.005/0.005	a -> c
0.005/0.005	a -> x:S | a ->* x:S, x:S ->* b
0.005/0.005	c -> b
0.005/0.005	)
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	
0.005/0.005	
0.005/0.005	Problem 1:
0.005/0.005	
0.005/0.005	Inlining of Conditions Processor [STERN17]:
0.005/0.005	
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	Confluence Problem:
0.005/0.005	(VAR vNonEmpty:S x:S)
0.005/0.005	(STRATEGY CONTEXTSENSITIVE
0.005/0.005	(a)
0.005/0.005	(c)
0.005/0.005	(b)
0.005/0.005	(fSNonEmpty)
0.005/0.005	)
0.005/0.005	(RULES
0.005/0.005	a -> a | a ->* b
0.005/0.005	a -> c
0.005/0.005	c -> b
0.005/0.005	)
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	
0.005/0.005	
0.005/0.005	Problem 1:
0.005/0.005	
0.005/0.005	Clean CTRS Processor:
0.005/0.005	
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	Confluence Problem:
0.005/0.005	(STRATEGY CONTEXTSENSITIVE
0.005/0.005	(a)
0.005/0.005	(c)
0.005/0.005	(b)
0.005/0.005	(fSNonEmpty)
0.005/0.005	)
0.005/0.005	(RULES
0.005/0.005	a -> c
0.005/0.005	c -> b
0.005/0.005	)
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	
0.005/0.005	CRule InfChecker Info:
0.005/0.005	a -> a | a ->* b
0.005/0.005	Rule deleted
0.005/0.005	Proof:
0.005/0.005	SAME_LHS_AND_RHS
0.005/0.005	
0.005/0.005	CRule InfChecker Info:
0.005/0.005	a -> c
0.005/0.005	Rule remains
0.005/0.005	Proof:
0.005/0.005	NO_CONDS
0.005/0.005	
0.005/0.005	CRule InfChecker Info:
0.005/0.005	c -> b
0.005/0.005	Rule remains
0.005/0.005	Proof:
0.005/0.005	NO_CONDS
0.005/0.005	
0.005/0.005	Problem 1:
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	Confluence Problem:
0.005/0.005	(STRATEGY CONTEXTSENSITIVE
0.005/0.005	(a)
0.005/0.005	(c)
0.005/0.005	(b)
0.005/0.005	(fSNonEmpty)
0.005/0.005	)
0.005/0.005	(RULES
0.005/0.005	a -> c
0.005/0.005	c -> b
0.005/0.005	)
0.005/0.005	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.005/0.005	
0.005/0.005	Critical Pairs Processor:
0.005/0.005	-> Rules:
0.005/0.005	a -> c
0.005/0.005	c -> b
0.005/0.005	-> Vars:
0.005/0.005	
0.005/0.005	-> FVars:
0.005/0.005	
0.005/0.005	-> PVars:
0.005/0.005	
0.005/0.005	
0.005/0.005	-> Rlps:
0.005/0.005	crule: a -> c, id: 1, possubterms: a-> []
0.005/0.005	crule: c -> b, id: 2, possubterms: c-> []
0.005/0.005	
0.005/0.005	-> Unifications:
0.005/0.005	
0.005/0.005	
0.005/0.005	-> Critical pairs info:
0.005/0.005	
0.005/0.005	
0.005/0.005	-> Problem conclusions:
0.005/0.005	 Left linear, Right linear, Linear
0.005/0.005	 Weakly orthogonal, Almost orthogonal, Orthogonal
0.005/0.005	 CTRS Type: 1
0.005/0.005	 Deterministic, Strongly deterministic
0.005/0.005	 Oriented CTRS, Properly oriented CTRS, Join CTRS
0.005/0.005	 Maybe right-stable CTRS, Overlay CTRS
0.005/0.005	 Normal CTRS, Almost normal CTRS
0.005/0.005	 Maybe terminating CTRS, Joinable CCPs
0.005/0.005	 Level confluent
0.005/0.005	 Confluent
0.005/0.005	
0.005/0.005	The problem is joinable.
0.005/0.005	0.02user 0.01system 0:00.05elapsed 71%CPU (0avgtext+0avgdata 8892maxresident)k
0.005/0.005	0inputs+0outputs (0major+3071minor)pagefaults 0swaps