Example	Thm. 26, POLO-7.1+7.2, safe		Thm. 26, POLO-7.1+7.2, old
JAR_TERM/TRS/AProVE/forward_instantiation.trs	YES	0.77	MAYBE	0.75
JAR_TERM/TRS/AProVE/forward_instantiation2.trs	YES	0.72	MAYBE	0.83
JAR_TERM/TRS/Rubio/lindau.trs	YES	0.72	MAYBE	1.10
JAR_TERM/TRS/SK90/4.50.trs	YES	0.80	MAYBE	0.70
JAR_TERM/TRS/Zantema/jw01.trs	YES	0.88	MAYBE	0.75
JAR_TERM/TRS/Zantema/jw06.trs	YES	0.88	MAYBE	0.76
JAR_TERM/TRS/Zantema/jw07.trs	YES	0.96	MAYBE	1.02
JAR_TERM/TRS/Zantema/jw09.trs	YES	0.80	MAYBE	0.85
JAR_TERM/TRS/Zantema/jw16.trs	YES	0.72	MAYBE	0.95
JAR_TERM/TRS/Zantema/jw21.trs	YES	0.85	MAYBE	0.75
JAR_TERM/TRS/Zantema/jw28.trs	YES	0.72	MAYBE	0.88
JAR_TERM/TRS/Zantema/jw33.trs	YES	0.72	MAYBE	0.75
JAR_TERM/TRS/Zantema/jw40.trs	YES	0.77	MAYBE	0.72
JAR_TERM/TRS/Zantema/jw42.trs	YES	0.77	MAYBE	0.85
JAR_TERM/TRS/various/02.trs	YES	0.81	MAYBE	0.75
JAR_TERM/TRS/various/03.trs	YES	0.70	MAYBE	0.91
JAR_TERM/TRS/various/04.trs	KILLED	60.00	MAYBE	1.27
JAR_TERM/TRS/various/05.trs	KILLED	60.00	MAYBE	1.11
JAR_TERM/TRS/various/08.trs	KILLED	60.00	MAYBE	1.72