Example	Thm. 12, EMB, no		Thm. 26, EMB, no
JAR_INN/TRS/various/18.trs	MAYBE	1.07	YES	0.72
JAR_INN/TRS/various/21.trs	MAYBE	1.13	YES	1.43
JAR_INN/TRS/nontermin/AG01/#4.35.trs	MAYBE	2.38	YES	2.41
JAR_INN/TRS/nontermin/AG01/#4.36.trs	MAYBE	1.91	YES	1.30
JAR_INN/TRS/higher-order/Bird/Ex2_6_1Composition.trs	MAYBE	0.94	YES	0.73
JAR_INN/TRS/TRCSR/Ex8_BLR02_Z.trs	MAYBE	1.40	YES	0.82
JAR_INN/TRS/TRCSR/Ex8_BLR02_FR.trs	MAYBE	1.42	YES	1.11
JAR_INN/TRS/AG01/#3.11.trs	MAYBE	1.19	YES	1.26
JAR_INN/TRS/AG01/#3.18.trs	MAYBE	0.77	YES	0.72
JAR_INN/TRS/AG01/#3.19.trs	MAYBE	0.74	YES	0.82
JAR_INN/TRS/AG01/#3.38.trs	MAYBE	0.69	YES	0.83
JAR_INN/TRS/AG01/#3.4.trs	MAYBE	1.00	YES	0.78
JAR_INN/TRS/AG01/#3.5.trs	MAYBE	0.89	YES	0.94
JAR_INN/TRS/AG01/#3.55.trs	MAYBE	2.40	YES	1.48
JAR_INN/TRS/AG01/#3.5a.trs	MAYBE	0.87	YES	0.93
JAR_INN/TRS/AProVE/IJCAR_18.trs	MAYBE	1.22	YES	1.09
JAR_INN/TRS/Cime/ack_prolog.trs	MAYBE	0.74	YES	0.79
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.53	YES	1.10
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	0.82	YES	0.88
JAR_INN/TRS/Cime/mucrl1.trs	MAYBE	41.49	YES	36.71
JAR_INN/TRS/Rubio/ackclaude.trs	MAYBE	0.68	YES	0.78
JAR_INN/TRS/Rubio/elimdupl.trs	MAYBE	0.93	YES	0.89
JAR_INN/TRS/Rubio/ma96.trs	MAYBE	2.80	YES	1.83
JAR_INN/TRS/Rubio/quick.trs	MAYBE	1.09	YES	1.43
JAR_INN/TRS/Rubio/quotminus.trs	MAYBE	1.08	YES	0.94
JAR_INN/TRS/Rubio/revlist.trs	MAYBE	0.68	YES	0.88
JAR_INN/TRS/Rubio/selsort.trs	MAYBE	1.50	YES	1.61
JAR_INN/TRS/SK90/2.02.trs	MAYBE	0.90	YES	0.85
JAR_INN/TRS/SK90/2.16.trs	MAYBE	0.95	YES	0.72
JAR_INN/TRS/SK90/2.23.trs	MAYBE	0.93	YES	0.77
JAR_INN/TRS/SK90/2.34.trs	MAYBE	0.69	YES	0.75
JAR_INN/TRS/SK90/2.51.trs	MAYBE	0.67	YES	0.72
JAR_INN/TRS/SK90/2.52.trs	MAYBE	0.98	YES	1.03
JAR_INN/TRS/SK90/4.24.trs	MAYBE	0.69	YES	0.85
JAR_INN/TRS/SK90/4.26.trs	MAYBE	1.44	YES	0.88
JAR_INN/TRS/SK90/4.42.trs	MAYBE	1.31	YES	0.81
JAR_INN/TRS/SK90/4.43.trs	MAYBE	0.68	YES	0.83
JAR_INN/TRS/SK90/4.48.trs	MAYBE	1.29	YES	0.99
JAR_INN/TRS/TRCSR/Ex15_Luc98_FR.trs	MAYBE	1.08	YES	0.99
JAR_INN/TRS/TRCSR/Ex1_Luc02b_Z.trs	MAYBE	1.16	YES	0.83
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	0.83	YES	0.90
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.69	YES	0.77
JAR_INN/TRS/TRCSR/Ex7_BLR02_Z.trs	MAYBE	1.60	YES	0.95