0.00/0.03	MAYBE
0.00/0.03	(ignored inputs)COMMENT full experiments for [35] submitted by: Takahito Aoto and Yoshihito Toyama
0.00/0.03	input TRS:
0.00/0.03	   [ max(?x,0) -> ?x,
0.00/0.03	     max(0,?y) -> ?y,
0.00/0.03	     max(s(?x),s(?y)) -> s(max(?x,?y)),
0.00/0.03	     max(?x,?y) -> max(?y,?x),
0.00/0.03	     max(?x,?x) -> ?x ]
0.00/0.03	Try persistent and layer-preserving decomposition...
0.00/0.03	Sort Assignment:
0.00/0.03	 0 : =>14
0.00/0.03	 s : 14=>14
0.00/0.03	 max : 14*14=>14
0.00/0.03	maximal types: {14}
0.00/0.03	...decomposition failed.
0.00/0.03	TRS:
0.00/0.03	   [ max(?x,0) -> ?x,
0.00/0.03	     max(0,?y) -> ?y,
0.00/0.03	     max(s(?x),s(?y)) -> s(max(?x,?y)),
0.00/0.03	     max(?x,?y) -> max(?y,?x),
0.00/0.03	     max(?x,?x) -> ?x ]
0.00/0.03	unknown Non-Omega-Overlapping
0.00/0.03	unknown Parallel Closed Conditional Linearization
0.00/0.03	unknown Strongly Closed Conditional Linearization
0.00/0.03	unknown Weight-Decreasing Joinable
0.00/0.03	unknown Right-Reducible
0.00/0.03	Check distinct normal forms in critical pair closure...failed
0.00/0.03	unknown Parallel Closed Conditional Linearization
0.00/0.03	unknown Strongly Closed Conditional Linearization
0.00/0.03	Obtained TRSs:
0.00/0.03	   [ max(?x,0) -> ?x,
0.00/0.03	     max(0,?y) -> ?y,
0.00/0.03	     max(s(?x),s(?y)) -> s(max(?x,?y)),
0.00/0.03	     max(?x,?y) -> max(?y,?x),
0.00/0.03	     max(?x,?x) -> ?x ]
0.00/0.03	unknown UNC Completion (General)
0.00/0.03	Check distinct normal forms in critical pair closure...failed
0.00/0.03	/export/starexec/sandbox/benchmark/theBenchmark.trs: Failure(unknown UNC)
0.00/0.03	(11 msec.)
0.00/0.03	EOF