Lower bounds:
800050521: AProVE parallel complexity Sec 3 + 4
benchmark nameresult 800050521time 800050521
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trsn^1291.761
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trsn^117.1217
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trsUnknown7.449
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trsUnknown3.7907
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trsn^111.7434
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trsn^111.3645
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trsn^320.4219
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trsn^2293.343
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_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/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/otto04.trsn^1294.379
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trsn^1293.344
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trsn^1291.834
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/thiemann26.trsUnknown291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trsUnknown291.769
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trsn^2291.809
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_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/gcdhard.trsn^113.1498
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trsn^2293.783
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trsn^1294.143
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/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/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/append-hard.trsn^110.9579
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trsUnknown11.2909
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trsUnknown291.964
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/Frederiksen_Glenstrup/binom.trsn^1291.811
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trsUnknown4.61106
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trsUnknown9.3872
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/int.trsUnknown295.716
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trsUnknown293.65
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/mergesort.trsUnknown200.867
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trsUnknown292.556
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trsn^1294.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trsn^18.39202
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trsUnknown291.892
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trsUnknown291.877
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trsUnknown12.4569
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/fgh.trsUnknown291.876
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trsUnknown31.2352
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/strmatch.trsUnknown291.847
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trsn^115.5908
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/cade12t.trsn^1291.898
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trsUnknown3.56874
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trsn^2295.956
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/t009.trsUnknown292.151
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trsUnknown13.2878
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/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/Rubio_04/bintrees.trsn^13.21218
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trsn^145.781
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trsUnknown295.35
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trsUnknown13.1152
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/SK90/2.12.trsn^1291.745
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trsUnknown291.737
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.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.29.trsn^1122.062
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trsUnknown8.10038
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trsUnknown16.7503
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trsUnknown16.193
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trsUnknown10.1246
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trsUnknown8.09616
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.31.trsUnknown300.036
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/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/tpa4.trsUnknown6.44626
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trsUnknown295.207
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/Strategy_removed_AG01/#4.27.trsn^110.2011
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trsn^1296.134
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trsn^2295.443
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trsn^110.5501
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trsn^3297.538
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_7_37_Bor03.trsUnknown291.788
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/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/Ex15_Luc98_GM.trsUnknown11.7357
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trsUnknown299.833
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trsUnknown46.0546
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trsUnknown299.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trsUnknown300.034
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trsUnknown296.581
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_Z.trsUnknown12.6107
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trsUnknown292.19
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/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_DLMMU04_GM.trsUnknown295.674
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trsUnknown297.272
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/Ex6_15_AEL02_GM.trsUnknown293.617
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trsUnknown291.999
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trsUnknown300.069
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trsUnknown300.096
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/Ex9_BLR02_GM.trsUnknown296.646
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trsUnknown292.149
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trsUnknown299.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trsUnknown291.901
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/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/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_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_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_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/hoca/fib_llist.trsUnknown292.135
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trsn^110.0954
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trsn^17.73938
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trsn^1292.141
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/quicksort.raml.trsn^1296.134
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trsUnknown292.57