Example	Thm. 26, POLO-7.1, no		Thm. 26, POLO-7.1+7.2, no
JAR_INN/TRS/secret2005/cime3.trs	KILLED	60.00	MAYBE	12.77
JAR_INN/TRS/secret2005/cime5.trs	KILLED	60.00	MAYBE	10.32
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	KILLED	60.00	MAYBE	46.53
JAR_INN/TRS/TRCSR/ExIntrod_GM99_GM.trs	KILLED	60.00	MAYBE	38.25
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_GM.trs	KILLED	60.00	MAYBE	12.89
JAR_INN/TRS/TRCSR/Ex8_BLR02_GM.trs	KILLED	60.00	MAYBE	11.54
JAR_INN/TRS/AProVE/AAECC.trs	KILLED	60.00	MAYBE	2.15
JAR_INN/TRS/HM/t009.trs	KILLED	60.00	MAYBE	54.88
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_GM.trs	KILLED	60.00	MAYBE	12.09
JAR_INN/TRS/TRCSR/Ex7_BLR02_GM.trs	KILLED	60.00	MAYBE	12.25