Example Lower BoundUpper BoundReal Time
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10 Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12 Ω(n3) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16 Ω(n2) O(n3) 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.17a Ω(n) O(n2) 2.14s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.17 Ω(n) O(n2) 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.19 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.22 Ω(n2) O(n2) 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26 Ω(n) INF 1.10s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31 Ω(2n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36 Ω(n) INF 8.15s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37 Ω(1) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38 Ω(2n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.39 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.40 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41 Ω(n) O(n) 2.10s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42 Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47 Ω(1) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49 Ω(1) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.4 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.51 Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52 Ω(1) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b Ω(1) O(n) 2.10s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53 Ω(n3) O(n3) 2.20s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.54 Ω(n) INF 1.20s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55 Ω(n2) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.56 Ω(1) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.57 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a Ω(n) O(n2) 2.14s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b Ω(n) O(n3) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b Ω(n) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6 Ω(n) O(n2) 2.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7 Ω(n) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a Ω(n) O(n2) 3.13s
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b Ω(n) O(n3) 1.12s
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring Ω(n) INF 2.50s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC Ω(n) INF 2.27s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac Ω(n2) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_12 Ω(n2) O(n2) 2.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_18 Ω(n2) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_26a Ω(n3) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_26 Ω(n3) INF 2.21s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex31 Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51 Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness6.1 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness6.2 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness6.3 Ω(n) O(n) 2.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness6.4 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness8 Ω(n) O(n) 1.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/Liveness_WRS Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/LPAR_intlist Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1 Ω(n) INF 3.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3 Ω(n) INF 3.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notTermin Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1 Ω(n3) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2 Ω(n2) INF 290.51s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity Ω(n) INF 6.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/modulo Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/nonterm Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort Ω(n2) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quot Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange Ω(1) O(n2) 2.11s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange Ω(n) INF 5.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower Ω(n3) INF 4.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci01 Ω(n) O(n) 2.22s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci02 Ω(n3) INF 2.34s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci05 Ω(n) INF 3.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01 Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02 Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04 Ω(n) INF 3.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05 Ω(n) O(n2) 2.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07 Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11 Ω(n) INF 3.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12 Ω(n2) INF 3.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13 Ω(n) INF 1.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02 Ω(n) INF 2.21s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03 Ω(n2) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07 Ω(n2) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08 Ω(2n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann09 Ω(n) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10 Ω(n) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11 Ω(n) INF 1.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13 Ω(n) INF 1.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14 Ω(n2) INF 14.20s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17 Ω(n2) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18 Ω(n) INF 3.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21 Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24 Ω(n2) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25 Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29 Ω(n2) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30 Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32 Ω(n2) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34 Ω(n) INF 4.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37 Ω(n) INF 3.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe01 Ω(n) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe02 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe03 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe05 Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe06 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe07 Ω(n) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe08 Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe09 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe11 Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AProVE_07/wiehe12 Ω(n) INF 3.28s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/id_inc Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse Ω(n2) INF 1.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort Ω(n2) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h Ω(n2) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort Ω(n2) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/round Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified Ω(n2) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition Ω(n2) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort Ω(n2) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle Ω(n) INF 2.30s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10 Ω(n) O(n2) 1.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12 Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14 Ω(n) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19 Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20 Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22 Ω(n) O(n3) 1.14s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24 Ω(n) O(n2) 1.16s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7 Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog Ω(n) INF 4.14s
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/CiME_04/append Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/CiME_04/big Ω(n) INF 4.36s
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard Ω(n2) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2 Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3 Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre Ω(n) INF 1.17s
Runtime_Complexity_Innermost_Rewriting/CiME_04/intersect Ω(n) O(n2) 3.18s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-assoc-append Ω(n2) INF 5.19s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-assoc Ω(n2) INF 5.16s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-bin-assoc-distr-app Ω(n) INF 2.22s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-bin-assoc Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod-bin Ω(n) INF 3.17s
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod Ω(n2) INF 5.16s
Runtime_Complexity_Innermost_Rewriting/CiME_04/log2 Ω(n) INF 3.19s
Runtime_Complexity_Innermost_Rewriting/CiME_04/lse Ω(n2) O(n2) 2.20s
Runtime_Complexity_Innermost_Rewriting/CiME_04/maude2 Ω(n) INF 6.23s
Runtime_Complexity_Innermost_Rewriting/CiME_04/mucrl1 Ω(1) O(n) 295.97s
Runtime_Complexity_Innermost_Rewriting/CiME_04/ternary-hard Ω(n) INF 12.18s
Runtime_Complexity_Innermost_Rewriting/CiME_04/ternary Ω(n) INF 11.18s
Runtime_Complexity_Innermost_Rewriting/CiME_04/tree Ω(n) INF 3.38s
Runtime_Complexity_Innermost_Rewriting/Der95/06 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Der95/07 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Der95/08 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/Der95/11 Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/Der95/12 Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/Der95/18 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Der95/20 Ω(n) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Der95/21 Ω(n2) INF 6.13s
Runtime_Complexity_Innermost_Rewriting/Der95/27 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Der95/31 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Der95/32 Ω(n) O(n2) 2.16s
Runtime_Complexity_Innermost_Rewriting/Der95/33 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack Ω(n) INF 2.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored Ω(1) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease Ω(n) O(n) 6.15s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed Ω(1) O(n) 2.14s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better Ω(n) O(n3) 2.12s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul Ω(n) O(n3) 2.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev Ω(n2) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec Ω(n) O(n) 2.15s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute Ω(n) INF 5.15s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power Ω(n3) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select Ω(1) O(n2) 3.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle Ω(n3) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed Ω(n) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6 Ω(1) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize Ω(n) INF 10.16s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade04t Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15 Ω(2n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17 Ω(n2) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001 Ω(n) INF 4.18s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002 Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003 Ω(n) INF 8.16s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004 Ω(n) INF 1.10s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009 Ω(1) INF 290.80s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t012 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013 Ω(n) INF 8.16s
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014 Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/hydra Ω(1) O(n) 3.11s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06 Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1 Ω(1) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5 Ω(1) INF 3.12s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6 Ω(1) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2 Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect Ω(1) O(n) 3.13s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while Ω(n) INF 1.16s
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml Ω(n) O(n) 2.17s
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml Ω(1) INF 1.22s
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml Ω(n) O(n) 2.18s
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bn122 Ω(1) O(n) 2.14s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division Ω(n) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno Ω(n) O(n2) 1.15s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd Ω(n) O(n2) 4.15s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96 Ω(n) INF 4.18s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec Ω(n) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2 Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick Ω(n2) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quotminus Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort Ω(n2) O(n3) 2.18s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99 Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2 Ω(n) O(n3) 1.13s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3 Ω(1) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove4 Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove5 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime2 Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime3 Ω(n) INF 198.29s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime5 Ω(n) INF 1.19s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1 Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3 Ω(n2) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4 Ω(n2) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/4 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList Ω(n) INF 32.23s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/divExp Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList Ω(n2) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/times Ω(n) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList Ω(1) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04 Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05 Ω(n2) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06 Ω(n) INF 4.14s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07 Ω(n2) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08 Ω(n2) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09 Ω(n2) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10 Ω(n2) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/3 Ω(1) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01 Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02 Ω(n) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03 Ω(n) INF 2.21s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04 Ω(n) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05 Ω(n) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06 Ω(n) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07 Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08 Ω(n) INF 1.18s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09 Ω(n) INF 2.18s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10 Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret1 Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret4 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret5 Ω(1) O(n) 1.16s
Runtime_Complexity_Innermost_Rewriting/SK90/2.02 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.03 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.07 Ω(n) O(n) 7.14s
Runtime_Complexity_Innermost_Rewriting/SK90/2.09 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.11 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.12 Ω(n3) O(n3) 20.15s
Runtime_Complexity_Innermost_Rewriting/SK90/2.13 Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.14 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.15 Ω(2n) INF 2.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.16 Ω(n) O(n2) 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.17 Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.18 Ω(n) O(n2) 2.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.19 Ω(n2) O(n2) 2.15s
Runtime_Complexity_Innermost_Rewriting/SK90/2.20 Ω(n) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.21 Ω(n) INF 2.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.22 Ω(n) O(n2) 2.14s
Runtime_Complexity_Innermost_Rewriting/SK90/2.23 Ω(n2) INF 290.47s
Runtime_Complexity_Innermost_Rewriting/SK90/2.24 Ω(n) INF 3.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.25 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.26 Ω(3n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.27 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/SK90/2.28 Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.29 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.31 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.36 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.38 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.39 Ω(n2) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.40 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.41 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.42 Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/SK90/2.43 Ω(n) INF 7.15s
Runtime_Complexity_Innermost_Rewriting/SK90/2.44 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.45 Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/SK90/2.47 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/SK90/2.50 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.51 Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.52 Ω(1) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/SK90/2.53 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/2.54 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/2.55 Ω(1) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/SK90/2.59 Ω(1) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/SK90/2.61 Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/SK90/4.05 Ω(n) O(n2) 7.14s
Runtime_Complexity_Innermost_Rewriting/SK90/4.10 Ω(n) O(n2) 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.12 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.13 Ω(n) O(n) 2.25s
Runtime_Complexity_Innermost_Rewriting/SK90/4.16 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/4.17 Ω(n2) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.22 Ω(n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.24 Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/SK90/4.25 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.26 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.27 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.28 Ω(n) O(n) 51.20s
Runtime_Complexity_Innermost_Rewriting/SK90/4.29 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/4.30 Ω(n) O(n) 2.14s
Runtime_Complexity_Innermost_Rewriting/SK90/4.31 Ω(2n) INF 3.11s
Runtime_Complexity_Innermost_Rewriting/SK90/4.34 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.38 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/SK90/4.42 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.43 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.45 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/4.51 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/SK90/4.53 Ω(n) O(n) 3.13s
Runtime_Complexity_Innermost_Rewriting/SK90/4.54 Ω(2n) INF 2.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.59 Ω(2n) INF 3.12s
Runtime_Complexity_Innermost_Rewriting/SK90/4.60 Ω(n) INF 6.15s
Runtime_Complexity_Innermost_Rewriting/SK90/4.61 Ω(2n) INF 4.15s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.14 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.16 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.17 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.19 Ω(1) O(n) 4.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.20a Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27 Ω(n) O(n2) 3.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29 Ω(n) INF 2.14s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.2 Ω(n) O(n) 1.10s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30 Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32 Ω(1) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33 Ω(n2) O(n5) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.35 Ω(n) INF 4.17s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36 Ω(n2) O(n3) 3.19s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37a Ω(1) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/ex6 Ω(1) INF 2.11s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test10 Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10 Ω(1) POLY 10.16s
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5 Ω(1) POLY 2.13s
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10 Ω(n) O(n10) 3.23s
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5 Ω(n) O(n5) 2.15s
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat Ω(n) O(n2) 4.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C Ω(n) O(n) 290.56s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR Ω(n) O(n) 1.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM Ω(n) INF 4.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z Ω(n2) O(n2) 6.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C Ω(n) O(n) 1.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM Ω(n) O(n4) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C Ω(n) O(n2) 1.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR Ω(n) INF 275.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM Ω(n) O(n2) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z Ω(n) INF 3.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_Luc06_C Ω(n) O(n) 1.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM Ω(n) INF 4.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_C Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_C Ω(n) O(n) 3.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR Ω(n) INF 2.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM Ω(n) O(n) 2.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z Ω(1) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_C Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM Ω(n) O(n) 13.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_C Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM Ω(n) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C Ω(n) O(n) 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR Ω(n) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C Ω(n) O(n) 2.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM Ω(n2) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C Ω(n) O(n) 2.28s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR Ω(1) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM Ω(1) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z Ω(1) O(n2) 2.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C Ω(n) O(n) 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM Ω(n) INF 2.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM Ω(1) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_C Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM Ω(n) O(n) 2.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_GM04_C Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_GM04_FR Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_GM04_GM Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_C Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L Ω(1) INF 1.10s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_C Ω(n) O(n) 1.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR Ω(n) O(n) 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C Ω(n) O(n) 4.32s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR Ω(1) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM Ω(n) O(n2) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C Ω(n) O(n) 6.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR Ω(1) O(n) 1.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM Ω(n) INF 2.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L Ω(n3) O(n3) 2.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z Ω(n3) O(n3) 2.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C Ω(n) O(n) 2.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR Ω(1) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM Ω(n) O(n2) 2.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C Ω(n) O(n) 2.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM Ω(1) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z Ω(1) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C Ω(n) O(n) 2.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR Ω(n) INF 2.19s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM Ω(1) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z Ω(1) INF 1.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C Ω(n) O(n) 2.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR Ω(1) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM Ω(n) O(n2) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C Ω(n) O(n2) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM Ω(n) O(n2) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z Ω(1) INF 2.10s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C Ω(n) O(n) 1.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C Ω(n) O(n) 6.25s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR Ω(1) INF 1.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM Ω(1) INF 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C Ω(n) O(n) 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM Ω(1) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_C Ω(n) O(n) 2.27s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_FR Ω(n2) O(n2) 2.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM Ω(n) O(n) 2.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z Ω(n) O(n) 2.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C Ω(n) INF 290.65s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR Ω(n2) INF 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM Ω(n) INF 6.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z Ω(n) INF 1.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C Ω(n) O(n) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM Ω(1) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C Ω(n) O(n) 290.67s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM Ω(n) INF 12.25s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z Ω(1) INF 1.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C Ω(n) INF 31.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR Ω(n) O(n) 1.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM Ω(n) INF 4.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C Ω(n) O(n) 1.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR Ω(n) O(n) 3.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM Ω(n) INF 3.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C Ω(n) O(n) 291.39s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR Ω(n) INF 3.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM Ω(n) INF 51.38s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z Ω(n) INF 4.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C Ω(n) O(n) 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM Ω(n) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C Ω(1) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C Ω(n) O(n) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM Ω(n) O(n2) 2.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C Ω(n) O(n) 3.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM Ω(1) INF 1.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z Ω(1) O(n2) 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C Ω(n) O(n) 2.39s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM Ω(n2) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C Ω(n) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR Ω(1) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM Ω(n) INF 1.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z Ω(1) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C Ω(n) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM Ω(n) O(n) 48.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_C Ω(n) O(n) 290.97s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_FR Ω(1) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM Ω(1) INF 38.28s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z Ω(n2) O(n2) 3.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_C Ω(n) O(n) 1.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C Ω(n) O(n) 2.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR Ω(n) INF 2.16s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM Ω(n) INF 1.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C Ω(n) O(n) 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR Ω(1) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM Ω(1) INF 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z Ω(1) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C Ω(n) INF 20.33s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR Ω(n) O(n) 2.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM Ω(n) INF 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C Ω(n) O(n) 5.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR Ω(n) O(n) 1.15s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM Ω(2n) INF 147.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C Ω(n) O(n) 1.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR Ω(n) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C Ω(n) O(n) 82.27s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_FR Ω(1) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM Ω(n) INF 3.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L Ω(n3) O(n3) 2.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z Ω(n3) O(n3) 2.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C Ω(n) O(n) 290.61s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_FR Ω(1) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM Ω(1) INF 9.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_C Ω(n) INF 299.52s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_FR Ω(n) INF 11.32s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM Ω(1) INF 291.58s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C Ω(n) INF 296.36s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR Ω(n) INF 5.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z Ω(1) INF 1.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_Z Ω(1) INF 2.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C Ω(n) INF 15.27s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR Ω(n) INF 4.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM Ω(n) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C Ω(n) INF 294.93s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR Ω(n) INF 4.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM Ω(n) INF 42.34s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z Ω(1) INF 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z Ω(1) INF 1.19s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C Ω(n) O(n) 2.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C Ω(n) O(n) 2.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR Ω(1) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_C Ω(n) INF 298.54s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_FR Ω(1) INF 290.49s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM Ω(1) INF 310.02s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_C Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR Ω(n) INF 290.65s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM Ω(1) INF 310.02s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z Ω(1) INF 9.93s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_Z Ω(1) INF 51.80s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_C Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_FR Ω(n) INF 290.33s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM Ω(1) INF 297.05s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C Ω(n) INF 295.53s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR Ω(n) INF 290.39s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM Ω(1) INF 310.02s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z Ω(1) INF 4.36s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_Z Ω(1) INF 8.35s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_C Ω(n) INF 290.52s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_FR Ω(1) O(n) 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM Ω(n) INF 220.47s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR Ω(1) POLY 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM Ω(1) INF 294.52s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z Ω(1) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z Ω(1) O(n) 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_C Ω(n) INF 290.91s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_FR Ω(n) INF 3.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM Ω(1) INF 290.92s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_C Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_FR Ω(n2) INF 3.37s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete-noand_Z Ω(n) INF 2.32s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_Z Ω(n) INF 2.33s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C Ω(n) O(n) 52.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR Ω(n) O(n2) 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM Ω(n) INF 3.28s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_C Ω(n) O(n) 290.54s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_FR Ω(n2) O(n2) 2.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM Ω(n) INF 11.27s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds-noand_Z Ω(n) O(n) 1.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z Ω(n) O(n) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C Ω(n) O(n2) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR Ω(n2) O(n2) 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM Ω(n2) INF 4.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_C Ω(n) O(n) 4.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR Ω(n2) O(n2) 2.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM Ω(n2) INF 7.25s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_C Ω(1) INF 310.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_FR Ω(n) INF 9.37s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM Ω(1) INF 290.68s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_C Ω(n) INF 295.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_FR Ω(n) INF 4.36s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM Ω(1) INF 296.01s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete-noand_Z Ω(1) INF 1.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_Z Ω(1) INF 2.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_C Ω(n) INF 290.51s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_FR Ω(n) INF 5.30s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM Ω(n) INF 4.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_C Ω(n) INF 300.97s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_FR Ω(n) INF 3.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM Ω(1) INF 296.39s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds-noand_Z Ω(1) INF 1.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_Z Ω(1) INF 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_C Ω(n) O(n) 2.28s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_C Ω(n) O(n) 26.34s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR Ω(n) INF 1.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_C Ω(n) INF 291.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_FR Ω(n) INF 9.32s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_GM Ω(1) INF 291.13s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_noand_C Ω(n) INF 293.65s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_FR Ω(n2) INF 3.34s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_noand_GM Ω(n2) INF 293.50s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete-noand_Z Ω(n) O(n2) 2.39s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_complete_Z Ω(n) INF 3.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_C Ω(n) O(n) 14.29s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_FR Ω(n2) O(n2) 9.27s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_GM Ω(n) INF 18.31s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_C Ω(n) O(n) 299.97s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_FR Ω(n2) O(n2) 8.26s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_noand_GM Ω(n) INF 293.57s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds-noand_Z Ω(n) O(n) 3.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nokinds_Z Ω(n) O(n) 4.24s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_C Ω(n) O(n) 2.20s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_GM Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_C Ω(n) O(n) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PALINDROME_nosorts_noand_GM Ω(n) INF 1.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_C Ω(n) O(n) 290.43s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_FR Ω(n) INF 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM Ω(n) INF 8.35s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_C Ω(n) INF 303.02s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete-noand_FR Ω(n2) INF 3.34s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM Ω(n) INF 295.65s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete-noand_Z Ω(n) O(n2) 2.34s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_Z Ω(n) INF 2.28s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_C Ω(n) O(n) 3.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR Ω(n2) O(n2) 2.22s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_C Ω(n) O(n) 14.32s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_FR Ω(n2) O(n2) 2.19s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM Ω(n) INF 2.23s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds-noand_Z Ω(n) O(n) 1.17s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z Ω(n) O(n) 1.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_C Ω(n) O(n) 2.18s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM Ω(n2) INF 3.14s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_C Ω(n) O(n) 2.21s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM Ω(n2) INF 5.26s
Runtime_Complexity_Innermost_Rewriting/Various_04/10 Ω(n) O(n3) 2.18s
Runtime_Complexity_Innermost_Rewriting/Various_04/12 Ω(n) INF 2.13s
Runtime_Complexity_Innermost_Rewriting/Various_04/13 Ω(n) INF 2.17s
Runtime_Complexity_Innermost_Rewriting/Various_04/14 Ω(n) O(n2) 4.32s
Runtime_Complexity_Innermost_Rewriting/Various_04/15 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Various_04/18 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Various_04/22 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Various_04/23 Ω(n) O(n) 2.12s
Runtime_Complexity_Innermost_Rewriting/Various_04/24 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2 Ω(n) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4 Ω(1) INF 1.09s
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z10 Ω(1) INF 3.13s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13 Ω(1) INF 1.10s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18 Ω(1) INF 1.10s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23 Ω(1) O(n) 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24 Ω(1) INF 1.11s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z26 Ω(n) O(n) 1.12s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27 Ω(n) INF 1.12s
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z28 Ω(n) INF 1.11s