Example	Thm. 26, POLO-filter, no		Thm. 26, POLO-7.1, no
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_C.trs	KILLED	60.00	MAYBE	7.54
JAR_INN/TRS/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	MAYBE	7.93
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	MAYBE	5.39
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_FR.trs	KILLED	60.00	MAYBE	1.45
JAR_INN/TRS/TRCSR/ExIntrod_GM01_C.trs	KILLED	60.00	MAYBE	3.27
JAR_INN/TRS/TRCSR/ExIntrod_GM01_GM.trs	KILLED	60.00	MAYBE	3.21
JAR_INN/TRS/AProVE/JFP_Ex51.trs	KILLED	60.00	YES	3.10
JAR_INN/TRS/Cime/filliatre.trs	KILLED	60.00	YES	1.99
JAR_INN/TRS/Rubio/wst99.trs	KILLED	60.00	YES	8.83
JAR_INN/TRS/TRCSR/Ex14_AEGL02_C.trs	KILLED	60.00	MAYBE	1.97
JAR_INN/TRS/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	MAYBE	15.44
JAR_INN/TRS/TRCSR/Ex1_GL02a_C.trs	KILLED	60.00	MAYBE	3.06
JAR_INN/TRS/TRCSR/Ex1_GL02a_FR.trs	KILLED	60.00	MAYBE	1.58
JAR_INN/TRS/TRCSR/Ex1_GL02a_Z.trs	KILLED	60.00	MAYBE	1.15
JAR_INN/TRS/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	MAYBE	3.73
JAR_INN/TRS/TRCSR/Ex1_GM03_FR.trs	KILLED	60.00	MAYBE	19.49
JAR_INN/TRS/TRCSR/Ex1_GM03_GM.trs	KILLED	60.00	MAYBE	35.04
JAR_INN/TRS/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	MAYBE	3.21
JAR_INN/TRS/TRCSR/Ex1_Luc02b_GM.trs	KILLED	60.00	MAYBE	29.80
JAR_INN/TRS/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	MAYBE	5.83
JAR_INN/TRS/TRCSR/Ex26_Luc03b_GM.trs	KILLED	60.00	YES	2.85
JAR_INN/TRS/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	MAYBE	6.13
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_C.trs	KILLED	60.00	MAYBE	2.52
JAR_INN/TRS/TRCSR/Ex3_12_Luc96a_GM.trs	KILLED	60.00	MAYBE	1.97
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_C.trs	KILLED	60.00	MAYBE	4.10
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_FR.trs	KILLED	60.00	MAYBE	8.71
JAR_INN/TRS/TRCSR/Ex3_2_Luc97_GM.trs	KILLED	60.00	MAYBE	2.37
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	MAYBE	4.49
JAR_INN/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs	KILLED	60.00	MAYBE	4.81
JAR_INN/TRS/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	MAYBE	2.75
JAR_INN/TRS/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	MAYBE	3.04
JAR_INN/TRS/TRCSR/Ex49_GM04_FR.trs	KILLED	60.00	MAYBE	1.87
JAR_INN/TRS/TRCSR/Ex49_GM04_GM.trs	KILLED	60.00	YES	4.91
JAR_INN/TRS/TRCSR/Ex4_7_15_Bor03_C.trs	KILLED	60.00	MAYBE	1.95
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	MAYBE	6.73
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_C.trs	KILLED	60.00	MAYBE	2.13
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	KILLED	60.00	MAYBE	1.95
JAR_INN/TRS/TRCSR/Ex4_Zan97_C.trs	KILLED	60.00	MAYBE	3.04
JAR_INN/TRS/TRCSR/Ex4_Zan97_GM.trs	KILLED	60.00	MAYBE	9.77
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	MAYBE	9.28
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_FR.trs	KILLED	60.00	MAYBE	8.63
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	MAYBE	21.83
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_FR.trs	KILLED	60.00	MAYBE	2.53
JAR_INN/TRS/TRCSR/Ex6_15_AEL02_Z.trs	KILLED	60.00	MAYBE	1.81
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_GM.trs	KILLED	60.00	MAYBE	1.90
JAR_INN/TRS/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	MAYBE	4.83
JAR_INN/TRS/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	MAYBE	4.69
JAR_INN/TRS/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	MAYBE	3.89
JAR_INN/TRS/TRCSR/Ex9_BLR02_FR.trs	KILLED	60.00	MAYBE	3.53
JAR_INN/TRS/TRCSR/Ex9_BLR02_GM.trs	KILLED	60.00	YES	2.00
JAR_INN/TRS/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	MAYBE	19.03