Example	Thm. 26, POLO-7.1, no		Thm. 26, POLO-7.1+7.2, no
JAR_TERM/TRS/AProVE/AAECC.trs	KILLED	60.00	MAYBE	1.84
JAR_TERM/TRS/Cime/lse.trs	KILLED	60.00	YES	2.40
JAR_TERM/TRS/HM/t009.trs	KILLED	60.00	MAYBE	55.11
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	MAYBE	11.88
JAR_TERM/TRS/TRCSR/Ex7_BLR02_GM.trs	KILLED	60.00	MAYBE	11.96
JAR_TERM/TRS/TRCSR/Ex8_BLR02_GM.trs	KILLED	60.00	MAYBE	11.15
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	MAYBE	40.58
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_GM.trs	KILLED	60.00	MAYBE	12.24
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	MAYBE	49.09
JAR_TERM/TRS/secret2005/cime3.trs	KILLED	60.00	MAYBE	12.42
JAR_TERM/TRS/secret2005/cime5.trs	KILLED	60.00	MAYBE	8.61
JAR_TERM/TRS/various/08.trs	KILLED	60.00	MAYBE	1.60