Example | Thm. 12, LPO, no | Thm. 17, LPO, no | Thm. 26, LPO, no |
JAR_TERM/TRS/AG01/#3.56.trs | MAYBE | 0.67 | YES | 0.83 | YES | 0.89 |
JAR_TERM/TRS/AProVE/IJCAR_1.trs | MAYBE | 1.90 | YES | 0.67 | YES | 0.93 |
JAR_TERM/TRS/AProVE/IJCAR_12.trs | MAYBE | 1.33 | YES | 1.08 | YES | 1.32 |
JAR_TERM/TRS/AProVE/IJCAR_18.trs | MAYBE | 2.27 | KILLED | 60.00 | YES | 2.02 |
JAR_TERM/TRS/AProVE/JFP_Ex51.trs | KILLED | 60.00 | YES | 8.00 | YES | 11.72 |
JAR_TERM/TRS/AProVE/LPAR_intlist.trs | MAYBE | 1.78 | YES | 0.77 | YES | 0.83 |
JAR_TERM/TRS/AProVE/improved_usable.trs | MAYBE | 1.01 | MAYBE | 0.72 | YES | 0.78 |
JAR_TERM/TRS/AProVE/improved_usable2.trs | MAYBE | 0.96 | YES | 0.62 | YES | 0.77 |
JAR_TERM/TRS/Cime/append.trs | MAYBE | 38.59 | YES | 0.83 | YES | 1.06 |
JAR_TERM/TRS/Cime/intersect.trs | KILLED | 60.00 | MAYBE | 2.09 | MAYBE | 2.19 |
JAR_TERM/TRS/Cime/maude2.trs | KILLED | 60.00 | MAYBE | 34.40 | MAYBE | 8.65 |
JAR_TERM/TRS/Cime/quick.trs | MAYBE | 8.32 | KILLED | 60.00 | KILLED | 60.00 |
JAR_TERM/TRS/HM/t001.trs | KILLED | 60.00 | MAYBE | 1.61 | MAYBE | 1.30 |
JAR_TERM/TRS/HM/t003.trs | KILLED | 60.00 | YES | 1.09 | YES | 0.83 |
JAR_TERM/TRS/LJB01/jones2.trs | MAYBE | 1.36 | YES | 0.83 | YES | 0.77 |
JAR_TERM/TRS/LJB01/jones6.trs | MAYBE | 1.96 | YES | 0.75 | YES | 0.61 |
JAR_TERM/TRS/Rubio/aoto.trs | MAYBE | 0.58 | YES | 0.62 | YES | 0.85 |
JAR_TERM/TRS/Rubio/ma96.trs | KILLED | 60.00 | YES | 17.80 | YES | 17.80 |
JAR_TERM/TRS/SK90/2.01.trs | MAYBE | 0.85 | MAYBE | 0.74 | YES | 0.73 |
JAR_TERM/TRS/SK90/2.04.trs | MAYBE | 0.91 | MAYBE | 0.67 | YES | 0.67 |
JAR_TERM/TRS/SK90/2.06.trs | MAYBE | 2.54 | MAYBE | 0.78 | YES | 0.93 |
JAR_TERM/TRS/SK90/2.10.trs | MAYBE | 0.79 | MAYBE | 1.06 | YES | 1.01 |
JAR_TERM/TRS/SK90/2.44.trs | KILLED | 60.00 | YES | 1.22 | YES | 1.27 |
JAR_TERM/TRS/SK90/2.54.trs | MAYBE | 0.81 | YES | 0.70 | YES | 0.75 |
JAR_TERM/TRS/SK90/4.08.trs | MAYBE | 0.93 | MAYBE | 0.62 | YES | 0.56 |
JAR_TERM/TRS/SK90/4.24.trs | MAYBE | 2.51 | MAYBE | 3.35 | YES | 2.10 |
JAR_TERM/TRS/SK90/4.26.trs | MAYBE | 1.33 | MAYBE | 1.06 | YES | 1.01 |
JAR_TERM/TRS/SK90/4.27.trs | MAYBE | 1.50 | YES | 0.62 | YES | 0.62 |
JAR_TERM/TRS/SK90/4.42.trs | MAYBE | 3.53 | MAYBE | 2.05 | YES | 1.22 |
JAR_TERM/TRS/SK90/4.43.trs | MAYBE | 1.64 | MAYBE | 0.72 | YES | 0.78 |
JAR_TERM/TRS/Ste92/minsort.trs | KILLED | 60.00 | MAYBE | 3.10 | MAYBE | 2.68 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_GM.trs | KILLED | 60.00 | KILLED | 60.00 | YES | 2.14 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_Z.trs | KILLED | 60.00 | YES | 0.94 | YES | 0.82 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_GM.trs | KILLED | 60.00 | YES | 0.68 | YES | 0.84 |
JAR_TERM/TRS/TRCSR/Ex1_GM03_Z.trs | KILLED | 60.00 | MAYBE | 0.68 | MAYBE | 0.89 |
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_Z.trs | KILLED | 60.00 | YES | 0.89 | YES | 0.90 |
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_Z.trs | KILLED | 60.00 | MAYBE | 0.93 | MAYBE | 1.22 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_GM.trs | KILLED | 60.00 | YES | 13.48 | YES | 15.14 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_Z.trs | KILLED | 60.00 | YES | 1.19 | YES | 1.15 |
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_Z.trs | KILLED | 60.00 | YES | 1.82 | YES | 1.83 |
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs | MAYBE | 55.35 | MAYBE | 54.59 | KILLED | 60.00 |
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_FR.trs | MAYBE | 3.20 | YES | 0.68 | YES | 0.63 |
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs | KILLED | 60.00 | KILLED | 60.00 | MAYBE | 46.01 |
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_FR.trs | KILLED | 60.00 | YES | 6.82 | YES | 5.52 |
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_Z.trs | KILLED | 60.00 | YES | 3.02 | YES | 3.13 |
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_Z.trs | KILLED | 60.00 | MAYBE | 0.74 | MAYBE | 0.68 |
JAR_TERM/TRS/currying/AG01/#3.45.trs | MAYBE | 3.38 | YES | 0.67 | YES | 0.67 |
JAR_TERM/TRS/currying/D33/08.trs | MAYBE | 1.20 | YES | 1.19 | YES | 1.16 |
JAR_TERM/TRS/currying/D33/11.trs | MAYBE | 2.49 | YES | 2.31 | YES | 2.14 |
JAR_TERM/TRS/currying/D33/18.trs | MAYBE | 1.50 | MAYBE | 1.48 | YES | 1.48 |
JAR_TERM/TRS/nontermin/AG01/#4.22.trs | MAYBE | 1.43 | YES | 0.77 | YES | 0.62 |
JAR_TERM/TRS/nontermin/AG01/#4.23.trs | MAYBE | 2.61 | YES | 1.11 | YES | 1.11 |
JAR_TERM/TRS/nontermin/AG01/#4.33.trs | MAYBE | 1.08 | YES | 0.78 | YES | 0.85 |
JAR_TERM/TRS/nontermin/AG01/#4.34.trs | MAYBE | 1.03 | YES | 0.82 | YES | 0.72 |
JAR_TERM/TRS/nontermin/AG01/#4.35.trs | KILLED | 60.00 | YES | 40.68 | YES | 41.15 |
JAR_TERM/TRS/nontermin/AG01/#4.36.trs | KILLED | 60.00 | KILLED | 60.00 | YES | 36.99 |
JAR_TERM/TRS/nontermin/CSR/Ex1_GL02a.trs | KILLED | 60.00 | MAYBE | 0.61 | MAYBE | 0.61 |
JAR_TERM/TRS/nontermin/CSR/ExIntrod_GM99.trs | MAYBE | 36.65 | MAYBE | 28.53 | KILLED | 60.00 |
JAR_TERM/TRS/secret2005/aprove2.trs | KILLED | 60.00 | MAYBE | 17.05 | MAYBE | 16.85 |
JAR_TERM/TRS/various/18.trs | MAYBE | 2.32 | MAYBE | 0.82 | YES | 0.72 |