Example	Thm. 12, POLO-7.1+7.2, no		Thm. 26, POLO-7.1+7.2, no
JAR_INN/TRS/higher-order/Bird/BTreeMember.trs	MAYBE	1.74	YES	1.69
JAR_INN/TRS/currying/D33/18.trs	MAYBE	0.78	YES	0.78
JAR_INN/TRS/TRCSR/ExAppendixB_AEL03_GM.trs	MAYBE	5.40	KILLED	60.00
JAR_INN/TRS/AG01/#3.18.trs	MAYBE	1.01	YES	0.85
JAR_INN/TRS/AG01/#3.19.trs	MAYBE	0.91	YES	0.82
JAR_INN/TRS/AProVE/IJCAR_18.trs	MAYBE	1.44	YES	1.24
JAR_INN/TRS/AProVE/improved_usable.trs	MAYBE	0.82	YES	0.67
JAR_INN/TRS/AProVE/rta1.trs	MAYBE	1.04	YES	0.82
JAR_INN/TRS/Cime/big.trs	MAYBE	6.66	YES	5.69
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.45	YES	1.37
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	1.04	YES	0.98
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	2.16	YES	2.04
JAR_INN/TRS/Cime/ternary-hard.trs	MAYBE	2.57	YES	2.75
JAR_INN/TRS/SK90/2.23.trs	MAYBE	0.85	YES	0.93
JAR_INN/TRS/SK90/2.34.trs	MAYBE	0.91	YES	0.91
JAR_INN/TRS/SK90/2.51.trs	MAYBE	3.34	YES	0.80
JAR_INN/TRS/SK90/2.52.trs	MAYBE	1.17	YES	1.19
JAR_INN/TRS/SK90/4.24.trs	MAYBE	0.89	YES	0.91
JAR_INN/TRS/SK90/4.42.trs	MAYBE	1.07	YES	0.78
JAR_INN/TRS/TRCSR/Ex1_2_AEL03_GM.trs	MAYBE	4.10	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs	MAYBE	3.36	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	1.33	YES	0.91
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.95	YES	0.72
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_GM.trs	MAYBE	8.29	KILLED	60.00