Upper bounds on parallelisable examples:
800050420: TcT sequential complexity
800050523: AProVE sequential complexity
800050522: AProVE parallel complexity Sec 3
800050521: AProVE parallel complexity Sec 3 + 4
benchmark nameresult 800050420time 800050420result 800050523time 800050523result 800050522time 800050522result 800050521time 800050521
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trsUnknown300.08Inf291.913n^234.712n^2291.761
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trsUnknown6.10992n^111.3227n^1291.847n^117.1217
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trsUnknown2.64503Inf1.89967n^14.20576Inf7.449
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trsInf294.151Inf2.81294Unknown291.839Inf3.7907
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trsn^14.07913n^16.06314n^114.0134n^111.7434
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trsn^23.57047n^2291.744n^113.2738n^111.3645
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trsn^313.125n^38.68178n^316.3235n^320.4219
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trsUnknown19.3615Inf291.939Unknown295.193Inf293.343
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_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/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/otto04.trsUnknown0.0Inf1.9369Unknown294.047Inf294.379
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trsUnknown13.4985n^2292.043n^2292.139n^2293.344
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trsUnknown0.0Inf291.858Unknown291.893n^2291.834
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/thiemann26.trsUnknown7.5585n^116.5306n^1291.785n^1291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trsUnknown4.33628n^114.2628n^1291.786n^1291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trsUnknown7.56481Inf291.819Unknown291.993Inf291.809
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_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/gcdhard.trsUnknown5.63636n^113.4741n^1291.822n^113.1498
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trsInf294.225Inf294.809Unknown294.876Inf293.783
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trsInf294.236Inf294.021Unknown292.553Inf294.143
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/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/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/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/list-sum-prod.trsUnknown7.64077Inf291.871Unknown292.003Unknown291.964
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/Frederiksen_Glenstrup/binom.trsUnknown3.32149Inf2.02446Unknown295.881Inf291.811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trsUnknown3.91267Inf2.26815n^112.5659Inf4.61106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trsn^13.55954n^19.8353n^19.00467n^19.3872
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/int.trsUnknown116.858Inf300.107Unknown300.055Unknown295.716
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trsUnknown12.5618Inf291.848Unknown292.69Unknown293.65
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/mergesort.trsUnknown13.4858Inf291.772Unknown291.994n^2200.867
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trsUnknown300.077Inf3.03414Unknown292.212Unknown292.556
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trsUnknown7.9433Inf294.995Unknown291.945Inf294.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trsn^24.02952n^2291.807n^211.0319n^18.39202
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trsUnknown5.87824Inf3.11273Unknown291.862Unknown291.892
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trsUnknown30.1309Inf40.8462n^120.0905n^1291.877
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trsn^13.21062n^12.19584n^111.7034n^112.4569
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/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/quicksortSize.trsUnknown9.17388Inf292.966Unknown293.456Inf291.828
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trsUnknown43.3518Inf298.738Unknown292.871Inf294.896
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/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/cade12t.trsInf294.143n^2297.908n^2291.804n^2291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trsUnknown5.55923Inf1.9515Unknown299.66Inf3.56874
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trsUnknown9.6629Inf300.066Unknown295.078Inf295.956
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/t009.trsUnknown39.5342Inf292.037Unknown292.041Unknown292.151
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trsn^24.13923n^15.96764n^18.6202n^113.2878
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/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/Rubio_04/bintrees.trsn^13.17351n^12.02776n^19.19508n^13.21218
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trsUnknown4.32583n^2291.786n^223.6575n^245.781
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trsUnknown12.678Inf300.044Unknown300.102Unknown295.35
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trsn^16.40615n^111.7089n^111.9904n^113.1152
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/SK90/2.12.trsUnknown4.30494n^37.68128n^311.5279n^3291.745
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trsUnknown3.16895Inf1.91034n^17.61133n^1291.737
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.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.29.trsn^13.0988n^15.53375n^17.20713n^1122.062
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trsn^11.74806n^15.29372n^17.28458n^18.10038
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/4.05.trsn^22.31942n^3291.778n^110.8395n^110.1246
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trsUnknown2.59557n^11.99774n^15.8568n^18.09616
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.31.trsUnknown4.33084Inf1.91572n^110.3818Unknown300.036
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/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/tpa4.trsUnknown173.355Inf291.859Unknown292.347Inf6.44626
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trsUnknown6.70543Inf291.841Unknown292.154Unknown295.207
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/Strategy_removed_AG01/#4.27.trsn^23.27904n^2291.81n^210.5662n^110.2011
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trsUnknown103.925Inf291.827Unknown292.016Inf296.134
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trsUnknown17.0666n^3294.279n^3291.899n^3295.443
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trsUnknown3.29899Inf1.89424Inf10.6449Inf10.5501
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trsUnknown3.98758Inf1.90626Unknown296.504Inf297.538
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_7_37_Bor03.trsUnknown2.58703Inf1.86295Unknown291.79Unknown291.788
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/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/Ex15_Luc98_GM.trsn^115.1836n^15.81276n^15.19679n^111.7357
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trsUnknown18.0051Inf296.626Unknown294.503Unknown299.833
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_GM03_GM.trsUnknown8.66819Inf300.101Unknown292.64Unknown299.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trsUnknown18.4218Inf292.173Unknown299.064Unknown300.034
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trsUnknown128.549Inf300.104Unknown298.262Unknown296.581
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_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_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/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_DLMMU04_GM.trsUnknown32.9439Inf300.114Unknown298.133Unknown295.674
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trsUnknown12.0808Inf300.124Unknown299.291Unknown297.272
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/Ex6_15_AEL02_GM.trsInf295.531Inf293.733Unknown297.381Unknown293.617
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trsInf294.157Inf303.191Unknown292.077Unknown291.999
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trsUnknown5.96887Inf300.067Unknown300.031Unknown300.069
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trsInf295.84Inf299.47Unknown299.468Unknown300.096
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/Ex9_BLR02_GM.trsUnknown9.83416Inf291.96Unknown293.896Unknown296.646
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trsUnknown0.0Inf292.174Unknown292.038Unknown292.149
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trsInf295.753Inf300.049Unknown296.296Unknown299.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trsInf294.211Inf6.26477Unknown292.095Unknown291.901
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/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/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_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_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_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/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/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/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/quicksort.raml.trsUnknown50.8933n^259.4584n^2293.315n^2296.134
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trsUnknown43.0106n^3292.214n^3292.223n^3292.57