Example	Thm. 12, LPO, no		Thm. 17, LPO, no		Thm. 26, LPO, no
JAR_TERM/TRS/AG01/#3.56.trs	MAYBE	0.67	YES	0.83	YES	0.89
JAR_TERM/TRS/AProVE/IJCAR_1.trs	MAYBE	1.90	YES	0.67	YES	0.93
JAR_TERM/TRS/AProVE/IJCAR_12.trs	MAYBE	1.33	YES	1.08	YES	1.32
JAR_TERM/TRS/AProVE/IJCAR_18.trs	MAYBE	2.27	KILLED	60.00	YES	2.02
JAR_TERM/TRS/AProVE/JFP_Ex51.trs	KILLED	60.00	YES	8.00	YES	11.72
JAR_TERM/TRS/AProVE/LPAR_intlist.trs	MAYBE	1.78	YES	0.77	YES	0.83
JAR_TERM/TRS/AProVE/improved_usable.trs	MAYBE	1.01	MAYBE	0.72	YES	0.78
JAR_TERM/TRS/AProVE/improved_usable2.trs	MAYBE	0.96	YES	0.62	YES	0.77
JAR_TERM/TRS/Cime/append.trs	MAYBE	38.59	YES	0.83	YES	1.06
JAR_TERM/TRS/Cime/intersect.trs	KILLED	60.00	MAYBE	2.09	MAYBE	2.19
JAR_TERM/TRS/Cime/maude2.trs	KILLED	60.00	MAYBE	34.40	MAYBE	8.65
JAR_TERM/TRS/Cime/quick.trs	MAYBE	8.32	KILLED	60.00	KILLED	60.00
JAR_TERM/TRS/HM/t001.trs	KILLED	60.00	MAYBE	1.61	MAYBE	1.30
JAR_TERM/TRS/HM/t003.trs	KILLED	60.00	YES	1.09	YES	0.83
JAR_TERM/TRS/LJB01/jones2.trs	MAYBE	1.36	YES	0.83	YES	0.77
JAR_TERM/TRS/LJB01/jones6.trs	MAYBE	1.96	YES	0.75	YES	0.61
JAR_TERM/TRS/Rubio/aoto.trs	MAYBE	0.58	YES	0.62	YES	0.85
JAR_TERM/TRS/Rubio/ma96.trs	KILLED	60.00	YES	17.80	YES	17.80
JAR_TERM/TRS/SK90/2.01.trs	MAYBE	0.85	MAYBE	0.74	YES	0.73
JAR_TERM/TRS/SK90/2.04.trs	MAYBE	0.91	MAYBE	0.67	YES	0.67
JAR_TERM/TRS/SK90/2.06.trs	MAYBE	2.54	MAYBE	0.78	YES	0.93
JAR_TERM/TRS/SK90/2.10.trs	MAYBE	0.79	MAYBE	1.06	YES	1.01
JAR_TERM/TRS/SK90/2.44.trs	KILLED	60.00	YES	1.22	YES	1.27
JAR_TERM/TRS/SK90/2.54.trs	MAYBE	0.81	YES	0.70	YES	0.75
JAR_TERM/TRS/SK90/4.08.trs	MAYBE	0.93	MAYBE	0.62	YES	0.56
JAR_TERM/TRS/SK90/4.24.trs	MAYBE	2.51	MAYBE	3.35	YES	2.10
JAR_TERM/TRS/SK90/4.26.trs	MAYBE	1.33	MAYBE	1.06	YES	1.01
JAR_TERM/TRS/SK90/4.27.trs	MAYBE	1.50	YES	0.62	YES	0.62
JAR_TERM/TRS/SK90/4.42.trs	MAYBE	3.53	MAYBE	2.05	YES	1.22
JAR_TERM/TRS/SK90/4.43.trs	MAYBE	1.64	MAYBE	0.72	YES	0.78
JAR_TERM/TRS/Ste92/minsort.trs	KILLED	60.00	MAYBE	3.10	MAYBE	2.68
JAR_TERM/TRS/TRCSR/Ex15_Luc98_GM.trs	KILLED	60.00	KILLED	60.00	YES	2.14
JAR_TERM/TRS/TRCSR/Ex15_Luc98_Z.trs	KILLED	60.00	YES	0.94	YES	0.82
JAR_TERM/TRS/TRCSR/Ex1_GL02a_GM.trs	KILLED	60.00	YES	0.68	YES	0.84
JAR_TERM/TRS/TRCSR/Ex1_GM03_Z.trs	KILLED	60.00	MAYBE	0.68	MAYBE	0.89
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_Z.trs	KILLED	60.00	YES	0.89	YES	0.90
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs	KILLED	60.00	MAYBE	0.93	MAYBE	1.22
JAR_TERM/TRS/TRCSR/Ex49_GM04_GM.trs	KILLED	60.00	YES	13.48	YES	15.14
JAR_TERM/TRS/TRCSR/Ex49_GM04_Z.trs	KILLED	60.00	YES	1.19	YES	1.15
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs	KILLED	60.00	YES	1.82	YES	1.83
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	MAYBE	55.35	MAYBE	54.59	KILLED	60.00
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs	MAYBE	3.20	YES	0.68	YES	0.63
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs	KILLED	60.00	KILLED	60.00	MAYBE	46.01
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs	KILLED	60.00	YES	6.82	YES	5.52
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs	KILLED	60.00	YES	3.02	YES	3.13
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_Z.trs	KILLED	60.00	MAYBE	0.74	MAYBE	0.68
JAR_TERM/TRS/currying/AG01/#3.45.trs	MAYBE	3.38	YES	0.67	YES	0.67
JAR_TERM/TRS/currying/D33/08.trs	MAYBE	1.20	YES	1.19	YES	1.16
JAR_TERM/TRS/currying/D33/11.trs	MAYBE	2.49	YES	2.31	YES	2.14
JAR_TERM/TRS/currying/D33/18.trs	MAYBE	1.50	MAYBE	1.48	YES	1.48
JAR_TERM/TRS/nontermin/AG01/#4.22.trs	MAYBE	1.43	YES	0.77	YES	0.62
JAR_TERM/TRS/nontermin/AG01/#4.23.trs	MAYBE	2.61	YES	1.11	YES	1.11
JAR_TERM/TRS/nontermin/AG01/#4.33.trs	MAYBE	1.08	YES	0.78	YES	0.85
JAR_TERM/TRS/nontermin/AG01/#4.34.trs	MAYBE	1.03	YES	0.82	YES	0.72
JAR_TERM/TRS/nontermin/AG01/#4.35.trs	KILLED	60.00	YES	40.68	YES	41.15
JAR_TERM/TRS/nontermin/AG01/#4.36.trs	KILLED	60.00	KILLED	60.00	YES	36.99
JAR_TERM/TRS/nontermin/CSR/Ex1_GL02a.trs	KILLED	60.00	MAYBE	0.61	MAYBE	0.61
JAR_TERM/TRS/nontermin/CSR/ExIntrod_GM99.trs	MAYBE	36.65	MAYBE	28.53	KILLED	60.00
JAR_TERM/TRS/secret2005/aprove2.trs	KILLED	60.00	MAYBE	17.05	MAYBE	16.85
JAR_TERM/TRS/various/18.trs	MAYBE	2.32	MAYBE	0.82	YES	0.72