Example	Thm. 12, LPO, no		Thm. 26, LPO, no
JAR_INN/TRS/various/18.trs	MAYBE	1.15	YES	0.82
JAR_INN/TRS/nontermin/CSR/ExIntrod_GM99.trs	MAYBE	28.43	KILLED	60.00
JAR_INN/TRS/nontermin/AG01/#4.36.trs	KILLED	60.00	YES	36.87
JAR_INN/TRS/currying/D33/18.trs	MAYBE	1.92	YES	1.45
JAR_INN/TRS/AProVE/IJCAR_18.trs	KILLED	60.00	YES	1.79
JAR_INN/TRS/AProVE/improved_usable.trs	MAYBE	1.81	YES	0.88
JAR_INN/TRS/SK90/2.02.trs	MAYBE	1.34	YES	0.84
JAR_INN/TRS/SK90/4.24.trs	MAYBE	3.36	YES	2.42
JAR_INN/TRS/SK90/4.26.trs	MAYBE	1.33	YES	0.83
JAR_INN/TRS/SK90/4.42.trs	MAYBE	3.12	YES	1.09
JAR_INN/TRS/SK90/4.43.trs	MAYBE	1.04	YES	1.09
JAR_INN/TRS/TRCSR/Ex15_Luc98_GM.trs	KILLED	60.00	YES	3.02
JAR_INN/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs	MAYBE	54.27	KILLED	60.00
JAR_INN/TRS/TRCSR/Ex6_9_Luc02c_GM.trs	KILLED	60.00	MAYBE	49.95