benchmark name | result 800050420 | time 800050420 | result 800050523 | time 800050523 | result 800050522 | time 800050522 | result 800050521 | time 800050521 |
---|---|---|---|---|---|---|---|---|
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trs | Unknown | 300.08 | Inf | 291.913 | n^2 | 34.712 | n^2 | 291.761 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trs | Unknown | 6.10992 | n^1 | 11.3227 | n^1 | 291.847 | n^1 | 17.1217 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trs | Unknown | 2.64503 | Inf | 1.89967 | n^1 | 4.20576 | Inf | 7.449 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trs | Inf | 294.151 | Inf | 2.81294 | Unknown | 291.839 | Inf | 3.7907 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trs | n^1 | 4.07913 | n^1 | 6.06314 | n^1 | 14.0134 | n^1 | 11.7434 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trs | n^2 | 3.57047 | n^2 | 291.744 | n^1 | 13.2738 | n^1 | 11.3645 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trs | n^3 | 13.125 | n^3 | 8.68178 | n^3 | 16.3235 | n^3 | 20.4219 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trs | Unknown | 19.3615 | Inf | 291.939 | Unknown | 295.193 | Inf | 293.343 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trs | Unknown | 300.109 | Inf | 300.058 | Unknown | 297.062 | Inf | 294.772 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trs | Inf | 294.4 | n^2 | 291.878 | n^2 | 291.818 | n^2 | 291.982 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trs | Unknown | 5.23938 | Inf | 291.804 | Unknown | 291.914 | Inf | 291.861 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trs | Unknown | 3.78197 | Inf | 291.772 | Unknown | 294.803 | Unknown | 294.357 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trs | Unknown | 6.57002 | Inf | 291.823 | Unknown | 291.835 | Unknown | 291.901 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trs | Unknown | 11.227 | n^2 | 291.879 | n^2 | 291.912 | n^2 | 291.781 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trs | Unknown | 17.3798 | Inf | 292.053 | Unknown | 292.158 | Inf | 292.669 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trs | Unknown | 7.31382 | Inf | 291.862 | Unknown | 291.973 | Inf | 291.835 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trs | Unknown | 62.2309 | Inf | 291.807 | Unknown | 292.042 | Inf | 291.797 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trs | Unknown | 12.0427 | Inf | 291.821 | Unknown | 292.258 | Unknown | 295.741 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trs | Unknown | 7.23616 | n^1 | 54.6108 | n^1 | 295.175 | n^1 | 67.0503 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trs | Unknown | 10.905 | n^2 | 291.875 | n^2 | 291.822 | n^2 | 291.841 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trs | Unknown | 0.0 | Inf | 1.9369 | Unknown | 294.047 | Inf | 294.379 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trs | Unknown | 13.4985 | n^2 | 292.043 | n^2 | 292.139 | n^2 | 293.344 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trs | Unknown | 0.0 | Inf | 291.858 | Unknown | 291.893 | n^2 | 291.834 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trs | Unknown | 254.113 | n^2 | 291.8 | n^2 | 292.306 | n^2 | 291.761 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trs | Unknown | 300.095 | Inf | 292.105 | Unknown | 291.977 | Inf | 292.079 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trs | Unknown | 0.0 | n^3 | 16.8638 | n^3 | 291.958 | n^3 | 15.9718 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trs | Unknown | 5.45202 | Inf | 292.935 | Unknown | 298.022 | Inf | 296.704 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trs | Unknown | 6.04845 | n^2 | 297.098 | n^2 | 291.928 | n^2 | 292.541 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trs | Unknown | 6.53137 | n^1 | 38.9254 | n^1 | 291.938 | n^1 | 38.3491 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trs | Unknown | 15.9257 | Inf | 291.894 | Unknown | 296.179 | Inf | 292.512 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trs | Unknown | 4.8164 | Inf | 2.51329 | Unknown | 291.834 | Unknown | 291.787 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trs | Unknown | 8.57843 | n^1 | 11.4814 | n^1 | 148.351 | n^1 | 12.7475 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trs | Unknown | 3.21638 | n^2 | 291.904 | n^2 | 292.117 | n^2 | 292.11 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trs | Unknown | 4.65221 | n^2 | 291.784 | n^2 | 291.77 | n^2 | 291.77 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trs | Unknown | 6.33163 | n^2 | 291.795 | n^2 | 291.863 | n^2 | 291.975 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trs | Inf | 294.344 | Inf | 291.783 | Unknown | 291.99 | Inf | 293.713 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trs | Unknown | 7.69094 | n^2 | 291.796 | n^2 | 291.759 | n^2 | 291.78 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trs | Unknown | 35.6155 | Inf | 291.838 | Unknown | 297.294 | Unknown | 292.78 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trs | Unknown | 31.5759 | Inf | 291.971 | Unknown | 295.806 | Inf | 296.764 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trs | Unknown | 22.736 | n^3 | 293.398 | n^3 | 292.619 | n^3 | 292.154 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trs | Unknown | 7.5585 | n^1 | 16.5306 | n^1 | 291.785 | n^1 | 291.784 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trs | Unknown | 4.33628 | n^1 | 14.2628 | n^1 | 291.786 | n^1 | 291.769 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trs | Unknown | 7.56481 | Inf | 291.819 | Unknown | 291.993 | Inf | 291.809 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trs | Unknown | 8.69037 | Inf | 291.792 | Unknown | 292.035 | Inf | 292.101 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trs | Unknown | 4.44486 | n^2 | 291.824 | n^2 | 291.817 | n^2 | 291.782 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trs | Unknown | 2.62736 | n^1 | 6.21085 | n^1 | 9.96709 | n^1 | 11.4828 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trs | Inf | 299.395 | Inf | 294.833 | Unknown | 293.714 | Inf | 293.34 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trs | Unknown | 19.8241 | Inf | 292.175 | Unknown | 292.011 | Inf | 291.773 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trs | Unknown | 8.25479 | Inf | 294.667 | Unknown | 292.411 | Inf | 295.024 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trs | Unknown | 5.80965 | Inf | 291.81 | Unknown | 291.892 | Inf | 292.06 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trs | Unknown | 0.0 | Inf | 295.64 | Unknown | 295.204 | Inf | 291.843 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trs | Inf | 294.136 | n^2 | 14.9652 | n^2 | 291.727 | n^2 | 15.9229 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trs | Unknown | 5.63636 | n^1 | 13.4741 | n^1 | 291.822 | n^1 | 13.1498 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trs | Inf | 294.225 | Inf | 294.809 | Unknown | 294.876 | Inf | 293.783 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trs | Inf | 294.236 | Inf | 294.021 | Unknown | 292.553 | Inf | 294.143 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trs | Unknown | 21.9336 | Inf | 291.812 | Unknown | 291.951 | Inf | 291.78 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trs | Unknown | 31.1661 | Inf | 291.922 | Unknown | 296.035 | Inf | 294.206 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trs | Unknown | 26.6477 | Inf | 292.886 | Unknown | 298.846 | Inf | 291.963 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trs | Unknown | 19.7491 | n^2 | 291.814 | n^2 | 291.812 | n^2 | 291.783 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trs | Unknown | 4.29124 | n^2 | 291.737 | n^2 | 160.908 | n^2 | 177.71 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trs | Inf | 287.305 | n^2 | 291.79 | n^2 | 112.622 | n^2 | 115.333 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trs | Unknown | 61.1945 | n^2 | 292.737 | n^2 | 291.742 | n^2 | 291.768 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trs | Unknown | 5.71329 | n^2 | 291.773 | n^2 | 291.754 | n^2 | 291.745 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trs | Inf | 203.955 | n^2 | 291.799 | n^2 | 291.743 | n^2 | 291.772 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trs | Inf | 294.174 | n^2 | 291.809 | n^2 | 291.876 | n^2 | 291.803 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trs | Unknown | 10.3072 | n^2 | 291.889 | n^2 | 291.888 | n^2 | 291.765 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trs | Inf | 294.257 | n^2 | 291.947 | n^2 | 291.849 | n^2 | 291.897 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trs | Unknown | 5.40673 | n^1 | 23.072 | n^1 | 291.841 | n^1 | 291.854 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trs | Unknown | 300.053 | n^2 | 294.266 | n^2 | 292.87 | n^2 | 291.865 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trs | Unknown | 3.26723 | n^2 | 291.76 | n^2 | 129.293 | n^2 | 130.816 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trs | Inf | 294.181 | n^1 | 15.2325 | n^1 | 291.809 | n^1 | 291.887 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trs | Unknown | 4.39982 | n^2 | 291.945 | n^2 | 291.795 | n^2 | 291.866 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trs | Unknown | 4.27371 | n^1 | 10.4321 | n^1 | 116.467 | n^1 | 119.121 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trs | Unknown | 4.89965 | n^2 | 291.818 | n^2 | 292.999 | n^2 | 292.206 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trs | Unknown | 3.32527 | n^1 | 18.8932 | n^1 | 291.851 | n^1 | 291.838 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trs | Unknown | 4.40215 | n^1 | 21.9737 | n^1 | 292.48 | n^1 | 22.249 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trs | Unknown | 5.81326 | n^2 | 293.174 | n^2 | 291.932 | n^2 | 291.915 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trs | Unknown | 3.17264 | n^2 | 291.769 | n^2 | 102.377 | n^2 | 108.449 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trs | Unknown | 2.6633 | n^2 | 291.766 | n^2 | 219.556 | n^2 | 225.193 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trs | Inf | 294.044 | n^1 | 11.9579 | n^1 | 291.857 | n^1 | 291.91 |
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trs | Unknown | 3.8175 | n^2 | 295.469 | n^2 | 291.948 | n^2 | 291.835 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trs | Unknown | 3.18289 | n^1 | 5.31772 | n^1 | 11.2359 | n^1 | 10.9579 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trs | Unknown | 3.77772 | Inf | 1.97647 | Inf | 9.61047 | Inf | 11.2909 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trs | Unknown | 7.64077 | Inf | 291.871 | Unknown | 292.003 | Unknown | 291.964 |
Runtime_Complexity_Innermost_Rewriting/Der95/08.trs | n^1 | 3.79393 | n^1 | 5.44538 | n^1 | 5.67632 | n^1 | 12.9871 |
Runtime_Complexity_Innermost_Rewriting/Der95/11.trs | Unknown | 2.68949 | n^1 | 6.15284 | n^1 | 12.4931 | n^1 | 16.0487 |
Runtime_Complexity_Innermost_Rewriting/Der95/18.trs | n^1 | 1.28715 | n^1 | 9.03515 | n^1 | 9.17587 | n^1 | 13.3043 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trs | Unknown | 3.32149 | Inf | 2.02446 | Unknown | 295.881 | Inf | 291.811 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trs | Unknown | 3.91267 | Inf | 2.26815 | n^1 | 12.5659 | Inf | 4.61106 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trs | n^1 | 3.55954 | n^1 | 9.8353 | n^1 | 9.00467 | n^1 | 9.3872 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trs | Inf | 294.263 | Inf | 293.976 | Unknown | 293.428 | n^3 | 293.14 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trs | Unknown | 0.0 | n^3 | 292.657 | n^3 | 292.366 | Unknown | 300.054 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trs | Unknown | 116.858 | Inf | 300.107 | Unknown | 300.055 | Unknown | 295.716 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trs | Unknown | 12.5618 | Inf | 291.848 | Unknown | 292.69 | Unknown | 293.65 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trs | n^1 | 3.92031 | n^1 | 5.23528 | n^1 | 8.94131 | n^1 | 10.2831 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trs | n^1 | 2.24892 | n^1 | 10.1019 | n^1 | 9.79921 | n^1 | 99.7994 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trs | Unknown | 13.4858 | Inf | 291.772 | Unknown | 291.994 | n^2 | 200.867 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trs | Unknown | 300.077 | Inf | 3.03414 | Unknown | 292.212 | Unknown | 292.556 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trs | Unknown | 7.9433 | Inf | 294.995 | Unknown | 291.945 | Inf | 294.93 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trs | n^2 | 4.02952 | n^2 | 291.807 | n^2 | 11.0319 | n^1 | 8.39202 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trs | Unknown | 5.87824 | Inf | 3.11273 | Unknown | 291.862 | Unknown | 291.892 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trs | Unknown | 30.1309 | Inf | 40.8462 | n^1 | 20.0905 | n^1 | 291.877 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trs | n^1 | 3.21062 | n^1 | 2.19584 | n^1 | 11.7034 | n^1 | 12.4569 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trs | n^1 | 3.39935 | n^1 | 11.9708 | n^1 | 14.316 | n^1 | 8.57057 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trs | n^1 | 4.23967 | n^1 | 8.6486 | n^1 | 12.3765 | n^1 | 12.9993 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trs | Unknown | 9.93861 | Inf | 6.20579 | Unknown | 291.919 | Unknown | 291.876 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trs | Unknown | 7.53814 | Inf | 2.00121 | n^2 | 14.6584 | n^2 | 31.2352 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trs | Unknown | 9.17388 | Inf | 292.966 | Unknown | 293.456 | Inf | 291.828 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trs | Unknown | 43.3518 | Inf | 298.738 | Unknown | 292.871 | Inf | 294.896 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trs | Unknown | 2.40021 | n^2 | 291.781 | n^2 | 25.6508 | n^2 | 291.847 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trs | Unknown | 4.84252 | n^1 | 17.5874 | n^1 | 17.2652 | n^1 | 15.5908 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trs | Unknown | 300.045 | n^2 | 293.56 | n^2 | 292.192 | n^2 | 291.861 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trs | Inf | 294.849 | n^2 | 291.851 | n^2 | 291.776 | n^2 | 291.878 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trs | Unknown | 5.54183 | n^2 | 291.765 | n^2 | 291.847 | n^2 | 291.794 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trs | Inf | 294.143 | n^2 | 297.908 | n^2 | 291.804 | n^2 | 291.898 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs | Unknown | 5.55923 | Inf | 1.9515 | Unknown | 299.66 | Inf | 3.56874 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trs | Unknown | 9.6629 | Inf | 300.066 | Unknown | 295.078 | Inf | 295.956 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trs | Unknown | 8.31077 | Inf | 291.838 | n^2 | 39.4879 | n^2 | 38.8032 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trs | Unknown | 53.4042 | n^2 | 291.748 | n^2 | 9.24809 | n^1 | 10.3874 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trs | Inf | 294.056 | Inf | 291.885 | n^3 | 30.1941 | n^3 | 34.0069 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trs | Unknown | 39.5342 | Inf | 292.037 | Unknown | 292.041 | Unknown | 292.151 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trs | n^2 | 4.13923 | n^1 | 5.96764 | n^1 | 8.6202 | n^1 | 13.2878 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trs | Unknown | 6.92345 | n^2 | 291.89 | n^2 | 296.029 | n^2 | 291.851 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trs | Unknown | 6.05195 | n^2 | 291.862 | n^2 | 291.95 | n^2 | 294.063 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trs | Unknown | 11.7496 | Inf | 291.862 | Unknown | 292.158 | Unknown | 295.312 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trs | Unknown | 7.92309 | Inf | 1.88318 | Unknown | 292.781 | Inf | 294.698 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trs | n^1 | 4.06063 | n^1 | 11.2789 | n^1 | 9.15381 | n^1 | 291.772 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trs | Unknown | 4.85519 | Inf | 2.64137 | n^3 | 27.1215 | n^3 | 28.4648 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trs | n^1 | 3.17351 | n^1 | 2.02776 | n^1 | 9.19508 | n^1 | 3.21218 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trs | Unknown | 4.32583 | n^2 | 291.786 | n^2 | 23.6575 | n^2 | 45.781 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trs | Unknown | 12.678 | Inf | 300.044 | Unknown | 300.102 | Unknown | 295.35 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trs | n^1 | 6.40615 | n^1 | 11.7089 | n^1 | 11.9904 | n^1 | 13.1152 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trs | Unknown | 0.0 | Inf | 296.132 | Unknown | 291.95 | Inf | 298.213 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trs | Inf | 294.138 | Inf | 300.058 | Unknown | 292.175 | Inf | 292.038 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trs | Unknown | 8.37161 | n^3 | 291.881 | n^3 | 291.95 | n^3 | 292.103 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trs | Unknown | 4.30494 | n^3 | 7.68128 | n^3 | 11.5279 | n^3 | 291.745 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trs | Unknown | 3.16895 | Inf | 1.91034 | n^1 | 7.61133 | n^1 | 291.737 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trs | n^2 | 4.20853 | n^2 | 6.10372 | n^2 | 8.00624 | n^2 | 19.2368 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trs | n^1 | 2.49753 | n^1 | 9.37973 | n^1 | 9.6969 | n^1 | 7.15144 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trs | Inf | 294.152 | Inf | 1.89465 | n^1 | 6.35262 | n^1 | 98.5986 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trs | Unknown | 4.49942 | Inf | 1.90832 | n^1 | 5.98331 | n^1 | 100.251 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trs | Inf | 294.186 | Inf | 1.88172 | Unknown | 294.043 | Inf | 294.808 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trs | Unknown | 3.7666 | Inf | 1.90889 | Unknown | 292.076 | Inf | 12.8948 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trs | n^1 | 3.0988 | n^1 | 5.53375 | n^1 | 7.20713 | n^1 | 122.062 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trs | n^1 | 1.74806 | n^1 | 5.29372 | n^1 | 7.28458 | n^1 | 8.10038 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trs | Unknown | 5.56858 | Inf | 1.92402 | n^1 | 9.04347 | n^1 | 16.7503 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trs | Unknown | 4.92231 | n^1 | 5.32002 | n^1 | 11.7044 | n^1 | 16.193 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trs | n^2 | 2.31942 | n^3 | 291.778 | n^1 | 10.8395 | n^1 | 10.1246 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trs | Unknown | 2.59557 | n^1 | 1.99774 | n^1 | 5.8568 | n^1 | 8.09616 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trs | n^0 | 2.69989 | n^0 | 1.85379 | n^0 | 1.86613 | n^0 | 2.62605 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trs | Unknown | 5.90572 | Inf | 300.035 | Unknown | 292.054 | Inf | 292.023 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trs | Unknown | 4.33084 | Inf | 1.91572 | n^1 | 10.3818 | Unknown | 300.036 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trs | n^0 | 4.0992 | n^0 | 1.9111 | n^0 | 1.85388 | n^0 | 1.84636 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trs | Unknown | 4.84526 | Inf | 1.88039 | Inf | 209.082 | Inf | 18.7797 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trs | n^0 | 1.53771 | n^0 | 5.96861 | n^0 | 6.2672 | n^0 | 3.93402 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trs | Inf | 294.158 | Inf | 1.90613 | n^1 | 10.6182 | n^1 | 291.771 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trs | Unknown | 9.03331 | Inf | 1.96943 | n^1 | 11.998 | n^1 | 21.5466 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trs | Inf | 294.229 | Inf | 1.92256 | Unknown | 292.94 | Inf | 174.496 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trs | Inf | 198.225 | Inf | 291.988 | Unknown | 292.04 | Unknown | 291.857 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trs | n^0 | 1.92742 | n^0 | 1.86465 | n^0 | 2.56579 | n^0 | 1.86657 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trs | Unknown | 21.5026 | n^2 | 291.896 | n^2 | 291.818 | n^2 | 291.935 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trs | n^2 | 4.31921 | n^2 | 291.777 | n^2 | 36.673 | n^1 | 39.8158 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trs | Unknown | 173.355 | Inf | 291.859 | Unknown | 292.347 | Inf | 6.44626 |
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trs | Unknown | 6.70543 | Inf | 291.841 | Unknown | 292.154 | Unknown | 295.207 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trs | Unknown | 4.99364 | Inf | 300.081 | Unknown | 300.077 | Inf | 295.503 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trs | Unknown | 77.8707 | n^2 | 291.81 | n^2 | 292.665 | n^2 | 292.093 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trs | Unknown | 6.77956 | Inf | 291.919 | Unknown | 294.99 | Unknown | 292.0 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trs | Unknown | 3.85093 | n^2 | 291.867 | n^2 | 291.815 | n^2 | 291.839 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trs | Unknown | 5.587 | Inf | 291.778 | Unknown | 292.435 | Inf | 297.64 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trs | Inf | 294.175 | Inf | 295.882 | Unknown | 294.002 | Inf | 294.699 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trs | Unknown | 5.13014 | Inf | 291.889 | Unknown | 299.24 | Inf | 292.085 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trs | Unknown | 0.0 | Inf | 296.019 | Unknown | 292.682 | Unknown | 293.264 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trs | Unknown | 3.22908 | Inf | 298.116 | Unknown | 294.78 | Unknown | 294.24 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trs | Unknown | 11.2034 | Inf | 300.072 | Unknown | 294.086 | Inf | 10.4304 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trs | Unknown | 273.413 | n^2 | 292.002 | n^2 | 299.9 | n^2 | 300.046 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trs | Unknown | 5.56622 | Inf | 294.041 | Unknown | 292.014 | Inf | 6.28679 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trs | Unknown | 37.1712 | Inf | 291.895 | Unknown | 292.047 | Inf | 11.2008 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trs | Unknown | 147.798 | Inf | 296.334 | Unknown | 291.985 | Unknown | 292.145 |
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trs | Unknown | 300.064 | Inf | 291.806 | Unknown | 291.941 | Unknown | 291.949 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trs | Unknown | 12.662 | Inf | 291.939 | Unknown | 292.1 | Inf | 292.038 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trs | Unknown | 3.32449 | n^5 | 291.782 | n^5 | 291.826 | n^5 | 292.005 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trs | Unknown | 11.0415 | Inf | 291.986 | Unknown | 293.384 | Inf | 295.455 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trs | Unknown | 11.6995 | Inf | 291.919 | Unknown | 293.236 | Inf | 294.907 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trs | Unknown | 5.75759 | Inf | 291.824 | Unknown | 291.968 | Inf | 291.85 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trs | Unknown | 3.18608 | Inf | 295.143 | Unknown | 296.176 | Inf | 296.098 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trs | Unknown | 6.52826 | Inf | 291.927 | Unknown | 292.002 | Inf | 291.839 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trs | Unknown | 10.8291 | n^2 | 292.276 | n^2 | 298.436 | n^2 | 291.912 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trs | Unknown | 14.3514 | n^3 | 292.081 | n^3 | 291.94 | n^3 | 291.849 |
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trs | Unknown | 300.071 | n^3 | 293.472 | n^3 | 292.487 | n^3 | 295.854 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trs | n^2 | 3.27904 | n^2 | 291.81 | n^2 | 10.5662 | n^1 | 10.2011 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trs | Unknown | 103.925 | Inf | 291.827 | Unknown | 292.016 | Inf | 296.134 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trs | Unknown | 17.0666 | n^3 | 294.279 | n^3 | 291.899 | n^3 | 295.443 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trs | Unknown | 3.29899 | Inf | 1.89424 | Inf | 10.6449 | Inf | 10.5501 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trs | Unknown | 3.98758 | Inf | 1.90626 | Unknown | 296.504 | Inf | 297.538 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trs | Inf | 294.153 | Inf | 2.02389 | Inf | 253.844 | Inf | 253.57 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs | Inf | 294.204 | Inf | 1.89631 | Unknown | 291.779 | Unknown | 291.804 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trs | n^1 | 3.59952 | n^1 | 5.72225 | n^1 | 8.11707 | n^1 | 15.4817 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs | Unknown | 2.58703 | Inf | 1.86295 | Unknown | 291.79 | Unknown | 291.788 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trs | Inf | 294.19 | Inf | 2.02617 | Unknown | 291.877 | Unknown | 291.906 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trs | Unknown | 5.61217 | Inf | 1.90549 | Unknown | 291.957 | Inf | 291.924 |
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trs | Unknown | 18.0795 | n^10 | 291.88 | n^3 | 17.6243 | n^1 | 23.6977 |
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trs | Unknown | 4.35129 | n^5 | 291.808 | n^1 | 10.2865 | n^1 | 14.2066 |
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trs | n^3 | 10.6548 | n^2 | 291.808 | n^2 | 17.6197 | n^1 | 12.1651 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trs | n^1 | 15.1836 | n^1 | 5.81276 | n^1 | 5.19679 | n^1 | 11.7357 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trs | Unknown | 18.0051 | Inf | 296.626 | Unknown | 294.503 | Unknown | 299.833 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trs | n^1 | 4.46177 | n^1 | 5.10968 | n^1 | 45.2918 | n^1 | 46.0546 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trs | Unknown | 8.66819 | Inf | 300.101 | Unknown | 292.64 | Unknown | 299.21 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trs | Unknown | 18.4218 | Inf | 292.173 | Unknown | 299.064 | Unknown | 300.034 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trs | Unknown | 128.549 | Inf | 300.104 | Unknown | 298.262 | Unknown | 296.581 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trs | Inf | 295.67 | Inf | 300.094 | Unknown | 296.885 | Unknown | 300.109 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trs | n^3 | 5.17881 | n^3 | 9.64116 | n^3 | 291.844 | n^3 | 10.1056 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trs | n^3 | 8.19095 | n^3 | 12.8531 | n^3 | 296.022 | n^3 | 291.863 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trs | Unknown | 3.16474 | Inf | 300.059 | Unknown | 300.075 | Unknown | 292.908 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trs | n^1 | 5.60197 | n^1 | 5.02481 | n^1 | 11.094 | n^1 | 12.6107 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trs | Unknown | 6.38829 | Inf | 300.073 | Unknown | 292.461 | Unknown | 292.19 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trs | Unknown | 10.7714 | Inf | 300.089 | Unknown | 294.734 | Unknown | 300.06 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs | Unknown | 14.6183 | Inf | 292.017 | Unknown | 298.023 | Unknown | 292.948 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs | Unknown | 20.8132 | Inf | 300.067 | Unknown | 300.028 | Unknown | 294.204 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs | Unknown | 7.5223 | Inf | 296.707 | Unknown | 291.997 | Unknown | 295.381 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs | Inf | 294.176 | Inf | 300.064 | Unknown | 292.268 | Unknown | 294.445 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trs | Unknown | 32.9439 | Inf | 300.114 | Unknown | 298.133 | Unknown | 295.674 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trs | Unknown | 12.0808 | Inf | 300.124 | Unknown | 299.291 | Unknown | 297.272 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trs | Inf | 296.145 | Inf | 300.111 | Unknown | 300.08 | Unknown | 294.985 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trs | Inf | 295.506 | Inf | 292.165 | Unknown | 294.405 | Unknown | 293.578 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trs | Inf | 294.182 | Inf | 299.857 | Unknown | 292.128 | Unknown | 292.108 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trs | Inf | 295.531 | Inf | 293.733 | Unknown | 297.381 | Unknown | 293.617 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trs | Inf | 294.157 | Inf | 303.191 | Unknown | 292.077 | Unknown | 291.999 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trs | Unknown | 5.96887 | Inf | 300.067 | Unknown | 300.031 | Unknown | 300.069 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trs | Inf | 295.84 | Inf | 299.47 | Unknown | 299.468 | Unknown | 300.096 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trs | Unknown | 5.44938 | Inf | 291.908 | Unknown | 292.219 | Unknown | 292.276 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trs | Unknown | 142.249 | Inf | 300.055 | Unknown | 298.493 | Unknown | 296.282 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trs | Unknown | 9.83416 | Inf | 291.96 | Unknown | 293.896 | Unknown | 296.646 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trs | Unknown | 0.0 | Inf | 292.174 | Unknown | 292.038 | Unknown | 292.149 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trs | Inf | 295.753 | Inf | 300.049 | Unknown | 296.296 | Unknown | 299.626 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trs | Inf | 294.211 | Inf | 6.26477 | Unknown | 292.095 | Unknown | 291.901 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trs | Unknown | 3.81209 | Inf | 3.2339 | Unknown | 291.943 | Unknown | 291.839 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trs | Inf | 295.685 | Inf | 300.037 | Unknown | 294.582 | Unknown | 292.777 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trs | Unknown | 12.4569 | Inf | 293.866 | Unknown | 295.97 | Unknown | 293.62 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs | Unknown | 18.9165 | Inf | 300.043 | Unknown | 299.898 | Unknown | 293.236 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs | Unknown | 7.59304 | Inf | 297.429 | Unknown | 296.592 | Unknown | 300.071 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs | n^1 | 4.07134 | n^1 | 5.13009 | n^1 | 16.4103 | n^1 | 18.5561 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trs | Unknown | 54.4876 | Inf | 300.102 | Unknown | 292.796 | Unknown | 297.488 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs | Inf | 294.396 | Inf | 300.093 | Unknown | 297.317 | Unknown | 297.848 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs | Inf | 295.689 | Inf | 292.431 | Unknown | 300.034 | Unknown | 299.846 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs | Unknown | 45.0165 | Inf | 300.127 | Unknown | 297.394 | Unknown | 294.163 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs | n^1 | 18.9941 | n^1 | 291.875 | n^1 | 291.828 | n^1 | 291.917 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs | Unknown | 4.8536 | Inf | 300.07 | Unknown | 292.426 | Unknown | 294.997 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs | n^1 | 5.16966 | n^1 | 5.47714 | n^2 | 56.2048 | n^1 | 57.283 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs | Inf | 295.828 | Inf | 298.764 | Unknown | 292.354 | Unknown | 295.211 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trs | Unknown | 300.067 | Inf | 8.02545 | Unknown | 300.057 | Unknown | 292.995 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trs | Unknown | 4.88802 | Inf | 21.4283 | Unknown | 295.224 | Unknown | 294.066 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trs | Unknown | 22.1713 | Inf | 2.76083 | Unknown | 292.821 | Unknown | 300.038 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs | Inf | 295.696 | Inf | 3.84463 | Unknown | 292.719 | Unknown | 294.984 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs | Unknown | 6.44755 | n^2 | 6.90693 | n^2 | 12.7307 | n^2 | 41.889 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trs | Unknown | 4.2953 | Inf | 297.366 | Unknown | 292.732 | Unknown | 298.545 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs | Unknown | 17.4479 | Inf | 2.46555 | Unknown | 296.386 | Unknown | 293.245 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trs | Inf | 296.068 | Inf | 296.376 | Unknown | 295.666 | Unknown | 296.959 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trs | Inf | 294.2 | Inf | 292.944 | Unknown | 297.119 | Unknown | 297.027 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trs | Inf | 296.386 | Inf | 294.28 | Unknown | 299.094 | Unknown | 296.695 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs | Unknown | 5.50526 | Inf | 300.082 | Unknown | 292.251 | Unknown | 292.85 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs | Unknown | 21.5972 | Inf | 118.997 | Unknown | 293.543 | Unknown | 292.245 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs | Unknown | 5.93265 | Inf | 10.9444 | Unknown | 293.028 | Unknown | 293.597 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trs | Unknown | 5.03433 | Inf | 2.63979 | Unknown | 292.129 | Unknown | 292.134 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trs | Unknown | 2.63505 | Inf | 2.38074 | Unknown | 292.195 | Unknown | 293.333 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs | Inf | 295.812 | Inf | 39.2483 | Unknown | 294.846 | Unknown | 297.447 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trs | Unknown | 6.93822 | Inf | 299.594 | Unknown | 295.99 | Unknown | 296.138 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trs | Unknown | 58.9242 | Inf | 295.055 | Unknown | 293.009 | Unknown | 292.467 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trs | Unknown | 6.14161 | Inf | 300.077 | Unknown | 297.423 | Unknown | 293.324 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trs | Unknown | 3.17124 | Inf | 292.601 | Unknown | 298.022 | Unknown | 296.482 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trs | n^1 | 2.30665 | n^1 | 2.99855 | n^1 | 7.36314 | n^1 | 2.70842 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trs | Unknown | 8.35336 | Inf | 298.991 | Unknown | 292.078 | Unknown | 292.205 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trs | Inf | 294.131 | Inf | 291.863 | Unknown | 295.04 | Unknown | 292.627 |
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trs | Inf | 234.462 | n^0 | 1.81763 | n^0 | 1.85789 | n^0 | 1.8881 |
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trs | Unknown | 18.8315 | Inf | 291.949 | Unknown | 293.153 | Unknown | 292.135 |
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trs | n^1 | 4.79374 | n^1 | 2.14433 | n^1 | 49.8724 | n^1 | 10.0954 |
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trs | n^2 | 4.84844 | n^2 | 291.751 | n^1 | 15.7895 | n^1 | 7.73938 |
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trs | Inf | 294.221 | Inf | 293.458 | Unknown | 293.424 | Inf | 292.141 |
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trs | Unknown | 49.3601 | Inf | 291.754 | Unknown | 291.854 | Inf | 291.773 |
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trs | Unknown | 5.67448 | n^1 | 8.80159 | n^1 | 13.2261 | n^1 | 10.0299 |
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trs | Unknown | 21.5255 | Inf | 294.304 | Unknown | 297.655 | Unknown | 300.027 |
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trs | Unknown | 6.35683 | Inf | 291.833 | Unknown | 292.138 | Inf | 291.887 |
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trs | Unknown | 39.4839 | n^5 | 300.033 | n^5 | 296.884 | n^5 | 296.735 |
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trs | Unknown | 27.1701 | n^2 | 291.813 | n^1 | 31.5196 | n^1 | 34.4873 |
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trs | Unknown | 16.8769 | n^2 | 291.834 | n^2 | 17.8627 | n^2 | 52.6359 |
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trs | n^2 | 10.2752 | n^2 | 291.836 | n^1 | 19.0841 | n^1 | 32.8686 |
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trs | Unknown | 20.2572 | n^2 | 300.024 | n^2 | 293.688 | n^2 | 295.292 |
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trs | Unknown | 3.73416 | n^2 | 291.811 | n^2 | 21.4648 | n^2 | 48.5532 |
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trs | n^2 | 37.3077 | n^2 | 292.03 | n^2 | 292.978 | n^2 | 294.075 |
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trs | n^3 | 22.0506 | n^2 | 292.3 | n^2 | 291.87 | n^2 | 292.521 |
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trs | n^2 | 51.7109 | n^2 | 300.036 | n^2 | 292.312 | n^2 | 292.217 |
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trs | Unknown | 46.66 | Inf | 291.948 | Unknown | 292.871 | Unknown | 292.587 |
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trs | Unknown | 43.1806 | Inf | 291.799 | Unknown | 291.926 | Inf | 291.954 |
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trs | Unknown | 50.8933 | n^2 | 59.4584 | n^2 | 293.315 | n^2 | 296.134 |
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs | Unknown | 43.0106 | n^3 | 292.214 | n^3 | 292.223 | n^3 | 292.57 |