Upper bounds:
59348: TcT 2021 on pirc-to-irc
59345: AProVE 2021 on pirc-to-irc
benchmark nameresult 59348time 59348result 59345time 59345
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.13-from-parallel.trsn^229.1895n^2291.74
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.18-from-parallel.trsInf294.17n^118.2894
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.31-from-parallel.trsn^12.91911Inf4.94654
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.38-from-parallel.trsInf294.07Inf4.68658
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.42-from-parallel.trsn^16.10223n^17.1608
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.48-from-parallel.trsn^19.07433n^15.64623
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.53-from-parallel.trsn^312.711n^312.194
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.55-from-parallel.trsInf294.255Inf294.419
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-from-parallel.trsInf294.308Inf292.029
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring-from-parallel.trsUnknown227.246Inf297.547
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1-from-parallel.trsUnknown9.8164Inf291.764
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2-from-parallel.trsInf294.186Inf291.855
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity-from-parallel.trsInf294.132Inf291.709
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm-from-parallel.trsInf294.271n^2293.923
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort-from-parallel.trsUnknown0.0Inf293.589
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower-from-parallel.trsUnknown11.9326Inf295.935
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange-from-parallel.trsInf294.129Inf291.764
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04-from-parallel.trsInf294.625Inf294.383
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01-from-parallel.trsInf294.712Inf292.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02-from-parallel.trsUnknown5.24289n^2291.815
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04-from-parallel.trsInf294.261Inf293.572
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06-from-parallel.trsInf294.499Inf292.858
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10-from-parallel.trsUnknown35.0646Inf295.603
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01-from-parallel.trsInf294.144n^2291.736
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02-from-parallel.trsUnknown13.8637Inf295.551
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03-from-parallel.trsInf294.318n^3149.881
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04-from-parallel.trsInf294.443Inf292.768
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05-from-parallel.trsUnknown14.7944Inf291.886
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06-from-parallel.trsInf294.285n^2291.993
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07-from-parallel.trsUnknown138.851Inf292.81
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08-from-parallel.trsInf294.123Inf4.56427
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10-from-parallel.trsInf294.133n^172.2969
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11-from-parallel.trsInf294.299Inf291.754
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12-from-parallel.trsInf294.126n^2291.784
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13-from-parallel.trsInf294.166Inf291.831
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14-from-parallel.trsInf294.267Inf293.122
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15-from-parallel.trsInf294.14n^2291.775
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16-from-parallel.trsInf294.323Inf292.169
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17-from-parallel.trsUnknown15.2554Inf294.201
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18-from-parallel.trsInf294.274Inf292.385
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26-from-parallel.trsInf294.202n^159.9577
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28-from-parallel.trsInf294.192n^141.6436
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32-from-parallel.trsUnknown16.5012Inf291.734
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37-from-parallel.trsInf294.162Inf291.846
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38-from-parallel.trsInf294.142n^2291.879
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40-from-parallel.trsInf294.23n^111.2503
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse-from-parallel.trsInf294.275Inf292.399
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist-from-parallel.trsInf294.183Inf291.782
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort-from-parallel.trsInf294.165Inf291.84
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h-from-parallel.trsInf294.293Inf293.945
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort-from-parallel.trsInf294.229Inf291.735
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified-from-parallel.trsInf294.141n^247.448
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard-from-parallel.trsInf294.291Unknown300.03
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort-from-parallel.trsInf294.227Inf293.485
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort-from-parallel.trsInf294.298Inf291.856
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort-from-parallel.trsInf294.117Inf291.719
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast-from-parallel.trsInf294.285Inf292.358
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle-from-parallel.trsUnknown0.0Unknown292.019
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist-from-parallel.trsInf294.153n^2291.833
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1-from-parallel.trsInf294.193n^2291.738
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10-from-parallel.trsInf294.116n^2291.747
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11-from-parallel.trsInf294.142n^2292.707
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12-from-parallel.trsInf294.139n^2291.718
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13-from-parallel.trsInf294.154n^2291.771
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15-from-parallel.trsUnknown27.9001n^2292.014
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16-from-parallel.trsInf294.426Inf292.279
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17-from-parallel.trsInf294.257Inf292.398
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18-from-parallel.trsInf294.247Inf292.184
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19-from-parallel.trsInf294.199Inf294.204
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2-from-parallel.trsInf294.186n^2291.672
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20-from-parallel.trsInf294.343n^161.5596
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21-from-parallel.trsInf294.396Unknown291.709
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22-from-parallel.trsInf294.111n^187.0007
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23-from-parallel.trsInf294.171n^2291.765
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24-from-parallel.trsInf294.351n^1108.504
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3-from-parallel.trsInf294.19Inf291.818
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5-from-parallel.trsInf294.186n^2294.449
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6-from-parallel.trsInf294.202n^2291.705
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7-from-parallel.trsUnknown7.27752n^2296.519
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8-from-parallel.trsInf294.172n^160.479
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9-from-parallel.trsUnknown3.74441Inf291.896
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard-from-parallel.trsInf294.206n^16.75209
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong-from-parallel.trsInf294.149Inf13.9035
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-from-parallel.trsInf294.144Inf35.046
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Der95/08-from-parallel.trsn^18.08442n^15.80896
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Der95/11-from-parallel.trsn^219.3114n^16.29125
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Der95/18-from-parallel.trsn^12.69029n^16.86848
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom-from-parallel.trsInf294.22Inf291.744
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj-from-parallel.trsn^19.83436Inf4.85143
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold-from-parallel.trsn^14.12277n^15.35855
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd-from-parallel.trsInf294.207Inf291.8
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2-from-parallel.trsInf294.205Inf292.092
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int-from-parallel.trsInf294.496Unknown300.025
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed-from-parallel.trsInf294.279Unknown300.096
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte-from-parallel.trsn^15.53163n^15.2828
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0-from-parallel.trsn^13.81984n^17.11834
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort-from-parallel.trsInf294.218Inf291.963
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute-from-parallel.trsInf294.458Inf292.688
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort-from-parallel.trsInf294.26Inf292.057
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select-from-parallel.trsn^14.72281n^16.42255
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick-from-parallel.trsInf294.257Inf291.822
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed-from-parallel.trsn^186.7962n^113.2113
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed-from-parallel.trsn^14.8759n^15.27757
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed-from-parallel.trsn^17.10918n^15.35338
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed-from-parallel.trsn^15.44531n^15.18694
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh-from-parallel.trsInf294.125Unknown292.919
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize-from-parallel.trsn^261.7074Inf291.856
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize-from-parallel.trsInf294.87Inf297.022
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach-from-parallel.trsInf294.292Unknown291.745
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch-from-parallel.trsn^233.1037n^2291.967
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize-from-parallel.trsn^216.6429n^19.25424
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08-from-parallel.trsUnknown300.021Unknown292.026
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09-from-parallel.trsInf294.824Inf291.821
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10-from-parallel.trsInf294.152Inf292.12
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t-from-parallel.trsUnknown9.8219Unknown291.701
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15-from-parallel.trsInf294.263Inf7.92544
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17-from-parallel.trsInf294.149Unknown291.695
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001-from-parallel.trsn^225.9025Inf291.94
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002-from-parallel.trsUnknown17.7045n^123.5979
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003-from-parallel.trsUnknown300.094n^3291.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009-from-parallel.trsInf295.817Inf291.989
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014-from-parallel.trsn^210.8419n^115.7292
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd-from-parallel.trsUnknown5.97269Inf291.774
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax-from-parallel.trsUnknown10.206Inf292.666
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple-from-parallel.trsInf295.8Inf292.01
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort-from-parallel.trsInf295.823Unknown291.958
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect-from-parallel.trsn^16.11332n^16.50802
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2-from-parallel.trsn^322.8838n^3291.749
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees-from-parallel.trsn^25.16133n^2291.72
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno-from-parallel.trsn^314.8235n^2291.702
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96-from-parallel.trsUnknown179.99Inf297.341
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2-from-parallel.trsn^112.2033n^16.63549
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick-from-parallel.trsInf294.201Inf293.311
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist-from-parallel.trsInf294.15Inf291.801
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort-from-parallel.trsn^356.2346n^3291.954
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.12-from-parallel.trsn^313.355n^3291.753
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.15-from-parallel.trsn^12.19009n^15.76432
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.19-from-parallel.trsn^26.99408n^2291.68
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.20-from-parallel.trsn^12.54204n^15.86049
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.21-from-parallel.trsn^12.61892n^15.68029
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.24-from-parallel.trsn^13.1797n^16.06416
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.25-from-parallel.trsInf294.169Inf292.546
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.26-from-parallel.trsInf294.176Inf13.6301
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.29-from-parallel.trsn^14.29144n^15.32103
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.40-from-parallel.trsn^12.75128n^15.15462
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.43-from-parallel.trsn^15.90429n^16.34514
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.44-from-parallel.trsn^19.35327n^15.55231
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.05-from-parallel.trsn^12.81111n^15.69904
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.16-from-parallel.trsn^14.35271n^12.4288
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.18-from-parallel.trsn^01.64884n^02.06132
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.24-from-parallel.trsInf294.384Inf291.883
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.31-from-parallel.trsn^14.08096n^15.92156
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.47-from-parallel.trsn^04.26389n^02.4125
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.54-from-parallel.trsInf294.044Inf21.2673
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.57-from-parallel.trsn^04.09292n^04.60399
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.59-from-parallel.trsn^210.2996n^16.28132
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.60-from-parallel.trsn^235.8332n^17.4776
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.61-from-parallel.trsInf294.399Inf238.056
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3-from-parallel.trsInf294.041Inf291.797
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4-from-parallel.trsn^04.67823n^02.10756
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1-from-parallel.trsUnknown15.285Inf292.014
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2-from-parallel.trsn^310.1742n^139.2335
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4-from-parallel.trsInf294.446Unknown300.032
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5-from-parallel.trsInf294.271Unknown295.011
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList-from-parallel.trsInf294.949Inf298.406
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division-from-parallel.trsInf294.154n^2293.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double-from-parallel.trsInf294.202Inf292.338
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm-from-parallel.trsInf294.216n^2293.503
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes-from-parallel.trsUnknown19.3535Inf291.891
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse-from-parallel.trsInf294.176Inf299.394
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList-from-parallel.trsUnknown7.91501Inf297.329
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList-from-parallel.trsUnknown31.8454Inf292.453
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04-from-parallel.trsInf294.329Unknown298.241
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05-from-parallel.trsUnknown151.966Unknown291.983
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06-from-parallel.trsInf294.129Inf291.792
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07-from-parallel.trsInf294.319Unknown291.652
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08-from-parallel.trsUnknown0.0Unknown291.698
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09-from-parallel.trsUnknown225.042Unknown291.727
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10-from-parallel.trsInf294.232Inf11.1109
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01-from-parallel.trsInf294.259Inf291.892
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02-from-parallel.trsInf294.266Inf291.94
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03-from-parallel.trsUnknown51.9638Unknown291.678
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04-from-parallel.trsInf294.597Inf291.863
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05-from-parallel.trsInf294.243Inf291.898
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06-from-parallel.trsInf294.173Inf297.113
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07-from-parallel.trsInf294.18Inf291.837
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08-from-parallel.trsInf294.208Inf291.939
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09-from-parallel.trsInf294.238Inf295.268
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10-from-parallel.trsInf294.699Inf293.666
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27-from-parallel.trsn^25.94342n^18.33337
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29-from-parallel.trsInf294.045Inf293.67
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36-from-parallel.trsn^338.957n^3291.899
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03-from-parallel.trsInf294.23Inf26.2654
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b-from-parallel.trsUnknown0.0Inf295.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97-from-parallel.trsInf294.041Inf291.657
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03-from-parallel.trsInf294.166Inf291.722
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04-from-parallel.trsn^16.87389n^16.11727
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03-from-parallel.trsInf294.128Inf291.761
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99-from-parallel.trsInf294.044Unknown291.998
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97-from-parallel.trsUnknown5.89539Inf295.745
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10-from-parallel.trsn^17.34803n^111.4319
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5-from-parallel.trsn^14.46727n^17.29959
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/TCT_12/sat-from-parallel.trsn^122.8935n^16.20732
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM-from-parallel.trsn^131.1934n^17.50951
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM-from-parallel.trsInf296.233Inf293.421
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM-from-parallel.trsn^114.8467n^15.43421
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM-from-parallel.trsInf295.455Unknown291.722
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM-from-parallel.trsInf295.953Unknown291.702
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM-from-parallel.trsInf296.129Inf295.926
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM-from-parallel.trsInf295.899Inf294.309
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L-from-parallel.trsn^310.353n^322.0883
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z-from-parallel.trsn^310.8351n^329.1617
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM-from-parallel.trsUnknown94.6536Inf296.617
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z-from-parallel.trsn^15.94472n^15.7692
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM-from-parallel.trsInf294.17Unknown291.718
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM-from-parallel.trsInf294.148Unknown298.071
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM-from-parallel.trsInf295.597Inf292.467
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM-from-parallel.trsInf295.695Unknown291.79
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z-from-parallel.trsInf294.176Inf291.776
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM-from-parallel.trsInf294.164Inf291.903
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM-from-parallel.trsInf295.914Inf297.179
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM-from-parallel.trsUnknown0.0Unknown291.704
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM-from-parallel.trsInf295.779Unknown292.415
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM-from-parallel.trsInf295.953Inf294.152
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM-from-parallel.trsInf294.102Inf291.893
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM-from-parallel.trsInf295.959Unknown300.065
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM-from-parallel.trsInf294.172Inf291.789
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM-from-parallel.trsInf294.143Inf291.937
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM-from-parallel.trsInf296.155Unknown291.699
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR-from-parallel.trsInf294.282Inf292.836
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM-from-parallel.trsInf295.644Unknown291.708
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM-from-parallel.trsInf296.107Inf292.856
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM-from-parallel.trsInf294.16Inf291.931
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM-from-parallel.trsInf296.246Inf294.282
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR-from-parallel.trsInf294.084Unknown292.255
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z-from-parallel.trsInf294.155Unknown291.928
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM-from-parallel.trsInf295.874Inf298.809
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM-from-parallel.trsInf295.624Unknown291.929
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM-from-parallel.trsInf296.535Inf291.894
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM-from-parallel.trsInf295.69Unknown291.739
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z-from-parallel.trsn^15.81555n^15.31455
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM-from-parallel.trsInf294.51Unknown291.88
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM-from-parallel.trsInf297.469Unknown297.755
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM-from-parallel.trsUnknown77.1822Unknown291.841
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM-from-parallel.trsUnknown230.866Unknown291.735
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z-from-parallel.trsn^155.8148n^1292.109
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM-from-parallel.trsInf295.653Unknown291.74
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z-from-parallel.trsn^19.26936n^1291.782
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM-from-parallel.trsUnknown87.461Unknown291.758
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM-from-parallel.trsUnknown29.0141Inf296.146
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM-from-parallel.trsUnknown221.555Inf292.111
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM-from-parallel.trsInf295.94Inf291.796
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM-from-parallel.trsInf297.37Inf297.452
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR-from-parallel.trsn^233.4459n^2291.779
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM-from-parallel.trsInf295.508Inf299.776
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM-from-parallel.trsInf295.637Inf297.202
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM-from-parallel.trsInf294.221Unknown291.789
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM-from-parallel.trsUnknown214.164Inf296.375
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM-from-parallel.trsInf295.949Unknown291.758
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM-from-parallel.trsInf296.132Inf293.892
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR-from-parallel.trsInf294.349Inf296.022
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z-from-parallel.trsInf294.293Inf292.56
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR-from-parallel.trsInf294.184Inf295.322
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM-from-parallel.trsInf294.18Inf297.208
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM-from-parallel.trsInf295.951Inf296.396
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM-from-parallel.trsInf295.796Inf296.107
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM-from-parallel.trsInf294.198Inf292.461
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM-from-parallel.trsInf295.708Inf295.625
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM-from-parallel.trsInf295.952Inf299.169
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR-from-parallel.trsn^15.00066n^15.372
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM-from-parallel.trsInf294.159Inf300.038
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM-from-parallel.trsInf294.081Inf299.488
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Various_04/11-from-parallel.trsInf294.181n^02.43777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist-from-parallel.trsInf294.266Inf294.16
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/flatten-from-parallel.trsn^113.6582n^110.3016
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/mappplus-from-parallel.trsn^14.1223n^15.36959
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc-from-parallel.trsUnknown0.0Inf291.765
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3-from-parallel.trsInf294.071Inf291.842
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml-from-parallel.trsn^212.4623n^17.5908
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml-from-parallel.trsn^3104.713Inf292.661
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml-from-parallel.trsn^3154.317Inf292.023
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml-from-parallel.trsInf294.224Inf294.169
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml-from-parallel.trsn^135.1768n^19.239
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml-from-parallel.trsn^341.9238n^2291.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml-from-parallel.trsn^17.13242n^16.90296
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml-from-parallel.trsn^254.4683n^2292.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml-from-parallel.trsn^233.923n^2291.868
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml-from-parallel.trsn^250.9339n^2295.129
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml-from-parallel.trsn^351.8417n^2299.652
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml-from-parallel.trsn^293.2125n^2293.118
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml-from-parallel.trsInf294.729Inf298.58
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml-from-parallel.trsn^294.9716Inf292.068
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml-from-parallel.trsn^281.5494n^2293.671
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml-from-parallel.trsn^4273.476Inf296.283