Termination Competition 2018: Runtime Complexity: TRS Innermost Certified30094

Job info CSV
AProVE certified tct 2018-07-13 tct_rci_cert
benchmark UPLOWTIME UPLOWTIME
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.xml 5167464 ∞ +0 1 +0 15.58/5.77 ∞ +0 1 +0 113.61/63.52
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml 5167465 n1 +2 1 +0 5.47/2.27 n1 +2 1 +0 0.90/0.08
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.xml 5167466 ∞ +0 1 +0 15.00/5.51 ∞ +0 1 +0 119.12/70.17
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml 5167467 n1 +2 1 +0 5.05/2.08 n1 +2 1 +0 0.82/0.06
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.xml 5167468 ∞ +0 1 +0 335.99/296.19 ∞ +0 1 +0 66.23/20.06
Runtime_Complexity_Innermost_Rewriting/Various_04/11.xml 5166923 ∞ +0 1 +0 5.41/2.21 ∞ +0 1 +0 22.07/7.07
Runtime_Complexity_Innermost_Rewriting/Various_04/24.xml 5166924 n1 +2 1 +0 375.07/292.54 n2 +1 1 +0 33.56/9.76
Runtime_Complexity_Innermost_Rewriting/Various_04/15.xml 5166925 n1 +2 1 +0 5.86/2.62 n1 +2 1 +0 0.22/0.07
Runtime_Complexity_Innermost_Rewriting/Various_04/22.xml 5166926 ∞ +0 1 +0 5.96/2.37 ∞ +0 1 +0 26.22/9.17
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.xml 5167314 ∞ +0 1 +0 121.53/110.77 ∞ +0 1 +0 1017.59/296.33
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.xml 5167315 ∞ +0 1 +0 237.44/225.56 ∞ +0 1 +0 1032.96/296.13
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.xml 5167316 ∞ +0 1 +0 326.94/291.50 ∞ +0 1 +0 629.53/296.16
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.xml 5167317 ∞ +0 1 +0 4.80/2.00 ∞ +0 1 +0 36.35/11.08
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.xml 5167318 n1 +2 1 +0 413.60/291.51 ∞ +0 1 +0 690.08/296.14
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.xml 5167319 ∞ +0 1 +0 307.30/291.51 ∞ +0 1 +0 808.84/296.09
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.xml 5167320 ∞ +0 1 +0 303.54/291.52 ∞ +0 1 +0 1123.69/296.16
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.xml 5167321 ∞ +0 1 +0 118.25/107.87 ∞ +0 1 +0 968.28/296.04
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.xml 5167322 ∞ +0 1 +0 393.93/291.67 ∞ +0 1 +0 626.50/296.06
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.xml 5167323 ∞ +0 1 +0 303.29/291.50 ∞ +0 1 +0 1126.02/296.25
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.xml 5166806 ∞ +0 1 +0 554.51/291.51 ∞ +0 1 +0 1114.94/296.15
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.xml 5166807 ∞ +0 1 +0 9.87/3.46 ∞ +0 1 +0 120.00/38.21
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.xml 5166808 n2 +2 1 +0 9.77/3.37 n2 +2 1 +0 89.71/25.17
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.xml 5166809 n1 +2 1 +0 3.64/1.77 n1 +2 1 +0 0.16/0.05
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.xml 5166810 n3 +2 1 +0 14.79/5.09 n3 +2 1 +0 224.11/54.98
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.xml 5166811 ∞ +0 1 +0 991.32/296.84 ∞ +0 1 +0 1041.92/296.21
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.xml 5166812 n3 +1 1 +0 4.70/1.93 n2 +2 1 +0 0.81/0.24
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.xml 5166813 n2 +2 1 +0 6.97/2.65 n2 +2 1 +0 0.99/0.50
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.xml 5166814 ∞ +0 1 +0 755.52/292.14 StarExec error
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.xml 5166815 n3 +2 1 +0 16.56/5.49 ∞ +0 1 +0 271.55/133.46
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml 5166816 StarExec error n2 +2 1 +0 0.67/0.21
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.xml 5166817 n3 +2 1 +0 13.10/5.46 ∞ +0 1 +0 918.73/296.07
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.xml 5166818 n2 +1 1 +0 4.70/1.90 n1 +2 1 +0 0.41/0.08
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.xml 5166819 n1 +2 1 +0 10.57/4.00 n1 +2 1 +0 1.49/0.36
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.xml 5166820 n2 +2 1 +0 8.52/3.02 n2 +2 1 +0 61.32/15.60
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.xml 5166821 timeout (wallclock) ∞ +0 1 +0 1008.37/296.37
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.xml 5166822 ∞ +0 1 +0 5.73/2.54 n3 +2 1 +0 16.86/11.26
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.xml 5166823 n2 +2 1 +0 16.25/5.02 n2 +2 1 +0 54.09/15.28
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.xml 5166824 n2 +2 1 +0 6.27/2.31 n2 +2 1 +0 18.94/3.38
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.xml 5166825 ∞ +0 1 +0 195.11/177.99 ∞ +0 1 +0 86.88/30.95
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.xml 5166826 n2 +2 1 +0 14.12/4.46 n2 +2 1 +0 25.64/7.70
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.xml 5166827 n3 +2 1 +0 5.97/2.27 n3 +2 1 +0 46.51/11.88
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.xml 5166828 n2 +1 1 +0 5.14/2.46 n1 +2 1 +0 0.96/0.21
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.xml 5166829 n2 +2 1 +0 8.00/2.85 n2 +2 1 +0 4.90/1.47
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.xml 5166830 ∞ +0 1 +0 10.87/4.28 ∞ +0 1 +0 171.79/76.58
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.xml 5166831 n2 +1 1 +0 10.32/4.09 n1 +2 1 +0 2.36/0.60
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.xml 5166832 n3 +2 1 +0 17.33/5.70 StarExec error
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.xml 5166833 n2 +2 1 +0 7.93/2.74 n2 +2 1 +0 5.86/1.69
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.xml 5166834 ∞ +0 1 +0 91.18/79.88 ∞ +0 1 +0 931.97/296.43
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.xml 5166835 ∞ +0 1 +0 18.64/9.82 ∞ +0 1 +0 64.85/25.63
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.xml 5166836 n1 +2 1 +0 4.48/1.91 n1 +2 1 +0 0.24/0.05
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.xml 5166837 n1 +2 1 +0 5.11/1.99 n1 +2 1 +0 0.03/0.01
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.xml 5166838 n3 +2 1 +0 36.42/17.34 n3 +2 1 +0 212.03/24.95
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.xml 5166839 StarExec error n1 +2 1 +0 0.31/0.05
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml 5166840 ∞ +0 1 +0 43.05/28.76 ∞ +0 1 +0 908.14/296.11
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.xml 5166841 n3 +2 1 +0 81.18/36.15 n5 +1 1 +0 481.01/235.51
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.xml 5166914 ∞ +0 1 +0 664.23/296.53 ∞ +0 1 +0 718.04/296.14
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.xml 5166915 ∞ +0 1 +0 34.47/21.99 ∞ +0 1 +0 806.52/296.12
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.xml 5166916 ∞ +0 1 +0 35.63/16.31 ∞ +0 1 +0 742.74/296.15
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.xml 5166917 ∞ +0 1 +0 687.98/294.85 ∞ +0 1 +0 978.92/296.42
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.xml 5166918 ∞ +0 1 +0 651.65/298.58 ∞ +0 1 +0 716.85/296.06
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.xml 5166919 ∞ +0 1 +0 38.94/19.72 ∞ +0 1 +0 214.72/78.59
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml 5166920 ∞ +0 1 +0 248.34/222.36 ∞ +0 1 +0 669.75/296.20
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.xml 5166921 ∞ +0 1 +0 909.42/292.05 ∞ +0 1 +0 619.15/296.04
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.xml 5166922 ∞ +0 1 +0 137.39/128.54 ∞ +0 1 +0 235.61/75.95
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml 5167081 ∞ +0 1 +0 5.63/2.20 ∞ +0 1 +0 674.78/296.10
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml 5167082 timeout (wallclock) ∞ +0 1 +0 1014.86/296.13
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml 5167083 timeout (wallclock) ∞ +0 1 +0 941.95/296.12
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml 5167084 n2 +2 1 +0 102.32/44.75 n2 +2 1 +0 38.33/12.26
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml 5167085 ∞ +0 1 +0 353.53/298.23 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.xml 5167086 ∞ +0 1 +0 562.26/293.43 ∞ +0 1 +0 720.28/254.20
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml 5167087 ∞ +0 1 +0 3.78/2.17 ∞ +0 1 +0 15.17/4.94
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml 5167088 ∞ +0 1 +0 8.73/3.15 ∞ +0 1 +0 42.40/14.47
Runtime_Complexity_Innermost_Rewriting/Der95/27.xml 5167090 n1 +2 1 +0 3.79/1.75 n1 +2 1 +0 0.09/0.03
Runtime_Complexity_Innermost_Rewriting/Der95/06.xml 5167091 n1 +2 1 +0 3.62/1.66 n1 +2 1 +0 0.05/0.03
Runtime_Complexity_Innermost_Rewriting/Der95/08.xml 5167092 n1 +2 1 +0 4.05/1.86 n2 +1 1 +0 301.40/3.14
Runtime_Complexity_Innermost_Rewriting/Der95/11.xml 5167093 StarExec error n1 +2 1 +0 50.17/14.26
Runtime_Complexity_Innermost_Rewriting/Der95/18.xml 5167094 n1 +2 1 +0 3.58/1.69 n1 +2 1 +0 0.22/0.05
Runtime_Complexity_Innermost_Rewriting/Der95/21.xml 5167095 ∞ +0 1 +0 222.96/185.68 ∞ +0 1 +0 179.12/65.64
Runtime_Complexity_Innermost_Rewriting/Der95/32.xml 5167096 n2 +2 1 +0 7.01/2.56 n2 +2 1 +0 40.58/8.32
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.xml 5167264 ∞ +0 1 +0 79.84/44.50 ∞ +0 1 +0 367.73/296.09
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.xml 5167265 StarExec error ∞ +0 1 +0 48.65/18.66
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.xml 5167266 ∞ +0 1 +0 59.08/39.13 StarExec error
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.xml 5167267 ∞ +0 1 +0 123.34/81.72 ∞ +0 1 +0 719.81/296.40
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.xml 5167268 n1 +2 1 +0 4.24/1.86 n1 +2 1 +0 0.65/0.21
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.xml 5167269 ∞ +0 1 +0 729.41/298.26 ∞ +0 1 +0 499.86/264.93
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.xml 5167270 ∞ +0 1 +0 90.05/49.89 ∞ +0 1 +0 621.63/237.49
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.xml 5167271 ∞ +0 1 +0 24.65/12.73 ∞ +0 1 +0 165.09/63.22
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.xml 5167272 ∞ +0 1 +0 133.51/122.28 ∞ +0 1 +0 1183.69/296.16
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.xml 5167029 n2 +2 1 +0 11.91/4.25 n2 +2 1 +0 33.96/8.86
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.xml 5167030 StarExec error ∞ +0 1 +0 1183.98/296.18
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml 5167031 ∞ +0 1 +0 16.51/6.36 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml 5167032 n1 +2 1 +0 6.81/2.54 n1 +2 1 +0 8.28/2.09
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml 5167033 ∞ +0 1 +0 18.28/7.29 ∞ +0 1 +0 329.05/153.84
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.xml 5167034 ∞ +0 1 +0 30.71/11.98 ∞ +0 1 +0 145.50/49.23
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.xml 5167035 n1 +2 1 +0 4.48/1.92 n1 +2 1 +0 2.24/0.57
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml 5167036 n1 +2 1 +0 4.90/1.99 n1 +2 1 +0 1.21/0.24
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml 5167037 n3 +2 1 +0 6.29/2.44 n3 +2 1 +0 43.25/11.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml 5167038 ∞ +0 1 +0 12.96/5.05 ∞ +0 1 +0 64.47/20.02
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml 5167039 n1 +2 1 +0 7.40/2.77 n1 +2 1 +0 1.33/0.34
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.xml 5167040 n1 +2 1 +0 5.14/2.09 n1 +2 1 +0 2.62/0.60
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.xml 5167041 ∞ +0 1 +0 11.61/3.97 ∞ +0 1 +0 56.75/21.16
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.xml 5167042 n3 +2 1 +0 6.11/2.36 n3 +2 1 +0 64.25/16.84
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml 5167043 n1 +2 1 +0 5.38/2.13 n1 +2 1 +0 1.39/0.33
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.xml 5167044 n2 +2 1 +0 8.64/3.08 n2 +2 1 +0 20.92/5.09
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.xml 5167045 ∞ +0 1 +0 136.46/122.34 ∞ +0 1 +0 1183.31/296.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.xml 5167046 ∞ +0 1 +0 22.43/11.23 ∞ +0 1 +0 196.42/71.22
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.xml 5167047 timeout (wallclock) ∞ +0 1 +0 631.60/296.02
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml 5167048 ∞ +0 1 +0 13.30/4.70 ∞ +0 1 +0 63.19/20.01
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml 5167049 n1 +2 1 +0 4.01/1.75 n1 +2 1 +0 0.17/0.06
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.xml 5167050 n1 +2 1 +0 4.01/6.14 n1 +2 1 +0 0.14/0.04
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.xml 5167051 n1 +2 1 +0 3.45/1.61 n1 +2 1 +0 0.93/0.20
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml 5167052 n1 +2 1 +0 4.49/1.86 n1 +2 1 +0 0.77/0.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.xml 5167053 n1 +2 1 +0 5.26/2.07 n1 +2 1 +0 2.80/0.72
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.xml 5167054 ∞ +0 1 +0 33.66/16.70 ∞ +0 1 +0 179.81/84.84
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml 5167055 n1 +2 1 +0 4.76/1.95 n1 +2 1 +0 2.77/0.64
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.xml 5167056 ∞ +0 1 +0 609.40/291.52 ∞ +0 1 +0 557.35/296.13
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.xml 5167057 ∞ +0 1 +0 5.87/2.26 ∞ +0 1 +0 27.96/9.41
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.xml 5167058 n1 +2 1 +0 3.92/1.74 n1 +2 1 +0 0.21/0.06
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.xml 5167059 timeout (wallclock) ∞ +0 1 +0 1013.30/296.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.xml 5167060 ∞ +0 1 +0 14.88/6.18 ∞ +0 1 +0 110.85/35.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.xml 5167061 n1 +2 1 +0 6.12/2.38 n1 +2 1 +0 2.14/0.51
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.xml 5167062 ∞ +0 1 +0 10.70/4.14 ∞ +0 1 +0 1183.88/296.18
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml 5167063 timeout (wallclock) ∞ +0 1 +0 583.21/296.13
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.xml 5167064 n1 +2 1 +0 4.21/1.79 n1 +2 1 +0 0.17/0.04
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.xml 5167065 n1 +2 1 +0 4.96/1.98 n1 +2 1 +0 2.54/0.59
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.xml 5167066 ∞ +0 1 +0 7.96/3.01 ∞ +0 1 +0 94.97/33.14
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.xml 5167067 n2 +2 1 +0 5.25/2.16 n2 +2 1 +0 19.92/5.26
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.xml 5167068 n1 +2 1 +0 5.61/2.30 n1 +2 1 +0 4.19/1.02
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.xml 5167069 ∞ +0 1 +0 10.58/4.19 ∞ +0 1 +0 51.51/20.11
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml 5167070 n3 +2 1 +0 12.92/4.53 n3 +2 1 +0 750.00/129.93
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml 5167071 ∞ +0 1 +0 897.67/291.54 ∞ +0 1 +0 319.11/134.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml 5167072 timeout (wallclock) ∞ +0 1 +0 584.68/296.07
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.xml 5167073 n1 +2 1 +0 3.88/1.73 n1 +2 1 +0 0.93/0.25
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.xml 5167074 ∞ +0 1 +0 314.77/292.09 ∞ +0 1 +0 284.74/108.32
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.xml 5167075 ∞ +0 1 +0 50.74/30.40 ∞ +0 1 +0 264.29/105.23
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.xml 5167076 n1 +2 1 +0 4.11/1.84 n1 +2 1 +0 0.51/0.14
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.xml 5167077 ∞ +0 1 +0 456.25/296.19 ∞ +0 1 +0 933.84/296.16
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml 5167078 ∞ +0 1 +0 91.76/79.34 ∞ +0 1 +0 1115.59/296.39
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml 5167079 timeout (wallclock) ∞ +0 1 +0 1160.56/296.22
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml 5167080 ∞ +0 1 +0 12.78/4.54 ∞ +0 1 +0 846.22/296.14
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.xml 5167089 n1 +2 1 +0 9.03/3.09 n1 +2 1 +0 1.38/0.36
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.xml 5167288 ∞ +0 1 +0 914.92/299.08 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.xml 5167289 ∞ +0 1 +0 443.80/297.84 ∞ +0 1 +0 1026.37/296.58
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.xml 5167290 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.xml 5167291 timeout (wallclock) ∞ +0 1 +0 964.89/296.20
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.xml 5167292 ∞ +0 1 +0 239.90/224.00 ∞ +0 1 +0 1131.74/296.21
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.xml 5167293 ∞ +0 1 +0 362.01/296.53 ∞ +0 1 +0 1029.40/296.59
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.xml 5167294 ∞ +0 1 +0 370.46/296.51 ∞ +0 1 +0 1031.58/296.61
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.xml 5167378 ∞ +0 1 +0 650.97/294.15 ∞ +0 1 +0 932.15/296.05
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.xml 5167379 ∞ +0 1 +0 700.02/298.25 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.xml 5167380 ∞ +0 1 +0 32.36/13.70 ∞ +0 1 +0 298.55/104.42
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.xml 5167381 ∞ +0 1 +0 36.70/24.34 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.xml 5167382 ∞ +0 1 +0 677.22/292.29 ∞ +0 1 +0 389.44/198.88
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.xml 5167383 ∞ +0 1 +0 11.03/4.83 ∞ +0 1 +0 122.10/35.99
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.xml 5167384 ∞ +0 1 +0 395.61/298.99 ∞ +0 1 +0 210.09/80.00
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.xml 5167385 ∞ +0 1 +0 424.76/294.29 ∞ +0 1 +0 409.88/261.93
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.xml 5167386 ∞ +0 1 +0 23.00/15.87 ∞ +0 1 +0 553.61/296.02
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.xml 5167387 ∞ +0 1 +0 28.63/14.06 ∞ +0 1 +0 243.86/98.80
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.xml 5167388 ∞ +0 1 +0 6.99/2.79 ∞ +0 1 +0 137.36/53.49
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.xml 5167389 ∞ +0 1 +0 316.29/291.65 ∞ +0 1 +0 1092.84/296.19
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.xml 5167390 ∞ +0 1 +0 417.03/292.12 ∞ +0 1 +0 1027.58/297.24
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.xml 5167391 StarExec error ∞ +0 1 +0 231.73/109.66
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.xml 5167392 ∞ +0 1 +0 133.34/124.58 ∞ +0 1 +0 978.04/296.16
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.xml 5167393 ∞ +0 1 +0 9.33/4.95 ∞ +0 1 +0 60.26/21.29
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.xml 5167394 ∞ +0 1 +0 656.72/299.62 ∞ +0 1 +0 1062.57/296.18
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.xml 5167395 ∞ +0 1 +0 104.59/63.93 ∞ +0 1 +0 227.14/91.16
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.xml 5167396 StarExec error ∞ +0 1 +0 381.22/225.54
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.xml 5167397 ∞ +0 1 +0 41.17/27.65 ∞ +0 1 +0 938.70/296.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.xml 5167398 ∞ +0 1 +0 350.61/291.60 ∞ +0 1 +0 460.63/295.50
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.xml 5167399 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.xml 5167400 timeout (wallclock) ∞ +0 1 +0 954.63/296.15
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.xml 5167401 ∞ +0 1 +0 296.66/255.12 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.xml 5167402 ∞ +0 1 +0 69.16/33.96 ∞ +0 1 +0 227.12/84.29
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.xml 5167403 ∞ +0 1 +0 85.78/60.92 ∞ +0 1 +0 781.39/296.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.xml 5167404 ∞ +0 1 +0 7.08/2.87 ∞ +0 1 +0 132.92/57.35
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.xml 5167405 ∞ +0 1 +0 6.91/2.87 ∞ +0 1 +0 126.22/61.71
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.xml 5167406 timeout (wallclock) ∞ +0 1 +0 950.78/296.40
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.xml 5167407 ∞ +0 1 +0 79.71/41.73 ∞ +0 1 +0 1169.20/296.36
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.xml 5167408 timeout (wallclock) ∞ +0 1 +0 348.76/163.49
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.xml 5167409 ∞ +0 1 +0 61.79/38.31 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.xml 5167410 ∞ +0 1 +0 399.12/293.70 ∞ +0 1 +0 489.62/296.02
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.xml 5167411 ∞ +0 1 +0 17.82/8.00 ∞ +0 1 +0 272.89/127.28
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.xml 5167412 ∞ +0 1 +0 40.38/17.56 ∞ +0 1 +0 110.69/44.15
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.xml 5167413 ∞ +0 1 +0 436.16/299.43 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.xml 5167414 ∞ +0 1 +0 577.99/291.62 ∞ +0 1 +0 1021.08/296.74
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.xml 5167415 ∞ +0 1 +0 369.85/291.73 ∞ +0 1 +0 596.27/296.11
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.xml 5167416 ∞ +0 1 +0 72.53/38.53 ∞ +0 1 +0 771.41/296.04
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.xml 5167417 ∞ +0 1 +0 305.06/291.52 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.xml 5167418 ∞ +0 1 +0 360.57/296.04 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.xml 5167419 ∞ +0 1 +0 657.38/299.50 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.xml 5167420 ∞ +0 1 +0 618.97/292.59 ∞ +0 1 +0 908.12/296.47
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.xml 5167421 ∞ +0 1 +0 341.10/222.66 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.xml 5167422 ∞ +0 1 +0 122.38/83.55 ∞ +0 1 +0 575.34/296.02
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.xml 5167423 ∞ +0 1 +0 119.70/95.95 ∞ +0 1 +0 1062.65/296.60
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.xml 5167424 ∞ +0 1 +0 142.25/118.49 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.xml 5167425 ∞ +0 1 +0 227.67/183.78 ∞ +0 1 +0 194.79/99.78
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.xml 5167426 ∞ +0 1 +0 23.11/12.06 ∞ +0 1 +0 394.15/163.60
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.xml 5167427 ∞ +0 1 +0 14.93/5.42 ∞ +0 1 +0 244.14/90.92
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.xml 5167428 ∞ +0 1 +0 909.06/298.19 ∞ +0 1 +0 945.60/296.12
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.xml 5167429 ∞ +0 1 +0 51.52/38.38 ∞ +0 1 +0 398.05/296.11
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.xml 5167339 ∞ +0 1 +0 28.44/21.10 ∞ +0 1 +0 121.73/57.30
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.xml 5167340 ∞ +0 1 +0 336.08/291.67 ∞ +0 1 +0 644.16/296.14
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.xml 5167341 ∞ +0 1 +0 11.11/3.87 ∞ +0 1 +0 73.70/24.89
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.xml 5167342 ∞ +0 1 +0 267.31/250.65 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.xml 5167343 ∞ +0 1 +0 13.46/6.41 ∞ +0 1 +0 144.16/45.75
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.xml 5167344 ∞ +0 1 +0 1180.04/297.87 ∞ +0 1 +0 1119.23/296.06
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.xml 5167345 ∞ +0 1 +0 315.58/294.06 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.xml 5167346 ∞ +0 1 +0 9.61/4.89 ∞ +0 1 +0 120.99/45.49
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.xml 5167347 ∞ +0 1 +0 723.34/295.71 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.xml 5167348 StarExec error ∞ +0 1 +0 523.40/296.15
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.xml 5167349 ∞ +0 1 +0 910.71/295.04 ∞ +0 1 +0 968.65/296.15
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.xml 5167350 ∞ +0 1 +0 683.90/296.52 ∞ +0 1 +0 1025.61/296.56
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.xml 5167351 ∞ +0 1 +0 1028.39/298.81 ∞ +0 1 +0 281.59/92.27
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.xml 5167352 ∞ +0 1 +0 354.24/291.54 ∞ +0 1 +0 137.40/68.80
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.xml 5167353 ∞ +0 1 +0 8.62/3.84 ∞ +0 1 +0 389.41/154.82
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.xml 5167354 ∞ +0 1 +0 1037.65/294.66 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.xml 5167355 ∞ +0 1 +0 1106.67/294.48 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.xml 5167356 ∞ +0 1 +0 7.11/2.77 ∞ +0 1 +0 86.77/34.54
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.xml 5167357 ∞ +0 1 +0 748.66/295.73 ∞ +0 1 +0 1055.90/296.14
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.xml 5167358 ∞ +0 1 +0 668.28/294.49 ∞ +0 1 +0 1052.31/296.16
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.xml 5167359 ∞ +0 1 +0 7.86/3.90 ∞ +0 1 +0 58.21/20.41
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.xml 5167360 ∞ +0 1 +0 959.29/294.99 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.xml 5167361 ∞ +0 1 +0 829.20/295.17 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.xml 5167362 ∞ +0 1 +0 307.05/291.65 ∞ +0 1 +0 765.08/296.11
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.xml 5167430 ∞ +0 1 +0 54.51/44.10 ∞ +0 1 +0 159.13/75.74
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.xml 5167431 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.xml 5167432 StarExec error ∞ +0 1 +0 1028.53/296.53
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.xml 5167433 ∞ +0 1 +0 1154.99/292.92 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml 5167434 ∞ +0 1 +0 1020.44/295.77 ∞ +0 1 +0 926.46/296.12
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.xml 5167435 ∞ +0 1 +0 1173.77/297.76 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.xml 5167436 ∞ +0 1 +0 709.82/298.77 ∞ +0 1 +0 1039.73/297.51
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml 5167437 ∞ +0 1 +0 518.66/292.06 ∞ +0 1 +0 758.49/296.11
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.xml 5167438 ∞ +0 1 +0 69.03/31.50 ∞ +0 1 +0 150.20/71.33
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.xml 5167439 ∞ +0 1 +0 418.38/291.83 ∞ +0 1 +0 918.71/296.10
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.xml 5167440 ∞ +0 1 +0 306.10/247.91 ∞ +0 1 +0 817.08/296.62
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.xml 5167441 ∞ +0 1 +0 361.69/292.38 ∞ +0 1 +0 688.45/296.10
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml 5167442 ∞ +0 1 +0 380.11/291.59 ∞ +0 1 +0 784.56/296.12
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.xml 5167443 ∞ +0 1 +0 172.43/115.70 ∞ +0 1 +0 533.10/196.97
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.xml 5167444 ∞ +0 1 +0 907.49/292.63 ∞ +0 1 +0 1106.31/296.41
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.xml 5167445 ∞ +0 1 +0 942.02/292.87 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.xml 5167446 timeout (wallclock) ∞ +0 1 +0 1174.30/296.12
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.xml 5167447 ∞ +0 1 +0 771.94/300.07 ∞ +0 1 +0 751.01/296.07
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.xml 5167448 StarExec error ∞ +0 1 +0 1177.01/296.14
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.xml 5167449 n1 +2 1 +0 17.54/9.62 n1 +2 1 +0 2.53/0.56
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.xml 5167450 n2 +2 1 +0 18.37/5.58 n2 +2 1 +0 53.35/18.32
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.xml 5167451 n2 +2 1 +0 8.24/2.84 n2 +2 1 +0 5.49/1.65
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.xml 5167452 n2 +2 1 +0 46.71/12.74 n2 +2 1 +0 208.09/52.42
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.xml 5167453 n2 +2 1 +0 707.20/189.44 ∞ +0 1 +0 1183.76/296.86
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.xml 5167454 n2 +2 1 +0 17.91/5.38 StarExec error
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.xml 5167455 timeout (wallclock) ∞ +0 1 +0 1028.79/296.66
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.xml 5167456 n1 +2 1 +0 5.42/2.19 n1 +2 1 +0 3.83/0.94
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.xml 5167457 n2 +2 1 +0 50.13/13.49 n2 +2 1 +0 190.77/55.65
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.xml 5167458 ∞ +0 1 +0 604.65/291.50 ∞ +0 1 +0 327.36/296.09
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.xml 5167459 ∞ +0 1 +0 1132.22/291.62 n2 +2 1 +0 328.98/83.34
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.xml 5167460 n2 +2 1 +0 103.59/27.04 n2 +2 1 +0 28.40/10.19
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.xml 5167461 ∞ +0 1 +0 798.44/293.00 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.xml 5167462 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.xml 5167463 n2 +2 1 +0 668.44/175.32 n2 +2 1 +0 547.33/143.05
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.xml 5166927 n1 +2 1 +0 4.08/1.87 n1 +2 1 +0 0.46/0.12
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.xml 5166928 ∞ +0 1 +0 4.75/2.07 ∞ +0 1 +0 19.94/6.19
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.xml 5166929 ∞ +0 1 +0 387.05/295.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.xml 5166930 ∞ +0 1 +0 7.15/3.78 ∞ +0 1 +0 245.87/116.79
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.xml 5166931 n1 +2 1 +0 3.59/1.73 n1 +2 1 +0 0.06/0.02
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml 5166932 ∞ +0 1 +0 692.19/300.72 ∞ +0 1 +0 1034.96/296.43
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 5166933 ∞ +0 1 +0 15.84/6.66 ∞ +0 1 +0 826.26/296.03
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.xml 5166934 n1 +2 1 +0 4.40/1.96 n2 +1 1 +0 2.43/0.87
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.xml 5166935 n1 +2 1 +0 4.39/1.82 n1 +2 1 +0 0.14/0.05
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml 5166936 ∞ +0 1 +0 4.30/1.92 ∞ +0 1 +0 16.33/5.66
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml 5166937 StarExec error ∞ +0 1 +0 966.77/296.05
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml 5166938 ∞ +0 1 +0 576.36/295.20 ∞ +0 1 +0 1070.84/296.47
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.xml 5166939 ∞ +0 1 +0 5.92/2.39 n1 +2 1 +0 3.90/0.90
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml 5166940 ∞ +0 1 +0 665.51/297.77 ∞ +0 1 +0 981.08/296.31
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml 5166941 timeout (wallclock) ∞ +0 1 +0 990.27/296.26
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml 5167241 timeout (wallclock) ∞ +0 1 +0 917.80/296.03
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml 5167242 ∞ +0 1 +0 490.65/299.47 ∞ +0 1 +0 912.47/296.04
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml 5167243 ∞ +0 1 +0 16.22/10.66 ∞ +0 1 +0 469.37/296.24
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml 5167244 ∞ +0 1 +0 129.38/104.85 ∞ +0 1 +0 70.32/23.75
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml 5167245 ∞ +0 1 +0 687.00/299.45 ∞ +0 1 +0 1057.72/296.97
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml 5167246 StarExec error ∞ +0 1 +0 272.27/92.14
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml 5167247 ∞ +0 1 +0 695.27/299.25 ∞ +0 1 +0 1039.24/296.25
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml 5167248 ∞ +0 1 +0 13.84/7.09 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml 5167249 ∞ +0 1 +0 6.23/2.30 1 +2 1 +0 2.28/0.52
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.xml 5167295 n3 +2 1 +0 14.56/4.72 n3 +2 1 +0 63.20/22.68
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml 5167296 n1 +2 1 +0 4.73/2.11 n1 +2 1 +0 0.14/0.04
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml 5167297 n2 +1 1 +0 5.92/2.23 n1 +2 1 +0 1.41/0.30
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.xml 5167298 ∞ +0 1 +0 499.95/291.47 ∞ +0 1 +0 980.19/296.23
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.xml 5167299 n2 +2 1 +0 38.35/11.19 ∞ +0 1 +0 614.26/296.70
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.xml 5167300 n1 +2 1 +0 5.14/2.00 StarExec error
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.xml 5167301 n1 +2 1 +0 7.63/2.67 n2 +1 1 +0 2.17/0.56
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.xml 5167302 ∞ +0 1 +0 11.64/5.55 ∞ +0 1 +0 644.60/296.10
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml 5167303 ∞ +0 1 +0 473.56/298.52 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.xml 5167304 n2 +2 1 +0 12.33/3.85 n2 +2 1 +0 5.03/1.90
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.xml 5167305 n1 +2 1 +0 4.25/1.86 n1 +2 1 +0 0.53/0.08
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.xml 5167306 n2 +2 1 +0 12.26/4.26 n3 +1 1 +0 41.41/13.86
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml 5167307 n2 +1 1 +0 4.38/1.90 n1 +2 1 +0 56.16/16.25
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml 5167308 n1 +2 1 +0 3.70/1.78 n1 +2 1 +0 0.16/0.05
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml 5167309 n2 +2 1 +0 9.81/3.30 n2 +2 1 +0 85.79/24.63
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.xml 5167310 n1 +2 1 +0 7.33/2.70 n1 +2 1 +0 0.35/0.06
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.xml 5167311 ∞ +0 1 +0 629.90/298.14 StarExec error
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.xml 5167312 StarExec error ∞ +0 1 +0 1026.24/296.14
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml 5167313 n2 +2 1 +0 18.18/5.58 ∞ +0 1 +0 246.25/115.91
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml 5167363 ∞ +0 1 +0 6.59/2.47 ∞ +0 1 +0 131.16/62.38
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml 5167364 ∞ +0 1 +0 7.73/3.10 ∞ +0 1 +0 587.79/296.03
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml 5167365 ∞ +0 1 +0 13.14/6.79 ∞ +0 1 +0 217.23/73.91
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml 5167366 ∞ +0 1 +0 95.71/44.87 ∞ +0 1 +0 303.59/104.91
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml 5167367 StarExec error ∞ +0 1 +0 1039.75/296.16
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml 5167368 ∞ +0 1 +0 313.83/291.55 ∞ +0 1 +0 595.14/296.11
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml 5167369 ∞ +0 1 +0 70.18/60.14 ∞ +0 1 +0 1128.67/296.14
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml 5167370 ∞ +0 1 +0 373.17/297.01 ∞ +0 1 +0 1049.30/296.85
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml 5167371 ∞ +0 1 +0 7.98/2.81 ∞ +0 1 +0 94.55/38.58
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml 5167372 ∞ +0 1 +0 24.63/15.22 ∞ +0 1 +0 94.09/34.36
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml 5167373 ∞ +0 1 +0 359.33/296.48 StarExec error
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml 5167374 timeout (wallclock) ∞ +0 1 +0 1028.30/296.13
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml 5167375 ∞ +0 1 +0 436.41/296.35 ∞ +0 1 +0 935.14/296.16
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml 5167376 ∞ +0 1 +0 51.89/44.50 ∞ +0 1 +0 466.44/296.05
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml 5167377 ∞ +0 1 +0 390.65/293.15 ∞ +0 1 +0 393.09/180.26
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.xml 5166995 n2 +2 1 +0 7.00/2.62 n2 +2 1 +0 4.30/1.18
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml 5166996 n1 +2 1 +0 133.57/34.62 n2 +1 1 +0 209.57/76.37
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.xml 5166997 StarExec error n1 +2 1 +0 1.09/0.19
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.xml 5166998 n2 +1 1 +0 18.11/5.45 n1 +2 1 +0 21.84/5.41
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.xml 5166999 ∞ +0 1 +0 19.79/8.73 ∞ +0 1 +0 66.81/25.28
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.xml 5167000 ∞ +0 1 +0 999.69/293.91 ∞ +0 1 +0 1064.09/296.29
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.xml 5167001 ∞ +0 1 +0 393.80/292.25 ∞ +0 1 +0 142.70/51.76
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.xml 5167002 ∞ +0 1 +0 1141.53/293.34 ∞ +0 1 +0 1111.66/296.15
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.xml 5167003 StarExec error n2 +2 1 +0 348.47/15.75
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.xml 5167004 n1 +2 1 +0 5.20/2.16 n1 +2 1 +0 3.73/0.95
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.xml 5167005 n2 +2 1 +0 7.20/2.59 n2 +2 1 +0 631.68/143.09
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.xml 5167006 ∞ +0 1 +0 1148.63/291.79 ∞ +0 1 +0 1113.51/296.15
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.xml 5167007 n1 +2 1 +0 4.73/2.04 n1 +2 1 +0 0.06/0.02
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.xml 5167008 ∞ +0 1 +0 10.84/4.08 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.xml 5167009 n1 +2 1 +0 3.69/1.77 n1 +2 1 +0 0.04/0.02
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.xml 5167010 timeout (wallclock) ∞ +0 1 +0 990.57/296.29
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.xml 5167011 n1 +2 1 +0 3.95/1.83 n1 +2 1 +0 0.58/0.12
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.xml 5167012 n2 +2 1 +0 10.08/3.44 n2 +2 1 +0 282.67/79.43
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml 5167013 ∞ +0 1 +0 34.54/17.69 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.xml 5167014 n1 +2 1 +0 4.97/2.03 n1 +2 1 +0 0.10/0.03
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.xml 5167015 n1 +2 1 +0 4.15/1.77 n1 +2 1 +0 0.71/0.12
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.xml 5167016 ∞ +0 1 +0 18.03/7.85 ∞ +0 1 +0 185.77/69.28
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.xml 5167017 ∞ +0 1 +0 10.16/3.84 ∞ +0 1 +0 288.91/124.43
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.xml 5167018 n1 +2 1 +0 3.57/1.67 n1 +2 1 +0 0.14/0.04
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.xml 5167019 ∞ +0 1 +0 1124.71/291.94 ∞ +0 1 +0 1134.45/296.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.xml 5167020 n1 +2 1 +0 4.61/1.90 n1 +2 1 +0 0.32/0.09
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.xml 5167021 n1 +2 1 +0 3.74/1.79 n1 +2 1 +0 0.37/0.10
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.xml 5167022 n2 +2 1 +0 37.00/10.33 ∞ +0 1 +0 444.43/207.90
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.xml 5167023 StarExec error ∞ +0 1 +0 1075.06/296.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.xml 5167024 n2 +2 1 +0 28.46/8.01 n2 +2 1 +0 17.32/4.70
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.xml 5167025 n1 +2 1 +0 4.80/2.00 n1 +2 1 +0 5.54/1.36
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.xml 5167026 ∞ +0 1 +0 434.48/293.23 ∞ +0 1 +0 225.10/87.60
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.xml 5167027 n1 +2 1 +0 11.85/3.91 n1 +2 1 +0 11.43/3.22
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.xml 5167028 ∞ +0 1 +0 1153.46/293.67 ∞ +0 1 +0 655.16/296.55
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.xml 5166942 n1 +2 1 +0 12.01/3.78 StarExec error
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml 5166943 n1 +2 1 +0 4.84/2.01 n1 +2 1 +0 0.16/0.05
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.xml 5166944 ∞ +0 1 +0 909.15/291.47 ∞ +0 1 +0 582.74/296.12
Runtime_Complexity_Innermost_Rewriting/hoca/sum.xml 5166945 n1 +2 1 +0 4.71/2.02 n1 +2 1 +0 1.23/0.31
Runtime_Complexity_Innermost_Rewriting/hoca/mss.xml 5166946 StarExec error ∞ +0 1 +0 368.34/296.12
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml 5166947 n1 +2 1 +0 5.63/2.24 n1 +2 1 +0 5.36/1.37
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.xml 5166948 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.xml 5166949 n2 +2 1 +0 12.83/4.14 n2 +2 1 +0 55.08/16.34
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml 5166950 ∞ +0 1 +0 647.97/299.32 ∞ +0 1 +0 221.80/83.15
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.xml 5166951 n1 +2 1 +0 12.04/4.04 n1 +2 1 +0 7.69/1.94
Runtime_Complexity_Innermost_Rewriting/hoca/isort.xml 5166952 n2 +2 1 +0 10.70/3.49 n2 +2 1 +0 42.18/10.65
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.xml 5166953 n1 +2 1 +0 6.82/2.49 n1 +2 1 +0 2.55/0.59
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.xml 5166954 n3 +1 1 +0 4.65/2.01 n2 +2 1 +0 2.92/0.84
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml 5166955 n1 +2 1 +0 6.68/2.38 n1 +2 1 +0 4.57/1.16
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml 5166956 n1 +2 1 +0 3.99/1.81 n1 +2 1 +0 0.38/0.11
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml 5167250 timeout (wallclock) ∞ +0 1 +0 989.17/296.18
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml 5167251 n1 +2 1 +0 3.76/1.71 n1 +2 1 +0 0.65/0.17
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml 5167252 ∞ +0 1 +0 9.73/3.91 ∞ +0 1 +0 48.40/20.04
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml 5167253 ∞ +0 1 +0 8.82/3.82 ∞ +0 1 +0 61.69/20.03
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml 5167254 StarExec error StarExec error
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml 5167255 ∞ +0 1 +0 3.69/1.74 ∞ +0 1 +0 11.06/3.64
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml 5167256 ∞ +0 1 +0 204.49/188.61 ∞ +0 1 +0 91.55/33.04
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml 5167257 ∞ +0 1 +0 584.44/294.38 ∞ +0 1 +0 987.85/296.27
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml 5167258 ∞ +0 1 +0 10.23/3.76 ∞ +0 1 +0 58.15/20.11
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml 5167259 timeout (wallclock) ∞ +0 1 +0 995.08/296.16
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml 5167260 n2 +2 1 +0 38.45/10.50 n2 +2 1 +0 5.25/1.61
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml 5167261 ∞ +0 1 +0 10.42/4.56 ∞ +0 1 +0 50.21/20.01
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml 5167262 ∞ +0 1 +0 9.69/3.74 ∞ +0 1 +0 53.23/20.11
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml 5167263 ∞ +0 1 +0 1147.67/291.54 ∞ +0 1 +0 881.09/296.13
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.xml 5167324 ∞ +0 1 +0 6.25/3.02 ∞ +0 1 +0 28.65/10.28
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.xml 5167325 StarExec error ∞ +0 1 +0 731.98/296.01
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.xml 5167326 n1 +2 1 +0 5.72/2.15 n1 +2 1 +0 0.08/0.03
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.xml 5167327 ∞ +0 1 +0 6.26/2.40 ∞ +0 1 +0 22.45/7.70
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml 5166957 ∞ +0 1 +0 23.67/10.88 ∞ +0 1 +0 55.68/17.14
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5166958 ∞ +0 1 +0 7.06/2.70 ∞ +0 1 +0 24.47/7.70
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5166959 ∞ +0 1 +0 9.15/3.97 ∞ +0 1 +0 44.52/20.01
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml 5166960 ∞ +0 1 +0 10.66/4.41 ∞ +0 1 +0 48.66/20.05
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5166961 ∞ +0 1 +0 4.46/1.90 ∞ +0 1 +0 25.55/7.90
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml 5166962 ∞ +0 1 +0 10.97/4.21 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5166963 ∞ +0 1 +0 4.55/1.96 ∞ +0 1 +0 17.83/5.55
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml 5166964 ∞ +0 1 +0 168.24/125.14 ∞ +0 1 +0 187.20/68.35
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml 5166965 ∞ +0 1 +0 5.44/2.22 ∞ +0 1 +0 42.55/17.23
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml 5166966 ∞ +0 1 +0 190.35/86.32 ∞ +0 1 +0 424.07/132.24
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5166967 ∞ +0 1 +0 14.01/6.10 ∞ +0 1 +0 394.20/158.91
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5166968 ∞ +0 1 +0 5.26/2.08 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml 5166969 ∞ +0 1 +0 5.05/1.98 ∞ +0 1 +0 33.84/10.67
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml 5166970 ∞ +0 1 +0 5.96/2.34 ∞ +0 1 +0 254.71/128.27
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5166971 ∞ +0 1 +0 227.25/217.54 ∞ +0 1 +0 60.96/27.23
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml 5166972 ∞ +0 1 +0 4.55/1.97 ∞ +0 1 +0 18.90/5.76
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml 5166973 n1 +2 1 +0 19.48/5.65 n1 +2 1 +0 4.14/0.99
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml 5166974 ∞ +0 1 +0 4.27/1.83 ∞ +0 1 +0 19.42/5.93
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml 5166975 ∞ +0 1 +0 9.11/3.71 ∞ +0 1 +0 44.83/20.01
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml 5166976 ∞ +0 1 +0 17.80/6.28 ∞ +0 1 +0 88.65/29.84
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml 5166977 ∞ +0 1 +0 14.03/5.20 ∞ +0 1 +0 80.62/25.90
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5166978 ∞ +0 1 +0 4.33/1.88 ∞ +0 1 +0 26.56/9.43
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml 5166979 ∞ +0 1 +0 4.55/2.02 ∞ +0 1 +0 46.68/18.64
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml 5166980 ∞ +0 1 +0 5.38/2.21 ∞ +0 1 +0 87.84/55.79
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml 5166981 ∞ +0 1 +0 23.80/13.70 ∞ +0 1 +0 119.25/43.00
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml 5166982 ∞ +0 1 +0 14.81/9.51 ∞ +0 1 +0 136.39/58.62
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml 5166983 ∞ +0 1 +0 11.43/4.19 ∞ +0 1 +0 40.74/20.11
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5166984 ∞ +0 1 +0 332.25/291.53 ∞ +0 1 +0 95.20/29.54
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml 5166985 ∞ +0 1 +0 4.56/2.66 ∞ +0 1 +0 40.35/13.85
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5166986 StarExec error ∞ +0 1 +0 13.29/4.07
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5166987 ∞ +0 1 +0 7.18/2.69 ∞ +0 1 +0 70.39/20.78
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5166988 ∞ +0 1 +0 376.69/297.48 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5166989 ∞ +0 1 +0 7.75/2.85 ∞ +0 1 +0 191.28/58.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5167097 ∞ +0 1 +0 15.22/6.47 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml 5167098 timeout (wallclock) ∞ +0 1 +0 366.40/296.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5167099 ∞ +0 1 +0 17.01/6.63 n3 +2 1 +0 470.41/59.96
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5167100 n1 +2 1 +0 15.52/4.93 n1 +2 1 +0 1.23/0.31
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml 5167101 ∞ +0 1 +0 20.55/10.09 ∞ +0 1 +0 623.82/296.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml 5167102 ∞ +0 1 +0 332.60/292.51 ∞ +0 1 +0 185.94/59.83
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml 5167103 StarExec error StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5167104 n1 +2 1 +0 4.95/1.95 n1 +2 1 +0 0.08/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5167105 StarExec error ∞ +0 1 +0 365.68/296.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml 5167106 ∞ +0 1 +0 23.32/13.95 ∞ +0 1 +0 1045.80/296.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml 5167107 ∞ +0 1 +0 12.61/4.79 ∞ +0 1 +0 342.23/142.77
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5167108 n2 +2 1 +0 52.41/22.25 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5167109 ∞ +0 1 +0 9.20/3.97 ∞ +0 1 +0 383.67/207.40
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5167110 n1 +2 1 +0 6.04/2.33 n1 +2 1 +0 1.78/0.43
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5167111 ∞ +0 1 +0 15.66/5.45 ∞ +0 1 +0 764.90/296.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml 5167112 ∞ +0 1 +0 3.76/1.77 ∞ +0 1 +0 6.61/2.36
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml 5167113 n1 +2 1 +0 7.10/2.59 n1 +2 1 +0 0.30/0.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5167114 n1 +2 1 +0 5.79/2.21 n1 +2 1 +0 67.12/5.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml 5167115 ∞ +0 1 +0 53.22/40.03 n2 +2 1 +0 34.12/13.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5167116 n1 +2 1 +0 4.82/1.99 n1 +2 1 +0 0.20/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 5167117 n1 +2 1 +0 3.66/1.71 n1 +2 1 +0 0.30/0.07
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml 5167118 n1 +2 1 +0 11.69/3.99 n1 +2 1 +0 38.98/9.40
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml 5167119 n2 +2 1 +0 5.59/2.19 n2 +2 1 +0 9.95/2.58
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml 5167120 ∞ +0 1 +0 37.40/20.35 ∞ +0 1 +0 216.06/97.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml 5167121 n2 +1 1 +0 6.70/2.45 n1 +2 1 +0 649.29/63.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5167122 ∞ +0 1 +0 37.29/24.67 ∞ +0 1 +0 1008.19/296.22
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5167123 ∞ +0 1 +0 386.05/295.84 ∞ +0 1 +0 1047.66/296.58
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5167124 ∞ +0 1 +0 364.62/293.25 ∞ +0 1 +0 952.43/296.07
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml 5167125 ∞ +0 1 +0 10.28/3.85 ∞ +0 1 +0 51.02/20.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml 5167126 ∞ +0 1 +0 10.49/3.93 ∞ +0 1 +0 47.06/20.01
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5167127 ∞ +0 1 +0 1163.94/296.98 ∞ +0 1 +0 1181.15/296.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5167128 n1 +2 1 +0 4.17/1.79 n1 +2 1 +0 0.08/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml 5167129 ∞ +0 1 +0 369.49/293.64 ∞ +0 1 +0 925.35/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml 5167130 ∞ +0 1 +0 11.11/4.08 ∞ +0 1 +0 57.76/20.01
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5167131 ∞ +0 1 +0 11.15/5.15 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5167132 n1 +2 1 +0 4.86/1.98 ∞ +0 1 +0 310.51/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.xml 5167133 ∞ +0 1 +0 444.28/296.05 ∞ +0 1 +0 1183.84/296.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml 5167134 ∞ +0 1 +0 9.62/3.90 ∞ +0 1 +0 57.93/20.01
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml 5167135 ∞ +0 1 +0 350.44/292.24 ∞ +0 1 +0 212.89/78.94
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5167136 ∞ +0 1 +0 28.77/11.78 ∞ +0 1 +0 296.29/118.31
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5167137 ∞ +0 1 +0 31.77/16.20 ∞ +0 1 +0 737.18/296.04
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml 5167138 n1 +2 1 +0 3.57/1.63 n1 +2 1 +0 0.10/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5167139 timeout (wallclock) ∞ +0 1 +0 1087.47/297.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml 5167140 n1 +2 1 +0 10.18/3.40 n1 +2 1 +0 10.42/2.63
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml 5167141 StarExec error ∞ +0 1 +0 50.04/20.01
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml 5167142 ∞ +0 1 +0 36.46/22.22 ∞ +0 1 +0 754.99/296.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5167143 ∞ +0 1 +0 10.17/3.81 ∞ +0 1 +0 429.19/292.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml 5167144 ∞ +0 1 +0 120.61/83.77 ∞ +0 1 +0 603.10/246.26
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5167145 n1 +2 1 +0 3.35/1.58 n1 +2 1 +0 0.06/0.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5167146 ∞ +0 1 +0 659.34/291.51 ∞ +0 1 +0 1141.74/296.22
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5167147 n1 +2 1 +0 3.85/1.81 n1 +2 1 +0 0.10/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml 5167148 ∞ +0 1 +0 348.69/295.06 ∞ +0 1 +0 1020.74/296.20
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml 5167149 ∞ +0 1 +0 9.37/3.63 ∞ +0 1 +0 336.11/142.41
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5167150 ∞ +0 1 +0 335.77/293.73 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5167151 ∞ +0 1 +0 1130.35/292.11 ∞ +0 1 +0 384.18/296.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5167152 ∞ +0 1 +0 127.67/92.84 ∞ +0 1 +0 726.91/296.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5167153 ∞ +0 1 +0 652.50/298.02 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml 5167154 ∞ +0 1 +0 17.00/8.15 ∞ +0 1 +0 814.64/296.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5167155 ∞ +0 1 +0 14.12/5.37 ∞ +0 1 +0 323.63/213.71
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5167156 ∞ +0 1 +0 8.58/4.33 n2 +2 1 +0 2.27/0.81
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5167157 ∞ +0 1 +0 7.63/2.80 ∞ +0 1 +0 420.66/296.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml 5167158 ∞ +0 1 +0 14.28/7.14 n2 +2 1 +0 32.04/12.57
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5167159 ∞ +0 1 +0 32.42/25.48 ∞ +0 1 +0 629.25/296.07
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml 5167160 ∞ +0 1 +0 23.81/14.84 ∞ +0 1 +0 114.03/46.83
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml 5167161 n1 +2 1 +0 5.58/2.18 n1 +2 1 +0 0.75/0.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 5167162 n1 +2 1 +0 4.76/2.01 n1 +2 1 +0 0.19/0.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml 5167163 n1 +2 1 +0 5.10/2.08 n1 +2 1 +0 0.19/0.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5167164 ∞ +0 1 +0 325.52/295.40 ∞ +0 1 +0 687.04/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml 5167165 ∞ +0 1 +0 14.62/4.99 ∞ +0 1 +0 695.95/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml 5167166 ∞ +0 1 +0 9.86/4.28 n3 +2 1 +0 22.58/7.29
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5167167 ∞ +0 1 +0 33.36/15.83 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5167168 n1 +2 1 +0 4.76/1.92 n2 +1 1 +0 3.85/1.17
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml 5167169 ∞ +0 1 +0 10.25/3.83 ∞ +0 1 +0 50.30/20.01
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5167170 n2 +2 1 +0 31.22/9.03 ∞ +0 1 +0 920.59/296.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml 5167171 n2 +1 1 +0 6.60/2.40 n1 +2 1 +0 661.68/63.26
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5167172 n1 +2 1 +0 309.08/291.63 n1 +2 1 +0 0.86/0.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml 5167173 n1 +2 1 +0 4.09/1.82 n1 +2 1 +0 0.79/0.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5167174 ∞ +0 1 +0 19.71/9.02 ∞ +0 1 +0 341.77/147.95
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5167175 ∞ +0 1 +0 27.83/14.73 ∞ +0 1 +0 626.65/296.15
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml 5167176 ∞ +0 1 +0 27.87/15.10 ∞ +0 1 +0 478.04/296.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 5167177 ∞ +0 1 +0 14.45/5.77 ∞ +0 1 +0 192.88/78.17
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5167178 n1 +2 1 +0 24.53/7.35 n1 +2 1 +0 80.68/18.90
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5167179 ∞ +0 1 +0 15.70/7.36 ∞ +0 1 +0 926.73/296.23
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml 5167180 ∞ +0 1 +0 323.38/294.15 ∞ +0 1 +0 929.18/296.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml 5167181 ∞ +0 1 +0 24.12/13.14 ∞ +0 1 +0 831.29/296.16
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5167182 ∞ +0 1 +0 694.10/298.94 ∞ +0 1 +0 373.24/296.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 5167183 n1 +2 1 +0 5.48/2.18 n1 +2 1 +0 0.05/0.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5167184 ∞ +0 1 +0 16.28/6.43 ∞ +0 1 +0 301.94/118.98
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5167185 ∞ +0 1 +0 345.64/293.99 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml 5167186 ∞ +0 1 +0 20.67/9.86 ∞ +0 1 +0 489.04/296.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 5167187 n1 +2 1 +0 5.25/2.14 n1 +2 1 +0 0.51/0.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.xml 5167188 ∞ +0 1 +0 1151.20/293.18 ∞ +0 1 +0 916.82/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5167189 ∞ +0 1 +0 26.74/17.62 n2 +2 1 +0 33.78/12.10
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5167190 ∞ +0 1 +0 1158.75/291.82 ∞ +0 1 +0 424.45/296.15
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml 5167191 ∞ +0 1 +0 11.59/4.90 ∞ +0 1 +0 421.80/296.04
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml 5167192 StarExec error ∞ +0 1 +0 279.51/124.61
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml 5167193 ∞ +0 1 +0 173.93/143.57 ∞ +0 1 +0 392.85/150.32
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml 5167194 ∞ +0 1 +0 10.19/3.80 ∞ +0 1 +0 57.02/20.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml 5167195 ∞ +0 1 +0 8.86/3.21 ∞ +0 1 +0 667.29/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5167196 timeout (wallclock) ∞ +0 1 +0 931.39/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml 5167197 n1 +2 1 +0 3.77/1.77 n1 +2 1 +0 0.25/0.04
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml 5167198 ∞ +0 1 +0 10.87/5.96 n2 +2 1 +0 13.44/4.84
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5167199 ∞ +0 1 +0 1162.79/291.66 ∞ +0 1 +0 385.40/296.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5167200 ∞ +0 1 +0 7.62/3.00 ∞ +0 1 +0 138.22/65.64
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml 5167201 ∞ +0 1 +0 20.82/11.90 n2 +2 1 +0 61.45/24.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml 5167202 n1 +2 1 +0 4.05/1.83 n1 +2 1 +0 2.58/0.57
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml 5167203 ∞ +0 1 +0 7.25/2.73 ∞ +0 1 +0 268.45/155.79
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5167204 ∞ +0 1 +0 31.36/15.98 ∞ +0 1 +0 563.60/217.89
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5167205 ∞ +0 1 +0 17.36/5.99 ∞ +0 1 +0 894.60/296.24
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5167206 ∞ +0 1 +0 666.37/300.21 ∞ +0 1 +0 624.15/296.47
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml 5167207 n1 +2 1 +0 305.18/291.52 n1 +2 1 +0 0.09/0.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5167208 n1 +2 1 +0 13.97/4.29 n2 +1 1 +0 322.28/15.73
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5167209 ∞ +0 1 +0 358.16/293.33 ∞ +0 1 +0 1020.48/296.16
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml 5167210 ∞ +0 1 +0 9.45/3.74 ∞ +0 1 +0 54.10/20.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml 5167211 ∞ +0 1 +0 550.43/300.63 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml 5167212 n1 +2 1 +0 4.89/2.00 n1 +2 1 +0 0.92/0.23
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5167213 ∞ +0 1 +0 212.30/172.94 ∞ +0 1 +0 1174.84/296.30
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5167214 StarExec error ∞ +0 1 +0 992.31/296.16
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml 5167215 ∞ +0 1 +0 12.35/4.37 ∞ +0 1 +0 971.80/296.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml 5167216 n1 +2 1 +0 4.74/1.93 n1 +2 1 +0 0.21/0.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml 5167217 ∞ +0 1 +0 314.58/292.15 ∞ +0 1 +0 1106.26/296.17
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml 5167218 n2 +2 1 +0 102.69/48.32 n2 +2 1 +0 58.32/18.96
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml 5167219 StarExec error ∞ +0 1 +0 682.03/296.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml 5167220 ∞ +0 1 +0 152.25/137.02 ∞ +0 1 +0 421.21/296.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5167221 n1 +2 1 +0 6.74/2.63 n1 +2 1 +0 0.28/0.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5167222 ∞ +0 1 +0 1077.15/291.75 ∞ +0 1 +0 1182.71/296.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml 5167223 ∞ +0 1 +0 12.80/7.56 ∞ +0 1 +0 431.91/142.63
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml 5167224 n1 +2 1 +0 6.65/2.55 n1 +2 1 +0 0.52/0.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5167225 ∞ +0 1 +0 1009.04/292.76 ∞ +0 1 +0 1182.82/296.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml 5167226 ∞ +0 1 +0 24.93/13.15 ∞ +0 1 +0 265.64/131.42
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml 5167227 ∞ +0 1 +0 16.61/7.62 ∞ +0 1 +0 441.65/207.85
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5167228 timeout (wallclock) ∞ +0 1 +0 371.55/296.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml 5167229 n1 +2 1 +0 3.97/1.76 n1 +2 1 +0 0.30/0.06
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml 5167230 n1 +2 1 +0 5.14/2.14 n1 +2 1 +0 10.98/2.69
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5167231 timeout (wallclock) ∞ +0 1 +0 377.48/296.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5167232 ∞ +0 1 +0 164.33/81.20 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5167233 ∞ +0 1 +0 30.99/16.10 ∞ +0 1 +0 350.51/105.55
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 5167234 n1 +2 1 +0 5.70/2.60 n1 +2 1 +0 0.05/0.02
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5167235 StarExec error ∞ +0 1 +0 1029.95/296.55
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5167236 n1 +2 1 +0 4.51/1.93 n1 +2 1 +0 1.06/0.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml 5167237 ∞ +0 1 +0 33.18/16.31 ∞ +0 1 +0 269.47/129.41
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml 5167238 ∞ +0 1 +0 10.22/4.79 ∞ +0 1 +0 248.52/104.65
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5167239 ∞ +0 1 +0 130.60/102.38 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml 5167240 n1 +2 1 +0 3.94/1.76 n1 +2 1 +0 0.24/0.07
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.xml 5166990 ∞ +0 1 +0 8.28/3.02 ∞ +0 1 +0 549.11/191.98
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.xml 5166991 ∞ +0 1 +0 23.91/10.37 ∞ +0 1 +0 257.15/93.37
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.xml 5166992 ∞ +0 1 +0 6.80/2.52 ∞ +0 1 +0 389.16/119.06
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.xml 5166993 ∞ +0 1 +0 7.13/3.73 n5 +2 1 +0 43.17/8.96
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.xml 5166994 n2 +2 1 +0 60.88/16.80 n2 +2 1 +0 16.46/6.39
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml 5167328 ∞ +0 1 +0 49.34/19.45 ∞ +0 1 +0 216.20/81.33
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.xml 5167329 ∞ +0 1 +0 31.93/13.70 ∞ +0 1 +0 104.50/35.68
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml 5167330 ∞ +0 1 +0 687.34/295.04 ∞ +0 1 +0 955.85/296.04
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml 5167331 ∞ +0 1 +0 29.07/16.61 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml 5167332 ∞ +0 1 +0 949.62/299.44 ∞ +0 1 +0 952.64/296.09
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml 5167333 ∞ +0 1 +0 204.28/143.33 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml 5167334 ∞ +0 1 +0 77.01/29.49 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml 5167335 ∞ +0 1 +0 229.66/189.77 ∞ +0 1 +0 261.88/134.77
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml 5167336 StarExec error ∞ +0 1 +0 466.68/296.10
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml 5167337 ∞ +0 1 +0 1024.09/291.54 ∞ +0 1 +0 1005.29/296.13
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml 5167338 ∞ +0 1 +0 42.03/18.52 ∞ +0 1 +0 222.86/92.34
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.xml 5166842 ∞ +0 1 +0 29.80/15.82 ∞ +0 1 +0 778.46/296.09
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml 5166843 ∞ +0 1 +0 958.01/298.19 ∞ +0 1 +0 944.28/296.12
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml 5166844 ∞ +0 1 +0 680.29/296.05 ∞ +0 1 +0 922.82/296.12
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml 5166845 ∞ +0 1 +0 1176.51/297.29 ∞ +0 1 +0 968.23/296.17
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml 5166846 timeout (wallclock) ∞ +0 1 +0 961.70/296.13
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.xml 5166847 ∞ +0 1 +0 649.66/297.82 ∞ +0 1 +0 298.82/116.90
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.xml 5166848 ∞ +0 1 +0 195.84/140.25 ∞ +0 1 +0 387.88/296.12
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml 5166849 timeout (wallclock) StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.xml 5166850 ∞ +0 1 +0 425.54/291.88 ∞ +0 1 +0 1060.81/296.34
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.xml 5166851 ∞ +0 1 +0 18.42/7.39 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml 5166852 ∞ +0 1 +0 379.77/292.82 ∞ +0 1 +0 231.77/87.93
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml 5166853 timeout (wallclock) ∞ +0 1 +0 925.92/296.10
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.xml 5166854 StarExec error ∞ +0 1 +0 181.13/78.15
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml 5166855 timeout (wallclock) ∞ +0 1 +0 927.96/296.12
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.xml 5166856 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.xml 5167273 ∞ +0 1 +0 682.61/297.09 ∞ +0 1 +0 936.59/296.13
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.xml 5167274 ∞ +0 1 +0 4.77/2.01 ∞ +0 1 +0 131.05/98.78
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.xml 5167275 ∞ +0 1 +0 399.87/292.00 ∞ +0 1 +0 1016.85/296.53
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.xml 5167276 n1 +2 1 +0 4.16/1.79 n1 +2 1 +0 0.04/0.02
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.xml 5167277 ∞ +0 1 +0 65.40/51.83 ∞ +0 1 +0 841.10/296.37
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.xml 5167278 ∞ +0 1 +0 348.97/295.41 ∞ +0 1 +0 787.90/296.15
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.xml 5167279 ∞ +0 1 +0 7.41/2.71 ∞ +0 1 +0 111.85/37.84
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.xml 5167280 ∞ +0 1 +0 48.29/35.53 ∞ +0 1 +0 867.81/296.12
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.xml 5167281 n2 +2 1 +0 7.20/2.60 n2 +2 1 +0 1.26/0.51
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.xml 5167282 n3 +1 1 +0 19.86/7.52 n1 +2 1 +0 7.06/1.88
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.xml 5167283 ∞ +0 1 +0 28.96/21.74 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.xml 5167284 ∞ +0 1 +0 25.76/14.71 ∞ +0 1 +0 500.46/296.01
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.xml 5167285 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.xml 5167286 n2 +2 1 +0 17.89/6.55 n2 +2 1 +0 2.44/0.71
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.xml 5167287 ∞ +0 1 +0 32.13/20.46 ∞ +0 1 +0 780.69/296.06
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.xml 5166857 n1 +2 1 +0 5.27/2.12 n1 +2 1 +0 0.89/0.20
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.xml 5166858 n1 +2 1 +0 8.64/2.90 n1 +2 1 +0 4.28/0.62
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.xml 5166859 ∞ +0 1 +0 5.45/2.15 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.xml 5166860 n1 +2 1 +0 7.91/2.80 n1 +2 1 +0 0.74/0.21
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.xml 5166861 n1 +2 1 +0 3.60/1.70 n1 +2 1 +0 0.06/0.02
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.xml 5166862 n2 +2 1 +0 5.74/2.21 n2 +2 1 +0 7.29/1.62
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.xml 5166863 ∞ +0 1 +0 71.63/63.52 ∞ +0 1 +0 929.45/296.03
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.xml 5166864 n1 +1 1 +0 7.51/2.73 1 +2 1 +0 0.70/0.20
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.xml 5166865 ∞ +0 1 +0 353.59/297.16 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.xml 5166866 n1 +2 1 +0 4.76/2.03 n1 +2 1 +0 0.71/0.19
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.xml 5166867 ∞ +0 1 +0 333.79/295.12 ∞ +0 1 +0 129.09/50.68
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.xml 5166868 ∞ +0 1 +0 6.82/2.81 n3 +2 1 +0 15.59/4.30
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.xml 5166869 ∞ +0 1 +0 8.99/3.67 ∞ +0 1 +0 54.36/17.92
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.xml 5166870 n3 +2 1 +0 9.16/3.26 n3 +2 1 +0 75.12/20.47
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.xml 5166871 ∞ +0 1 +0 5.77/2.32 ∞ +0 1 +0 43.93/16.99
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.xml 5166872 n1 +2 1 +0 3.31/1.58 n1 +2 1 +0 0.16/0.03
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.xml 5166873 ∞ +0 1 +0 13.09/7.87 ∞ +0 1 +0 568.25/296.11
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.xml 5166874 n1 +1 1 +0 5.40/2.08 1 +2 1 +0 0.86/0.20
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.xml 5166875 n1 +2 1 +0 3.86/1.81 n1 +2 1 +0 0.14/0.05
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.xml 5166876 n1 +2 1 +0 3.82/1.71 n1 +2 1 +0 0.71/0.11
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.xml 5166877 n1 +2 1 +0 7.41/2.79 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.xml 5166878 n2 +2 1 +0 12.18/4.35 n2 +2 1 +0 62.89/6.97
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.xml 5166879 n1 +2 1 +0 4.86/2.05 n1 +2 1 +0 2.88/0.56
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.xml 5166880 ∞ +0 1 +0 309.49/291.60 ∞ +0 1 +0 1178.25/296.09
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.xml 5166881 ∞ +0 1 +0 977.88/291.47 ∞ +0 1 +0 976.54/296.18
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.xml 5166882 n1 +2 1 +0 4.20/1.97 n1 +2 1 +0 1.18/0.29
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.xml 5166883 StarExec error 1 +2 1 +0 0.36/0.05
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.xml 5166884 StarExec error n1 +2 1 +0 0.05/0.02
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.xml 5166885 n1 +2 1 +0 3.95/1.79 n1 +2 1 +0 0.29/0.08
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.xml 5166886 ∞ +0 1 +0 6.62/2.48 ∞ +0 1 +0 102.81/41.10
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.xml 5166887 n1 +2 1 +0 4.28/1.82 n1 +2 1 +0 0.82/0.19
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.xml 5166888 n2 +1 1 +0 4.28/1.84 1 +2 1 +0 0.31/0.09
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.xml 5166889 n1 +2 1 +0 4.24/1.92 n1 +2 1 +0 1.24/0.32
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.xml 5166890 n3 +1 1 +0 3.67/1.65 n2 +2 1 +0 2.55/0.73
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.xml 5166891 n1 +2 1 +0 6.76/2.48 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.xml 5166892 ∞ +0 1 +0 59.34/19.84 ∞ +0 1 +0 428.17/156.33
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.xml 5166893 n1 +2 1 +0 4.11/1.85 n1 +2 1 +0 0.65/0.13
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.xml 5166894 ∞ +0 1 +0 165.74/158.31 n3 +2 1 +0 11.37/5.69
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.xml 5166895 ∞ +0 1 +0 4.11/1.86 ∞ +0 1 +0 25.68/8.67
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.xml 5166896 n2 +2 1 +0 6.06/2.27 n2 +2 1 +0 20.03/5.06
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.xml 5166897 n1 +2 1 +0 4.18/1.76 n1 +2 1 +0 0.82/0.22
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.xml 5166898 ∞ +0 1 +0 8.80/3.85 ∞ +0 1 +0 195.31/104.59
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.xml 5166899 ∞ +0 1 +0 634.27/298.76 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.xml 5166900 ∞ +0 1 +0 5.58/2.22 ∞ +0 1 +0 28.57/9.54
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.xml 5166901 ∞ +0 1 +0 12.58/4.68 ∞ +0 1 +0 102.01/32.31
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.xml 5166902 n1 +2 1 +0 4.26/1.84 n1 +2 1 +0 0.29/0.08
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.xml 5166903 ∞ +0 1 +0 15.02/5.24 ∞ +0 1 +0 94.14/36.52
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.xml 5166904 n1 +2 1 +0 3.89/1.80 n1 +2 1 +0 0.03/0.02
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.xml 5166905 ∞ +0 1 +0 4.08/1.76 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.xml 5166906 n2 +2 1 +0 7.06/2.56 n2 +2 1 +0 19.83/5.03
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.xml 5166907 n1 +2 1 +0 3.96/2.68 n1 +2 1 +0 0.24/0.07
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.xml 5166908 ∞ +0 1 +0 452.21/134.04 ∞ +0 1 +0 187.51/79.12
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.xml 5166909 1 +2 1 +0 3.68/1.85 1 +2 1 +0 1.04/0.26
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.xml 5166910 n1 +2 1 +0 4.23/1.90 n1 +2 1 +0 1.27/0.34
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.xml 5166911 n3 +1 1 +0 5.23/2.10 n2 +2 1 +0 5.79/1.74
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.xml 5166912 n1 +2 1 +0 3.70/1.70 n1 +2 1 +0 0.07/0.02
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.xml 5166913 ∞ +0 1 +0 8.47/3.02 ∞ +0 1 +0 121.33/49.04
388 407