Example	Thm. 12, POLO-7.1, no		Thm. 26, POLO-7.1, no
JAR_INN/TRS/secret2005/cime3.trs	MAYBE	2.75	KILLED	60.00
JAR_INN/TRS/higher-order/Bird/BTreeMember.trs	MAYBE	1.61	YES	1.71
JAR_INN/TRS/currying/D33/18.trs	MAYBE	0.82	YES	0.94
JAR_INN/TRS/TRCSR/ExSec11_1_Luc02a_GM.trs	MAYBE	6.86	KILLED	60.00
JAR_INN/TRS/TRCSR/ExIntrod_GM99_GM.trs	MAYBE	4.52	KILLED	60.00
JAR_INN/TRS/TRCSR/ExIntrod_Zan97_GM.trs	MAYBE	4.10	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex8_BLR02_GM.trs	MAYBE	2.81	KILLED	60.00
JAR_INN/TRS/AG01/#3.18.trs	MAYBE	0.93	YES	0.89
JAR_INN/TRS/AG01/#3.19.trs	MAYBE	0.77	YES	0.88
JAR_INN/TRS/AProVE/AAECC.trs	MAYBE	18.03	KILLED	60.00
JAR_INN/TRS/AProVE/IJCAR_18.trs	MAYBE	1.24	YES	1.30
JAR_INN/TRS/AProVE/improved_usable.trs	MAYBE	0.61	YES	0.91
JAR_INN/TRS/AProVE/rta1.trs	MAYBE	0.77	YES	0.94
JAR_INN/TRS/Cime/big.trs	MAYBE	6.90	YES	5.87
JAR_INN/TRS/Cime/list-sum-prod-assoc-append.trs	MAYBE	1.24	YES	1.26
JAR_INN/TRS/Cime/list-sum-prod-assoc.trs	MAYBE	0.98	YES	1.10
JAR_INN/TRS/Cime/list-sum-prod-bin-assoc-distr-app.trs	MAYBE	1.98	YES	2.15
JAR_INN/TRS/Cime/ternary-hard.trs	MAYBE	2.90	YES	2.90
JAR_INN/TRS/SK90/2.23.trs	MAYBE	0.79	YES	0.78
JAR_INN/TRS/SK90/2.34.trs	MAYBE	0.80	YES	0.72
JAR_INN/TRS/SK90/2.51.trs	MAYBE	0.79	YES	0.84
JAR_INN/TRS/SK90/2.52.trs	MAYBE	1.21	YES	1.30
JAR_INN/TRS/SK90/4.24.trs	MAYBE	0.95	YES	0.99
JAR_INN/TRS/SK90/4.42.trs	MAYBE	0.82	YES	0.90
JAR_INN/TRS/TRCSR/Ex4_7_37_Bor03_GM.trs	MAYBE	36.84	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex4_Zan97_FR.trs	MAYBE	0.83	YES	1.04
JAR_INN/TRS/TRCSR/Ex4_Zan97_Z.trs	MAYBE	0.72	YES	1.47
JAR_INN/TRS/TRCSR/Ex5_7_Luc97_GM.trs	MAYBE	11.60	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex7_BLR02_GM.trs	MAYBE	3.50	KILLED	60.00