AlgorithmOrderTr.YFTO
Thm. 26POLO-7.1+7.2safe16 [0.8]03
Thm. 26POLO-7.1+7.2old019 [0.9]0

ExampleThm. 26, POLO-7.1+7.2, safeThm. 26, POLO-7.1+7.2, old
JAR_TERM/TRS/AProVE/forward_instantiation.trsYES0.77MAYBE0.75
JAR_TERM/TRS/AProVE/forward_instantiation2.trsYES0.72MAYBE0.83
JAR_TERM/TRS/Rubio/lindau.trsYES0.72MAYBE1.10
JAR_TERM/TRS/SK90/4.50.trsYES0.80MAYBE0.70
JAR_TERM/TRS/Zantema/jw01.trsYES0.88MAYBE0.75
JAR_TERM/TRS/Zantema/jw06.trsYES0.88MAYBE0.76
JAR_TERM/TRS/Zantema/jw07.trsYES0.96MAYBE1.02
JAR_TERM/TRS/Zantema/jw09.trsYES0.80MAYBE0.85
JAR_TERM/TRS/Zantema/jw16.trsYES0.72MAYBE0.95
JAR_TERM/TRS/Zantema/jw21.trsYES0.85MAYBE0.75
JAR_TERM/TRS/Zantema/jw28.trsYES0.72MAYBE0.88
JAR_TERM/TRS/Zantema/jw33.trsYES0.72MAYBE0.75
JAR_TERM/TRS/Zantema/jw40.trsYES0.77MAYBE0.72
JAR_TERM/TRS/Zantema/jw42.trsYES0.77MAYBE0.85
JAR_TERM/TRS/various/02.trsYES0.81MAYBE0.75
JAR_TERM/TRS/various/03.trsYES0.70MAYBE0.91
JAR_TERM/TRS/various/04.trsKILLED60.00MAYBE1.27
JAR_TERM/TRS/various/05.trsKILLED60.00MAYBE1.11
JAR_TERM/TRS/various/08.trsKILLED60.00MAYBE1.72