Example	Thm. 26, POLO-7.1+7.2, lim		Thm. 26, POLO-7.1+7.2, safe
JAR_TERM/TRS/AProVE/JFP_Ex31.trs	KILLED	60.00	MAYBE	1.55
JAR_TERM/TRS/AProVE/Liveness6.1.trs	KILLED	60.00	MAYBE	1.04
JAR_TERM/TRS/AProVE/Liveness6.2.trs	KILLED	60.00	MAYBE	1.27
JAR_TERM/TRS/AProVE/Liveness6.3.trs	KILLED	60.00	MAYBE	2.34
JAR_TERM/TRS/AProVE/Liveness6.4.trs	KILLED	60.00	MAYBE	10.14
JAR_TERM/TRS/D33/20.trs	KILLED	60.00	YES	1.38
JAR_TERM/TRS/HM/t012.trs	KILLED	60.00	YES	1.30
JAR_TERM/TRS/SK90/4.32.trs	KILLED	60.00	MAYBE	2.42
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_C.trs	KILLED	60.00	MAYBE	21.34
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_FR.trs	KILLED	60.00	MAYBE	1.43
JAR_TERM/TRS/TRCSR/Ex15_Luc98_C.trs	KILLED	60.00	YES	3.46
JAR_TERM/TRS/TRCSR/Ex15_Luc98_FR.trs	KILLED	60.00	MAYBE	4.17
JAR_TERM/TRS/TRCSR/Ex15_Luc98_GM.trs	KILLED	60.00	YES	1.78
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_GM.trs	KILLED	60.00	MAYBE	1.29
JAR_TERM/TRS/TRCSR/Ex1_GL02a_FR.trs	KILLED	60.00	MAYBE	4.66
JAR_TERM/TRS/TRCSR/Ex1_GL02a_Z.trs	KILLED	60.00	MAYBE	4.60
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_GM.trs	KILLED	60.00	MAYBE	26.92
JAR_TERM/TRS/TRCSR/Ex24_GM04_C.trs	KILLED	60.00	MAYBE	1.89
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_FR.trs	KILLED	60.00	MAYBE	15.95
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_GM.trs	KILLED	60.00	YES	5.64
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_C.trs	KILLED	60.00	YES	3.03
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_FR.trs	KILLED	60.00	YES	2.67
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_GM.trs	KILLED	60.00	YES	4.75
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_C.trs	KILLED	60.00	MAYBE	10.23
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_GM.trs	KILLED	60.00	MAYBE	8.28
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_FR.trs	KILLED	60.00	MAYBE	34.75
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_GM.trs	KILLED	60.00	MAYBE	24.82
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_Z.trs	KILLED	60.00	MAYBE	7.99
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs	KILLED	60.00	MAYBE	10.38
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs	KILLED	60.00	YES	6.92
JAR_TERM/TRS/TRCSR/Ex49_GM04_FR.trs	KILLED	60.00	MAYBE	18.77
JAR_TERM/TRS/TRCSR/Ex4_7_15_Bor03_C.trs	KILLED	60.00	MAYBE	20.67
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_C.trs	KILLED	60.00	MAYBE	15.27
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	KILLED	60.00	MAYBE	8.76
JAR_TERM/TRS/TRCSR/Ex4_7_77_Bor03_C.trs	KILLED	60.00	MAYBE	2.94
JAR_TERM/TRS/TRCSR/Ex4_Zan97_C.trs	KILLED	60.00	MAYBE	27.66
JAR_TERM/TRS/TRCSR/Ex4_Zan97_GM.trs	KILLED	60.00	MAYBE	21.34
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_FR.trs	KILLED	60.00	MAYBE	34.19
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_Z.trs	KILLED	60.00	MAYBE	8.45
JAR_TERM/TRS/TRCSR/Ex5_Zan97_C.trs	KILLED	60.00	MAYBE	5.41
JAR_TERM/TRS/TRCSR/Ex5_Zan97_GM.trs	KILLED	60.00	MAYBE	3.09
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_FR.trs	KILLED	60.00	MAYBE	20.84
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_Z.trs	KILLED	60.00	MAYBE	10.56
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_C.trs	KILLED	60.00	YES	2.49
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs	KILLED	60.00	MAYBE	3.12
JAR_TERM/TRS/TRCSR/Ex6_Luc98_C.trs	KILLED	60.00	YES	2.26
JAR_TERM/TRS/TRCSR/Ex9_BLR02_FR.trs	KILLED	60.00	MAYBE	7.42
JAR_TERM/TRS/TRCSR/Ex9_BLR02_GM.trs	KILLED	60.00	YES	7.00
JAR_TERM/TRS/TRCSR/Ex9_Luc04_C.trs	KILLED	60.00	MAYBE	2.06
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_GM.trs	KILLED	60.00	MAYBE	5.94
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	MAYBE	39.28
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_FR.trs	KILLED	60.00	MAYBE	4.70
JAR_TERM/TRS/Zantema/jw11.trs	YES	1.18	MAYBE	0.99
JAR_TERM/TRS/Zantema/jw12.trs	YES	1.17	MAYBE	0.89
JAR_TERM/TRS/Zantema/jw37.trs	YES	1.09	MAYBE	0.96
JAR_TERM/TRS/Zantema/jw38.trs	YES	1.17	MAYBE	0.88
JAR_TERM/TRS/Zantema/z01.trs	KILLED	60.00	MAYBE	1.06
JAR_TERM/TRS/Zantema/z03.trs	KILLED	60.00	MAYBE	1.55
JAR_TERM/TRS/Zantema/z12.trs	KILLED	60.00	MAYBE	1.32
JAR_TERM/TRS/Zantema/z13.trs	KILLED	60.00	MAYBE	1.63
JAR_TERM/TRS/Zantema/z14.trs	KILLED	60.00	MAYBE	1.03
JAR_TERM/TRS/Zantema/z15.trs	KILLED	60.00	MAYBE	1.27
JAR_TERM/TRS/Zantema/z16.trs	KILLED	60.00	MAYBE	1.09
JAR_TERM/TRS/Zantema/z17.trs	KILLED	60.00	MAYBE	1.17
JAR_TERM/TRS/Zantema/z18.trs	KILLED	60.00	MAYBE	1.27
JAR_TERM/TRS/Zantema/z23.trs	KILLED	60.00	MAYBE	2.31
JAR_TERM/TRS/Zantema/z24.trs	KILLED	60.00	MAYBE	3.98
JAR_TERM/TRS/currying/AG01/#3.57.trs	KILLED	60.00	MAYBE	4.65
JAR_TERM/TRS/currying/D33/08.trs	KILLED	60.00	YES	2.19
JAR_TERM/TRS/currying/D33/11.trs	KILLED	60.00	YES	14.74
JAR_TERM/TRS/currying/D33/12.trs	KILLED	60.00	MAYBE	8.51
JAR_TERM/TRS/currying/D33/17.trs	KILLED	60.00	MAYBE	2.00
JAR_TERM/TRS/higher-order/AProVE_HO/TypeEx3.trs	KILLED	60.00	MAYBE	1.46
JAR_TERM/TRS/higher-order/Bird/TreeFlatten.trs	KILLED	60.00	MAYBE	2.65
JAR_TERM/TRS/higher-order/Bird/TreeLevels.trs	KILLED	60.00	MAYBE	10.01
JAR_TERM/TRS/higher-order/Lifantsev/Ex3Lists.trs	KILLED	60.00	MAYBE	2.23