Lower bounds:
59275: AProVE parallel complexity Sec 3 + 4, non-overlapping
59277: AProVE parallel complexity Sec 3 + 4, no non-trivial innermost critical overlay
benchmark nameresult 59275time 59275
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trsn^1291.825
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trsUnknown291.748
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trsUnknown3.82975
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trsUnknown4.3034
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trsn^18.67037
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trsUnknown8.6915
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trsn^319.8204
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trsn^2291.866
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trsUnknown299.836
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trsn^1291.805
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trsn^11292.304
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trsUnknown292.879
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trsUnknown291.927
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trsn^1291.978
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trsn^2294.833
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trsn^2291.798
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trsn^1291.72
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trsUnknown291.934
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trsn^159.3677
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trsn^1291.807
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trsn^1296.831
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trsn^1292.049
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trsn^1292.0
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trsUnknown291.984
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trsn^1296.889
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trsn^316.1493
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trsn^1294.768
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trsn^1292.307
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trsn^139.8424
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trsn^1294.027
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trsUnknown291.793
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trsn^112.0162
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trsn^1291.838
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trsn^1291.755
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trsUnknown291.847
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trsn^1296.743
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trsn^1291.822
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trsUnknown293.566
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trsn^1294.685
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trsn^1292.143
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trsUnknown291.655
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trsUnknown291.7
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trsn^2291.823
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trsn^1291.722
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trsn^1291.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trsUnknown12.3514
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trsn^1292.342
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trsn^1291.782
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trsn^2293.824
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trsn^2291.848
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trsn^2291.784
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trsUnknown291.653
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trsn^113.7503
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trsn^2293.891
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trsn^1293.46
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trsn^1291.744
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trsn^1293.161
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trsn^1291.847
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trsn^1291.796
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trsn^1176.63
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trsn^1114.255
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trsn^1291.691
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trsn^1291.696
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trsn^1291.696
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trsn^1291.887
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trsn^1291.79
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trsn^1291.787
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trsUnknown292.021
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trsUnknown291.924
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trsn^1129.306
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trsUnknown291.88
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trsUnknown291.965
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trsUnknown119.32
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trsUnknown291.709
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trsUnknown291.836
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trsn^121.4379
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trsUnknown291.93
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trsn^1105.478
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trsn^1225.727
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trsUnknown291.821
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trsUnknown293.181
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trsn^19.82808
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trsUnknown11.5888
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trsUnknown291.839
Runtime_Complexity_Innermost_Rewriting/Der95/08.trsUnknown8.09358
Runtime_Complexity_Innermost_Rewriting/Der95/11.trsUnknown10.5047
Runtime_Complexity_Innermost_Rewriting/Der95/18.trsUnknown7.72642
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trsn^1291.845
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trsUnknown4.72284
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trsUnknown12.5008
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trsn^1291.836
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trsn^1291.935
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trsUnknown293.887
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trsUnknown293.387
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trsn^19.61829
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trsUnknown104.536
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trsUnknown292.203
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trsUnknown292.34
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trsn^1294.346
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trsn^19.22273
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trsUnknown291.971
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trsUnknown291.745
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trsUnknown12.7807
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trsn^114.1326
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trsUnknown15.3754
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trsUnknown292.126
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trsUnknown291.932
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trsn^1295.933
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trsn^1291.82
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trsUnknown291.773
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trsn^115.9385
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trsUnknown291.736
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trsn^1291.728
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trsn^1291.751
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trsn^1293.13
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trsUnknown3.34622
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trsn^2291.806
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trsUnknown38.3133
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trsn^110.7191
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trsn^132.7815
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trsUnknown291.962
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trsUnknown11.6684
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trsUnknown291.777
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trsUnknown291.993
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trsUnknown293.758
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trsn^1294.273
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trsUnknown291.756
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trsn^126.2145
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trsn^13.07363
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trsn^146.0125
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trsUnknown295.36
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trsUnknown10.4062
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trsn^2296.722
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trsn^1291.942
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trsn^2292.067
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trsn^1291.679
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trsUnknown22.7536
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trsUnknown19.2416
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trsUnknown17.7052
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trsn^1100.874
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trsn^1104.638
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trsn^1297.231
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trsUnknown294.98
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trsn^1124.999
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trsUnknown8.0952
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trsUnknown17.2066
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trsUnknown10.6657
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trsUnknown8.41122
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trsUnknown10.4741
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trsUnknown1.76914
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trsn^1292.009
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trsUnknown298.069
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trsUnknown1.79468
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trsUnknown19.9641
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trsUnknown3.93069
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trsUnknown299.089
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trsn^125.9007
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trsUnknown179.968
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trsUnknown292.034
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trsUnknown1.78293
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trsUnknown292.678
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trsUnknown188.102
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trsUnknown6.50352
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trsUnknown295.8
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trsn^1296.209
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trsn^1291.785
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trsUnknown293.964
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trsUnknown295.395
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trsn^2293.154
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trsn^2293.326
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trsn^2292.122
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trsUnknown295.974
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trsUnknown292.042
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trsUnknown12.8919
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trsUnknown300.092
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trsUnknown5.65303
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trsUnknown6.48366
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trsUnknown291.926
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trsUnknown292.878
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trsUnknown292.203
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trsUnknown291.793
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trsUnknown296.632
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trsUnknown294.557
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trsUnknown292.134
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trsUnknown296.025
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trsUnknown291.864
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trsUnknown298.146
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trsUnknown292.059
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trsUnknown292.459
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trsn^18.67114
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trsn^1291.905
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trsn^2295.948
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trsn^110.5507
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trsn^3299.808
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trsn^1253.413
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trsUnknown291.735
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trsn^113.7575
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trsUnknown291.789
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trsUnknown291.848
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trsn^2291.933
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trsn^116.6746
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trsn^111.474
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trsUnknown18.7216
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trsUnknown12.754
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trsUnknown298.469
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trsUnknown46.3659
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trsUnknown292.476
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trsUnknown298.37
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trsUnknown292.876
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trsUnknown299.37
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trsn^314.728
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trsUnknown296.203
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trsUnknown292.704
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trsUnknown11.8841
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trsUnknown292.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trsUnknown293.211
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trsUnknown293.434
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trsUnknown293.896
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trsUnknown299.403
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trsUnknown294.952
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trsUnknown292.648
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trsUnknown299.982
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trsUnknown292.732
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trsUnknown292.958
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trsUnknown293.529
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trsUnknown297.59
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trsUnknown291.957
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trsUnknown294.007
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trsUnknown293.973
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trsUnknown292.186
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trsUnknown296.731
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trsUnknown299.774
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trsUnknown292.25
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trsUnknown296.845
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trsUnknown291.899
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trsUnknown291.845
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trsUnknown295.178
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trsUnknown298.898
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trsUnknown298.005
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trsUnknown295.724
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trsUnknown17.5878
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trsUnknown297.626
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trsUnknown299.506
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trsUnknown296.126
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trsUnknown293.918
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trsUnknown291.807
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trsUnknown293.152
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trsUnknown56.9909
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trsUnknown296.086
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trsUnknown299.313
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trsUnknown295.516
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trsUnknown292.055
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trsUnknown295.606
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trsn^142.0707
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trsUnknown298.907
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trsUnknown292.561
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trsUnknown299.988
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trsUnknown296.326
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trsUnknown298.721
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trsUnknown292.359
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trsUnknown297.425
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trsUnknown292.282
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trsUnknown292.314
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trsUnknown292.354
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trsUnknown298.474
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trsUnknown293.88
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trsUnknown294.456
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trsUnknown295.612
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trsUnknown299.988
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trsn^12.64758
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trsUnknown292.288
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trsUnknown296.909
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trsUnknown1.80079
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trsUnknown292.649
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trsn^114.5463
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trsn^19.00739
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trsn^1292.593
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trsn^2291.836
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trsn^110.7326
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trsUnknown296.936
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trsn^1292.033
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trsUnknown294.244
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trsn^136.9763
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trsn^155.5444
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trsn^121.6876
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trsUnknown292.007
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trsn^149.5029
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trsUnknown294.583
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trsUnknown292.028
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trsUnknown294.9
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trsUnknown293.277
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trsn^1291.822
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trsn^1291.947
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trsUnknown294.384