Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Der95/06.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Der95/08.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Der95/11.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Der95/18.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Der95/21.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Der95/27.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Der95/32.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/id.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/isort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/mss.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/hoca/sum.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Various_04/11.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: YES
Runtime_Complexity_Innermost_Rewriting/Various_04/15.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Various_04/22.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Various_04/24.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.trs	NonOverlapping: YES	HasOnlyTrivialInnermostCriticalOverlays: YES	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.trs	NonOverlapping: NO	HasOnlyTrivialInnermostCriticalOverlays: NO	HasParallelism: NO