0.00/0.04	NO
0.00/0.04	/export/starexec/sandbox/benchmark/theBenchmark.trs
0.00/0.04	Input rules:
0.00/0.04	   [ a -> f(a,b),
0.00/0.04	     f(a,b) -> f(b,a) ]
0.00/0.04	Sorts having no ground terms: 
0.00/0.04	Rules applicable to ground terms:
0.00/0.04	   [ a -> f(a,b),
0.00/0.04	     f(a,b) -> f(b,a) ]
0.00/0.04	Constructor pattern: [f(?x_1,?x_2),b]
0.00/0.04	Defined pattern: [a]
0.00/0.04	Constructor subsystem:
0.00/0.04	   [ ]
0.00/0.04	Modified Constructor subsystem:
0.00/0.04	   [ ]
0.00/0.04	No orientable rules for a. Add rules, and retry...
0.00/0.04	failed to construct defining rules
0.00/0.04	Retry with a different D/C-partition.
0.00/0.04	Constructor pattern: [f(?x_1,?x_2),b,a]
0.00/0.04	Defined pattern: []
0.00/0.04	Constructor subsystem:
0.00/0.04	   [ a -> f(a,b),
0.00/0.04	     f(a,b) -> f(b,a) ]
0.00/0.04	Modified Constructor subsystem:
0.00/0.04	   [ a -> f(a,b),
0.00/0.04	     f(a,b) -> f(b,a) ]
0.00/0.04	Find a quasi-ordering ...
0.00/0.04	order successfully found
0.00/0.04	Precedence:
0.00/0.04	 a : Mul,  b : Mul;
0.00/0.04	 f : Mul;
0.00/0.04	Rules:
0.00/0.04	   [ f(a,b) -> f(b,a) ]
0.00/0.04	Check confluence of constructor subsystem...
0.00/0.04	Check Termination...
0.00/0.04	unknown Terminating, Linear, Oostrom: CR
0.00/0.04	Conjectures:
0.00/0.04	   [ a = f(a,b) ]
0.00/0.04	STEP 0
0.00/0.04	ES:
0.00/0.04	   [ a = f(a,b) ]
0.00/0.04	HS:
0.00/0.04	   [ ]
0.00/0.04	ES0:
0.00/0.04	   [ a = f(a,b) ]
0.00/0.04	HS0:
0.00/0.04	   [ ]
0.00/0.04	ES1:
0.00/0.04	   [ a = f(a,b) ]
0.00/0.04	HS1:
0.00/0.04	   [ ]
0.00/0.04	No equation to expand
0.00/0.04	check Non-Ground-Confluence...
0.00/0.04	ground constructor terms for instantiation: {b,f(b,b)}
0.00/0.04	ground terms for instantiation: {b:o,f(b,b):o}
0.00/0.04	obtain 10 rules by 3 steps unfolding
0.00/0.04	obtain 100 candidates for checking non-joinability
0.00/0.04	check by TCAP-Approximation (success)
0.00/0.04	Witness for Non-Confluence: <f(f(b,a),b) <- a -> f(b,a)>
0.00/0.04	: Success(not GCR)
0.00/0.04	(10 msec.)
0.00/0.04	
0.00/0.04	=============================
0.00/0.04	Total: 1 Success, 0 Failure: 11 millisec.
0.00/0.04	EOF