2.86/1.58	NO
2.86/1.58	proof of /export/starexec/sandbox/benchmark/theBenchmark.xml
2.86/1.58	# AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty
2.86/1.58	
2.86/1.58	
2.86/1.58	Termination of the given RelTRS could be disproven:
2.86/1.58	
2.86/1.58	(0) RelTRS
2.86/1.58	(1) RelTRSEmissionProof [COMPLETE, 0 ms]
2.86/1.58	(2) NO
2.86/1.58	
2.86/1.58	
2.86/1.58	----------------------------------------
2.86/1.58	
2.86/1.58	(0)
2.86/1.58	Obligation:
2.86/1.58	Relative term rewrite system:
2.86/1.58	The relative TRS consists of the following R rules:
2.86/1.58	
2.86/1.58	   a -> b
2.86/1.58	
2.86/1.58	The relative TRS consists of the following S rules:
2.86/1.58	
2.86/1.58	   d -> c(a, d)
2.86/1.58	
2.86/1.58	
2.86/1.58	----------------------------------------
2.86/1.58	
2.86/1.58	(1) RelTRSEmissionProof (COMPLETE)
2.86/1.58	The TRS S admits the following R-emitting loop:
2.86/1.58	d->c(a, d)
2.86/1.58	Therefore R/S does not terminate.
2.86/1.58	----------------------------------------
2.86/1.58	
2.86/1.58	(2)
2.86/1.58	NO
3.20/1.62	EOF