Example	Thm. 26, POLO-filter, no		Thm. 26, POLO-7.1, no
JAR_TERM/TRS/AProVE/JFP_Ex51.trs	KILLED	60.00	YES	2.98
JAR_TERM/TRS/Cime/filliatre.trs	KILLED	60.00	YES	1.81
JAR_TERM/TRS/Rubio/wst99.trs	KILLED	60.00	YES	8.52
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_C.trs	KILLED	60.00	MAYBE	1.68
JAR_TERM/TRS/TRCSR/Ex15_Luc98_FR.trs	KILLED	60.00	MAYBE	3.13
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs	KILLED	60.00	MAYBE	6.19
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trs	KILLED	60.00	MAYBE	2.33
JAR_TERM/TRS/TRCSR/Ex1_GL02a_FR.trs	KILLED	60.00	MAYBE	2.60
JAR_TERM/TRS/TRCSR/Ex1_GL02a_Z.trs	KILLED	60.00	MAYBE	1.16
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trs	KILLED	60.00	MAYBE	2.44
JAR_TERM/TRS/TRCSR/Ex1_GM03_FR.trs	KILLED	60.00	MAYBE	19.33
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trs	KILLED	60.00	MAYBE	33.64
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trs	KILLED	60.00	MAYBE	2.38
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_GM.trs	KILLED	60.00	MAYBE	29.07
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trs	KILLED	60.00	MAYBE	3.38
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_FR.trs	KILLED	60.00	MAYBE	19.49
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_GM.trs	KILLED	60.00	YES	2.54
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_Z.trs	KILLED	60.00	MAYBE	2.08
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trs	KILLED	60.00	MAYBE	3.43
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_FR.trs	KILLED	60.00	YES	2.62
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_C.trs	KILLED	60.00	MAYBE	1.89
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_GM.trs	KILLED	60.00	MAYBE	1.84
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trs	KILLED	60.00	MAYBE	2.88
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_FR.trs	KILLED	60.00	MAYBE	25.71
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_GM.trs	KILLED	60.00	MAYBE	2.02
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_Z.trs	KILLED	60.00	MAYBE	2.81
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trs	KILLED	60.00	MAYBE	2.75
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs	KILLED	60.00	MAYBE	4.62
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trs	KILLED	60.00	MAYBE	2.18
JAR_TERM/TRS/TRCSR/Ex49_GM04_FR.trs	KILLED	60.00	MAYBE	28.50
JAR_TERM/TRS/TRCSR/Ex49_GM04_GM.trs	KILLED	60.00	YES	4.62
JAR_TERM/TRS/TRCSR/Ex4_7_15_Bor03_C.trs	KILLED	60.00	MAYBE	1.68
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trs	KILLED	60.00	MAYBE	3.58
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_C.trs	KILLED	60.00	MAYBE	1.71
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	KILLED	60.00	MAYBE	1.81
JAR_TERM/TRS/TRCSR/Ex4_Zan97_C.trs	KILLED	60.00	MAYBE	2.23
JAR_TERM/TRS/TRCSR/Ex4_Zan97_GM.trs	KILLED	60.00	MAYBE	9.90
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs	KILLED	60.00	MAYBE	4.57
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_FR.trs	KILLED	60.00	MAYBE	26.41
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_Z.trs	KILLED	60.00	MAYBE	3.17
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs	KILLED	60.00	MAYBE	8.19
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_FR.trs	KILLED	60.00	MAYBE	5.05
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_Z.trs	KILLED	60.00	MAYBE	2.54
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs	KILLED	60.00	MAYBE	1.55
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trs	KILLED	60.00	MAYBE	3.12
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trs	KILLED	60.00	MAYBE	2.91
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trs	KILLED	60.00	MAYBE	2.81
JAR_TERM/TRS/TRCSR/Ex9_BLR02_FR.trs	KILLED	60.00	MAYBE	4.26
JAR_TERM/TRS/TRCSR/Ex9_BLR02_GM.trs	KILLED	60.00	YES	1.81
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs	KILLED	60.00	MAYBE	7.12
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trs	KILLED	60.00	MAYBE	2.44
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_GM.trs	KILLED	60.00	MAYBE	2.86
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_C.trs	KILLED	60.00	MAYBE	2.18
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs	KILLED	60.00	MAYBE	4.05
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_FR.trs	KILLED	60.00	MAYBE	2.96
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_Z.trs	KILLED	60.00	MAYBE	1.14
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trs	KILLED	60.00	MAYBE	3.22
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_FR.trs	KILLED	60.00	MAYBE	1.49
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trs	KILLED	60.00	MAYBE	4.21
JAR_TERM/TRS/various/04.trs	KILLED	60.00	MAYBE	7.58
JAR_TERM/TRS/various/05.trs	KILLED	60.00	MAYBE	7.33