Example	Thm. 12, EMB, no		Thm. 17, EMB, no		Thm. 26, EMB, no
JAR_TERM/TRS/AG01/#3.11.trs	MAYBE	1.28	MAYBE	1.35	YES	1.22
JAR_TERM/TRS/AG01/#3.16.trs	MAYBE	0.99	YES	0.57	YES	0.67
JAR_TERM/TRS/AG01/#3.18.trs	MAYBE	0.75	MAYBE	0.88	YES	0.80
JAR_TERM/TRS/AG01/#3.35.trs	MAYBE	0.56	YES	0.56	YES	0.57
JAR_TERM/TRS/AG01/#3.37.trs	MAYBE	0.96	YES	0.71	YES	0.62
JAR_TERM/TRS/AG01/#3.38.trs	MAYBE	0.67	MAYBE	0.67	YES	0.68
JAR_TERM/TRS/AG01/#3.4.trs	MAYBE	0.90	MAYBE	0.85	YES	0.96
JAR_TERM/TRS/AG01/#3.5.trs	MAYBE	0.72	MAYBE	0.83	YES	1.01
JAR_TERM/TRS/AG01/#3.51.trs	MAYBE	0.94	YES	0.85	YES	0.75
JAR_TERM/TRS/AG01/#3.55.trs	MAYBE	1.97	MAYBE	1.32	YES	1.19
JAR_TERM/TRS/AG01/#3.56.trs	MAYBE	0.98	YES	0.91	YES	0.85
JAR_TERM/TRS/AG01/#3.5a.trs	MAYBE	0.67	MAYBE	1.11	YES	0.72
JAR_TERM/TRS/AProVE/AAECC-ring.trs	MAYBE	8.53	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/AProVE/LPAR_intlist.trs	MAYBE	0.67	YES	0.85	YES	0.56
JAR_TERM/TRS/Cime/ack_prolog.trs	MAYBE	1.64	MAYBE	0.96	YES	0.62
JAR_TERM/TRS/Cime/append.trs	MAYBE	0.85	YES	0.62	YES	0.67
JAR_TERM/TRS/Cime/boolean_rings.trs	MAYBE	0.80	YES	0.61	YES	0.80
JAR_TERM/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.03	MAYBE	1.03	YES	0.83
JAR_TERM/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	0.77	MAYBE	0.83	YES	0.89
JAR_TERM/TRS/Cime/list-sum-prod.trs	MAYBE	0.67	YES	0.83	YES	0.88
JAR_TERM/TRS/Cime/mucrl1.trs	MAYBE	57.30	MAYBE	28.89	YES	23.48
JAR_TERM/TRS/D33/06.trs	MAYBE	0.53	YES	0.51	YES	0.51
JAR_TERM/TRS/D33/08.trs	MAYBE	1.00	YES	0.56	YES	0.56
JAR_TERM/TRS/D33/09.trs	MAYBE	0.71	MAYBE	0.57	YES	0.72
JAR_TERM/TRS/D33/11.trs	MAYBE	1.49	YES	0.67	YES	0.67
JAR_TERM/TRS/D33/17.trs	MAYBE	1.14	MAYBE	0.62	YES	0.67
JAR_TERM/TRS/D33/28.trs	MAYBE	0.64	MAYBE	0.61	YES	0.56
JAR_TERM/TRS/D33/31.trs	MAYBE	0.64	MAYBE	0.62	YES	0.61
JAR_TERM/TRS/D33/32.trs	MAYBE	0.83	YES	0.78	YES	0.78
JAR_TERM/TRS/HM/t003.trs	MAYBE	0.96	YES	1.06	YES	1.06
JAR_TERM/TRS/HM/t014.trs	MAYBE	1.80	YES	0.77	YES	0.61
JAR_TERM/TRS/LJB01/jones1.trs	MAYBE	0.58	YES	0.70	YES	0.56
JAR_TERM/TRS/LJB01/jones2.trs	MAYBE	0.67	YES	0.56	YES	0.75
JAR_TERM/TRS/LJB01/jones6.trs	MAYBE	0.67	YES	0.56	YES	0.75
JAR_TERM/TRS/Rubio/ackclaude.trs	MAYBE	0.63	MAYBE	0.80	YES	0.62
JAR_TERM/TRS/Rubio/aoto.trs	MAYBE	0.56	YES	0.51	YES	0.80
JAR_TERM/TRS/Rubio/elimdupl.trs	MAYBE	0.67	MAYBE	0.86	YES	1.01
JAR_TERM/TRS/Rubio/gmnp.trs	MAYBE	0.61	YES	0.56	YES	0.70
JAR_TERM/TRS/Rubio/koen.trs	MAYBE	1.19	YES	0.70	YES	0.56
JAR_TERM/TRS/Rubio/ma96.trs	MAYBE	1.19	MAYBE	1.57	YES	1.43
JAR_TERM/TRS/Rubio/polo2.trs	MAYBE	1.50	YES	0.85	YES	0.91
JAR_TERM/TRS/Rubio/quick.trs	MAYBE	1.22	MAYBE	1.11	YES	1.37
JAR_TERM/TRS/Rubio/quotminus.trs	MAYBE	0.71	MAYBE	0.80	YES	0.80
JAR_TERM/TRS/Rubio/revlist.trs	MAYBE	0.77	MAYBE	0.67	YES	0.67
JAR_TERM/TRS/Rubio/selsort.trs	MAYBE	2.17	MAYBE	1.48	YES	1.61
JAR_TERM/TRS/Rubio/test829.trs	MAYBE	0.62	YES	0.56	YES	0.85
JAR_TERM/TRS/SK90/2.01.trs	MAYBE	0.75	MAYBE	0.61	YES	0.56
JAR_TERM/TRS/SK90/2.03.trs	MAYBE	1.07	YES	0.56	YES	0.56
JAR_TERM/TRS/SK90/2.04.trs	MAYBE	0.58	MAYBE	0.70	YES	0.85
JAR_TERM/TRS/SK90/2.06.trs	MAYBE	0.63	MAYBE	0.62	YES	0.75
JAR_TERM/TRS/SK90/2.07.trs	MAYBE	1.02	MAYBE	0.75	YES	0.56
JAR_TERM/TRS/SK90/2.08.trs	MAYBE	0.80	MAYBE	0.80	YES	0.83
JAR_TERM/TRS/SK90/2.09.trs	MAYBE	0.76	YES	0.56	YES	0.56
JAR_TERM/TRS/SK90/2.10.trs	MAYBE	0.91	MAYBE	0.80	YES	0.91
JAR_TERM/TRS/SK90/2.11.trs	MAYBE	0.62	YES	0.86	YES	0.56
JAR_TERM/TRS/SK90/2.12.trs	MAYBE	0.96	YES	0.61	YES	0.70
JAR_TERM/TRS/SK90/2.13.trs	MAYBE	0.67	YES	0.75	YES	0.56
JAR_TERM/TRS/SK90/2.14.trs	MAYBE	0.67	YES	0.86	YES	0.78
JAR_TERM/TRS/SK90/2.15.trs	MAYBE	0.73	YES	0.51	YES	0.51
JAR_TERM/TRS/SK90/2.16.trs	MAYBE	0.67	MAYBE	0.80	YES	0.75
JAR_TERM/TRS/SK90/2.18.trs	MAYBE	0.56	YES	0.56	YES	0.62
JAR_TERM/TRS/SK90/2.19.trs	MAYBE	0.80	YES	0.75	YES	0.56
JAR_TERM/TRS/SK90/2.21.trs	MAYBE	0.58	YES	0.57	YES	0.56
JAR_TERM/TRS/SK90/2.22.trs	MAYBE	0.61	YES	0.75	YES	0.67
JAR_TERM/TRS/SK90/2.23.trs	MAYBE	0.82	MAYBE	0.96	YES	0.62
JAR_TERM/TRS/SK90/2.25.trs	MAYBE	0.65	YES	0.70	YES	0.57
JAR_TERM/TRS/SK90/2.26.trs	MAYBE	0.93	YES	0.68	YES	0.80
JAR_TERM/TRS/SK90/2.27.trs	MAYBE	0.67	YES	0.91	YES	0.61
JAR_TERM/TRS/SK90/2.29.trs	MAYBE	0.61	YES	0.56	YES	0.85
JAR_TERM/TRS/SK90/2.31.trs	MAYBE	0.85	YES	0.85	YES	0.75
JAR_TERM/TRS/SK90/2.33.trs	MAYBE	0.67	YES	0.86	YES	0.85
JAR_TERM/TRS/SK90/2.34.trs	MAYBE	0.75	MAYBE	0.91	YES	0.75
JAR_TERM/TRS/SK90/2.38.trs	MAYBE	0.81	MAYBE	0.62	YES	0.75
JAR_TERM/TRS/SK90/2.39.trs	MAYBE	1.48	YES	0.85	YES	0.75
JAR_TERM/TRS/SK90/2.40.trs	MAYBE	0.85	YES	0.85	YES	0.57
JAR_TERM/TRS/SK90/2.41.trs	MAYBE	0.58	YES	0.56	YES	0.91
JAR_TERM/TRS/SK90/2.42.trs	MAYBE	0.72	MAYBE	0.96	YES	0.67
JAR_TERM/TRS/SK90/2.43.trs	MAYBE	0.86	YES	0.91	YES	0.75
JAR_TERM/TRS/SK90/2.50.trs	MAYBE	0.61	YES	0.51	YES	0.51
JAR_TERM/TRS/SK90/2.51.trs	MAYBE	1.09	MAYBE	0.85	YES	0.75
JAR_TERM/TRS/SK90/2.52.trs	MAYBE	1.24	MAYBE	1.11	YES	0.96
JAR_TERM/TRS/SK90/2.54.trs	MAYBE	0.73	YES	0.71	YES	0.80
JAR_TERM/TRS/SK90/4.03.trs	MAYBE	0.71	YES	0.62	YES	0.62
JAR_TERM/TRS/SK90/4.04.trs	MAYBE	0.72	MAYBE	0.80	YES	0.70
JAR_TERM/TRS/SK90/4.05.trs	MAYBE	0.90	YES	0.56	YES	0.71
JAR_TERM/TRS/SK90/4.07.trs	MAYBE	0.61	MAYBE	0.85	YES	0.75
JAR_TERM/TRS/SK90/4.08.trs	MAYBE	0.62	MAYBE	0.56	YES	0.75
JAR_TERM/TRS/SK90/4.09.trs	MAYBE	0.86	MAYBE	0.75	YES	0.62
JAR_TERM/TRS/SK90/4.10.trs	MAYBE	0.94	YES	0.56	YES	0.90
JAR_TERM/TRS/SK90/4.11.trs	MAYBE	0.78	YES	0.85	YES	0.85
JAR_TERM/TRS/SK90/4.14.trs	MAYBE	0.94	YES	0.76	YES	0.62
JAR_TERM/TRS/SK90/4.16.trs	MAYBE	0.67	YES	0.56	YES	0.85
JAR_TERM/TRS/SK90/4.20.trs	MAYBE	0.68	YES	0.75	YES	0.85
JAR_TERM/TRS/SK90/4.21.trs	MAYBE	0.64	YES	0.91	YES	0.75
JAR_TERM/TRS/SK90/4.22.trs	MAYBE	0.63	YES	0.56	YES	0.56
JAR_TERM/TRS/SK90/4.23.trs	MAYBE	0.63	MAYBE	0.75	YES	0.85
JAR_TERM/TRS/SK90/4.24.trs	MAYBE	0.87	MAYBE	0.67	YES	0.91
JAR_TERM/TRS/SK90/4.25.trs	MAYBE	0.77	YES	0.80	YES	0.56
JAR_TERM/TRS/SK90/4.26.trs	MAYBE	0.67	MAYBE	0.91	YES	0.96
JAR_TERM/TRS/SK90/4.27.trs	MAYBE	0.75	YES	0.56	YES	0.56
JAR_TERM/TRS/SK90/4.28.trs	MAYBE	0.77	YES	0.96	YES	0.85
JAR_TERM/TRS/SK90/4.29.trs	MAYBE	0.62	YES	0.75	YES	0.75
JAR_TERM/TRS/SK90/4.42.trs	MAYBE	0.67	MAYBE	0.91	YES	0.70
JAR_TERM/TRS/SK90/4.43.trs	MAYBE	0.88	MAYBE	0.61	YES	0.67
JAR_TERM/TRS/SK90/4.45.trs	MAYBE	0.78	YES	0.51	YES	0.70
JAR_TERM/TRS/SK90/4.48.trs	MAYBE	0.64	MAYBE	0.62	YES	0.75
JAR_TERM/TRS/SK90/4.52.trs	MAYBE	0.72	YES	0.80	YES	0.80
JAR_TERM/TRS/SK90/4.53.trs	MAYBE	0.67	YES	0.70	YES	0.75
JAR_TERM/TRS/Ste92/perfect.trs	MAYBE	0.67	YES	0.91	YES	0.80
JAR_TERM/TRS/Ste92/perfect2.trs	MAYBE	1.30	YES	0.77	YES	0.78
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs	MAYBE	12.27	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_FR.trs	MAYBE	1.37	MAYBE	1.32	YES	1.43
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_Z.trs	MAYBE	1.14	YES	1.10	YES	0.99
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_FR.trs	MAYBE	1.35	YES	0.67	YES	0.56
JAR_TERM/TRS/TRCSR/Ex1_GL02a_GM.trs	MAYBE	0.97	YES	0.73	YES	0.67
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_Z.trs	MAYBE	0.72	MAYBE	0.83	YES	0.72
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_L.trs	MAYBE	0.80	YES	0.77	YES	0.56
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_Z.trs	MAYBE	1.17	YES	0.72	YES	0.67
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_FR.trs	MAYBE	0.69	MAYBE	0.67	YES	0.83
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_Z.trs	MAYBE	1.01	YES	0.62	YES	0.77
JAR_TERM/TRS/TRCSR/Ex4_4_Luc96b_C.trs	MAYBE	0.93	YES	0.82	YES	0.82
JAR_TERM/TRS/TRCSR/Ex4_4_Luc96b_GM.trs	MAYBE	0.72	YES	0.62	YES	0.62
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_FR.trs	MAYBE	0.61	MAYBE	0.72	YES	0.67
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_Z.trs	MAYBE	0.67	YES	0.67	YES	0.67
JAR_TERM/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	0.94	MAYBE	0.73	YES	0.67
JAR_TERM/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.78	MAYBE	0.81	YES	0.81
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs	MAYBE	8.58	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs	MAYBE	29.96	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs	MAYBE	0.69	YES	0.62	YES	0.56
JAR_TERM/TRS/TRCSR/Ex6_Luc98_Z.trs	MAYBE	0.74	YES	0.62	YES	0.61
JAR_TERM/TRS/TRCSR/Ex7_BLR02_Z.trs	MAYBE	0.78	MAYBE	0.77	YES	0.87
JAR_TERM/TRS/TRCSR/Ex8_BLR02_FR.trs	MAYBE	1.08	MAYBE	1.22	YES	0.93
JAR_TERM/TRS/TRCSR/Ex8_BLR02_Z.trs	MAYBE	2.06	MAYBE	1.11	YES	0.85
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs	MAYBE	14.77	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs	MAYBE	1.08	MAYBE	1.40	YES	1.14
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs	MAYBE	1.25	YES	1.03	YES	0.93
JAR_TERM/TRS/TRCSR/ExConc_Zan97_C.trs	MAYBE	1.44	YES	0.88	YES	0.88
JAR_TERM/TRS/TRCSR/ExConc_Zan97_FR.trs	MAYBE	4.39	YES	0.78	YES	0.57
JAR_TERM/TRS/TRCSR/ExConc_Zan97_GM.trs	MAYBE	0.61	YES	0.70	YES	0.72
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs	MAYBE	7.92	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_L.trs	MAYBE	1.18	YES	0.62	YES	0.61
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_Z.trs	MAYBE	0.98	YES	0.77	YES	0.77
JAR_TERM/TRS/currying/D33/06.trs	MAYBE	0.58	YES	0.80	YES	0.85
JAR_TERM/TRS/higher-order/Bird/Ex2_6_1Composition.trs	MAYBE	0.56	MAYBE	0.56	YES	0.85
JAR_TERM/TRS/nontermin/AG01/#4.22.trs	MAYBE	0.82	YES	0.70	YES	0.75
JAR_TERM/TRS/nontermin/AG01/#4.33.trs	MAYBE	0.82	YES	0.61	YES	0.61
JAR_TERM/TRS/nontermin/AG01/#4.35.trs	MAYBE	1.27	MAYBE	2.00	YES	1.95
JAR_TERM/TRS/nontermin/AG01/#4.36.trs	MAYBE	1.39	MAYBE	1.04	YES	1.04
JAR_TERM/TRS/nontermin/CSR/Ex49_GM04.trs	MAYBE	0.82	YES	0.80	YES	0.96
JAR_TERM/TRS/secret2005/cime5.trs	MAYBE	1.75	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/various/18.trs	MAYBE	0.63	MAYBE	0.67	YES	0.91