Example	Thm. 26, POLO-7.1+7.2, older		Thm. 26, POLO-7.1+7.2, no
JAR_INN/TRS/various/15.trs	YES	0.75	MAYBE	0.70
JAR_INN/TRS/nontermin/Rubio-inn/test75.trs	YES	0.64	MAYBE	0.67
JAR_INN/TRS/nontermin/AG01/#4.12a.trs	YES	0.85	MAYBE	0.67
JAR_INN/TRS/various/11.trs	YES	0.96	MAYBE	0.67
JAR_INN/TRS/secret2005/aprove4.trs	YES	1.03	MAYBE	0.85
JAR_INN/TRS/secret2005/cime3.trs	KILLED	60.00	MAYBE	12.77
JAR_INN/TRS/secret2005/cime5.trs	KILLED	60.00	MAYBE	10.32
JAR_INN/TRS/secret2005/tpa2.trs	YES	2.05	MAYBE	0.91
JAR_INN/TRS/nontermin/Rubio-inn/test76.trs	YES	0.72	MAYBE	0.91
JAR_INN/TRS/nontermin/Rubio-inn/test77.trs	YES	0.96	MAYBE	0.91
JAR_INN/TRS/nontermin/Rubio-inn/test9.trs	YES	0.62	MAYBE	0.85
JAR_INN/TRS/secret2005/aprove2.trs	YES	1.14	MAYBE	0.82
JAR_INN/TRS/nontermin/AG01/#4.7.trs	YES	0.64	MAYBE	0.91
JAR_INN/TRS/nontermin/AG01/#4.17.trs	YES	0.78	MAYBE	0.96
JAR_INN/TRS/nontermin/AG01/#4.18.trs	YES	0.85	MAYBE	0.81
JAR_INN/TRS/nontermin/AG01/#4.25.trs	YES	0.61	MAYBE	0.91
JAR_INN/TRS/nontermin/AG01/#4.26.trs	YES	1.22	MAYBE	1.01
JAR_INN/TRS/nontermin/AG01/#4.27.trs	YES	0.77	MAYBE	0.72
JAR_INN/TRS/nontermin/AG01/#4.28.trs	YES	0.82	MAYBE	0.91
JAR_INN/TRS/nontermin/AG01/#4.29.trs	YES	1.27	MAYBE	0.98
JAR_INN/TRS/nontermin/AG01/#4.30.trs	YES	0.98	MAYBE	0.85
JAR_INN/TRS/nontermin/AG01/#4.30a.trs	YES	0.91	MAYBE	0.72
JAR_INN/TRS/nontermin/AG01/#4.30b.trs	YES	1.24	MAYBE	0.96
JAR_INN/TRS/nontermin/AG01/#4.30c.trs	YES	1.58	MAYBE	1.11
JAR_INN/TRS/nontermin/AG01/#4.31.trs	YES	0.87	MAYBE	0.77
JAR_INN/TRS/higher-order/Kusakari/Ex7_9.trs	KILLED	60.00	MAYBE	1.79
JAR_INN/TRS/higher-order/Lifantsev/Ex5Sorting.trs	KILLED	60.00	MAYBE	2.03
JAR_INN/TRS/higher-order/ToyamaRTA04/Ex7Sorting.trs	KILLED	60.00	MAYBE	2.15
JAR_INN/TRS/higher-order/Bird/Hamming.trs	KILLED	60.00	MAYBE	4.44
JAR_INN/TRS/higher-order/Bird/TreeLevels.trs	KILLED	60.00	MAYBE	1.88
JAR_INN/TRS/higher-order/AotoYam/009.trs	KILLED	60.00	MAYBE	1.32
JAR_INN/TRS/higher-order/AotoYam/012.trs	KILLED	60.00	MAYBE	1.11
JAR_INN/TRS/higher-order/AotoYam/019.trs	YES	1.01	MAYBE	0.80
JAR_INN/TRS/currying/Ste92/perfect2.trs	KILLED	60.00	MAYBE	2.82
JAR_INN/TRS/higher-order/AProVE_HO/TakeDropWhile.trs	KILLED	60.00	MAYBE	1.07
JAR_INN/TRS/higher-order/AProVE_HO/TypeEx1.trs	YES	0.62	MAYBE	0.72
JAR_INN/TRS/higher-order/AotoYam/003.trs	KILLED	60.00	MAYBE	0.85
JAR_INN/TRS/currying/D33/11.trs	KILLED	60.00	YES	3.49
JAR_INN/TRS/currying/Ste92/minsort.trs	KILLED	60.00	MAYBE	2.26
JAR_INN/TRS/Zantema/z26.trs	YES	1.09	MAYBE	1.38
JAR_INN/TRS/currying/AG01/#3.52.trs	YES	0.91	MAYBE	0.83
JAR_INN/TRS/currying/AG01/#3.55.trs	KILLED	60.00	MAYBE	4.08
JAR_INN/TRS/currying/AG01/#3.10.trs	KILLED	60.00	MAYBE	4.55
JAR_INN/TRS/currying/AG01/#3.13.trs	KILLED	60.00	MAYBE	5.07
JAR_INN/TRS/Zantema/jw35.trs	YES	1.01	MAYBE	0.80
JAR_INN/TRS/Zantema/jw36.trs	YES	0.61	MAYBE	0.67
JAR_INN/TRS/Zantema/z02.trs	YES	0.91	MAYBE	0.72
JAR_INN/TRS/Zantema/z03.trs	YES	0.67	MAYBE	0.81
JAR_INN/TRS/Zantema/z04.trs	YES	1.01	MAYBE	0.85
JAR_INN/TRS/Zantema/z08.trs	YES	0.75	MAYBE	0.67
JAR_INN/TRS/Zantema/z11.trs	YES	0.85	MAYBE	1.01
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_C.trs	KILLED	60.00	MAYBE	7.59
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	MAYBE	46.53
JAR_INN/TRS/Zantema/jw13.trs	YES	0.70	MAYBE	0.91
JAR_INN/TRS/Zantema/jw14.trs	YES	0.77	MAYBE	0.72
JAR_INN/TRS/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	MAYBE	7.98
JAR_INN/TRS/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	MAYBE	38.25
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	MAYBE	5.43
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_FR.trs	YES	1.54	MAYBE	1.20
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_GM.trs	KILLED	60.00	MAYBE	12.89
JAR_INN/TRS/TRCSR/ExIntrod_GM01_C.trs	KILLED	60.00	MAYBE	3.23
JAR_INN/TRS/TRCSR/Ex8_BLR02_GM.trs	KILLED	60.00	MAYBE	11.54
JAR_INN/TRS/AG01/#3.21.trs	YES	0.84	MAYBE	0.72
JAR_INN/TRS/AG01/#3.41.trs	YES	0.90	MAYBE	0.75
JAR_INN/TRS/AG01/#3.42.trs	YES	0.87	MAYBE	0.85
JAR_INN/TRS/AProVE/AAECC.trs	YES	7.77	MAYBE	2.15
JAR_INN/TRS/AProVE/IJCAR_26.trs	YES	1.81	MAYBE	1.50
JAR_INN/TRS/AProVE/IJCAR_26a.trs	YES	1.66	MAYBE	1.70
JAR_INN/TRS/AProVE/Liveness_WRS.trs	YES	1.45	MAYBE	1.30
JAR_INN/TRS/AProVE/forward_instantiation.trs	YES	0.62	MAYBE	0.67
JAR_INN/TRS/AProVE/forward_instantiation2.trs	YES	0.75	MAYBE	0.75
JAR_INN/TRS/Cime/append-hard.trs	YES	0.98	MAYBE	0.72
JAR_INN/TRS/Cime/fact-hard.trs	YES	1.37	MAYBE	0.93
JAR_INN/TRS/D33/21.trs	YES	0.77	MAYBE	0.80
JAR_INN/TRS/HM/t002.trs	YES	0.87	MAYBE	0.85
JAR_INN/TRS/HM/t008.trs	YES	0.82	MAYBE	0.83
JAR_INN/TRS/HM/t009.trs	KILLED	60.00	MAYBE	54.88
JAR_INN/TRS/SK90/4.13.trs	YES	0.72	MAYBE	0.67
JAR_INN/TRS/SK90/4.51.trs	YES	0.80	MAYBE	0.67
JAR_INN/TRS/SK90/4.55.trs	YES	0.70	MAYBE	0.76
JAR_INN/TRS/SK90/4.61.trs	YES	1.35	MAYBE	1.17
JAR_INN/TRS/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	MAYBE	15.62
JAR_INN/TRS/TRCSR/Ex1_GL02a_C.trs	KILLED	60.00	MAYBE	3.19
JAR_INN/TRS/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	MAYBE	3.66
JAR_INN/TRS/TRCSR/Ex1_GM03_FR.trs	YES	1.78	MAYBE	1.61
JAR_INN/TRS/TRCSR/Ex1_GM03_GM.trs	KILLED	60.00	MAYBE	5.73
JAR_INN/TRS/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	MAYBE	3.61
JAR_INN/TRS/TRCSR/Ex1_Luc02b_GM.trs	KILLED	60.00	MAYBE	2.67
JAR_INN/TRS/TRCSR/Ex1_Zan97_C.trs	YES	1.89	MAYBE	0.88
JAR_INN/TRS/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	MAYBE	5.74
JAR_INN/TRS/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	MAYBE	6.05
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_C.trs	KILLED	60.00	MAYBE	3.71
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_GM.trs	KILLED	60.00	MAYBE	1.43
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	MAYBE	4.36
JAR_INN/TRS/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	MAYBE	2.62
JAR_INN/TRS/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	MAYBE	2.98
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	MAYBE	6.91
JAR_INN/TRS/TRCSR/Ex4_Zan97_C.trs	KILLED	60.00	MAYBE	2.94
JAR_INN/TRS/TRCSR/Ex4_Zan97_GM.trs	KILLED	60.00	MAYBE	1.50
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	MAYBE	9.25
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	MAYBE	12.09
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	MAYBE	22.10
JAR_INN/TRS/TRCSR/Ex6_GM04_C.trs	YES	1.61	MAYBE	0.93
JAR_INN/TRS/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	MAYBE	5.01
JAR_INN/TRS/TRCSR/Ex7_BLR02_GM.trs	KILLED	60.00	MAYBE	12.25
JAR_INN/TRS/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	MAYBE	4.47
JAR_INN/TRS/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	MAYBE	3.76
JAR_INN/TRS/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	MAYBE	18.92