Upper bounds:
50420: TcT sequential complexity
50523: AProVE sequential complexity
50522: AProVE parallel complexity Sec 3
50521: AProVE parallel complexity Sec 3 + 4
benchmark nameresult 50420time 50420result 50523time 50523result 50522time 50522result 50521time 50521
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.trsn^12.74672n^16.32706n^19.85334n^17.67624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.trsUnknown3.72038n^4292.46n^4295.321n^4292.028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.trsn^34.78885n^311.0418n^36.18269n^36.13115
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trsUnknown300.08Inf291.913n^234.712n^2291.761
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.trsn^13.37832n^14.5333n^14.40181n^110.5918
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.trsUnknown3.14034n^3291.752n^311.0137n^312.1049
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trsUnknown6.10992n^111.3227n^1291.847n^117.1217
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.trsn^22.39727n^16.11938n^112.1741n^15.96492
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.trsn^11.01616n^15.06368n^14.61498n^27.40834
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.trsn^12.68745n^11.94695n^14.79298n^12.75929
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.trsUnknown4.33046Inf300.022Unknown291.774Unknown292.685
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trsUnknown2.64503Inf1.89967n^14.20576Inf7.449
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.trsn^03.00837n^01.93842n^01.9008n^01.87226
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.trsn^11.73784n^15.15915n^16.15202n^112.5937
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.trsUnknown4.33577Inf291.855Unknown291.773Inf291.786
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.trsn^12.37723n^13.25652n^113.8699n^18.07094
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trsInf294.151Inf2.81294Unknown291.839Inf3.7907
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.trsn^22.04706n^110.1781n^113.2952n^110.4555
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trsn^14.07913n^16.06314n^114.0134n^111.7434
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.trsn^23.18677n^2291.757n^14.98155n^112.2028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trsn^23.57047n^2291.744n^113.2738n^111.3645
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.trsInf294.149Inf291.752Unknown291.796Unknown291.731
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.trsUnknown3.17087n^16.30204n^19.96226n^115.2702
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.trsn^11.61808n^15.36098n^15.54667n^18.40808
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trsn^313.125n^38.68178n^316.3235n^320.4219
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.trsn^11.44416n^15.5041n^16.23534n^18.21024
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trsUnknown19.3615Inf291.939Unknown295.193Inf293.343
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.trsUnknown3.30383n^113.5843n^113.2517n^110.8624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.trsn^311.2921n^3291.789n^39.70511n^317.1722
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.trsUnknown7.60035n^112.2033n^110.6581n^112.4091
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.trsn^27.36059n^113.076n^112.2883n^112.2206
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.trsn^315.2021n^3291.805n^311.2781n^321.3863
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.trsn^12.96772n^14.89156n^15.13311n^16.73866
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.trsn^35.51953n^111.7051n^115.3938n^110.9872
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.trsUnknown6.37301n^3291.915n^3291.844n^3292.001
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.trsUnknown11.0754n^122.4724n^1291.876n^124.6355
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trsUnknown300.109Inf300.058Unknown297.062Inf294.772
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trsInf294.4n^2291.878n^2291.818n^2291.982
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.trsn^12.9877n^111.9947n^17.0862n^19.31545
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.trsUnknown11.423Inf300.103Unknown293.37Unknown292.488
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.trsUnknown2.62595Inf291.819Unknown291.894n^2291.828
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.trsUnknown300.074Inf291.873Unknown291.918Unknown291.912
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.trsUnknown3.28361Inf291.794Inf13.2357Inf14.5839
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.trsUnknown4.28476Inf291.816Unknown291.931Unknown291.805
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.trsInf294.522n^2291.772n^2291.786n^2291.774
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trsUnknown5.23938Inf291.804Unknown291.914Inf291.861
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trsUnknown3.78197Inf291.772Unknown294.803Unknown294.357
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trsUnknown6.57002Inf291.823Unknown291.835Unknown291.901
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trsUnknown11.227n^2291.879n^2291.912n^2291.781
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trsUnknown17.3798Inf292.053Unknown292.158Inf292.669
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.trsUnknown8.5675n^2291.83n^29.0711n^229.0097
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trsUnknown7.31382Inf291.862Unknown291.973Inf291.835
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trsUnknown62.2309Inf291.807Unknown292.042Inf291.797
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trsUnknown12.0427Inf291.821Unknown292.258Unknown295.741
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trsUnknown7.23616n^154.6108n^1295.175n^167.0503
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trsUnknown10.905n^2291.875n^2291.822n^2291.841
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.trsUnknown4.25948n^2291.747n^2291.74n^2291.708
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trsUnknown0.0Inf1.9369Unknown294.047Inf294.379
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.trsUnknown7.49131n^113.1232n^111.1699n^112.9791
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trsUnknown13.4985n^2292.043n^2292.139n^2293.344
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.trsUnknown4.37037n^2291.76n^2291.735n^2291.731
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.trsUnknown5.45546Inf291.763Unknown291.83Inf291.779
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.trsUnknown3.75468Inf291.782Unknown291.828Inf291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trsUnknown0.0Inf291.858Unknown291.893n^2291.834
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.trsUnknown6.92078Inf291.906Unknown291.832Unknown291.836
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.trsUnknown3.27257Inf291.748Unknown291.796Inf293.012
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.trsUnknown2.63395n^2291.89n^2291.899n^2292.308
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trsUnknown254.113n^2291.8n^2292.306n^2291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trsUnknown300.095Inf292.105Unknown291.977Inf292.079
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trsUnknown0.0n^316.8638n^3291.958n^315.9718
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trsUnknown5.45202Inf292.935Unknown298.022Inf296.704
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trsUnknown6.04845n^2297.098n^2291.928n^2292.541
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trsUnknown6.53137n^138.9254n^1291.938n^138.3491
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trsUnknown15.9257Inf291.894Unknown296.179Inf292.512
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trsUnknown4.8164Inf2.51329Unknown291.834Unknown291.787
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trsUnknown8.57843n^111.4814n^1148.351n^112.7475
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trsUnknown3.21638n^2291.904n^2292.117n^2292.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trsUnknown4.65221n^2291.784n^2291.77n^2291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trsUnknown6.33163n^2291.795n^2291.863n^2291.975
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trsInf294.344Inf291.783Unknown291.99Inf293.713
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trsUnknown7.69094n^2291.796n^2291.759n^2291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trsUnknown35.6155Inf291.838Unknown297.294Unknown292.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trsUnknown31.5759Inf291.971Unknown295.806Inf296.764
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trsUnknown22.736n^3293.398n^3292.619n^3292.154
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.trsUnknown3.19717Inf291.893Unknown291.955Unknown291.883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.trsUnknown5.68006n^2292.805n^2291.835n^2291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.trsUnknown4.91646Inf295.025Unknown296.17Inf293.027
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.trsUnknown11.2452Inf291.776Unknown291.797Inf291.753
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.trsUnknown6.12351n^113.951n^1291.762n^112.0883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.trsUnknown0.0Inf291.771Unknown291.806Inf291.755
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.trsUnknown8.5172Inf291.925Unknown291.8Inf291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trsUnknown7.5585n^116.5306n^1291.785n^1291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.trsUnknown4.43828n^2291.737n^2291.75n^2291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trsUnknown4.33628n^114.2628n^1291.786n^1291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.trsUnknown19.5006Inf291.94Unknown291.885Inf291.826
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.trsInf295.427Inf295.816Unknown292.343Inf294.828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.trsUnknown0.0n^2291.842n^2291.958n^2291.75
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trsUnknown7.56481Inf291.819Unknown291.993Inf291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.trsUnknown31.8906Inf292.464Unknown292.1Inf292.126
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.trsUnknown9.97491n^2291.99n^2291.805n^2291.926
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.trsUnknown5.7399n^2291.8n^2291.794n^2291.752
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trsUnknown8.69037Inf291.792Unknown292.035Inf292.101
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trsUnknown4.44486n^2291.824n^2291.817n^2291.782
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trsUnknown2.62736n^16.21085n^19.96709n^111.4828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.trsUnknown5.44577Inf291.798Unknown293.389Inf291.804
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.trsUnknown11.8077Inf291.847Unknown291.954Unknown291.889
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trsInf299.395Inf294.833Unknown293.714Inf293.34
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trsUnknown19.8241Inf292.175Unknown292.011Inf291.773
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trsUnknown8.25479Inf294.667Unknown292.411Inf295.024
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trsUnknown5.80965Inf291.81Unknown291.892Inf292.06
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trsUnknown0.0Inf295.64Unknown295.204Inf291.843
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trsInf294.136n^214.9652n^2291.727n^215.9229
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.trsInf215.193n^3291.81n^3291.848n^3291.818
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.trsUnknown24.199n^3291.816n^3291.799n^3291.775
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.trsInf214.491n^3291.805n^3291.807n^3291.807
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.trsUnknown8.89633n^3291.877n^3291.817n^3291.847
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trsUnknown5.63636n^113.4741n^1291.822n^113.1498
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.trsUnknown7.28333n^115.3688n^1291.786n^117.7378
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trsInf294.225Inf294.809Unknown294.876Inf293.783
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.trsUnknown24.9841Inf291.905Unknown292.865Inf294.04
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trsInf294.236Inf294.021Unknown292.553Inf294.143
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.trsUnknown11.8626n^3291.789n^3291.939n^3291.788
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trsUnknown21.9336Inf291.812Unknown291.951Inf291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trsUnknown31.1661Inf291.922Unknown296.035Inf294.206
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trsUnknown26.6477Inf292.886Unknown298.846Inf291.963
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trsUnknown19.7491n^2291.814n^2291.812n^2291.783
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trsUnknown4.29124n^2291.737n^2160.908n^2177.71
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trsInf287.305n^2291.79n^2112.622n^2115.333
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trsUnknown61.1945n^2292.737n^2291.742n^2291.768
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trsUnknown5.71329n^2291.773n^2291.754n^2291.745
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trsInf203.955n^2291.799n^2291.743n^2291.772
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.trsUnknown5.06512n^2291.762n^2291.756n^2291.752
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trsInf294.174n^2291.809n^2291.876n^2291.803
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trsUnknown10.3072n^2291.889n^2291.888n^2291.765
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trsInf294.257n^2291.947n^2291.849n^2291.897
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trsUnknown5.40673n^123.072n^1291.841n^1291.854
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trsUnknown300.053n^2294.266n^2292.87n^2291.865
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trsUnknown3.26723n^2291.76n^2129.293n^2130.816
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trsInf294.181n^115.2325n^1291.809n^1291.887
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trsUnknown4.39982n^2291.945n^2291.795n^2291.866
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trsUnknown4.27371n^110.4321n^1116.467n^1119.121
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trsUnknown4.89965n^2291.818n^2292.999n^2292.206
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trsUnknown3.32527n^118.8932n^1291.851n^1291.838
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trsUnknown4.40215n^121.9737n^1292.48n^122.249
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.trsInf118.603n^18.12024n^1291.727n^111.1923
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trsUnknown5.81326n^2293.174n^2291.932n^2291.915
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trsUnknown3.17264n^2291.769n^2102.377n^2108.449
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trsUnknown2.6633n^2291.766n^2219.556n^2225.193
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trsInf294.044n^111.9579n^1291.857n^1291.91
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trsUnknown3.8175n^2295.469n^2291.948n^2291.835
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.trsUnknown3.19435Inf296.731Unknown295.156Unknown291.896
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trsUnknown3.18289n^15.31772n^111.2359n^110.9579
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trsUnknown3.77772Inf1.97647Inf9.61047Inf11.2909
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.trsn^12.00781n^15.11059n^17.97321n^18.57296
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.trsUnknown191.727Inf291.939Unknown291.877Inf6.14014
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.trsUnknown3.78441Inf291.768Unknown291.972Inf291.822
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.trsInf294.19Inf291.844Unknown292.007Inf291.851
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.trsUnknown3.91802Inf291.853Unknown291.88Inf291.983
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trsUnknown7.64077Inf291.871Unknown292.003Unknown291.964
Runtime_Complexity_Innermost_Rewriting/Der95/06.trsn^11.22673n^11.92938n^15.31304n^12.82211
Runtime_Complexity_Innermost_Rewriting/Der95/08.trsn^13.79393n^15.44538n^15.67632n^112.9871
Runtime_Complexity_Innermost_Rewriting/Der95/11.trsUnknown2.68949n^16.15284n^112.4931n^116.0487
Runtime_Complexity_Innermost_Rewriting/Der95/18.trsn^11.28715n^19.03515n^19.17587n^113.3043
Runtime_Complexity_Innermost_Rewriting/Der95/21.trsUnknown3.78082Inf291.738Unknown291.785Inf5.28054
Runtime_Complexity_Innermost_Rewriting/Der95/27.trsn^11.2061n^11.9921n^18.47103n^13.82465
Runtime_Complexity_Innermost_Rewriting/Der95/32.trsUnknown3.80796n^2291.742n^29.05996n^216.5192
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.trsn^16.50853n^15.51708n^1292.127n^1298.231
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.trsUnknown6.33987Inf291.881Unknown291.798Unknown291.785
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.trsn^11.50713n^12.00512n^16.5271n^158.4236
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.trsn^12.70868n^12.00118n^112.4482n^111.2783
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.trsn^11.38746n^12.54988n^15.89173n^157.7998
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.trsn^11.43813n^11.97579n^16.02725n^12.48708
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.trsUnknown3.84784Inf291.768Inf24.5438Inf27.6073
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.trsUnknown4.28298Inf2.05423Unknown291.813Unknown291.81
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trsUnknown3.32149Inf2.02446Unknown295.881Inf291.811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.trsn^13.91228n^12.05681n^18.69839n^111.0023
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.trsn^14.21208n^12.58025n^110.5723n^19.39907
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trsUnknown3.91267Inf2.26815n^112.5659Inf4.61106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.trsn^11.40721n^14.91075n^16.22919n^16.28525
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.trsUnknown300.063Inf1.91247Inf6.26772Inf7.58826
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.trsn^12.38813n^15.14127n^17.04654n^113.9954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trsn^13.55954n^19.8353n^19.00467n^19.3872
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.trsn^14.37044n^12.24712n^18.24618n^19.00381
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trsInf294.263Inf293.976Unknown293.428n^3293.14
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trsUnknown0.0n^3292.657n^3292.366Unknown300.054
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.trsUnknown300.04Inf1.87255Unknown291.793Unknown291.738
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trsUnknown116.858Inf300.107Unknown300.055Unknown295.716
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.trsUnknown3.78163Inf1.93693Inf12.6834Inf11.3489
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trsUnknown12.5618Inf291.848Unknown292.69Unknown293.65
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.trsInf211.414Inf1.90024Unknown291.76Unknown291.73
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.trsn^11.40737n^11.9398n^18.28326n^12.40791
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trsn^13.92031n^15.23528n^18.94131n^110.2831
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trsn^12.24892n^110.1019n^19.79921n^199.7994
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.trsn^13.35971n^110.7216n^19.40063n^112.3099
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.trsn^14.04124n^16.35506n^111.8774n^112.3468
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trsUnknown13.4858Inf291.772Unknown291.994n^2200.867
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.trsUnknown2.68257Inf291.875Unknown292.088Inf291.912
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.trsn^36.33856n^310.8088n^37.30772n^36.33508
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.trsUnknown5.32854n^35.90787n^38.29317n^313.8289
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.trsn^23.09817n^24.27047n^26.19242n^24.44862
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.trsn^16.0277n^15.39741n^17.94742n^17.93726
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.trsUnknown6.07171Inf1.89213Inf6.27449Inf9.09222
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.trsUnknown6.94601Inf2.10737Unknown291.766Inf291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.trsUnknown4.32192Inf2.03884Unknown291.791Inf291.737
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.trsn^14.07599n^111.8482n^19.4952n^111.6164
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.trsUnknown3.17719n^1291.736n^19.38991n^111.4504
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.trsn^26.7818n^2291.777n^216.6613n^220.9364
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.trsInf294.237Inf3.39431Unknown292.33Unknown296.674
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trsUnknown300.077Inf3.03414Unknown292.212Unknown292.556
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.trsUnknown22.3232Inf291.743Unknown291.772Inf291.77
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trsUnknown7.9433Inf294.995Unknown291.945Inf294.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.trsn^11.4468n^12.01659n^15.97586n^13.60622
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trsn^24.02952n^2291.807n^211.0319n^18.39202
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.trsn^35.74864n^34.8485n^36.19684n^311.4527
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.trsUnknown9.43938Inf1.92302Inf6.05352Inf13.8885
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.trsUnknown4.68874Inf291.873Unknown291.93Inf291.934
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trsUnknown5.87824Inf3.11273Unknown291.862Unknown291.892
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.trsUnknown5.42683Inf7.17242Unknown292.845Unknown300.028
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trsUnknown30.1309Inf40.8462n^120.0905n^1291.877
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.trsn^11.46365n^12.19726n^16.21498n^17.67574
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.trsUnknown4.23478Inf291.752Inf16.9234Inf291.799
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.trsn^17.79275n^124.5229n^122.6891n^1291.792
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.trsUnknown4.22158n^2291.766n^214.4023n^2291.744
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.trsUnknown2.62544Inf1.86524Inf3.95024Inf5.73972
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trsn^13.21062n^12.19584n^111.7034n^112.4569
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.trsn^11.60853n^12.20771n^16.1376n^110.2499
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trsn^13.39935n^111.9708n^114.316n^18.57057
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trsn^14.23967n^18.6486n^112.3765n^112.9993
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.trsn^11.42681n^11.94843n^15.63697n^12.62967
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.trsn^12.09759n^12.02205n^16.19244n^16.57668
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trsUnknown9.93861Inf6.20579Unknown291.919Unknown291.876
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trsUnknown7.53814Inf2.00121n^214.6584n^231.2352
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.trsUnknown4.86324n^18.35224n^143.5467n^145.106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.trsUnknown4.25253n^2291.77n^219.008n^233.2278
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.trsUnknown6.68112Inf294.765Unknown292.854Inf295.117
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.trsUnknown56.5359n^5292.444n^5294.507Unknown299.526
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.trsUnknown27.3014n^5298.582n^5292.615Unknown295.842
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.trsUnknown27.35n^5300.023n^5294.428n^5292.307
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.trsn^26.01917n^2291.756n^29.98577n^216.1963
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.trsUnknown5.02252n^2291.752n^29.86414n^218.7954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.trsn^25.95064n^2291.782n^220.8104n^225.0685
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.trsUnknown1.38215Inf291.805Unknown291.892Inf292.072
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.trsn^11.70171n^12.00013n^117.6105n^12.94444
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.trsn^11.32726n^12.05735n^15.70959n^12.97811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.trsn^13.23025n^15.22136n^17.84744n^16.48449
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.trsn^10.977703n^15.6813n^15.35305n^124.7639
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.trsUnknown7.06925Inf291.731Unknown291.933Unknown291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.trsn^224.4472n^2291.758n^219.7264n^247.8915
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trsUnknown9.17388Inf292.966Unknown293.456Inf291.828
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trsUnknown43.3518Inf298.738Unknown292.871Inf294.896
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.trsUnknown300.103Inf292.72Unknown294.289Inf293.549
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trsUnknown2.40021n^2291.781n^225.6508n^2291.847
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trsUnknown4.84252n^117.5874n^117.2652n^115.5908
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.trsUnknown4.83268n^2291.779n^2291.774n^2291.732
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.trsUnknown4.23148n^2291.736n^2291.74n^2291.734
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.trsUnknown13.6536n^2292.037n^2291.996n^2291.997
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.trsUnknown9.61619n^2291.824n^2291.751n^2291.899
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.trsInf294.073n^2291.752n^2291.796n^2291.807
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trsUnknown300.045n^2293.56n^2292.192n^2291.861
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trsInf294.849n^2291.851n^2291.776n^2291.878
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trsUnknown5.54183n^2291.765n^2291.847n^2291.794
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.trsInf294.067n^2291.748n^2291.755n^2291.743
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trsInf294.143n^2297.908n^2291.804n^2291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.trsUnknown0.0Inf291.77Unknown291.777Inf291.736
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.trsUnknown14.1806n^2291.81n^2291.772n^2291.779
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trsUnknown5.55923Inf1.9515Unknown299.66Inf3.56874
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.trsUnknown35.7413n^2291.814n^2291.799n^2291.766
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trsUnknown9.6629Inf300.066Unknown295.078Inf295.956
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.trsInf9.77274Inf1.90745Inf4.09554Inf5.60688
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.trsInf9.36181Inf2.29244Inf3.85247Inf7.12367
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.trsUnknown1.13578Inf1.90595Inf3.86428Inf5.49038
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.trsInf11.8045Inf1.92819Unknown291.794Unknown291.748
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.trsInf91.5633Inf2.65027Inf23.6854Inf28.7425
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.trsUnknown3.19713Inf1.9028Inf6.83114Inf10.1739
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trsUnknown8.31077Inf291.838n^239.4879n^238.8032
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trsUnknown53.4042n^2291.748n^29.24809n^110.3874
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trsInf294.056Inf291.885n^330.1941n^334.0069
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.trsUnknown4.9247Inf2.94035Inf161.193Inf2.84081
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trsUnknown39.5342Inf292.037Unknown292.041Unknown292.151
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.trsn^11.5667n^16.54886n^19.01682n^13.85415
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.trsUnknown17.1941Inf291.768Unknown291.811Inf291.833
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trsn^24.13923n^15.96764n^18.6202n^113.2878
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.trsUnknown5.47198Inf291.949Unknown292.368Unknown295.363
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.trsUnknown7.9994Inf291.807Unknown291.841Inf291.766
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trsUnknown6.92345n^2291.89n^2296.029n^2291.851
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trsUnknown6.05195n^2291.862n^2291.95n^2294.063
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trsUnknown11.7496Inf291.862Unknown292.158Unknown295.312
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.trsn^11.44659n^11.93501n^16.15267n^12.55608
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.trsn^12.4578n^110.3408n^16.03329n^19.08203
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.trsn^11.62716n^15.35177n^15.80932n^18.51133
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.trsUnknown4.58824Inf291.883Unknown291.729Unknown291.782
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.trsn^12.31749n^12.08109n^117.8854n^17.14656
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trsUnknown7.92309Inf1.88318Unknown292.781Inf294.698
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trsn^14.06063n^111.2789n^19.15381n^1291.772
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trsUnknown4.85519Inf2.64137n^327.1215n^328.4648
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.trsUnknown2.67574Inf291.876Inf14.0169Inf20.0871
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.trsUnknown3.18568n^2291.778n^2291.777n^2291.72
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trsn^13.17351n^12.02776n^19.19508n^13.21218
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.trsn^37.70043n^3291.733n^38.72776n^315.3034
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.trsUnknown2.59955n^2291.786n^27.73291n^217.9367
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trsUnknown4.32583n^2291.786n^223.6575n^245.781
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.trsUnknown5.18708n^16.9969n^113.4144n^116.407
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.trsn^11.75751n^16.39718n^17.27518n^16.55639
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.trsn^12.40834n^11.92423n^17.07046n^111.1329
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.trsn^37.0084n^17.26251n^111.4686n^19.24603
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trsUnknown12.678Inf300.044Unknown300.102Unknown295.35
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.trsn^00.936379n^01.96214n^01.80618n^02.57224
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.trsInf294.078Inf4.56957Unknown291.764Unknown291.737
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trsn^16.40615n^111.7089n^111.9904n^113.1152
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.trsn^12.3178n^15.39407n^110.3577n^17.75373
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trsUnknown0.0Inf296.132Unknown291.95Inf298.213
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trsInf294.138Inf300.058Unknown292.175Inf292.038
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trsUnknown8.37161n^3291.881n^3291.95n^3292.103
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.trsn^12.66738n^12.14459n^19.95746n^15.91097
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.trsn^12.27929n^11.98433n^16.6976n^112.5723
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.trsUnknown3.1727n^2291.759n^29.15639n^212.8507
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.trsn^11.38643n^12.66588n^15.50414n^14.47366
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.trsn^11.50623n^11.96908n^16.51843n^112.067
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trsUnknown4.30494n^37.68128n^311.5279n^3291.745
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.trsn^12.97787n^15.51574n^16.4683n^111.9617
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trsUnknown3.16895Inf1.91034n^17.61133n^1291.737
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.trsUnknown3.22876n^26.08498n^211.2137n^213.3708
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.trsn^15.5788n^16.20896n^16.30299n^16.89297
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.trsUnknown3.19345n^2291.829n^26.33194n^211.9925
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trsn^24.20853n^26.10372n^28.00624n^219.2368
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trsn^12.49753n^19.37973n^19.6969n^17.15144
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trsInf294.152Inf1.89465n^16.35262n^198.5986
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.trsn^23.29798n^2291.783n^28.34483n^213.0759
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.trsUnknown12.8063Inf291.762Unknown291.969Inf5.86461
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trsUnknown4.49942Inf1.90832n^15.98331n^1100.251
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trsInf294.186Inf1.88172Unknown294.043Inf294.808
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trsUnknown3.7666Inf1.90889Unknown292.076Inf12.8948
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.trsUnknown33.2121Inf291.787Unknown291.804Unknown291.832
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.trsUnknown3.90217Inf291.914Unknown300.073Unknown300.077
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trsn^13.0988n^15.53375n^17.20713n^1122.062
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.trsn^01.79708n^01.83911n^01.84513n^02.0686
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.trsn^11.87699n^12.09164n^16.98188n^19.10876
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.trsn^12.21841n^12.01575n^19.73375n^110.4122
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.trsn^03.33795n^02.16098n^01.81901n^01.84521
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.trsn^24.96858n^25.2961n^26.95558n^24.86187
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trsn^11.74806n^15.29372n^17.28458n^18.10038
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.trsn^12.39795n^12.04162n^110.9789n^13.54705
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trsUnknown5.56858Inf1.92402n^19.04347n^116.7503
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trsUnknown4.92231n^15.32002n^111.7044n^116.193
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.trsn^14.0505n^15.8777n^16.25891n^1291.775
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.trsn^11.14646n^12.87478n^15.33603n^12.89414
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.trsn^01.2377n^01.8657n^01.89961n^02.24772
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.trsn^10.906172n^12.69923n^15.12272n^12.71427
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.trsUnknown3.82247Inf291.796Unknown291.856Unknown291.804
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.trsUnknown4.30136Inf292.02Unknown291.934Unknown291.915
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.trsn^11.23662n^11.92118n^16.08035n^18.74865
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.trsn^10.966478n^12.38219n^15.2902n^12.61443
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trsn^22.31942n^3291.778n^110.8395n^110.1246
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.trsn^15.66703n^12.08321n^15.73927n^111.4602
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.trsn^22.91812n^15.48145n^16.82151n^147.9058
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trsUnknown2.59557n^11.99774n^15.8568n^18.09616
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.trsUnknown2.69323n^27.85153n^2291.75n^215.4959
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trsn^02.69989n^01.85379n^01.86613n^02.62605
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trsUnknown5.90572Inf300.035Unknown292.054Inf292.023
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.trsInf294.178Inf291.759Unknown291.977Inf291.738
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.trsn^11.85787n^12.0664n^16.04124n^17.60622
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.trsn^14.41201n^12.02629n^140.298n^145.6768
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trsUnknown4.33084Inf1.91572n^110.3818Unknown300.036
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.trsUnknown2.63835Inf1.94738Inf38.6094Inf40.1364
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.trsn^00.976276n^01.84597n^03.18887n^01.84368
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.trsn^14.0685n^11.92998n^15.65943n^111.7631
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.trsUnknown3.17584Inf292.526Unknown291.835Inf291.795
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trsn^04.0992n^01.9111n^01.85388n^01.84636
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trsUnknown4.84526Inf1.88039Inf209.082Inf18.7797
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trsn^01.53771n^05.96861n^06.2672n^03.93402
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trsInf294.158Inf1.90613n^110.6182n^1291.771
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trsUnknown9.03331Inf1.96943n^111.998n^121.5466
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trsInf294.229Inf1.92256Unknown292.94Inf174.496
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.trsUnknown5.03386n^112.127n^145.8935n^111.9941
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trsInf198.225Inf291.988Unknown292.04Unknown291.857
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trsn^01.92742n^01.86465n^02.56579n^01.86657
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trsUnknown21.5026n^2291.896n^2291.818n^2291.935
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trsn^24.31921n^2291.777n^236.673n^139.8158
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.trsUnknown7.22202Inf291.808Unknown291.887Inf9.0761
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trsUnknown173.355Inf291.859Unknown292.347Inf6.44626
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trsUnknown6.70543Inf291.841Unknown292.154Unknown295.207
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.trsUnknown3.25435Inf1.94977Inf4.82865Inf6.2164
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trsUnknown4.99364Inf300.081Unknown300.077Inf295.503
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trsUnknown77.8707n^2291.81n^2292.665n^2292.093
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trsUnknown6.77956Inf291.919Unknown294.99Unknown292.0
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trsUnknown3.85093n^2291.867n^2291.815n^2291.839
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trsUnknown5.587Inf291.778Unknown292.435Inf297.64
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trsInf294.175Inf295.882Unknown294.002Inf294.699
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trsUnknown5.13014Inf291.889Unknown299.24Inf292.085
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trsUnknown0.0Inf296.019Unknown292.682Unknown293.264
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trsUnknown3.22908Inf298.116Unknown294.78Unknown294.24
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trsUnknown11.2034Inf300.072Unknown294.086Inf10.4304
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trsUnknown273.413n^2292.002n^2299.9n^2300.046
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trsUnknown5.56622Inf294.041Unknown292.014Inf6.28679
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trsUnknown37.1712Inf291.895Unknown292.047Inf11.2008
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trsUnknown147.798Inf296.334Unknown291.985Unknown292.145
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trsUnknown300.064Inf291.806Unknown291.941Unknown291.949
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trsUnknown12.662Inf291.939Unknown292.1Inf292.038
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trsUnknown3.32449n^5291.782n^5291.826n^5292.005
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trsUnknown11.0415Inf291.986Unknown293.384Inf295.455
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trsUnknown11.6995Inf291.919Unknown293.236Inf294.907
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trsUnknown5.75759Inf291.824Unknown291.968Inf291.85
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trsUnknown3.18608Inf295.143Unknown296.176Inf296.098
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trsUnknown6.52826Inf291.927Unknown292.002Inf291.839
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trsUnknown10.8291n^2292.276n^2298.436n^2291.912
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trsUnknown14.3514n^3292.081n^3291.94n^3291.849
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trsUnknown300.071n^3293.472n^3292.487n^3295.854
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.trsUnknown6.27746Inf291.805Unknown291.844Unknown291.818
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.trsn^13.01956n^110.2331n^15.92151n^16.28408
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.trsUnknown3.27329n^2291.752n^273.9348n^272.124
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.trsUnknown10.2546n^2291.792n^219.7092n^214.1013
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trsn^23.27904n^2291.81n^210.5662n^110.2011
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.trsn^13.20674n^18.53881n^15.14263n^15.93594
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trsUnknown103.925Inf291.827Unknown292.016Inf296.134
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.trsUnknown4.31135n^114.4166n^19.02189n^19.53632
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.trsInf186.954n^112.7973n^17.51887n^111.3137
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.trsInf294.378n^113.3622n^116.1524n^114.1802
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.trsUnknown0.0n^111.4265n^119.2942n^121.9524
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.trsn^23.61776n^3291.763n^116.2777n^17.52796
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.trsUnknown7.94048Inf291.788Unknown291.805Inf291.814
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.trsn^25.27803n^2291.785n^261.8948n^261.2188
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trsUnknown17.0666n^3294.279n^3291.899n^3295.443
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.trsn^14.03712n^11.98755n^16.6937n^111.0998
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.trsInf294.144Inf1.81825Inf39.2289Inf42.2437
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.trsInf294.204Inf1.95136Inf51.2284Inf52.3252
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.trsUnknown12.3846Inf1.88774Inf261.722Inf291.744
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.trsUnknown3.2646Inf1.83006Inf24.3657Inf25.5242
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.trsInf294.224Inf2.09373Inf58.2283Inf59.5677
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trsUnknown3.29899Inf1.89424Inf10.6449Inf10.5501
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.trsInf294.163Inf1.90917Inf65.1603Inf63.9918
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.trsUnknown32.9917Inf1.96009Inf6.13042Inf11.9256
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trsUnknown3.98758Inf1.90626Unknown296.504Inf297.538
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.trsInf294.154Inf1.87318Inf57.5651Inf59.2717
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.trsUnknown3.82326Inf1.9097Inf43.3019Inf42.7591
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trsInf294.153Inf2.02389Inf253.844Inf253.57
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trsInf294.204Inf1.89631Unknown291.779Unknown291.804
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trsn^13.59952n^15.72225n^18.11707n^115.4817
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.trsUnknown2.71424Inf1.88719Unknown291.844Unknown292.07
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trsInf294.17Inf1.94574Inf50.9434Inf51.6402
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trsUnknown2.58703Inf1.86295Unknown291.79Unknown291.788
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.trsInf294.154Inf2.08248Inf45.4341Inf43.4527
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trsInf213.393Inf1.94724Inf3.84037Inf8.81878
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.trsUnknown21.327Inf1.92199Inf13.2879Inf39.4652
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.trsUnknown3.74333Inf1.95416Inf11.4977Inf5.61164
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.trsUnknown4.8009Inf1.89863Inf24.5019Inf25.2952
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.trsInf91.4406Inf1.86648Inf4.63162Inf5.24569
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.trsUnknown3.15056Inf1.9113Inf42.2481Inf46.0001
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.trsUnknown4.30288Inf1.84705Inf65.4968Inf64.0135
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.trsUnknown7.53052Inf1.95265Unknown291.915Inf291.853
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.trsUnknown8.97619Inf1.90614Unknown291.811Inf291.784
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.trsInf294.129Inf2.0392Unknown291.798Inf291.823
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.trsInf217.442Inf1.87446Inf5.70249Inf14.6119
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.trsInf294.215Inf1.86852Unknown291.792Inf291.726
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.trsUnknown34.2681Inf2.26327Unknown291.738Inf291.716
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trsInf294.19Inf2.02617Unknown291.877Unknown291.906
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trsUnknown5.61217Inf1.90549Unknown291.957Inf291.924
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.trsInf294.032Inf1.95035Inf17.7501Inf19.0465
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.trsInf98.7642n^15.68129n^17.16517n^17.76187
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.trsUnknown3.16836n^112.9938n^110.9827n^111.3173
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.trsUnknown3.82487n^11.95659n^16.39837n^16.64291
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.trsUnknown17.1004Inf291.87Unknown292.121Unknown292.152
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.trsUnknown3.78598n^5291.787n^5291.763n^5291.756
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trsUnknown18.0795n^10291.88n^317.6243n^123.6977
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trsUnknown4.35129n^5291.808n^110.2865n^114.2066
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trsn^310.6548n^2291.808n^217.6197n^112.1651
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.trsUnknown4.99349Inf3.75383Unknown291.944Unknown291.993
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.trsUnknown6.88696Inf291.778Unknown292.013Unknown292.047
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.trsInf294.145Inf1.91497Inf8.95275Inf5.9195
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.trsUnknown7.48925Inf2.10476Unknown291.782Unknown291.774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.trsn^11.59774n^11.94456n^16.43969n^111.681
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.trsn^11.54755n^14.06784n^110.9726n^18.06901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.trsUnknown3.13502Inf1.8883Inf3.87325Inf5.62496
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.trsn^01.57831n^01.93254n^02.08337n^01.85658
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trsn^115.1836n^15.81276n^15.19679n^111.7357
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.trsInf9.45256Inf1.83688Inf3.90833Inf5.49774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.trsn^11.50764n^11.95801n^15.84939n^110.9473
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trsUnknown18.0051Inf296.626Unknown294.503Unknown299.833
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.trsInf294.199Inf300.029Unknown296.423Unknown294.764
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trsn^14.46177n^15.10968n^145.2918n^146.0546
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.trsInf9.42354Inf1.91917Inf5.87551Inf6.1768
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trsUnknown8.66819Inf300.101Unknown292.64Unknown299.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.trsUnknown0.0Inf291.747Unknown291.801Unknown291.787
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.trsUnknown3.15427Inf1.8556Inf4.02873Inf10.7758
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trsUnknown18.4218Inf292.173Unknown299.064Unknown300.034
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.trsn^14.54142n^2291.764n^212.4376n^214.5564
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.trsUnknown6.55674Inf2.18854Unknown291.84Unknown291.816
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.trsUnknown9.83319Inf292.821Unknown293.794Unknown293.847
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.trsUnknown26.7587Inf1.91404Unknown291.796Unknown291.744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.trsInf294.611Inf2.01633Inf6.31777Inf9.00722
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.trsn^11.75755n^01.85752n^01.88699n^01.87992
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.trsInf14.6632Inf1.90002Inf5.0697Inf6.25569
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.trsn^11.72761n^13.6346n^16.63135n^111.5704
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.trsn^12.39815n^15.19504n^16.68717n^112.4763
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.trsInf9.5823Inf1.88486Inf3.78266Inf6.00774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.trsn^13.75455n^11.91911n^17.5287n^17.94563
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trsUnknown128.549Inf300.104Unknown298.262Unknown296.581
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.trsn^01.43717n^01.89047n^01.87504n^01.84645
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trsInf295.67Inf300.094Unknown296.885Unknown300.109
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trsn^35.17881n^39.64116n^3291.844n^310.1056
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trsn^38.19095n^312.8531n^3296.022n^3291.863
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trsUnknown3.16474Inf300.059Unknown300.075Unknown292.908
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.trsn^01.03675n^01.88239n^03.69105n^01.88194
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trsn^15.60197n^15.02481n^111.094n^112.6107
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trsUnknown6.38829Inf300.073Unknown292.461Unknown292.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.trsn^12.07781n^112.4318n^16.26406n^110.2488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trsUnknown10.7714Inf300.089Unknown294.734Unknown300.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trsUnknown14.6183Inf292.017Unknown298.023Unknown292.948
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.trsn^00.947062n^01.87246n^01.87207n^01.86166
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.trsUnknown5.39088Inf295.342Unknown292.311Unknown295.091
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.trsUnknown13.6295Inf291.803Unknown291.852Unknown291.837
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.trsn^10.756143n^11.96275n^17.51388n^12.79334
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.trsUnknown3.47803Inf2.00176Inf184.855Inf196.145
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trsn^14.09062n^12.26736n^17.16207n^114.0084
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.trsn^11.49081n^01.92516n^01.84614n^01.86571
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trsn^12.00726n^01.86879n^01.84363n^01.87802
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trsUnknown20.8132Inf300.067Unknown300.028Unknown294.204
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trsUnknown7.5223Inf296.707Unknown291.997Unknown295.381
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trsInf294.176Inf300.064Unknown292.268Unknown294.445
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.trsn^11.86714n^15.28842n^16.28361n^114.5969
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trsn^01.79657n^02.66716n^01.86713n^01.85601
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trsn^13.59746n^12.13276n^1291.75n^1291.799
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trsUnknown32.9439Inf300.114Unknown298.133Unknown295.674
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.trsUnknown33.0244Inf291.837Unknown292.093Unknown291.998
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trsUnknown12.0808Inf300.124Unknown299.291Unknown297.272
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.trsUnknown10.5382Inf291.769Inf291.764Inf291.743
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trsInf296.145Inf300.111Unknown300.08Unknown294.985
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trsInf295.506Inf292.165Unknown294.405Unknown293.578
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trsInf294.182Inf299.857Unknown292.128Unknown292.108
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.trsn^13.68756n^01.86027n^01.84896n^01.85408
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trsInf295.531Inf293.733Unknown297.381Unknown293.617
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.trsn^12.5783n^14.81266n^112.0351n^113.0868
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trsInf294.157Inf303.191Unknown292.077Unknown291.999
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.trsn^01.62823n^02.01136n^01.83582n^01.81538
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.trsUnknown2.6637Inf7.90995Inf8.97753Inf7.14853
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.trsn^01.3674n^01.85676n^01.8499n^01.86012
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trsUnknown5.96887Inf300.067Unknown300.031Unknown300.069
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.trsn^00.906741n^01.87411n^01.81941n^01.85438
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.trsn^12.67837n^14.92941n^16.27467n^18.53845
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trsInf295.84Inf299.47Unknown299.468Unknown300.096
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.trsn^14.72119n^2291.781n^28.63933n^219.0836
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trsUnknown5.44938Inf291.908Unknown292.219Unknown292.276
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trsUnknown142.249Inf300.055Unknown298.493Unknown296.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.trsUnknown13.2684Inf291.732Inf172.611Inf169.977
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trsUnknown9.83416Inf291.96Unknown293.896Unknown296.646
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.trsn^02.26839n^01.85638n^01.89456n^01.8744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.trsUnknown5.95458Inf291.843Unknown292.023Unknown292.046
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trsUnknown0.0Inf292.174Unknown292.038Unknown292.149
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.trsUnknown3.73051Inf1.87093Inf8.42337Inf11.6131
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trsInf295.753Inf300.049Unknown296.296Unknown299.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.trsUnknown4.00662n^26.04238n^214.2887n^219.9189
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.trsn^11.48676n^12.8021n^16.06865n^17.66373
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.trsn^11.50732n^11.96235n^16.14137n^18.09117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.trsInf219.794Inf1.90279Inf5.10596Inf5.88008
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.trsInf294.182Inf2.8619Unknown300.036Unknown300.078
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.trsUnknown2.62669Inf300.041Unknown292.272Unknown292.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.trsUnknown7.14747Inf2.35825Unknown292.031Unknown292.031
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trsInf294.211Inf6.26477Unknown292.095Unknown291.901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.trsUnknown8.221Inf291.889Unknown292.019Unknown292.139
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trsUnknown3.81209Inf3.2339Unknown291.943Unknown291.839
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trsInf295.685Inf300.037Unknown294.582Unknown292.777
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trsUnknown12.4569Inf293.866Unknown295.97Unknown293.62
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.trsUnknown8.50226Inf295.842Unknown297.562Unknown299.696
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.trsn^12.02782n^01.86098n^01.86528n^01.82454
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.trsn^12.0568n^01.8397n^01.87963n^02.04301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trsUnknown18.9165Inf300.043Unknown299.898Unknown293.236
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trsUnknown7.59304Inf297.429Unknown296.592Unknown300.071
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trsn^14.07134n^15.13009n^116.4103n^118.5561
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trsUnknown54.4876Inf300.102Unknown292.796Unknown297.488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trsInf294.396Inf300.093Unknown297.317Unknown297.848
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trsInf295.689Inf292.431Unknown300.034Unknown299.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trsUnknown45.0165Inf300.127Unknown297.394Unknown294.163
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trsn^118.9941n^1291.875n^1291.828n^1291.917
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trsUnknown4.8536Inf300.07Unknown292.426Unknown294.997
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trsn^15.16966n^15.47714n^256.2048n^157.283
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trsInf295.828Inf298.764Unknown292.354Unknown295.211
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trsInf295.921Inf300.026Unknown295.714Unknown294.766
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trsUnknown20.3838Inf296.982Unknown297.141Unknown297.129
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trsUnknown109.731Inf300.048Unknown292.726Unknown293.301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trsUnknown7.60341Inf300.066Unknown297.768Unknown293.196
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trsUnknown4.29402Inf2.17984Unknown291.816Unknown291.749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trsInf294.086Inf1.98251Inf24.5544Inf26.9466
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trsUnknown5.9923Inf2.18393Unknown292.649Unknown292.135
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trsUnknown4.86912Inf6.7486Unknown295.987Unknown292.117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trsUnknown300.067Inf8.02545Unknown300.057Unknown292.995
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trsUnknown4.88802Inf21.4283Unknown295.224Unknown294.066
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trsUnknown22.1713Inf2.76083Unknown292.821Unknown300.038
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trsInf295.696Inf3.84463Unknown292.719Unknown294.984
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trsUnknown6.44755n^26.90693n^212.7307n^241.889
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.trsn^21.44683n^29.34533n^212.9293n^212.2217
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trsUnknown4.2953Inf297.366Unknown292.732Unknown298.545
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trsUnknown17.4479Inf2.46555Unknown296.386Unknown293.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trsInf296.068Inf296.376Unknown295.666Unknown296.959
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trsInf294.2Inf292.944Unknown297.119Unknown297.027
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trsInf296.386Inf294.28Unknown299.094Unknown296.695
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trsUnknown5.50526Inf300.082Unknown292.251Unknown292.85
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trsUnknown21.5972Inf118.997Unknown293.543Unknown292.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trsUnknown5.93265Inf10.9444Unknown293.028Unknown293.597
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trsUnknown5.03433Inf2.63979Unknown292.129Unknown292.134
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trsUnknown2.63505Inf2.38074Unknown292.195Unknown293.333
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.trsInf294.295Inf2.13487Inf243.72Inf246.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trsInf295.812Inf39.2483Unknown294.846Unknown297.447
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trsUnknown6.93822Inf299.594Unknown295.99Unknown296.138
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trsUnknown58.9242Inf295.055Unknown293.009Unknown292.467
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trsUnknown6.14161Inf300.077Unknown297.423Unknown293.324
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trsUnknown3.17124Inf292.601Unknown298.022Unknown296.482
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trsn^12.30665n^12.99855n^17.36314n^12.70842
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.trsn^11.06648n^12.01378n^16.73798n^12.52749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trsUnknown8.35336Inf298.991Unknown292.078Unknown292.205
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trsInf294.131Inf291.863Unknown295.04Unknown292.627
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trsInf234.462n^01.81763n^01.85789n^01.8881
Runtime_Complexity_Innermost_Rewriting/Various_04/15.trsn^11.54748n^12.42972n^15.97442n^12.4773
Runtime_Complexity_Innermost_Rewriting/Various_04/22.trsn^12.2472n^15.7299n^16.80679n^212.8774
Runtime_Complexity_Innermost_Rewriting/Various_04/24.trsn^25.43028n^13.54534n^1291.933n^13.18788
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.trsn^12.75714n^11.97502n^143.8218n^144.1197
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.trsn^13.99663n^11.91989n^172.3559n^174.479
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.trsInf97.8743Inf291.976Unknown291.755Unknown291.719
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.trsInf101.335Inf291.752Inf5.01983Inf11.2777
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.trsUnknown3.79332Inf291.716Inf5.05258Inf6.44839
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.trsUnknown159.587Inf292.013Unknown294.772Unknown296.389
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.trsUnknown6.45614Inf296.56Unknown300.109Unknown292.666
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.trsUnknown3.91598Inf300.083Unknown292.299Unknown292.617
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.trsUnknown20.6499Inf298.297Unknown292.614Unknown292.596
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.trsUnknown13.6589Inf291.839Unknown292.0Unknown292.136
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.trsInf294.167Inf292.51Unknown293.355Unknown292.072
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.trsUnknown4.5016Inf294.256Unknown292.554Unknown292.411
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.trsUnknown7.97179n^12.93355n^1300.08n^1300.062
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.trsInf294.147Inf291.857Unknown299.586Unknown297.09
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.trsUnknown2.60359Inf292.162Unknown292.003Unknown292.056
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.trsn^13.02833n^12.59212n^14.58529n^15.09612
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trsUnknown18.8315Inf291.949Unknown293.153Unknown292.135
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trsn^14.79374n^12.14433n^149.8724n^110.0954
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.trsn^14.04981n^12.6326n^110.4114n^111.2993
Runtime_Complexity_Innermost_Rewriting/hoca/id.trsn^12.95047n^11.98795n^111.2945n^12.78811
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.trsn^36.80149n^2291.773n^210.6591n^219.8268
Runtime_Complexity_Innermost_Rewriting/hoca/isort.trsn^35.7199n^2291.79n^29.90876n^217.1254
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trsn^24.84844n^2291.751n^115.7895n^17.73938
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trsInf294.221Inf293.458Unknown293.424Inf292.141
Runtime_Complexity_Innermost_Rewriting/hoca/mss.trsUnknown15.5137Inf291.885Unknown291.827Inf291.798
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.trsn^14.04957n^12.05092n^112.2355n^12.90364
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.trsn^14.03938n^12.13074n^111.8211n^12.63671
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.trsn^11.32697n^11.92577n^110.7245n^12.6632
Runtime_Complexity_Innermost_Rewriting/hoca/sum.trsn^12.74735n^12.03244n^17.01806n^12.81162
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trsUnknown49.3601Inf291.754Unknown291.854Inf291.773
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trsUnknown5.67448n^18.80159n^113.2261n^110.0299
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trsUnknown21.5255Inf294.304Unknown297.655Unknown300.027
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trsUnknown6.35683Inf291.833Unknown292.138Inf291.887
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trsUnknown39.4839n^5300.033n^5296.884n^5296.735
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trsUnknown27.1701n^2291.813n^131.5196n^134.4873
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trsUnknown16.8769n^2291.834n^217.8627n^252.6359
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trsn^210.2752n^2291.836n^119.0841n^132.8686
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trsUnknown20.2572n^2300.024n^2293.688n^2295.292
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trsUnknown3.73416n^2291.811n^221.4648n^248.5532
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trsn^237.3077n^2292.03n^2292.978n^2294.075
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trsn^322.0506n^2292.3n^2291.87n^2292.521
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trsn^251.7109n^2300.036n^2292.312n^2292.217
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trsUnknown46.66Inf291.948Unknown292.871Unknown292.587
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trsUnknown43.1806Inf291.799Unknown291.926Inf291.954
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.trsUnknown2.65078n^2291.84n^214.1145n^226.8206
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.trsUnknown11.5139Inf295.948Unknown294.327Unknown294.165
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trsUnknown50.8933n^259.4584n^2293.315n^2296.134
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.trsUnknown0.743995n^12.19916n^114.8951n^121.14
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trsUnknown43.0106n^3292.214n^3292.223n^3292.57
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.trsn^29.23845n^2291.767n^25.1754n^28.61026