Example	Thm. 12, POLO-filter, no		Thm. 26, POLO-filter, no
JAR_INN/TRS/higher-order/Bird/BTreeMember.trs	MAYBE	1.71	YES	1.61
JAR_INN/TRS/currying/D33/18.trs	MAYBE	0.91	YES	0.88
JAR_INN/TRS/AG01/#3.18.trs	MAYBE	1.84	YES	1.25
JAR_INN/TRS/AG01/#3.19.trs	MAYBE	1.35	YES	1.25
JAR_INN/TRS/AProVE/IJCAR_18.trs	KILLED	60.00	YES	1.24
JAR_INN/TRS/AProVE/improved_usable.trs	MAYBE	0.88	YES	0.83
JAR_INN/TRS/AProVE/rta1.trs	MAYBE	1.75	YES	1.30
JAR_INN/TRS/Cime/big.trs	MAYBE	13.49	YES	5.87
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	3.23	YES	1.51
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	1.46	YES	1.19
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	2.65	YES	2.18
JAR_INN/TRS/Cime/mucrl1.trs	KILLED	60.00	YES	37.48
JAR_INN/TRS/Cime/ternary-hard.trs	MAYBE	3.32	YES	3.11
JAR_INN/TRS/SK90/2.23.trs	MAYBE	1.08	YES	0.88
JAR_INN/TRS/SK90/2.34.trs	MAYBE	1.40	YES	0.99
JAR_INN/TRS/SK90/2.51.trs	MAYBE	1.33	YES	0.99
JAR_INN/TRS/SK90/2.52.trs	MAYBE	1.65	YES	1.62
JAR_INN/TRS/SK90/4.24.trs	MAYBE	4.15	YES	1.50
JAR_INN/TRS/SK90/4.42.trs	MAYBE	3.96	YES	1.40
JAR_INN/TRS/TRCSR/Ex2_Luc03b_GM.trs	KILLED	60.00	YES	14.67
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs	KILLED	60.00	YES	48.82
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	11.66	YES	2.39
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	4.99	YES	1.22
JAR_INN/TRS/TRCSR/Ex9_BLR02_Z.trs	KILLED	60.00	YES	16.90