benchmark name | result 50420 | time 50420 | result 50523 | time 50523 | result 50522 | time 50522 | result 50521 | time 50521 |
---|---|---|---|---|---|---|---|---|
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.trs | n^1 | 2.74672 | n^1 | 6.32706 | n^1 | 9.85334 | n^1 | 7.67624 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.trs | Unknown | 3.72038 | n^4 | 292.46 | n^4 | 295.321 | n^4 | 292.028 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.trs | n^3 | 4.78885 | n^3 | 11.0418 | n^3 | 6.18269 | n^3 | 6.13115 |
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.15.trs | n^1 | 3.37832 | n^1 | 4.5333 | n^1 | 4.40181 | n^1 | 10.5918 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.trs | Unknown | 3.14034 | n^3 | 291.752 | n^3 | 11.0137 | n^3 | 12.1049 |
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.2.trs | n^2 | 2.39727 | n^1 | 6.11938 | n^1 | 12.1741 | n^1 | 5.96492 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.trs | n^1 | 1.01616 | n^1 | 5.06368 | n^1 | 4.61498 | n^2 | 7.40834 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.trs | n^1 | 2.68745 | n^1 | 1.94695 | n^1 | 4.79298 | n^1 | 2.75929 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.trs | Unknown | 4.33046 | Inf | 300.022 | Unknown | 291.774 | Unknown | 292.685 |
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.33.trs | n^0 | 3.00837 | n^0 | 1.93842 | n^0 | 1.9008 | n^0 | 1.87226 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.trs | n^1 | 1.73784 | n^1 | 5.15915 | n^1 | 6.15202 | n^1 | 12.5937 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.trs | Unknown | 4.33577 | Inf | 291.855 | Unknown | 291.773 | Inf | 291.786 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.trs | n^1 | 2.37723 | n^1 | 3.25652 | n^1 | 13.8699 | n^1 | 8.07094 |
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.41.trs | n^2 | 2.04706 | n^1 | 10.1781 | n^1 | 13.2952 | n^1 | 10.4555 |
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.47.trs | n^2 | 3.18677 | n^2 | 291.757 | n^1 | 4.98155 | n^1 | 12.2028 |
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.49.trs | Inf | 294.149 | Inf | 291.752 | Unknown | 291.796 | Unknown | 291.731 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.trs | Unknown | 3.17087 | n^1 | 6.30204 | n^1 | 9.96226 | n^1 | 15.2702 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.trs | n^1 | 1.61808 | n^1 | 5.36098 | n^1 | 5.54667 | n^1 | 8.40808 |
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.53b.trs | n^1 | 1.44416 | n^1 | 5.5041 | n^1 | 6.23534 | n^1 | 8.21024 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trs | Unknown | 19.3615 | Inf | 291.939 | Unknown | 295.193 | Inf | 293.343 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.trs | Unknown | 3.30383 | n^1 | 13.5843 | n^1 | 13.2517 | n^1 | 10.8624 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.trs | n^3 | 11.2921 | n^3 | 291.789 | n^3 | 9.70511 | n^3 | 17.1722 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.trs | Unknown | 7.60035 | n^1 | 12.2033 | n^1 | 10.6581 | n^1 | 12.4091 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.trs | n^2 | 7.36059 | n^1 | 13.076 | n^1 | 12.2883 | n^1 | 12.2206 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.trs | n^3 | 15.2021 | n^3 | 291.805 | n^3 | 11.2781 | n^3 | 21.3863 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.trs | n^1 | 2.96772 | n^1 | 4.89156 | n^1 | 5.13311 | n^1 | 6.73866 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.trs | n^3 | 5.51953 | n^1 | 11.7051 | n^1 | 15.3938 | n^1 | 10.9872 |
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.trs | Unknown | 6.37301 | n^3 | 291.915 | n^3 | 291.844 | n^3 | 292.001 |
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.trs | Unknown | 11.0754 | n^1 | 22.4724 | n^1 | 291.876 | n^1 | 24.6355 |
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_04/IJCAR_1.trs | n^1 | 2.9877 | n^1 | 11.9947 | n^1 | 7.0862 | n^1 | 9.31545 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.trs | Unknown | 11.423 | Inf | 300.103 | Unknown | 293.37 | Unknown | 292.488 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.trs | Unknown | 2.62595 | Inf | 291.819 | Unknown | 291.894 | n^2 | 291.828 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.trs | Unknown | 300.074 | Inf | 291.873 | Unknown | 291.918 | Unknown | 291.912 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.trs | Unknown | 3.28361 | Inf | 291.794 | Inf | 13.2357 | Inf | 14.5839 |
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.trs | Unknown | 4.28476 | Inf | 291.816 | Unknown | 291.931 | Unknown | 291.805 |
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.trs | Inf | 294.522 | n^2 | 291.772 | n^2 | 291.786 | n^2 | 291.774 |
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/sizeChange.trs | Unknown | 8.5675 | n^2 | 291.83 | n^2 | 9.0711 | n^2 | 29.0097 |
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/otto03.trs | Unknown | 4.25948 | n^2 | 291.747 | n^2 | 291.74 | n^2 | 291.708 |
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/otto05.trs | Unknown | 7.49131 | n^1 | 13.1232 | n^1 | 11.1699 | n^1 | 12.9791 |
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/otto07.trs | Unknown | 4.37037 | n^2 | 291.76 | n^2 | 291.735 | n^2 | 291.731 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.trs | Unknown | 5.45546 | Inf | 291.763 | Unknown | 291.83 | Inf | 291.779 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.trs | Unknown | 3.75468 | Inf | 291.782 | Unknown | 291.828 | Inf | 291.77 |
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/otto11.trs | Unknown | 6.92078 | Inf | 291.906 | Unknown | 291.832 | Unknown | 291.836 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.trs | Unknown | 3.27257 | Inf | 291.748 | Unknown | 291.796 | Inf | 293.012 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.trs | Unknown | 2.63395 | n^2 | 291.89 | n^2 | 291.899 | n^2 | 292.308 |
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/thiemann19.trs | Unknown | 3.19717 | Inf | 291.893 | Unknown | 291.955 | Unknown | 291.883 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.trs | Unknown | 5.68006 | n^2 | 292.805 | n^2 | 291.835 | n^2 | 291.809 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.trs | Unknown | 4.91646 | Inf | 295.025 | Unknown | 296.17 | Inf | 293.027 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.trs | Unknown | 11.2452 | Inf | 291.776 | Unknown | 291.797 | Inf | 291.753 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.trs | Unknown | 6.12351 | n^1 | 13.951 | n^1 | 291.762 | n^1 | 12.0883 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.trs | Unknown | 0.0 | Inf | 291.771 | Unknown | 291.806 | Inf | 291.755 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.trs | Unknown | 8.5172 | Inf | 291.925 | Unknown | 291.8 | Inf | 291.761 |
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/thiemann27.trs | Unknown | 4.43828 | n^2 | 291.737 | n^2 | 291.75 | n^2 | 291.769 |
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/thiemann29.trs | Unknown | 19.5006 | Inf | 291.94 | Unknown | 291.885 | Inf | 291.826 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.trs | Inf | 295.427 | Inf | 295.816 | Unknown | 292.343 | Inf | 294.828 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.trs | Unknown | 0.0 | n^2 | 291.842 | n^2 | 291.958 | n^2 | 291.75 |
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/thiemann33.trs | Unknown | 31.8906 | Inf | 292.464 | Unknown | 292.1 | Inf | 292.126 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.trs | Unknown | 9.97491 | n^2 | 291.99 | n^2 | 291.805 | n^2 | 291.926 |
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.trs | Unknown | 5.7399 | n^2 | 291.8 | n^2 | 291.794 | n^2 | 291.752 |
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_07/thiemann41.trs | Unknown | 5.44577 | Inf | 291.798 | Unknown | 293.389 | Inf | 291.804 |
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.trs | Unknown | 11.8077 | Inf | 291.847 | Unknown | 291.954 | Unknown | 291.889 |
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/div.trs | Inf | 215.193 | n^3 | 291.81 | n^3 | 291.848 | n^3 | 291.818 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.trs | Unknown | 24.199 | n^3 | 291.816 | n^3 | 291.799 | n^3 | 291.775 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.trs | Inf | 214.491 | n^3 | 291.805 | n^3 | 291.807 | n^3 | 291.807 |
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.trs | Unknown | 8.89633 | n^3 | 291.877 | n^3 | 291.817 | n^3 | 291.847 |
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/log.trs | Unknown | 7.28333 | n^1 | 15.3688 | n^1 | 291.786 | n^1 | 17.7378 |
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/maxsortcondition.trs | Unknown | 24.9841 | Inf | 291.905 | Unknown | 292.865 | Inf | 294.04 |
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/mod.trs | Unknown | 11.8626 | n^3 | 291.789 | n^3 | 291.939 | n^3 | 291.788 |
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/14.trs | Unknown | 5.06512 | n^2 | 291.762 | n^2 | 291.756 | n^2 | 291.752 |
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/4.trs | Inf | 118.603 | n^1 | 8.12024 | n^1 | 291.727 | n^1 | 11.1923 |
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/ack_prolog.trs | Unknown | 3.19435 | Inf | 296.731 | Unknown | 295.156 | Unknown | 291.896 |
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/append.trs | n^1 | 2.00781 | n^1 | 5.11059 | n^1 | 7.97321 | n^1 | 8.57296 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.trs | Unknown | 191.727 | Inf | 291.939 | Unknown | 291.877 | Inf | 6.14014 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.trs | Unknown | 3.78441 | Inf | 291.768 | Unknown | 291.972 | Inf | 291.822 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.trs | Inf | 294.19 | Inf | 291.844 | Unknown | 292.007 | Inf | 291.851 |
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.trs | Unknown | 3.91802 | Inf | 291.853 | Unknown | 291.88 | Inf | 291.983 |
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/06.trs | n^1 | 1.22673 | n^1 | 1.92938 | n^1 | 5.31304 | n^1 | 2.82211 |
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/Der95/21.trs | Unknown | 3.78082 | Inf | 291.738 | Unknown | 291.785 | Inf | 5.28054 |
Runtime_Complexity_Innermost_Rewriting/Der95/27.trs | n^1 | 1.2061 | n^1 | 1.9921 | n^1 | 8.47103 | n^1 | 3.82465 |
Runtime_Complexity_Innermost_Rewriting/Der95/32.trs | Unknown | 3.80796 | n^2 | 291.742 | n^2 | 9.05996 | n^2 | 16.5192 |
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.trs | n^1 | 6.50853 | n^1 | 5.51708 | n^1 | 292.127 | n^1 | 298.231 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.trs | Unknown | 6.33987 | Inf | 291.881 | Unknown | 291.798 | Unknown | 291.785 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.trs | n^1 | 1.50713 | n^1 | 2.00512 | n^1 | 6.5271 | n^1 | 58.4236 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.trs | n^1 | 2.70868 | n^1 | 2.00118 | n^1 | 12.4482 | n^1 | 11.2783 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.trs | n^1 | 1.38746 | n^1 | 2.54988 | n^1 | 5.89173 | n^1 | 57.7998 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.trs | n^1 | 1.43813 | n^1 | 1.97579 | n^1 | 6.02725 | n^1 | 2.48708 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.trs | Unknown | 3.84784 | Inf | 291.768 | Inf | 24.5438 | Inf | 27.6073 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.trs | Unknown | 4.28298 | Inf | 2.05423 | Unknown | 291.813 | Unknown | 291.81 |
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/decrease.trs | n^1 | 3.91228 | n^1 | 2.05681 | n^1 | 8.69839 | n^1 | 11.0023 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.trs | n^1 | 4.21208 | n^1 | 2.58025 | n^1 | 10.5723 | n^1 | 9.39907 |
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/duplicate.trs | n^1 | 1.40721 | n^1 | 4.91075 | n^1 | 6.22919 | n^1 | 6.28525 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.trs | Unknown | 300.063 | Inf | 1.91247 | Inf | 6.26772 | Inf | 7.58826 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.trs | n^1 | 2.38813 | n^1 | 5.14127 | n^1 | 7.04654 | n^1 | 13.9954 |
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/game.trs | n^1 | 4.37044 | n^1 | 2.24712 | n^1 | 8.24618 | n^1 | 9.00381 |
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/increase.trs | Unknown | 300.04 | Inf | 1.87255 | Unknown | 291.793 | Unknown | 291.738 |
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/intlookup.trs | Unknown | 3.78163 | Inf | 1.93693 | Inf | 12.6834 | Inf | 11.3489 |
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/letexp.trs | Inf | 211.414 | Inf | 1.90024 | Unknown | 291.76 | Unknown | 291.73 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.trs | n^1 | 1.40737 | n^1 | 1.9398 | n^1 | 8.28326 | n^1 | 2.40791 |
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/member.trs | n^1 | 3.35971 | n^1 | 10.7216 | n^1 | 9.40063 | n^1 | 12.3099 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.trs | n^1 | 4.04124 | n^1 | 6.35506 | n^1 | 11.8774 | n^1 | 12.3468 |
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/minsort.trs | Unknown | 2.68257 | Inf | 291.875 | Unknown | 292.088 | Inf | 291.912 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.trs | n^3 | 6.33856 | n^3 | 10.8088 | n^3 | 7.30772 | n^3 | 6.33508 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.trs | Unknown | 5.32854 | n^3 | 5.90787 | n^3 | 8.29317 | n^3 | 13.8289 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.trs | n^2 | 3.09817 | n^2 | 4.27047 | n^2 | 6.19242 | n^2 | 4.44862 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.trs | n^1 | 6.0277 | n^1 | 5.39741 | n^1 | 7.94742 | n^1 | 7.93726 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.trs | Unknown | 6.07171 | Inf | 1.89213 | Inf | 6.27449 | Inf | 9.09222 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.trs | Unknown | 6.94601 | Inf | 2.10737 | Unknown | 291.766 | Inf | 291.816 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.trs | Unknown | 4.32192 | Inf | 2.03884 | Unknown | 291.791 | Inf | 291.737 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.trs | n^1 | 4.07599 | n^1 | 11.8482 | n^1 | 9.4952 | n^1 | 11.6164 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.trs | Unknown | 3.17719 | n^1 | 291.736 | n^1 | 9.38991 | n^1 | 11.4504 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.trs | n^2 | 6.7818 | n^2 | 291.777 | n^2 | 16.6613 | n^2 | 20.9364 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.trs | Inf | 294.237 | Inf | 3.39431 | Unknown | 292.33 | Unknown | 296.674 |
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/power.trs | Unknown | 22.3232 | Inf | 291.743 | Unknown | 291.772 | Inf | 291.77 |
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/revapp.trs | n^1 | 1.4468 | n^1 | 2.01659 | n^1 | 5.97586 | n^1 | 3.60622 |
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/shuffle.trs | n^3 | 5.74864 | n^3 | 4.8485 | n^3 | 6.19684 | n^3 | 11.4527 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.trs | Unknown | 9.43938 | Inf | 1.92302 | Inf | 6.05352 | Inf | 13.8885 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.trs | Unknown | 4.68874 | Inf | 291.873 | Unknown | 291.93 | Inf | 291.934 |
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/turing_typed.trs | Unknown | 5.42683 | Inf | 7.17242 | Unknown | 292.845 | Unknown | 300.028 |
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/add.trs | n^1 | 1.46365 | n^1 | 2.19726 | n^1 | 6.21498 | n^1 | 7.67574 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.trs | Unknown | 4.23478 | Inf | 291.752 | Inf | 16.9234 | Inf | 291.799 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.trs | n^1 | 7.79275 | n^1 | 24.5229 | n^1 | 22.6891 | n^1 | 291.792 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.trs | Unknown | 4.22158 | n^2 | 291.766 | n^2 | 14.4023 | n^2 | 291.744 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.trs | Unknown | 2.62544 | Inf | 1.86524 | Inf | 3.95024 | Inf | 5.73972 |
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/div2.trs | n^1 | 1.60853 | n^1 | 2.20771 | n^1 | 6.1376 | n^1 | 10.2499 |
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/eq.trs | n^1 | 1.42681 | n^1 | 1.94843 | n^1 | 5.63697 | n^1 | 2.62967 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.trs | n^1 | 2.09759 | n^1 | 2.02205 | n^1 | 6.19244 | n^1 | 6.57668 |
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/gexgcd.trs | Unknown | 4.86324 | n^1 | 8.35224 | n^1 | 43.5467 | n^1 | 45.106 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.trs | Unknown | 4.25253 | n^2 | 291.77 | n^2 | 19.008 | n^2 | 33.2278 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.trs | Unknown | 6.68112 | Inf | 294.765 | Unknown | 292.854 | Inf | 295.117 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.trs | Unknown | 56.5359 | n^5 | 292.444 | n^5 | 294.507 | Unknown | 299.526 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.trs | Unknown | 27.3014 | n^5 | 298.582 | n^5 | 292.615 | Unknown | 295.842 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.trs | Unknown | 27.35 | n^5 | 300.023 | n^5 | 294.428 | n^5 | 292.307 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.trs | n^2 | 6.01917 | n^2 | 291.756 | n^2 | 9.98577 | n^2 | 16.1963 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.trs | Unknown | 5.02252 | n^2 | 291.752 | n^2 | 9.86414 | n^2 | 18.7954 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.trs | n^2 | 5.95064 | n^2 | 291.782 | n^2 | 20.8104 | n^2 | 25.0685 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.trs | Unknown | 1.38215 | Inf | 291.805 | Unknown | 291.892 | Inf | 292.072 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.trs | n^1 | 1.70171 | n^1 | 2.00013 | n^1 | 17.6105 | n^1 | 2.94444 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.trs | n^1 | 1.32726 | n^1 | 2.05735 | n^1 | 5.70959 | n^1 | 2.97811 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.trs | n^1 | 3.23025 | n^1 | 5.22136 | n^1 | 7.84744 | n^1 | 6.48449 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.trs | n^1 | 0.977703 | n^1 | 5.6813 | n^1 | 5.35305 | n^1 | 24.7639 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.trs | Unknown | 7.06925 | Inf | 291.731 | Unknown | 291.933 | Unknown | 291.816 |
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.trs | n^2 | 24.4472 | n^2 | 291.758 | n^2 | 19.7264 | n^2 | 47.8915 |
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/rematch.trs | Unknown | 300.103 | Inf | 292.72 | Unknown | 294.289 | Inf | 293.549 |
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/cade01.trs | Unknown | 4.83268 | n^2 | 291.779 | n^2 | 291.774 | n^2 | 291.732 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.trs | Unknown | 4.23148 | n^2 | 291.736 | n^2 | 291.74 | n^2 | 291.734 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.trs | Unknown | 13.6536 | n^2 | 292.037 | n^2 | 291.996 | n^2 | 291.997 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.trs | Unknown | 9.61619 | n^2 | 291.824 | n^2 | 291.751 | n^2 | 291.899 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.trs | Inf | 294.073 | n^2 | 291.752 | n^2 | 291.796 | n^2 | 291.807 |
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/cade11.trs | Inf | 294.067 | n^2 | 291.748 | n^2 | 291.755 | n^2 | 291.743 |
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/cade13t.trs | Unknown | 0.0 | Inf | 291.77 | Unknown | 291.777 | Inf | 291.736 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.trs | Unknown | 14.1806 | n^2 | 291.81 | n^2 | 291.772 | n^2 | 291.779 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs | Unknown | 5.55923 | Inf | 1.9515 | Unknown | 299.66 | Inf | 3.56874 |
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.trs | Unknown | 35.7413 | n^2 | 291.814 | n^2 | 291.799 | n^2 | 291.766 |
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/n002.trs | Inf | 9.77274 | Inf | 1.90745 | Inf | 4.09554 | Inf | 5.60688 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.trs | Inf | 9.36181 | Inf | 2.29244 | Inf | 3.85247 | Inf | 7.12367 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.trs | Unknown | 1.13578 | Inf | 1.90595 | Inf | 3.86428 | Inf | 5.49038 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.trs | Inf | 11.8045 | Inf | 1.92819 | Unknown | 291.794 | Unknown | 291.748 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.trs | Inf | 91.5633 | Inf | 2.65027 | Inf | 23.6854 | Inf | 28.7425 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.trs | Unknown | 3.19713 | Inf | 1.9028 | Inf | 6.83114 | Inf | 10.1739 |
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/t004.trs | Unknown | 4.9247 | Inf | 2.94035 | Inf | 161.193 | Inf | 2.84081 |
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/t011.trs | n^1 | 1.5667 | n^1 | 6.54886 | n^1 | 9.01682 | n^1 | 3.85415 |
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.trs | Unknown | 17.1941 | Inf | 291.768 | Unknown | 291.811 | Inf | 291.833 |
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/Ex1_Luc04b_GM.trs | Unknown | 5.47198 | Inf | 291.949 | Unknown | 292.368 | Unknown | 295.363 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.trs | Unknown | 7.9994 | Inf | 291.807 | Unknown | 291.841 | Inf | 291.766 |
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/jones1.trs | n^1 | 1.44659 | n^1 | 1.93501 | n^1 | 6.15267 | n^1 | 2.55608 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.trs | n^1 | 2.4578 | n^1 | 10.3408 | n^1 | 6.03329 | n^1 | 9.08203 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.trs | n^1 | 1.62716 | n^1 | 5.35177 | n^1 | 5.80932 | n^1 | 8.51133 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.trs | Unknown | 4.58824 | Inf | 291.883 | Unknown | 291.729 | Unknown | 291.782 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.trs | n^1 | 2.31749 | n^1 | 2.08109 | n^1 | 17.8854 | n^1 | 7.14656 |
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/Mixed_TRS/test1.trs | Unknown | 2.67574 | Inf | 291.876 | Inf | 14.0169 | Inf | 20.0871 |
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.trs | Unknown | 3.18568 | n^2 | 291.778 | n^2 | 291.777 | n^2 | 291.72 |
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/division.trs | n^3 | 7.70043 | n^3 | 291.733 | n^3 | 8.72776 | n^3 | 15.3034 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.trs | Unknown | 2.59955 | n^2 | 291.786 | n^2 | 7.73291 | n^2 | 17.9367 |
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/gcd.trs | Unknown | 5.18708 | n^1 | 6.9969 | n^1 | 13.4144 | n^1 | 16.407 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.trs | n^1 | 1.75751 | n^1 | 6.39718 | n^1 | 7.27518 | n^1 | 6.55639 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.trs | n^1 | 2.40834 | n^1 | 1.92423 | n^1 | 7.07046 | n^1 | 11.1329 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.trs | n^3 | 7.0084 | n^1 | 7.26251 | n^1 | 11.4686 | n^1 | 9.24603 |
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/mfp95.trs | n^0 | 0.936379 | n^0 | 1.96214 | n^0 | 1.80618 | n^0 | 2.57224 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.trs | Inf | 294.078 | Inf | 4.56957 | Unknown | 291.764 | Unknown | 291.737 |
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/prov.trs | n^1 | 2.3178 | n^1 | 5.39407 | n^1 | 10.3577 | n^1 | 7.75373 |
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/Rubio_04/test4.trs | n^1 | 2.66738 | n^1 | 2.14459 | n^1 | 9.95746 | n^1 | 5.91097 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.trs | n^1 | 2.27929 | n^1 | 1.98433 | n^1 | 6.6976 | n^1 | 12.5723 |
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.trs | Unknown | 3.1727 | n^2 | 291.759 | n^2 | 9.15639 | n^2 | 12.8507 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.trs | n^1 | 1.38643 | n^1 | 2.66588 | n^1 | 5.50414 | n^1 | 4.47366 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.trs | n^1 | 1.50623 | n^1 | 1.96908 | n^1 | 6.51843 | n^1 | 12.067 |
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.13.trs | n^1 | 2.97787 | n^1 | 5.51574 | n^1 | 6.4683 | n^1 | 11.9617 |
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.16.trs | Unknown | 3.22876 | n^2 | 6.08498 | n^2 | 11.2137 | n^2 | 13.3708 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.trs | n^1 | 5.5788 | n^1 | 6.20896 | n^1 | 6.30299 | n^1 | 6.89297 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.trs | Unknown | 3.19345 | n^2 | 291.829 | n^2 | 6.33194 | n^2 | 11.9925 |
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.22.trs | n^2 | 3.29798 | n^2 | 291.783 | n^2 | 8.34483 | n^2 | 13.0759 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.trs | Unknown | 12.8063 | Inf | 291.762 | Unknown | 291.969 | Inf | 5.86461 |
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.27.trs | Unknown | 33.2121 | Inf | 291.787 | Unknown | 291.804 | Unknown | 291.832 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.trs | Unknown | 3.90217 | Inf | 291.914 | Unknown | 300.073 | Unknown | 300.077 |
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.30.trs | n^0 | 1.79708 | n^0 | 1.83911 | n^0 | 1.84513 | n^0 | 2.0686 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.trs | n^1 | 1.87699 | n^1 | 2.09164 | n^1 | 6.98188 | n^1 | 9.10876 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.trs | n^1 | 2.21841 | n^1 | 2.01575 | n^1 | 9.73375 | n^1 | 10.4122 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.trs | n^0 | 3.33795 | n^0 | 2.16098 | n^0 | 1.81901 | n^0 | 1.84521 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.trs | n^2 | 4.96858 | n^2 | 5.2961 | n^2 | 6.95558 | n^2 | 4.86187 |
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.41.trs | n^1 | 2.39795 | n^1 | 2.04162 | n^1 | 10.9789 | n^1 | 3.54705 |
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/2.45.trs | n^1 | 4.0505 | n^1 | 5.8777 | n^1 | 6.25891 | n^1 | 291.775 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.trs | n^1 | 1.14646 | n^1 | 2.87478 | n^1 | 5.33603 | n^1 | 2.89414 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.trs | n^0 | 1.2377 | n^0 | 1.8657 | n^0 | 1.89961 | n^0 | 2.24772 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.trs | n^1 | 0.906172 | n^1 | 2.69923 | n^1 | 5.12272 | n^1 | 2.71427 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.trs | Unknown | 3.82247 | Inf | 291.796 | Unknown | 291.856 | Unknown | 291.804 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.trs | Unknown | 4.30136 | Inf | 292.02 | Unknown | 291.934 | Unknown | 291.915 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.trs | n^1 | 1.23662 | n^1 | 1.92118 | n^1 | 6.08035 | n^1 | 8.74865 |
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.trs | n^1 | 0.966478 | n^1 | 2.38219 | n^1 | 5.2902 | n^1 | 2.61443 |
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.12.trs | n^1 | 5.66703 | n^1 | 2.08321 | n^1 | 5.73927 | n^1 | 11.4602 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.trs | n^2 | 2.91812 | n^1 | 5.48145 | n^1 | 6.82151 | n^1 | 47.9058 |
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.17.trs | Unknown | 2.69323 | n^2 | 7.85153 | n^2 | 291.75 | n^2 | 15.4959 |
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.27.trs | Inf | 294.178 | Inf | 291.759 | Unknown | 291.977 | Inf | 291.738 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.trs | n^1 | 1.85787 | n^1 | 2.0664 | n^1 | 6.04124 | n^1 | 7.60622 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.trs | n^1 | 4.41201 | n^1 | 2.02629 | n^1 | 40.298 | n^1 | 45.6768 |
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.34.trs | Unknown | 2.63835 | Inf | 1.94738 | Inf | 38.6094 | Inf | 40.1364 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.trs | n^0 | 0.976276 | n^0 | 1.84597 | n^0 | 3.18887 | n^0 | 1.84368 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.trs | n^1 | 4.0685 | n^1 | 1.92998 | n^1 | 5.65943 | n^1 | 11.7631 |
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.trs | Unknown | 3.17584 | Inf | 292.526 | Unknown | 291.835 | Inf | 291.795 |
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/aprove2.trs | Unknown | 5.03386 | n^1 | 12.127 | n^1 | 45.8935 | n^1 | 11.9941 |
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/tpa3.trs | Unknown | 7.22202 | Inf | 291.808 | Unknown | 291.887 | Inf | 9.0761 |
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_05_TRS/ttt2.trs | Unknown | 3.25435 | Inf | 1.94977 | Inf | 4.82865 | Inf | 6.2164 |
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/Secret_07_TRS/secret3.trs | Unknown | 6.27746 | Inf | 291.805 | Unknown | 291.844 | Unknown | 291.818 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.trs | n^1 | 3.01956 | n^1 | 10.2331 | n^1 | 5.92151 | n^1 | 6.28408 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.trs | Unknown | 3.27329 | n^2 | 291.752 | n^2 | 73.9348 | n^2 | 72.124 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.trs | Unknown | 10.2546 | n^2 | 291.792 | n^2 | 19.7092 | n^2 | 14.1013 |
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.28.trs | n^1 | 3.20674 | n^1 | 8.53881 | n^1 | 5.14263 | n^1 | 5.93594 |
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.30.trs | Unknown | 4.31135 | n^1 | 14.4166 | n^1 | 9.02189 | n^1 | 9.53632 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.trs | Inf | 186.954 | n^1 | 12.7973 | n^1 | 7.51887 | n^1 | 11.3137 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.trs | Inf | 294.378 | n^1 | 13.3622 | n^1 | 16.1524 | n^1 | 14.1802 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.trs | Unknown | 0.0 | n^1 | 11.4265 | n^1 | 19.2942 | n^1 | 21.9524 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.trs | n^2 | 3.61776 | n^3 | 291.763 | n^1 | 16.2777 | n^1 | 7.52796 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.trs | Unknown | 7.94048 | Inf | 291.788 | Unknown | 291.805 | Inf | 291.814 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.trs | n^2 | 5.27803 | n^2 | 291.785 | n^2 | 61.8948 | n^2 | 61.2188 |
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_AG01/#4.37.trs | n^1 | 4.03712 | n^1 | 1.98755 | n^1 | 6.6937 | n^1 | 11.0998 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.trs | Inf | 294.144 | Inf | 1.81825 | Inf | 39.2289 | Inf | 42.2437 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.trs | Inf | 294.204 | Inf | 1.95136 | Inf | 51.2284 | Inf | 52.3252 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.trs | Unknown | 12.3846 | Inf | 1.88774 | Inf | 261.722 | Inf | 291.744 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.trs | Unknown | 3.2646 | Inf | 1.83006 | Inf | 24.3657 | Inf | 25.5242 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.trs | Inf | 294.224 | Inf | 2.09373 | Inf | 58.2283 | Inf | 59.5677 |
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/Ex1_Luc02b.trs | Inf | 294.163 | Inf | 1.90917 | Inf | 65.1603 | Inf | 63.9918 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.trs | Unknown | 32.9917 | Inf | 1.96009 | Inf | 6.13042 | Inf | 11.9256 |
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/Ex2_Luc03b.trs | Inf | 294.154 | Inf | 1.87318 | Inf | 57.5651 | Inf | 59.2717 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.trs | Unknown | 3.82326 | Inf | 1.9097 | Inf | 43.3019 | Inf | 42.7591 |
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_4_Luc96b.trs | Unknown | 2.71424 | Inf | 1.88719 | Unknown | 291.844 | Unknown | 292.07 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs | Inf | 294.17 | Inf | 1.94574 | Inf | 50.9434 | Inf | 51.6402 |
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/Ex4_7_56_Bor03.trs | Inf | 294.154 | Inf | 2.08248 | Inf | 45.4341 | Inf | 43.4527 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs | Inf | 213.393 | Inf | 1.94724 | Inf | 3.84037 | Inf | 8.81878 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.trs | Unknown | 21.327 | Inf | 1.92199 | Inf | 13.2879 | Inf | 39.4652 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.trs | Unknown | 3.74333 | Inf | 1.95416 | Inf | 11.4977 | Inf | 5.61164 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.trs | Unknown | 4.8009 | Inf | 1.89863 | Inf | 24.5019 | Inf | 25.2952 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.trs | Inf | 91.4406 | Inf | 1.86648 | Inf | 4.63162 | Inf | 5.24569 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.trs | Unknown | 3.15056 | Inf | 1.9113 | Inf | 42.2481 | Inf | 46.0001 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.trs | Unknown | 4.30288 | Inf | 1.84705 | Inf | 65.4968 | Inf | 64.0135 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.trs | Unknown | 7.53052 | Inf | 1.95265 | Unknown | 291.915 | Inf | 291.853 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.trs | Unknown | 8.97619 | Inf | 1.90614 | Unknown | 291.811 | Inf | 291.784 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.trs | Inf | 294.129 | Inf | 2.0392 | Unknown | 291.798 | Inf | 291.823 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.trs | Inf | 217.442 | Inf | 1.87446 | Inf | 5.70249 | Inf | 14.6119 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.trs | Inf | 294.215 | Inf | 1.86852 | Unknown | 291.792 | Inf | 291.726 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.trs | Unknown | 34.2681 | Inf | 2.26327 | Unknown | 291.738 | Inf | 291.716 |
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/Strategy_removed_mixed_05/muladd.trs | Inf | 294.032 | Inf | 1.95035 | Inf | 17.7501 | Inf | 19.0465 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.trs | Inf | 98.7642 | n^1 | 5.68129 | n^1 | 7.16517 | n^1 | 7.76187 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.trs | Unknown | 3.16836 | n^1 | 12.9938 | n^1 | 10.9827 | n^1 | 11.3173 |
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.trs | Unknown | 3.82487 | n^1 | 1.95659 | n^1 | 6.39837 | n^1 | 6.64291 |
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.trs | Unknown | 17.1004 | Inf | 291.87 | Unknown | 292.121 | Unknown | 292.152 |
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.trs | Unknown | 3.78598 | n^5 | 291.787 | n^5 | 291.763 | n^5 | 291.756 |
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/Ex14_AEGL02_FR.trs | Unknown | 4.99349 | Inf | 3.75383 | Unknown | 291.944 | Unknown | 291.993 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.trs | Unknown | 6.88696 | Inf | 291.778 | Unknown | 292.013 | Unknown | 292.047 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.trs | Inf | 294.145 | Inf | 1.91497 | Inf | 8.95275 | Inf | 5.9195 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.trs | Unknown | 7.48925 | Inf | 2.10476 | Unknown | 291.782 | Unknown | 291.774 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.trs | n^1 | 1.59774 | n^1 | 1.94456 | n^1 | 6.43969 | n^1 | 11.681 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.trs | n^1 | 1.54755 | n^1 | 4.06784 | n^1 | 10.9726 | n^1 | 8.06901 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.trs | Unknown | 3.13502 | Inf | 1.8883 | Inf | 3.87325 | Inf | 5.62496 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.trs | n^0 | 1.57831 | n^0 | 1.93254 | n^0 | 2.08337 | n^0 | 1.85658 |
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/Ex16_Luc06_L.trs | Inf | 9.45256 | Inf | 1.83688 | Inf | 3.90833 | Inf | 5.49774 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.trs | n^1 | 1.50764 | n^1 | 1.95801 | n^1 | 5.84939 | n^1 | 10.9473 |
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_2_Luc02c_GM.trs | Inf | 294.199 | Inf | 300.029 | Unknown | 296.423 | Unknown | 294.764 |
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_GL02a_L.trs | Inf | 9.42354 | Inf | 1.91917 | Inf | 5.87551 | Inf | 6.1768 |
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_GM99_GM.trs | Unknown | 0.0 | Inf | 291.747 | Unknown | 291.801 | Unknown | 291.787 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.trs | Unknown | 3.15427 | Inf | 1.8556 | Inf | 4.02873 | Inf | 10.7758 |
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/Ex1_Luc02b_Z.trs | n^1 | 4.54142 | n^2 | 291.764 | n^2 | 12.4376 | n^2 | 14.5564 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.trs | Unknown | 6.55674 | Inf | 2.18854 | Unknown | 291.84 | Unknown | 291.816 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.trs | Unknown | 9.83319 | Inf | 292.821 | Unknown | 293.794 | Unknown | 293.847 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.trs | Unknown | 26.7587 | Inf | 1.91404 | Unknown | 291.796 | Unknown | 291.744 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.trs | Inf | 294.611 | Inf | 2.01633 | Inf | 6.31777 | Inf | 9.00722 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.trs | n^1 | 1.75755 | n^0 | 1.85752 | n^0 | 1.88699 | n^0 | 1.87992 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.trs | Inf | 14.6632 | Inf | 1.90002 | Inf | 5.0697 | Inf | 6.25569 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.trs | n^1 | 1.72761 | n^1 | 3.6346 | n^1 | 6.63135 | n^1 | 11.5704 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.trs | n^1 | 2.39815 | n^1 | 5.19504 | n^1 | 6.68717 | n^1 | 12.4763 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.trs | Inf | 9.5823 | Inf | 1.88486 | Inf | 3.78266 | Inf | 6.00774 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.trs | n^1 | 3.75455 | n^1 | 1.91911 | n^1 | 7.5287 | n^1 | 7.94563 |
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/Ex26_Luc03b_L.trs | n^0 | 1.43717 | n^0 | 1.89047 | n^0 | 1.87504 | n^0 | 1.84645 |
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_L.trs | n^0 | 1.03675 | n^0 | 1.88239 | n^0 | 3.69105 | n^0 | 1.88194 |
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_12_Luc96a_Z.trs | n^1 | 2.07781 | n^1 | 12.4318 | n^1 | 6.26406 | n^1 | 10.2488 |
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/Ex3_3_25_Bor03_L.trs | n^0 | 0.947062 | n^0 | 1.87246 | n^0 | 1.87207 | n^0 | 1.86166 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.trs | Unknown | 5.39088 | Inf | 295.342 | Unknown | 292.311 | Unknown | 295.091 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.trs | Unknown | 13.6295 | Inf | 291.803 | Unknown | 291.852 | Unknown | 291.837 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.trs | n^1 | 0.756143 | n^1 | 1.96275 | n^1 | 7.51388 | n^1 | 2.79334 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.trs | Unknown | 3.47803 | Inf | 2.00176 | Inf | 184.855 | Inf | 196.145 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs | n^1 | 4.09062 | n^1 | 2.26736 | n^1 | 7.16207 | n^1 | 14.0084 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.trs | n^1 | 1.49081 | n^0 | 1.92516 | n^0 | 1.84614 | n^0 | 1.86571 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs | n^1 | 2.00726 | n^0 | 1.86879 | n^0 | 1.84363 | n^0 | 1.87802 |
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_7_56_Bor03_Z.trs | n^1 | 1.86714 | n^1 | 5.28842 | n^1 | 6.28361 | n^1 | 14.5969 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs | n^0 | 1.79657 | n^0 | 2.66716 | n^0 | 1.86713 | n^0 | 1.85601 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs | n^1 | 3.59746 | n^1 | 2.13276 | n^1 | 291.75 | n^1 | 291.799 |
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_FR.trs | Unknown | 33.0244 | Inf | 291.837 | Unknown | 292.093 | Unknown | 291.998 |
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/Ex4_Zan97_Z.trs | Unknown | 10.5382 | Inf | 291.769 | Inf | 291.764 | Inf | 291.743 |
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/Ex5_Zan97_Z.trs | n^1 | 3.68756 | n^0 | 1.86027 | n^0 | 1.84896 | n^0 | 1.85408 |
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_FR.trs | n^1 | 2.5783 | n^1 | 4.81266 | n^1 | 12.0351 | n^1 | 13.0868 |
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_9_Luc02c_Z.trs | n^0 | 1.62823 | n^0 | 2.01136 | n^0 | 1.83582 | n^0 | 1.81538 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.trs | Unknown | 2.6637 | Inf | 7.90995 | Inf | 8.97753 | Inf | 7.14853 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.trs | n^0 | 1.3674 | n^0 | 1.85676 | n^0 | 1.8499 | n^0 | 1.86012 |
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/Ex6_Luc98_L.trs | n^0 | 0.906741 | n^0 | 1.87411 | n^0 | 1.81941 | n^0 | 1.85438 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.trs | n^1 | 2.67837 | n^1 | 4.92941 | n^1 | 6.27467 | n^1 | 8.53845 |
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/Ex7_BLR02_Z.trs | n^1 | 4.72119 | n^2 | 291.781 | n^2 | 8.63933 | n^2 | 19.0836 |
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/Ex8_BLR02_Z.trs | Unknown | 13.2684 | Inf | 291.732 | Inf | 172.611 | Inf | 169.977 |
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_BLR02_L.trs | n^0 | 2.26839 | n^0 | 1.85638 | n^0 | 1.89456 | n^0 | 1.8744 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.trs | Unknown | 5.95458 | Inf | 291.843 | Unknown | 292.023 | Unknown | 292.046 |
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/Ex9_Luc04_L.trs | Unknown | 3.73051 | Inf | 1.87093 | Inf | 8.42337 | Inf | 11.6131 |
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/ExAppendixB_AEL03_Z.trs | Unknown | 4.00662 | n^2 | 6.04238 | n^2 | 14.2887 | n^2 | 19.9189 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.trs | n^1 | 1.48676 | n^1 | 2.8021 | n^1 | 6.06865 | n^1 | 7.66373 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.trs | n^1 | 1.50732 | n^1 | 1.96235 | n^1 | 6.14137 | n^1 | 8.09117 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.trs | Inf | 219.794 | Inf | 1.90279 | Inf | 5.10596 | Inf | 5.88008 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.trs | Inf | 294.182 | Inf | 2.8619 | Unknown | 300.036 | Unknown | 300.078 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.trs | Unknown | 2.62669 | Inf | 300.041 | Unknown | 292.272 | Unknown | 292.282 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.trs | Unknown | 7.14747 | Inf | 2.35825 | Unknown | 292.031 | Unknown | 292.031 |
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_GM.trs | Unknown | 8.221 | Inf | 291.889 | Unknown | 292.019 | Unknown | 292.139 |
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/ExProp7_Luc06_GM.trs | Unknown | 8.50226 | Inf | 295.842 | Unknown | 297.562 | Unknown | 299.696 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.trs | n^1 | 2.02782 | n^0 | 1.86098 | n^0 | 1.86528 | n^0 | 1.82454 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.trs | n^1 | 2.0568 | n^0 | 1.8397 | n^0 | 1.87963 | n^0 | 2.04301 |
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/LengthOfFiniteLists_complete_GM.trs | Inf | 295.921 | Inf | 300.026 | Unknown | 295.714 | Unknown | 294.766 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs | Unknown | 20.3838 | Inf | 296.982 | Unknown | 297.141 | Unknown | 297.129 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs | Unknown | 109.731 | Inf | 300.048 | Unknown | 292.726 | Unknown | 293.301 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs | Unknown | 7.60341 | Inf | 300.066 | Unknown | 297.768 | Unknown | 293.196 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs | Unknown | 4.29402 | Inf | 2.17984 | Unknown | 291.816 | Unknown | 291.749 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs | Inf | 294.086 | Inf | 1.98251 | Inf | 24.5544 | Inf | 26.9466 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs | Unknown | 5.9923 | Inf | 2.18393 | Unknown | 292.649 | Unknown | 292.135 |
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs | Unknown | 4.86912 | Inf | 6.7486 | Unknown | 295.987 | Unknown | 292.117 |
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_FR.trs | n^2 | 1.44683 | n^2 | 9.34533 | n^2 | 12.9293 | n^2 | 12.2217 |
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_Z.trs | Inf | 294.295 | Inf | 2.13487 | Inf | 243.72 | Inf | 246.846 |
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_FR.trs | n^1 | 1.06648 | n^1 | 2.01378 | n^1 | 6.73798 | n^1 | 2.52749 |
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/Various_04/15.trs | n^1 | 1.54748 | n^1 | 2.42972 | n^1 | 5.97442 | n^1 | 2.4773 |
Runtime_Complexity_Innermost_Rewriting/Various_04/22.trs | n^1 | 2.2472 | n^1 | 5.7299 | n^1 | 6.80679 | n^2 | 12.8774 |
Runtime_Complexity_Innermost_Rewriting/Various_04/24.trs | n^2 | 5.43028 | n^1 | 3.54534 | n^1 | 291.933 | n^1 | 3.18788 |
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.trs | n^1 | 2.75714 | n^1 | 1.97502 | n^1 | 43.8218 | n^1 | 44.1197 |
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.trs | n^1 | 3.99663 | n^1 | 1.91989 | n^1 | 72.3559 | n^1 | 74.479 |
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.trs | Inf | 97.8743 | Inf | 291.976 | Unknown | 291.755 | Unknown | 291.719 |
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.trs | Inf | 101.335 | Inf | 291.752 | Inf | 5.01983 | Inf | 11.2777 |
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.trs | Unknown | 3.79332 | Inf | 291.716 | Inf | 5.05258 | Inf | 6.44839 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.trs | Unknown | 159.587 | Inf | 292.013 | Unknown | 294.772 | Unknown | 296.389 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.trs | Unknown | 6.45614 | Inf | 296.56 | Unknown | 300.109 | Unknown | 292.666 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.trs | Unknown | 3.91598 | Inf | 300.083 | Unknown | 292.299 | Unknown | 292.617 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.trs | Unknown | 20.6499 | Inf | 298.297 | Unknown | 292.614 | Unknown | 292.596 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.trs | Unknown | 13.6589 | Inf | 291.839 | Unknown | 292.0 | Unknown | 292.136 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.trs | Inf | 294.167 | Inf | 292.51 | Unknown | 293.355 | Unknown | 292.072 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.trs | Unknown | 4.5016 | Inf | 294.256 | Unknown | 292.554 | Unknown | 292.411 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.trs | Unknown | 7.97179 | n^1 | 2.93355 | n^1 | 300.08 | n^1 | 300.062 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.trs | Inf | 294.147 | Inf | 291.857 | Unknown | 299.586 | Unknown | 297.09 |
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.trs | Unknown | 2.60359 | Inf | 292.162 | Unknown | 292.003 | Unknown | 292.056 |
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.trs | n^1 | 3.02833 | n^1 | 2.59212 | n^1 | 4.58529 | n^1 | 5.09612 |
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/foldsum.trs | n^1 | 4.04981 | n^1 | 2.6326 | n^1 | 10.4114 | n^1 | 11.2993 |
Runtime_Complexity_Innermost_Rewriting/hoca/id.trs | n^1 | 2.95047 | n^1 | 1.98795 | n^1 | 11.2945 | n^1 | 2.78811 |
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.trs | n^3 | 6.80149 | n^2 | 291.773 | n^2 | 10.6591 | n^2 | 19.8268 |
Runtime_Complexity_Innermost_Rewriting/hoca/isort.trs | n^3 | 5.7199 | n^2 | 291.79 | n^2 | 9.90876 | n^2 | 17.1254 |
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/mss.trs | Unknown | 15.5137 | Inf | 291.885 | Unknown | 291.827 | Inf | 291.798 |
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.trs | n^1 | 4.04957 | n^1 | 2.05092 | n^1 | 12.2355 | n^1 | 2.90364 |
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.trs | n^1 | 4.03938 | n^1 | 2.13074 | n^1 | 11.8211 | n^1 | 2.63671 |
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.trs | n^1 | 1.32697 | n^1 | 1.92577 | n^1 | 10.7245 | n^1 | 2.6632 |
Runtime_Complexity_Innermost_Rewriting/hoca/sum.trs | n^1 | 2.74735 | n^1 | 2.03244 | n^1 | 7.01806 | n^1 | 2.81162 |
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/minsort.raml.trs | Unknown | 2.65078 | n^2 | 291.84 | n^2 | 14.1145 | n^2 | 26.8206 |
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.trs | Unknown | 11.5139 | Inf | 295.948 | Unknown | 294.327 | Unknown | 294.165 |
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/rationalPotential.raml.trs | Unknown | 0.743995 | n^1 | 2.19916 | n^1 | 14.8951 | n^1 | 21.14 |
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs | Unknown | 43.0106 | n^3 | 292.214 | n^3 | 292.223 | n^3 | 292.57 |
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.trs | n^2 | 9.23845 | n^2 | 291.767 | n^2 | 5.1754 | n^2 | 8.61026 |