Table 1

sources	example	result
	Example 1	YES
	Example 15	YES
	Example 23	YES
	Example 24	YES
Cops confluent	4.trs	YES
	11.trs	YES
	20.trs	MAYBE
	23.trs	MAYBE
	29.trs	YES
	51.trs	YES
	60.trs	MAYBE
	62.trs	MAYBE
	63.trs	MAYBE
	76.trs	YES
	77.trs	MAYBE
	83.trs	YES
	105.trs	YES
	106.trs	YES
	112.trs	MAYBE
	118.trs	MAYBE
	120.trs	YES
	122.trs	YES
	123.trs	YES
	124.trs	YES
	125.trs	YES
	127.trs	YES
	128.trs	MAYBE
	129.trs	YES
	130.trs	MAYBE
	131.trs	YES
	133.trs	MAYBE
	134.trs	YES
	135.trs	YES
	136.trs	YES
	137.trs	MAYBE
	138.trs	YES
	139.trs	YES
	140.trs	MAYBE
	141.trs	YES
	142.trs	YES
	146.trs	MAYBE
	148.trs	YES
	151.trs	MAYBE
	152.trs	YES
	153.trs	YES
	154.trs	YES
	155.trs	YES
	156.trs	YES
	157.trs	YES
	158.trs	YES
	159.trs	YES
	161.trs	YES
	162.trs	YES
	164.trs	YES
	165.trs	MAYBE
	166.trs	YES
	168.trs	YES
	169.trs	YES
	170.trs	YES
	171.trs	YES
	172.trs	YES
	174.trs	MAYBE
	176.trs	YES
	180.trs	MAYBE
	181.trs	MAYBE
	182.trs	YES
	186.trs	MAYBE
	187.trs	YES
	188.trs	YES
	189.trs	YES
	190.trs	YES
	191.trs	YES
	192.trs	YES
	193.trs	YES
	194.trs	YES
	195.trs	YES
	197.trs	MAYBE
	198.trs	YES
	199.trs	YES
	200.trs	YES
	201.trs	YES
	202.trs	YES
	203.trs	MAYBE
	204.trs	YES
	205.trs	YES
	207.trs	YES
	208.trs	YES
	209.trs	YES
	210.trs	MAYBE
	224.trs	MAYBE
	259.trs	MAYBE
	260.trs	MAYBE
Cops non_confluent	6.trs	MAYBE
	13.trs	YES
	261.trs	MAYBE
Cops !confluent !non_confluent	160.trs	YES
	173.trs	YES
	175.trs	YES
	183.trs	MAYBE
	185.trs	MAYBE
	206.trs	MAYBE
	234.trs	MAYBE
Crafted	plus1.trs	YES
	plus2.trs	YES
	plus3.trs	YES
	plus4.trs	YES
	plus5.trs	YES
	plus6.trs	YES
	plus7.trs	YES
	plus8.trs	MAYBE
	plus9.trs	YES
	plus10.trs	YES
	plus11.trs	YES
	plus12.trs	YES
	plus13.trs	YES
	plus14.trs	YES
	elem1.trs	YES
	elem2.trs	MAYBE
	int1.trs	YES
	int2.trs	YES
	int3.trs	MAYBE
	int4.trs	YES
	int5.trs	YES
	minus1.trs	YES
	le1.trs	YES