Lower bounds:
50521: AProVE parallel complexity Sec 3 + 4
benchmark nameresult 50521time 50521
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.trsn^17.67624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.trsn^1292.028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.trsn^36.13115
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trsn^1291.761
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.trsUnknown10.5918
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.trsUnknown12.1049
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trsn^117.1217
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.trsn^15.96492
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.trsn^17.40834
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.trsn^12.75929
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.trsUnknown292.685
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trsUnknown7.449
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.trsUnknown1.87226
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.trsn^112.5937
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.trsn^1291.786
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.trsUnknown8.07094
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trsUnknown3.7907
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.trsn^110.4555
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trsn^111.7434
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.trsUnknown12.2028
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trsn^111.3645
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.trsUnknown291.731
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.trsn^115.2702
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.trsUnknown8.40808
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trsn^320.4219
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.trsUnknown8.21024
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trsn^2293.343
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.trsn^110.8624
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.trsn^117.1722
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.trsn^112.4091
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.trsn^112.2206
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.trsn^121.3863
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.trsn^16.73866
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.trsn^110.9872
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.trsn^1292.001
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.trsn^124.6355
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trsn^1294.772
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trsn^1291.982
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.trsUnknown9.31545
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.trsUnknown292.488
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.trsUnknown291.828
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.trsUnknown291.912
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.trsUnknown14.5839
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.trsUnknown291.805
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.trsn^1291.774
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trsn^11291.861
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trsUnknown294.357
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trsUnknown291.901
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trsn^1291.781
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trsn^2292.669
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.trsn^129.0097
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trsn^2291.835
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trsn^1291.797
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trsUnknown295.741
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trsn^167.0503
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trsn^1291.841
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.trsn^1291.708
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trsn^1294.379
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.trsn^112.9791
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trsn^1293.344
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.trsn^1291.731
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.trsn^1291.779
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.trsn^1291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trsn^1291.834
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.trsUnknown291.836
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.trsn^2293.012
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.trsn^1292.308
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trsUnknown291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trsn^1292.079
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trsn^315.9718
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trsn^1296.704
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trsn^1292.541
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trsn^138.3491
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trsn^1292.512
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trsUnknown291.787
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trsn^112.7475
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trsn^1292.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trsn^1291.77
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trsUnknown291.975
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trsn^1293.713
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trsn^1291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trsUnknown292.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trsn^1296.764
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trsn^1292.154
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.trsUnknown291.883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.trsn^1291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.trsn^1293.027
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.trsn^1291.753
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.trsn^112.0883
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.trsn^2291.755
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.trsn^1291.761
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trsUnknown291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.trsn^1291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trsUnknown291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.trsn^2291.826
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.trsn^1294.828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.trsn^1291.75
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trsn^2291.809
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.trsn^1292.126
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.trsn^1291.926
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.trsn^1291.752
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trsn^1292.101
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trsn^1291.782
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trsn^111.4828
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.trsn^1291.804
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.trsUnknown291.889
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trsn^1293.34
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trsn^1291.773
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trsn^2295.024
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trsn^2292.06
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trsn^2291.843
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trsn^215.9229
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.trsn^1291.818
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.trsn^1291.775
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.trsn^1291.807
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.trsn^1291.847
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trsn^113.1498
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.trsn^117.7378
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trsn^2293.783
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.trsn^2294.04
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trsn^1294.143
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.trsn^1291.788
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trsn^1291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trsn^1294.206
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trsn^1291.963
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trsn^1291.783
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trsn^1177.71
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trsn^1115.333
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trsn^1291.768
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trsn^1291.745
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trsn^1291.772
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.trsn^1291.752
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trsn^1291.803
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trsn^1291.765
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trsn^1291.897
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trsUnknown291.854
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trsUnknown291.865
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trsn^1130.816
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trsUnknown291.887
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trsUnknown291.866
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trsUnknown119.121
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trsUnknown292.206
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trsUnknown291.838
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trsn^122.249
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.trsn^111.1923
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trsUnknown291.915
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trsn^1108.449
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trsn^1225.193
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trsUnknown291.91
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trsUnknown291.835
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.trsUnknown291.896
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trsn^110.9579
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trsUnknown11.2909
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.trsn^18.57296
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.trsUnknown6.14014
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.trsn^1291.822
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.trsn^1291.851
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.trsn^1291.983
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trsUnknown291.964
Runtime_Complexity_Innermost_Rewriting/Der95/06.trsn^12.82211
Runtime_Complexity_Innermost_Rewriting/Der95/08.trsUnknown12.9871
Runtime_Complexity_Innermost_Rewriting/Der95/11.trsUnknown16.0487
Runtime_Complexity_Innermost_Rewriting/Der95/18.trsUnknown13.3043
Runtime_Complexity_Innermost_Rewriting/Der95/21.trsUnknown5.28054
Runtime_Complexity_Innermost_Rewriting/Der95/27.trsn^13.82465
Runtime_Complexity_Innermost_Rewriting/Der95/32.trsn^116.5192
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.trsUnknown298.231
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.trsUnknown291.785
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.trsUnknown58.4236
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.trsUnknown11.2783
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.trsUnknown57.7998
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.trsn^12.48708
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.trsn^127.6073
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.trsUnknown291.81
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trsn^1291.811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.trsn^111.0023
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.trsn^19.39907
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trsUnknown4.61106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.trsn^16.28525
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.trsUnknown7.58826
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.trsn^113.9954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trsUnknown9.3872
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.trsn^19.00381
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trsn^1293.14
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trsUnknown300.054
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.trsUnknown291.738
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trsUnknown295.716
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.trsn^111.3489
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trsUnknown293.65
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.trsUnknown291.73
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.trsn^12.40791
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trsn^110.2831
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trsUnknown99.7994
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.trsn^112.3099
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.trsn^112.3468
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trsUnknown200.867
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.trsn^1291.912
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.trsn^36.33508
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.trsn^313.8289
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.trsn^24.44862
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.trsn^17.93726
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.trsUnknown9.09222
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.trsn^1291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.trsn^1291.737
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.trsUnknown11.6164
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.trsUnknown11.4504
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.trsn^120.9364
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.trsUnknown296.674
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trsUnknown292.556
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.trsn^1291.77
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trsn^1294.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.trsn^13.60622
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trsn^18.39202
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.trsn^211.4527
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.trsUnknown13.8885
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.trsn^1291.934
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trsUnknown291.892
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.trsUnknown300.028
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trsUnknown291.877
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.trsUnknown7.67574
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.trsn^1291.799
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.trsUnknown291.792
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.trsUnknown291.744
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.trsUnknown5.73972
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trsUnknown12.4569
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.trsUnknown10.2499
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trsn^18.57057
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trsUnknown12.9993
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.trsn^12.62967
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.trsn^16.57668
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trsUnknown291.876
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trsUnknown31.2352
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.trsUnknown45.106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.trsn^133.2278
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.trsn^1295.117
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.trsUnknown299.526
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.trsUnknown295.842
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.trsn^1292.307
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.trsUnknown16.1963
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.trsUnknown18.7954
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.trsn^125.0685
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.trsn^1292.072
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.trsn^12.94444
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.trsn^12.97811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.trsn^16.48449
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.trsn^124.7639
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.trsUnknown291.816
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.trsn^147.8915
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trsn^1291.828
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trsn^1294.896
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.trsn^2293.549
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trsUnknown291.847
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trsn^115.5908
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.trsn^1291.732
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.trsn^1291.734
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.trsUnknown291.997
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.trsn^1291.899
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.trsn^1291.807
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trsn^1291.861
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trsn^1291.878
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trsn^1291.794
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.trsn^1291.743
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trsn^1291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.trsn^1291.736
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.trsn^1291.779
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trsUnknown3.56874
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.trsn^1291.766
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trsn^2295.956
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.trsUnknown5.60688
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.trsUnknown7.12367
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.trsUnknown5.49038
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.trsUnknown291.748
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.trsUnknown28.7425
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.trsUnknown10.1739
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trsn^138.8032
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trsn^110.3874
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trsn^134.0069
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.trsUnknown2.84081
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trsUnknown292.151
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.trsn^13.85415
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.trsn^1291.833
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trsUnknown13.2878
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.trsUnknown295.363
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.trsn^1291.766
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trsUnknown291.851
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trsUnknown294.063
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trsUnknown295.312
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.trsn^12.55608
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.trsUnknown9.08203
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.trsUnknown8.51133
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.trsUnknown291.782
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.trsn^17.14656
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trsn^1294.698
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trsUnknown291.772
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trsn^128.4648
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.trsUnknown20.0871
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.trsn^1291.72
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trsn^13.21218
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.trsn^115.3034
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.trsn^117.9367
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trsn^145.781
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.trsn^116.407
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.trsn^16.55639
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.trsUnknown11.1329
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.trsn^19.24603
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trsUnknown295.35
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.trsUnknown2.57224
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.trsUnknown291.737
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trsUnknown13.1152
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.trsUnknown7.75373
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trsn^2298.213
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trsn^1292.038
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trsn^2292.103
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.trsn^15.91097
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.trsUnknown12.5723
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.trsUnknown12.8507
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.trsn^14.47366
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.trsUnknown12.067
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trsn^1291.745
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.trsUnknown11.9617
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trsUnknown291.737
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.trsn^113.3708
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.trsn^16.89297
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.trsn^111.9925
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trsn^119.2368
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trsn^17.15144
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trsn^198.5986
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.trsUnknown13.0759
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.trsUnknown5.86461
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trsn^1100.251
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trsn^1294.808
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trsUnknown12.8948
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.trsUnknown291.832
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.trsUnknown300.077
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trsn^1122.062
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.trsUnknown2.0686
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.trsUnknown9.10876
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.trsUnknown10.4122
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.trsUnknown1.84521
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.trsn^24.86187
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trsUnknown8.10038
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.trsn^13.54705
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trsUnknown16.7503
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trsUnknown16.193
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.trsUnknown291.775
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.trsn^12.89414
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.trsUnknown2.24772
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.trsn^12.71427
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.trsUnknown291.804
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.trsUnknown291.915
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.trsUnknown8.74865
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.trsn^12.61443
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trsUnknown10.1246
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.trsUnknown11.4602
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.trsUnknown47.9058
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trsUnknown8.09616
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.trsn^215.4959
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trsUnknown2.62605
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trsn^1292.023
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.trsn^1291.738
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.trsUnknown7.60622
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.trsn^145.6768
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trsUnknown300.036
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.trsUnknown40.1364
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.trsUnknown1.84368
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.trsUnknown11.7631
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.trsn^1291.795
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trsUnknown1.84636
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trsUnknown18.7797
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trsUnknown3.93402
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trsUnknown291.771
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trsn^121.5466
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trsUnknown174.496
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.trsn^111.9941
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trsUnknown291.857
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trsUnknown1.86657
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trsUnknown291.935
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trsUnknown39.8158
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.trsUnknown9.0761
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trsUnknown6.44626
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trsUnknown295.207
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.trsUnknown6.2164
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trsn^1295.503
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trsn^1292.093
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trsUnknown292.0
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trsn^1291.839
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trsn^2297.64
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trsn^2294.699
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trsn^2292.085
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trsUnknown293.264
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trsUnknown294.24
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trsUnknown10.4304
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trsUnknown300.046
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trsUnknown6.28679
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trsUnknown11.2008
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trsUnknown292.145
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trsUnknown291.949
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trsn^1292.038
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trsUnknown292.005
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trsn^1295.455
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trsn^1294.907
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trsn^1291.85
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trsn^1296.098
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trsn^1291.839
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trsUnknown291.912
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trsUnknown291.849
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trsn^1295.854
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.trsUnknown291.818
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.trsn^16.28408
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.trsn^172.124
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.trsn^114.1013
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trsn^110.2011
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.trsn^15.93594
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trsn^1296.134
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.trsn^19.53632
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.trsn^111.3137
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.trsn^114.1802
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.trsUnknown21.9524
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.trsUnknown7.52796
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.trsn^1291.814
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.trsn^161.2188
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trsn^2295.443
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.trsUnknown11.0998
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.trsn^142.2437
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.trsn^152.3252
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.trsn^2291.744
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.trsUnknown25.5242
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.trsUnknown59.5677
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trsn^110.5501
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.trsn^163.9918
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.trsUnknown11.9256
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trsn^3297.538
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.trsn^159.2717
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.trsn^142.7591
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trsn^1253.57
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trsUnknown291.804
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trsn^115.4817
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.trsUnknown292.07
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trsUnknown51.6402
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trsUnknown291.788
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.trsn^143.4527
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trsUnknown8.81878
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.trsn^139.4652
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.trsUnknown5.61164
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.trsUnknown25.2952
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.trsUnknown5.24569
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.trsn^146.0001
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.trsn^164.0135
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.trsn^1291.853
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.trsn^1291.784
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.trsn^2291.823
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.trsUnknown14.6119
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.trsn^1291.726
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.trsn^1291.716
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trsUnknown291.906
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trsn^2291.924
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.trsUnknown19.0465
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.trsn^17.76187
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.trsn^111.3173
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.trsn^16.64291
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.trsUnknown292.152
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.trsUnknown291.756
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trsn^123.6977
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trsn^114.2066
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trsn^112.1651
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.trsUnknown291.993
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.trsUnknown292.047
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.trsUnknown5.9195
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.trsUnknown291.774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.trsUnknown11.681
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.trsUnknown8.06901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.trsUnknown5.62496
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.trsUnknown1.85658
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trsUnknown11.7357
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.trsUnknown5.49774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.trsUnknown10.9473
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trsUnknown299.833
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.trsUnknown294.764
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trsUnknown46.0546
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.trsUnknown6.1768
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trsUnknown299.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.trsUnknown291.787
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.trsUnknown10.7758
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trsUnknown300.034
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.trsUnknown14.5564
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.trsUnknown291.816
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.trsUnknown293.847
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.trsUnknown291.744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.trsUnknown9.00722
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.trsUnknown1.87992
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.trsUnknown6.25569
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.trsUnknown11.5704
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.trsUnknown12.4763
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.trsUnknown6.00774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.trsUnknown7.94563
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trsUnknown296.581
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.trsUnknown1.84645
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trsUnknown300.109
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trsn^310.1056
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trsUnknown291.863
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trsUnknown292.908
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.trsUnknown1.88194
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trsUnknown12.6107
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trsUnknown292.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.trsUnknown10.2488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trsUnknown300.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trsUnknown292.948
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.trsUnknown1.86166
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.trsUnknown295.091
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.trsUnknown291.837
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.trsn^12.79334
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.trsUnknown196.145
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trsUnknown14.0084
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.trsUnknown1.86571
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trsUnknown1.87802
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trsUnknown294.204
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trsUnknown295.381
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trsUnknown294.445
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.trsUnknown14.5969
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trsUnknown1.85601
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trsUnknown291.799
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trsUnknown295.674
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.trsUnknown291.998
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trsUnknown297.272
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.trsUnknown291.743
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trsUnknown294.985
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trsUnknown293.578
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trsUnknown292.108
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.trsUnknown1.85408
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trsUnknown293.617
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.trsUnknown13.0868
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trsUnknown291.999
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.trsUnknown1.81538
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.trsUnknown7.14853
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.trsUnknown1.86012
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trsUnknown300.069
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.trsUnknown1.85438
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.trsUnknown8.53845
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trsUnknown300.096
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.trsUnknown19.0836
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trsUnknown292.276
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trsUnknown296.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.trsUnknown169.977
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trsUnknown296.646
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.trsUnknown1.8744
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.trsUnknown292.046
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trsUnknown292.149
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.trsUnknown11.6131
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trsUnknown299.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.trsUnknown19.9189
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.trsUnknown7.66373
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.trsUnknown8.09117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.trsUnknown5.88008
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.trsUnknown300.078
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.trsUnknown292.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.trsUnknown292.031
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trsUnknown291.901
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.trsUnknown292.139
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trsUnknown291.839
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trsUnknown292.777
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trsUnknown293.62
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.trsUnknown299.696
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.trsUnknown1.82454
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.trsUnknown2.04301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trsUnknown293.236
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trsUnknown300.071
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trsUnknown18.5561
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trsUnknown297.488
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trsUnknown297.848
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trsUnknown299.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trsUnknown294.163
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trsUnknown291.917
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trsUnknown294.997
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trsUnknown57.283
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trsUnknown295.211
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trsUnknown294.766
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trsUnknown297.129
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trsUnknown293.301
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trsUnknown293.196
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trsUnknown291.749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trsUnknown26.9466
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trsUnknown292.135
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trsUnknown292.117
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trsUnknown292.995
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trsUnknown294.066
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trsUnknown300.038
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trsUnknown294.984
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trsn^141.889
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.trsn^212.2217
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trsUnknown298.545
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trsUnknown293.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trsUnknown296.959
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trsUnknown297.027
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trsUnknown296.695
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trsUnknown292.85
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trsUnknown292.245
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trsUnknown293.597
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trsUnknown292.134
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trsUnknown293.333
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.trsUnknown246.846
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trsUnknown297.447
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trsUnknown296.138
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trsUnknown292.467
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trsUnknown293.324
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trsUnknown296.482
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trsn^12.70842
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.trsn^12.52749
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trsUnknown292.205
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trsUnknown292.627
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trsUnknown1.8881
Runtime_Complexity_Innermost_Rewriting/Various_04/15.trsn^12.4773
Runtime_Complexity_Innermost_Rewriting/Various_04/22.trsn^112.8774
Runtime_Complexity_Innermost_Rewriting/Various_04/24.trsn^13.18788
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.trsUnknown44.1197
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.trsUnknown74.479
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.trsUnknown291.719
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.trsUnknown11.2777
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.trsUnknown6.44839
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.trsUnknown296.389
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.trsUnknown292.666
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.trsUnknown292.617
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.trsUnknown292.596
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.trsUnknown292.136
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.trsUnknown292.072
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.trsUnknown292.411
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.trsUnknown300.062
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.trsUnknown297.09
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.trsUnknown292.056
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.trsn^15.09612
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trsUnknown292.135
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trsn^110.0954
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.trsn^111.2993
Runtime_Complexity_Innermost_Rewriting/hoca/id.trsn^12.78811
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.trsn^119.8268
Runtime_Complexity_Innermost_Rewriting/hoca/isort.trsn^117.1254
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trsn^17.73938
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trsn^1292.141
Runtime_Complexity_Innermost_Rewriting/hoca/mss.trsn^1291.798
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.trsn^12.90364
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.trsn^12.63671
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.trsn^12.6632
Runtime_Complexity_Innermost_Rewriting/hoca/sum.trsn^12.81162
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trsn^2291.773
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trsn^110.0299
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trsUnknown300.027
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trsn^1291.887
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trsUnknown296.735
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trsn^134.4873
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trsn^152.6359
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trsn^132.8686
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trsUnknown295.292
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trsn^148.5532
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trsUnknown294.075
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trsUnknown292.521
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trsUnknown292.217
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trsUnknown292.587
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trsn^1291.954
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.trsUnknown26.8206
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.trsUnknown294.165
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trsn^1296.134
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.trsn^121.14
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trsUnknown292.57
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.trsn^18.61026