Lower bounds:
59348: TcT 2021 on pirc-to-irc, original non-overlapping
59345: AProVE 2021 on pirc-to-irc, original non-overlapping
benchmark nameresult 59348time 59348result 59345time 59345
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.13-from-parallel.trsn^129.1895n^1291.74
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.31-from-parallel.trsn^12.91911Unknown4.94654
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.38-from-parallel.trsn^1294.07Unknown4.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.53-from-parallel.trsn^112.711n^312.194
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AG01/#3.55-from-parallel.trsn^1294.255n^2294.419
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-from-parallel.trsn^1294.308n^1292.029
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1-from-parallel.trsUnknown9.8164n^11291.764
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm-from-parallel.trsn^1294.271n^1293.923
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort-from-parallel.trsUnknown0.0n^2293.589
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower-from-parallel.trsUnknown11.9326n^2295.935
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange-from-parallel.trsn^1294.129n^1291.764
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01-from-parallel.trsn^1294.712n^1292.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02-from-parallel.trsUnknown5.24289n^1291.815
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04-from-parallel.trsn^1294.261n^1293.572
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06-from-parallel.trsn^1294.499n^1292.858
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10-from-parallel.trsUnknown35.0646n^1295.603
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02-from-parallel.trsUnknown13.8637n^1295.551
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03-from-parallel.trsn^1294.318n^3149.881
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04-from-parallel.trsn^1294.443n^1292.768
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05-from-parallel.trsUnknown14.7944n^1291.886
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06-from-parallel.trsn^1294.285n^1291.993
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07-from-parallel.trsUnknown138.851n^1292.81
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08-from-parallel.trsn^1294.123Unknown4.56427
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10-from-parallel.trsn^1294.133n^172.2969
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11-from-parallel.trsn^1294.299n^1291.754
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12-from-parallel.trsn^1294.126n^1291.784
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14-from-parallel.trsn^1294.267n^1293.122
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15-from-parallel.trsn^1294.14n^1291.775
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16-from-parallel.trsn^1294.323n^1292.169
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17-from-parallel.trsUnknown15.2554n^1294.201
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18-from-parallel.trsn^1294.274n^1292.385
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32-from-parallel.trsUnknown16.5012n^2291.734
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37-from-parallel.trsn^1294.162n^1291.846
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38-from-parallel.trsn^1294.142n^1291.879
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse-from-parallel.trsn^1294.275n^1292.399
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist-from-parallel.trsn^1294.183n^1291.782
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort-from-parallel.trsn^1294.165n^2291.84
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h-from-parallel.trsn^1294.293n^2293.945
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort-from-parallel.trsn^1294.229n^2291.735
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard-from-parallel.trsn^1294.291Unknown300.03
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort-from-parallel.trsn^1294.227n^2293.485
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort-from-parallel.trsn^1294.298n^1291.856
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort-from-parallel.trsn^1294.117n^1291.719
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast-from-parallel.trsn^1294.285n^1292.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.trsn^1294.153n^1291.833
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1-from-parallel.trsn^1294.193n^1291.738
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10-from-parallel.trsn^1294.116n^1291.747
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11-from-parallel.trsn^1294.142n^1292.707
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12-from-parallel.trsn^1294.139n^1291.718
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13-from-parallel.trsn^1294.154n^1291.771
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15-from-parallel.trsUnknown27.9001n^1292.014
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16-from-parallel.trsn^1294.426n^1292.279
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17-from-parallel.trsn^1294.257n^1292.398
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2-from-parallel.trsn^1294.186n^1291.672
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22-from-parallel.trsn^1294.111n^187.0007
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23-from-parallel.trsn^1294.171n^1291.765
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3-from-parallel.trsn^1294.19n^1291.818
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6-from-parallel.trsn^1294.202n^1291.705
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7-from-parallel.trsUnknown7.27752n^1296.519
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard-from-parallel.trsUnknown294.206n^16.75209
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong-from-parallel.trsUnknown294.149Unknown13.9035
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^119.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.trsn^1294.22n^1291.744
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj-from-parallel.trsn^19.83436Unknown4.85143
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd-from-parallel.trsn^1294.207n^1291.8
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2-from-parallel.trsn^1294.205n^1292.092
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int-from-parallel.trsn^1294.496Unknown300.025
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed-from-parallel.trsn^1294.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/mergesort-from-parallel.trsn^1294.218n^1291.963
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute-from-parallel.trsn^1294.458n^1292.688
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort-from-parallel.trsn^1294.26n^1292.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/vangelder_typed-from-parallel.trsUnknown86.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.trsn^1294.125Unknown292.919
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize-from-parallel.trsn^161.7074n^1291.856
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize-from-parallel.trsn^1294.87n^1297.022
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach-from-parallel.trsUnknown294.292Unknown291.745
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch-from-parallel.trsn^133.1037n^1291.967
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize-from-parallel.trsn^116.6429n^19.25424
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09-from-parallel.trsn^1294.824n^1291.821
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10-from-parallel.trsn^1294.152n^1292.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.trsn^1294.263Unknown7.92544
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17-from-parallel.trsn^1294.149Unknown291.695
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^1291.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009-from-parallel.trsUnknown295.817n^1291.989
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort-from-parallel.trsn^1295.823Unknown291.958
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect-from-parallel.trsUnknown6.11332n^16.50802
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2-from-parallel.trsn^122.8838n^1291.749
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees-from-parallel.trsn^15.16133n^1291.72
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno-from-parallel.trsn^114.8235n^1291.702
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96-from-parallel.trsUnknown179.99n^1297.341
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick-from-parallel.trsn^1294.201n^2293.311
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist-from-parallel.trsn^1294.15n^1291.801
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort-from-parallel.trsn^156.2346n^2291.954
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/2.12-from-parallel.trsn^113.355n^1291.753
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.trsn^1294.169n^1292.546
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.44-from-parallel.trsUnknown9.35327n^15.55231
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.24-from-parallel.trsn^1294.384n^1291.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.trsUnknown4.26389Unknown2.4125
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.54-from-parallel.trsn^1294.044Unknown21.2673
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.57-from-parallel.trsUnknown4.09292Unknown4.60399
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.59-from-parallel.trsn^110.2996n^16.28132
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.60-from-parallel.trsn^135.8332n^17.4776
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/SK90/4.61-from-parallel.trsn^1294.399Unknown238.056
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3-from-parallel.trsn^1294.041n^1291.797
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4-from-parallel.trsn^1294.446Unknown300.032
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList-from-parallel.trsn^1294.949n^1298.406
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division-from-parallel.trsn^1294.154n^1293.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes-from-parallel.trsUnknown19.3535n^2291.891
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse-from-parallel.trsn^1294.176n^2299.394
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList-from-parallel.trsUnknown7.91501n^2297.329
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList-from-parallel.trsUnknown31.8454n^1292.453
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/tpa07-from-parallel.trsn^1294.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/Strategy_removed_AG01/#4.27-from-parallel.trsn^15.94342n^18.33337
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29-from-parallel.trsn^1294.045n^1293.67
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36-from-parallel.trsn^138.957n^2291.899
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03-from-parallel.trsn^1294.23n^126.2654
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b-from-parallel.trsUnknown0.0n^3295.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97-from-parallel.trsn^1294.041n^1291.657
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/ExIntrod_GM99-from-parallel.trsn^1294.044Unknown291.998
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97-from-parallel.trsUnknown5.89539n^2295.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/Transformed_CSR_04/Ex2_Luc02a_L-from-parallel.trsn^110.353n^322.0883
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR-from-parallel.trsUnknown33.4459n^1291.779
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR-from-parallel.trsUnknown5.00066n^15.372
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/Various_04/11-from-parallel.trsUnknown294.181Unknown2.43777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist-from-parallel.trsn^1294.266n^1294.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.0n^1291.765
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3-from-parallel.trsn^1294.071n^2291.842
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml-from-parallel.trsUnknown12.4623n^17.5908
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml-from-parallel.trsUnknown104.713n^1292.661
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml-from-parallel.trsUnknown154.317n^1292.023
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml-from-parallel.trsUnknown294.224n^1294.169
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml-from-parallel.trsUnknown35.1768n^19.239
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml-from-parallel.trsUnknown41.9238n^1291.777
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml-from-parallel.trsUnknown7.13242n^16.90296
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml-from-parallel.trsUnknown54.4683n^1292.498
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml-from-parallel.trsUnknown33.923n^1291.868
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml-from-parallel.trsUnknown50.9339n^1295.129
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml-from-parallel.trsUnknown51.8417n^1299.652
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml-from-parallel.trsUnknown93.2125n^1293.118
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml-from-parallel.trsUnknown294.729n^1298.58
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml-from-parallel.trsUnknown94.9716n^1292.068
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml-from-parallel.trsUnknown81.5494n^1293.671
par-pirc-to-irc/Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml-from-parallel.trsUnknown273.476n^1296.283