Example	Thm. 26, POLO-7.1+7.2, safe		Thm. 26, POLO-7.1+7.2, (1)+(2)
JAR_TERM/TRS/AG01/#3.21.trs	YES	1.01	MAYBE	0.80
JAR_TERM/TRS/AG01/#3.22.trs	YES	0.88	MAYBE	0.83
JAR_TERM/TRS/AG01/#3.39.trs	YES	1.27	MAYBE	1.11
JAR_TERM/TRS/AG01/#3.40.trs	YES	1.32	MAYBE	1.16
JAR_TERM/TRS/AG01/#3.41.trs	YES	0.72	MAYBE	0.75
JAR_TERM/TRS/AG01/#3.42.trs	YES	0.91	MAYBE	0.88
JAR_TERM/TRS/AProVE/Liveness_WRS.trs	YES	1.51	MAYBE	1.36
JAR_TERM/TRS/AProVE/forward_instantiation.trs	YES	0.77	MAYBE	0.67
JAR_TERM/TRS/AProVE/forward_instantiation2.trs	YES	0.72	MAYBE	0.75
JAR_TERM/TRS/D33/21.trs	YES	0.77	MAYBE	0.96
JAR_TERM/TRS/HM/t008.trs	YES	0.88	MAYBE	1.01
JAR_TERM/TRS/HM/t009.trs	KILLED	60.00	MAYBE	56.10
JAR_TERM/TRS/SK90/4.13.trs	YES	0.72	MAYBE	0.72
JAR_TERM/TRS/SK90/4.51.trs	YES	0.72	MAYBE	0.85
JAR_TERM/TRS/SK90/4.61.trs	YES	1.14	MAYBE	0.93
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	MAYBE	6.92
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trs	KILLED	60.00	MAYBE	2.73
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	MAYBE	2.67
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trs	KILLED	60.00	MAYBE	5.84
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	MAYBE	2.67
JAR_TERM/TRS/TRCSR/Ex1_Zan97_C.trs	YES	1.30	MAYBE	0.93
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	MAYBE	3.67
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	MAYBE	3.79
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trs	KILLED	60.00	MAYBE	2.93
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	MAYBE	3.09
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	MAYBE	2.46
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	MAYBE	3.98
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	MAYBE	5.41
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	MAYBE	13.64
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	MAYBE	8.67
JAR_TERM/TRS/TRCSR/Ex6_GM04_C.trs	YES	1.53	MAYBE	0.88
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	MAYBE	3.43
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trs	KILLED	60.00	MAYBE	13.05
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	MAYBE	3.25
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trs	KILLED	60.00	MAYBE	11.54
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	MAYBE	2.93
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	MAYBE	8.03
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trs	KILLED	60.00	MAYBE	2.67
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	MAYBE	4.69
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	MAYBE	36.60
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	MAYBE	3.61
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trs	KILLED	60.00	MAYBE	13.49
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trs	KILLED	60.00	MAYBE	4.61
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	MAYBE	50.01
JAR_TERM/TRS/Zantema/jw01.trs	YES	0.88	MAYBE	0.80
JAR_TERM/TRS/Zantema/jw06.trs	YES	0.88	MAYBE	0.80
JAR_TERM/TRS/Zantema/jw07.trs	YES	0.96	MAYBE	0.84
JAR_TERM/TRS/Zantema/jw09.trs	YES	0.80	MAYBE	0.83
JAR_TERM/TRS/Zantema/jw16.trs	YES	0.72	MAYBE	0.96
JAR_TERM/TRS/Zantema/jw21.trs	YES	0.85	MAYBE	0.90
JAR_TERM/TRS/Zantema/jw28.trs	YES	0.72	MAYBE	0.91
JAR_TERM/TRS/Zantema/jw33.trs	YES	0.72	MAYBE	0.79
JAR_TERM/TRS/Zantema/jw40.trs	YES	0.77	MAYBE	0.85
JAR_TERM/TRS/Zantema/jw42.trs	YES	0.77	MAYBE	0.80
JAR_TERM/TRS/Zantema/z11.trs	YES	0.93	MAYBE	0.89
JAR_TERM/TRS/nontermin/AG01/#4.27.trs	YES	1.01	MAYBE	1.01
JAR_TERM/TRS/nontermin/AG01/#4.28.trs	YES	0.77	MAYBE	0.96
JAR_TERM/TRS/nontermin/AG01/#4.29.trs	YES	1.11	MAYBE	1.05
JAR_TERM/TRS/nontermin/AG01/#4.31.trs	YES	0.82	MAYBE	0.77
JAR_TERM/TRS/secret2005/cime3.trs	KILLED	60.00	MAYBE	12.71
JAR_TERM/TRS/various/04.trs	KILLED	60.00	MAYBE	0.98
JAR_TERM/TRS/various/05.trs	KILLED	60.00	MAYBE	1.17
JAR_TERM/TRS/various/08.trs	KILLED	60.00	MAYBE	1.89
JAR_TERM/TRS/various/15.trs	YES	0.80	MAYBE	0.85