Example | Thm. 26, POLO-7.1+7.2, lim | Thm. 26, POLO-7.1+7.2, safe |
JAR_TERM/TRS/AProVE/JFP_Ex31.trs | KILLED | 60.00 | MAYBE | 1.55 |
JAR_TERM/TRS/AProVE/Liveness6.1.trs | KILLED | 60.00 | MAYBE | 1.04 |
JAR_TERM/TRS/AProVE/Liveness6.2.trs | KILLED | 60.00 | MAYBE | 1.27 |
JAR_TERM/TRS/AProVE/Liveness6.3.trs | KILLED | 60.00 | MAYBE | 2.34 |
JAR_TERM/TRS/AProVE/Liveness6.4.trs | KILLED | 60.00 | MAYBE | 10.14 |
JAR_TERM/TRS/D33/20.trs | KILLED | 60.00 | YES | 1.38 |
JAR_TERM/TRS/HM/t012.trs | KILLED | 60.00 | YES | 1.30 |
JAR_TERM/TRS/SK90/4.32.trs | KILLED | 60.00 | MAYBE | 2.42 |
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_C.trs | KILLED | 60.00 | MAYBE | 21.34 |
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_FR.trs | KILLED | 60.00 | MAYBE | 1.43 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_C.trs | KILLED | 60.00 | YES | 3.46 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_FR.trs | KILLED | 60.00 | MAYBE | 4.17 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_GM.trs | KILLED | 60.00 | YES | 1.78 |
JAR_TERM/TRS/TRCSR/Ex1_2_Luc02c_GM.trs | KILLED | 60.00 | MAYBE | 1.29 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_FR.trs | KILLED | 60.00 | MAYBE | 4.66 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_Z.trs | KILLED | 60.00 | MAYBE | 4.60 |
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_GM.trs | KILLED | 60.00 | MAYBE | 26.92 |
JAR_TERM/TRS/TRCSR/Ex24_GM04_C.trs | KILLED | 60.00 | MAYBE | 1.89 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_FR.trs | KILLED | 60.00 | MAYBE | 15.95 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_GM.trs | KILLED | 60.00 | YES | 5.64 |
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_C.trs | KILLED | 60.00 | YES | 3.03 |
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_FR.trs | KILLED | 60.00 | YES | 2.67 |
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_GM.trs | KILLED | 60.00 | YES | 4.75 |
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_C.trs | KILLED | 60.00 | MAYBE | 10.23 |
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_GM.trs | KILLED | 60.00 | MAYBE | 8.28 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_FR.trs | KILLED | 60.00 | MAYBE | 34.75 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_GM.trs | KILLED | 60.00 | MAYBE | 24.82 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_Z.trs | KILLED | 60.00 | MAYBE | 7.99 |
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs | KILLED | 60.00 | MAYBE | 10.38 |
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_GM.trs | KILLED | 60.00 | YES | 6.92 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_FR.trs | KILLED | 60.00 | MAYBE | 18.77 |
JAR_TERM/TRS/TRCSR/Ex4_7_15_Bor03_C.trs | KILLED | 60.00 | MAYBE | 20.67 |
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_C.trs | KILLED | 60.00 | MAYBE | 15.27 |
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs | KILLED | 60.00 | MAYBE | 8.76 |
JAR_TERM/TRS/TRCSR/Ex4_7_77_Bor03_C.trs | KILLED | 60.00 | MAYBE | 2.94 |
JAR_TERM/TRS/TRCSR/Ex4_Zan97_C.trs | KILLED | 60.00 | MAYBE | 27.66 |
JAR_TERM/TRS/TRCSR/Ex4_Zan97_GM.trs | KILLED | 60.00 | MAYBE | 21.34 |
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_FR.trs | KILLED | 60.00 | MAYBE | 34.19 |
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_Z.trs | KILLED | 60.00 | MAYBE | 8.45 |
JAR_TERM/TRS/TRCSR/Ex5_Zan97_C.trs | KILLED | 60.00 | MAYBE | 5.41 |
JAR_TERM/TRS/TRCSR/Ex5_Zan97_GM.trs | KILLED | 60.00 | MAYBE | 3.09 |
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_FR.trs | KILLED | 60.00 | MAYBE | 20.84 |
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_Z.trs | KILLED | 60.00 | MAYBE | 10.56 |
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_C.trs | KILLED | 60.00 | YES | 2.49 |
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs | KILLED | 60.00 | MAYBE | 3.12 |
JAR_TERM/TRS/TRCSR/Ex6_Luc98_C.trs | KILLED | 60.00 | YES | 2.26 |
JAR_TERM/TRS/TRCSR/Ex9_BLR02_FR.trs | KILLED | 60.00 | MAYBE | 7.42 |
JAR_TERM/TRS/TRCSR/Ex9_BLR02_GM.trs | KILLED | 60.00 | YES | 7.00 |
JAR_TERM/TRS/TRCSR/Ex9_Luc04_C.trs | KILLED | 60.00 | MAYBE | 2.06 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_GM.trs | KILLED | 60.00 | MAYBE | 5.94 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_C.trs | KILLED | 60.00 | MAYBE | 39.28 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_FR.trs | KILLED | 60.00 | MAYBE | 4.70 |
JAR_TERM/TRS/Zantema/jw11.trs | YES | 1.18 | MAYBE | 0.99 |
JAR_TERM/TRS/Zantema/jw12.trs | YES | 1.17 | MAYBE | 0.89 |
JAR_TERM/TRS/Zantema/jw37.trs | YES | 1.09 | MAYBE | 0.96 |
JAR_TERM/TRS/Zantema/jw38.trs | YES | 1.17 | MAYBE | 0.88 |
JAR_TERM/TRS/Zantema/z01.trs | KILLED | 60.00 | MAYBE | 1.06 |
JAR_TERM/TRS/Zantema/z03.trs | KILLED | 60.00 | MAYBE | 1.55 |
JAR_TERM/TRS/Zantema/z12.trs | KILLED | 60.00 | MAYBE | 1.32 |
JAR_TERM/TRS/Zantema/z13.trs | KILLED | 60.00 | MAYBE | 1.63 |
JAR_TERM/TRS/Zantema/z14.trs | KILLED | 60.00 | MAYBE | 1.03 |
JAR_TERM/TRS/Zantema/z15.trs | KILLED | 60.00 | MAYBE | 1.27 |
JAR_TERM/TRS/Zantema/z16.trs | KILLED | 60.00 | MAYBE | 1.09 |
JAR_TERM/TRS/Zantema/z17.trs | KILLED | 60.00 | MAYBE | 1.17 |
JAR_TERM/TRS/Zantema/z18.trs | KILLED | 60.00 | MAYBE | 1.27 |
JAR_TERM/TRS/Zantema/z23.trs | KILLED | 60.00 | MAYBE | 2.31 |
JAR_TERM/TRS/Zantema/z24.trs | KILLED | 60.00 | MAYBE | 3.98 |
JAR_TERM/TRS/currying/AG01/#3.57.trs | KILLED | 60.00 | MAYBE | 4.65 |
JAR_TERM/TRS/currying/D33/08.trs | KILLED | 60.00 | YES | 2.19 |
JAR_TERM/TRS/currying/D33/11.trs | KILLED | 60.00 | YES | 14.74 |
JAR_TERM/TRS/currying/D33/12.trs | KILLED | 60.00 | MAYBE | 8.51 |
JAR_TERM/TRS/currying/D33/17.trs | KILLED | 60.00 | MAYBE | 2.00 |
JAR_TERM/TRS/higher-order/AProVE_HO/TypeEx3.trs | KILLED | 60.00 | MAYBE | 1.46 |
JAR_TERM/TRS/higher-order/Bird/TreeFlatten.trs | KILLED | 60.00 | MAYBE | 2.65 |
JAR_TERM/TRS/higher-order/Bird/TreeLevels.trs | KILLED | 60.00 | MAYBE | 10.01 |
JAR_TERM/TRS/higher-order/Lifantsev/Ex3Lists.trs | KILLED | 60.00 | MAYBE | 2.23 |