Termination Competition 2018: Runtime Complexity: TRS Innermost30092

Job info CSV
AProVE complexity tct 2018-07-13 tct_rci
benchmark UPLOWTIME UPLOWTIME
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno4.xml 5167464 ∞ +0 n1 +2 307.05/291.43 ∞ +0 n1 +2 366.67/93.37
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml 5167465 n1 +2 n1 +2 3.57/1.64 n1 +2 n1 +2 3.17/1.40
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno6.xml 5167466 ∞ +0 n1 +2 307.24/291.44 ∞ +0 n1 +2 338.14/86.62
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml 5167467 n1 +2 n1 +2 3.37/1.52 n1 +2 n1 +2 3.30/1.85
Runtime_Complexity_Innermost_Rewriting/Waldmann_06/jwno1.xml 5167468 ∞ +0 n1 +2 609.54/292.04 ∞ +0 n1 +2 351.81/90.65
Runtime_Complexity_Innermost_Rewriting/Various_04/11.xml 5166923 1 +2 1 +0 3.23/1.56 ∞ +0 1 +0 829.26/214.06
Runtime_Complexity_Innermost_Rewriting/Various_04/24.xml 5166924 n1 +2 n1 +2 4.23/1.79 n2 +1 n1 +2 5.55/2.35
Runtime_Complexity_Innermost_Rewriting/Various_04/15.xml 5166925 n1 +2 n1 +2 4.92/1.99 StarExec error
Runtime_Complexity_Innermost_Rewriting/Various_04/22.xml 5166926 n1 +2 n1 +2 19.20/6.06 n1 +2 n1 +2 3.13/0.82
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z16.xml 5167314 ∞ +0 n1 +2 894.88/291.48 ∞ +0 n1 +2 1014.59/294.22
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z13.xml 5167315 ∞ +0 n1 +2 1088.13/291.49 ∞ +0 n1 +2 1070.21/294.22
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z17.xml 5167316 ∞ +0 n1 +2 1107.49/293.94 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z27.xml 5167317 ∞ +0 n1 +2 648.73/291.45 ∞ +0 n1 +2 646.83/175.60
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z23.xml 5167318 n1 +2 n1 +2 6.68/4.27 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z12.xml 5167319 ∞ +0 n1 +2 1073.20/292.72 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z15.xml 5167320 ∞ +0 n1 +2 1118.01/292.83 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z14.xml 5167321 ∞ +0 n1 +2 1042.14/294.83 ∞ +0 n1 +2 1087.34/294.10
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z24.xml 5167322 ∞ +0 n1 +2 1147.74/296.22 StarExec error
Runtime_Complexity_Innermost_Rewriting/Zantema_05/z18.xml 5167323 ∞ +0 n1 +2 1094.14/293.28 StarExec error
Runtime_Complexity_Innermost_Rewriting/AG01/#3.49.xml 5166806 ∞ +0 n1 +2 911.33/292.25 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AG01/#3.18.xml 5166807 n1 +2 n1 +2 36.15/12.28 ∞ +0 n1 +2 832.85/294.17
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6.xml 5166808 n1 +2 n1 +2 34.72/9.68 n2 +1 n1 +2 21.38/6.61
Runtime_Complexity_Innermost_Rewriting/AG01/#3.35.xml 5166809 n1 +2 n1 +2 13.23/4.36 n1 +2 1 +0 0.83/0.22
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53.xml 5166810 n3 +2 n3 +2 28.19/8.02 n3 +2 n1 +1 34.67/6.94
Runtime_Complexity_Innermost_Rewriting/AG01/#3.55.xml 5166811 ∞ +0 n2 +2 1136.88/294.84 ∞ +0 n1 +1 1191.37/295.01
Runtime_Complexity_Innermost_Rewriting/AG01/#3.52.xml 5166812 n1 +2 n1 +2 14.52/4.60 n1 +2 n1 +2 3.26/0.72
Runtime_Complexity_Innermost_Rewriting/AG01/#3.47.xml 5166813 n2 +2 n1 +2 313.77/291.49 n2 +2 n1 +2 4.39/1.06
Runtime_Complexity_Innermost_Rewriting/AG01/#3.10.xml 5166814 n4 +2 n1 +2 1142.26/294.06 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6b.xml 5166815 n3 +2 n1 +2 323.81/291.48 StarExec error
Runtime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml 5166816 n1 +2 n1 +2 17.50/6.07 n1 +2 n1 +2 2.54/0.60
Runtime_Complexity_Innermost_Rewriting/AG01/#3.12.xml 5166817 n3 +2 n3 +2 12.56/3.84 n3 +2 n1 +1 23.07/4.50
Runtime_Complexity_Innermost_Rewriting/AG01/#3.23.xml 5166818 n1 +2 n1 +2 12.40/4.08 n1 +2 n1 +2 0.62/0.17
Runtime_Complexity_Innermost_Rewriting/AG01/#3.15.xml 5166819 n1 +2 n1 +2 16.43/10.31 n1 +2 n1 +2 2.14/0.55
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5a.xml 5166820 n1 +2 n1 +2 22.53/6.45 n2 +1 n1 +2 25.94/6.70
Runtime_Complexity_Innermost_Rewriting/AG01/#3.13.xml 5166821 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AG01/#3.41.xml 5166822 n1 +2 n1 +2 16.53/5.02 n2 +1 1 +0 4.31/1.06
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8a.xml 5166823 n1 +2 n1 +2 26.95/7.53 n3 +1 n1 +2 32.23/6.87
Runtime_Complexity_Innermost_Rewriting/AG01/#3.2.xml 5166824 n1 +2 n1 +2 20.93/6.05 n2 +1 n1 +2 10.77/2.74
Runtime_Complexity_Innermost_Rewriting/AG01/#3.36.xml 5166825 ∞ +0 n1 +2 1041.87/292.90 ∞ +0 n1 +2 643.20/164.79
Runtime_Complexity_Innermost_Rewriting/AG01/#3.48.xml 5166826 n2 +2 n1 +2 320.56/291.44 n2 +2 n1 +2 1.90/0.73
Runtime_Complexity_Innermost_Rewriting/AG01/#3.16.xml 5166827 n3 +2 n2 +2 317.54/291.69 n3 +2 n1 +1 48.07/8.75
Runtime_Complexity_Innermost_Rewriting/AG01/#3.1.xml 5166828 n1 +2 n1 +2 14.97/4.56 n1 +2 n1 +2 1.45/0.38
Runtime_Complexity_Innermost_Rewriting/AG01/#3.6a.xml 5166829 n1 +2 n1 +2 21.73/9.03 n2 +1 n1 +2 10.92/2.48
Runtime_Complexity_Innermost_Rewriting/AG01/#3.26.xml 5166830 timeout (wallclock) ∞ +0 n1 +2 538.55/147.23
Runtime_Complexity_Innermost_Rewriting/AG01/#3.7.xml 5166831 n1 +2 n1 +2 13.85/4.24 n1 +2 n1 +2 2.90/0.75
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5b.xml 5166832 n3 +2 n1 +2 317.18/291.47 n3 +2 n1 +2 27.54/7.21
Runtime_Complexity_Innermost_Rewriting/AG01/#3.5.xml 5166833 n1 +2 n1 +2 18.50/5.97 n2 +1 n1 +2 5.44/1.31
Runtime_Complexity_Innermost_Rewriting/AG01/#3.38.xml 5166834 ∞ +0 NonPoly +2 7.32/2.55 ∞ +0 n1 +1 947.17/294.31
Runtime_Complexity_Innermost_Rewriting/AG01/#3.31.xml 5166835 ∞ +0 NonPoly +2 3.36/1.51 ∞ +0 NonPoly +2 1164.84/294.23
Runtime_Complexity_Innermost_Rewriting/AG01/#3.33.xml 5166836 1 +2 1 +0 3.44/1.54 1 +2 1 +0 1.36/0.92
Runtime_Complexity_Innermost_Rewriting/AG01/#3.24.xml 5166837 n1 +2 n1 +2 3.32/1.49 StarExec error
Runtime_Complexity_Innermost_Rewriting/AG01/#3.42.xml 5166838 n1 +2 n1 +2 22.24/6.87 n1 +2 n1 +2 9.33/2.17
Runtime_Complexity_Innermost_Rewriting/AG01/#3.37.xml 5166839 n1 +2 n1 +2 4.06/1.70 n1 +2 1 +0 1.84/0.43
Runtime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml 5166840 n1 +2 n1 +2 99.11/25.90 ∞ +0 n1 +2 969.88/294.10
Runtime_Complexity_Innermost_Rewriting/AG01/#3.8b.xml 5166841 n3 +2 n1 +2 1116.27/291.61 n4 +1 n1 +2 32.55/6.59
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower.xml 5166914 ∞ +0 n3 +2 1140.40/291.57 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/tower_sizeChange.xml 5166915 ∞ +0 n1 +2 1111.79/292.22 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/identity.xml 5166916 ∞ +0 n1 +2 873.70/291.49 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/logarithm.xml 5166917 n2 +2 n1 +2 1124.76/291.53 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial1.xml 5166918 ∞ +0 n4 +2 1131.66/291.72 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/factorial2.xml 5166919 ∞ +0 n3 +2 1131.33/291.52 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml 5166920 n2 +2 n1 +2 1151.77/292.02 ∞ +0 n1 +2 948.22/294.11
Runtime_Complexity_Innermost_Rewriting/AProVE_06/quicksort.xml 5166921 ∞ +0 n2 +2 1143.61/291.57 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_06/sizeChange.xml 5166922 n2 +2 n1 +2 320.60/291.43 ∞ +0 n1 +2 1126.53/294.23
Runtime_Complexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml 5167081 n1 +2 n1 +2 13.08/4.69 n1 +2 n1 +2 18.29/2.81
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml 5167082 ∞ +0 n1 +2 1112.05/293.03 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml 5167083 n2 +2 n1 +2 1158.82/292.76 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml 5167084 ∞ +0 n1 +2 1134.24/293.82 n3 +2 n1 +2 105.26/26.40
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml 5167085 ∞ +0 n1 +2 975.83/292.68 ∞ +0 n1 +2 1192.88/294.44
Runtime_Complexity_Innermost_Rewriting/AProVE_04/fac.xml 5167086 ∞ +0 n2 +2 1140.57/292.34 ∞ +0 n1 +1 1049.95/275.87
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml 5167087 ∞ +0 n1 +2 353.71/291.46 ∞ +0 n1 +2 516.05/147.09
Runtime_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml 5167088 ∞ +0 n1 +2 984.75/292.20 ∞ +0 n1 +2 358.10/92.18
Runtime_Complexity_Innermost_Rewriting/Der95/27.xml 5167090 n1 +2 n1 +2 11.10/3.51 n1 +2 1 +0 0.50/0.13
Runtime_Complexity_Innermost_Rewriting/Der95/06.xml 5167091 n1 +2 n1 +2 7.23/2.49 n1 +2 n1 +2 0.64/0.15
Runtime_Complexity_Innermost_Rewriting/Der95/08.xml 5167092 n1 +2 n1 +2 16.27/4.94 n1 +2 n1 +2 7.08/1.68
Runtime_Complexity_Innermost_Rewriting/Der95/11.xml 5167093 n1 +2 n1 +2 17.07/5.09 n1 +2 n1 +2 14.19/3.35
Runtime_Complexity_Innermost_Rewriting/Der95/18.xml 5167094 n1 +2 n1 +2 15.14/5.02 n1 +2 n1 +2 0.95/0.24
Runtime_Complexity_Innermost_Rewriting/Der95/21.xml 5167095 ∞ +0 n2 +2 645.88/291.46 ∞ +0 n1 +1 485.12/126.18
Runtime_Complexity_Innermost_Rewriting/Der95/32.xml 5167096 StarExec error n2 +2 n1 +2 28.35/5.40
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre2.xml 5167264 ∞ +0 n1 +2 1134.21/291.55 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-hard.xml 5167265 n1 +2 n1 +2 15.07/4.94 ∞ +0 1 +0 1118.71/294.27
Runtime_Complexity_Innermost_Rewriting/CiME_04/ack_prolog.xml 5167266 ∞ +0 n1 +2 1079.80/291.47 ∞ +0 n1 +2 1103.25/294.23
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre.xml 5167267 ∞ +0 n1 +2 1142.62/291.54 ∞ +0 n1 +2 1138.68/294.34
Runtime_Complexity_Innermost_Rewriting/CiME_04/append.xml 5167268 n1 +2 n1 +2 11.68/4.34 n1 +2 1 +0 1.59/0.41
Runtime_Complexity_Innermost_Rewriting/CiME_04/fact-hard.xml 5167269 ∞ +0 n2 +2 1138.55/292.59 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/CiME_04/filliatre3.xml 5167270 ∞ +0 n1 +2 1135.34/291.55 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/CiME_04/list-sum-prod.xml 5167271 ∞ +0 n2 +2 1135.03/291.55 ∞ +0 n1 +1 1161.29/294.23
Runtime_Complexity_Innermost_Rewriting/CiME_04/append-wrong.xml 5167272 ∞ +0 NonPoly +2 3.25/1.52 ∞ +0 1 +0 1107.68/294.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/naiverev.xml 5167029 n2 +2 n2 +2 11.59/3.83 n2 +2 n1 +1 3.45/1.69
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/increase.xml 5167030 ∞ +0 NonPoly +2 3.31/1.51 ∞ +0 1 +0 1092.49/280.34
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml 5167031 ∞ +0 n1 +2 1058.93/291.47 ∞ +0 n1 +2 833.63/214.12
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml 5167032 n1 +2 n1 +2 4.96/2.01 n1 +2 n1 +2 1.73/0.44
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml 5167033 ∞ +0 n1 +2 366.14/292.01 ∞ +0 n1 +2 1016.86/294.27
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/binom.xml 5167034 ∞ +0 NonPoly +2 3.33/1.57 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/addlists.xml 5167035 n1 +2 n1 +2 3.74/1.68 n1 +2 n1 +2 2.99/0.76
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml 5167036 n1 +2 n1 +2 14.15/4.50 n1 +2 n1 +2 1.85/0.48
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml 5167037 StarExec error n3 +2 n1 +2 23.00/5.89
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml 5167038 ∞ +0 NonPoly +2 3.59/1.61 ∞ +0 1 +0 1135.56/294.28
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml 5167039 n1 +2 n1 +2 15.47/4.73 n1 +2 1 +0 5.07/1.54
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/member.xml 5167040 n1 +2 n1 +2 17.15/5.09 n1 +2 1 +0 5.31/1.27
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/power.xml 5167041 ∞ +0 n3 +2 769.09/291.61 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mul_better.xml 5167042 n3 +2 n3 +2 15.44/4.81 n3 +2 n1 +1 27.12/6.88
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml 5167043 n1 +2 n1 +2 14.97/4.53 n1 +2 n1 +2 3.07/0.76
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/overlap.xml 5167044 n2 +2 n1 +2 329.35/291.48 n2 +2 1 +0 23.14/4.84
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestimeql.xml 5167045 ∞ +0 NonPoly +2 3.75/1.71 ∞ +0 n1 +1 1167.68/294.19
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/minsort.xml 5167046 ∞ +0 n1 +2 1145.61/292.76 ∞ +0 1 +0 1153.64/294.26
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/thetrick.xml 5167047 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml 5167048 ∞ +0 NonPoly +2 3.44/1.58 ∞ +0 n1 +1 847.64/217.49
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml 5167049 n1 +2 n1 +2 3.56/1.55 n1 +2 1 +0 1.36/0.36
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/append.xml 5167050 n1 +2 n1 +2 3.47/1.63 n1 +2 n1 +2 0.77/0.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/duplicate.xml 5167051 n1 +2 n1 +2 12.30/4.17 n1 +2 n1 +2 1.11/0.29
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml 5167052 n1 +2 n1 +2 3.56/1.57 n1 +2 n1 +2 1.08/0.27
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered_better.xml 5167053 n1 +2 1 +0 324.74/291.98 n1 +2 1 +0 5.83/1.40
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/turing_typed.xml 5167054 ∞ +0 NonPoly +2 9.97/3.28 ∞ +0 n1 +1 1042.86/294.06
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml 5167055 n1 +2 n1 +2 18.94/5.57 n1 +2 n1 +2 3.03/0.76
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/lambdaint_typed.xml 5167056 ∞ +0 n1 +2 1156.76/292.73 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/intlookup.xml 5167057 ∞ +0 NonPoly +2 3.31/1.55 ∞ +0 n1 +1 845.15/222.91
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/list.xml 5167058 n1 +2 n1 +2 5.10/2.06 n1 +2 n1 +2 1.12/0.27
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/vangelder_typed.xml 5167059 StarExec error ∞ +0 1 +0 903.33/294.23
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/disjconj.xml 5167060 ∞ +0 NonPoly +2 4.36/2.77 ∞ +0 n1 +1 1143.95/294.37
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergelists.xml 5167061 n1 +2 n1 +2 17.15/5.27 n1 +2 1 +0 8.56/1.72
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/equal.xml 5167062 ∞ +0 NonPoly +2 3.28/1.54 ∞ +0 1 +0 1181.86/294.26
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml 5167063 n3 +2 n1 +2 1092.70/292.22 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/anchored.xml 5167064 n1 +2 n1 +2 3.50/1.55 n1 +2 n1 +2 0.80/0.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/ordered.xml 5167065 n1 +2 n1 +2 15.85/5.13 n1 +2 1 +0 7.23/1.76
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/subsets.xml 5167066 ∞ +0 n1 +2 1146.24/291.48 ∞ +0 n1 +2 1003.61/294.23
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/select.xml 5167067 n2 +2 n1 +2 349.29/291.47 n2 +2 n1 +2 9.79/2.42
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/game.xml 5167068 n1 +2 n1 +2 3.95/1.87 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/letexp.xml 5167069 ∞ +0 NonPoly +2 3.25/2.47 ∞ +0 1 +0 759.68/198.88
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml 5167070 n3 +2 n3 +2 13.03/4.04 n3 +2 n1 +1 16.43/3.57
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml 5167071 ∞ +0 NonPoly +2 8.27/3.21 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml 5167072 ∞ +0 n1 +2 1185.05/300.85 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/revapp.xml 5167073 n1 +2 n1 +2 3.40/1.56 n1 +2 n1 +2 1.22/0.87
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/quicksort.xml 5167074 ∞ +0 n1 +2 1140.19/293.82 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/mergesort.xml 5167075 n2 +2 n1 +2 875.31/292.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/decrease.xml 5167076 n1 +2 n1 +2 3.81/1.64 n1 +2 n1 +2 1.41/0.64
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/permute.xml 5167077 ∞ +0 NonPoly +2 7.18/2.49 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml 5167078 ∞ +0 NonPoly +2 3.43/1.58 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml 5167079 ∞ +0 n1 +2 889.26/292.44 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml 5167080 ∞ +0 NonPoly +2 3.31/1.53 ∞ +0 1 +0 1166.98/294.14
Runtime_Complexity_Innermost_Rewriting/Endrullis_06/direct.xml 5167089 n1 +2 n1 +2 4.88/1.91 n1 +2 n1 +2 38.53/7.13
Runtime_Complexity_Innermost_Rewriting/AProVE_08/log.xml 5167288 ∞ +0 n1 +2 1121.90/291.54 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting05_maxsort.xml 5167289 ∞ +0 n2 +2 1121.60/291.56 ∞ +0 n1 +1 1190.20/294.43
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting03_minsort.xml 5167290 ∞ +0 n2 +2 1130.32/296.32 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting04_maxsort_h.xml 5167291 ∞ +0 n2 +2 1046.13/292.72 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/thiemann40_modified.xml 5167292 n2 +2 n2 +2 57.20/15.70 ∞ +0 n1 +1 1105.17/294.48
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting01_reverse.xml 5167293 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_08/parting02_doublelist.xml 5167294 ∞ +0 n1 +2 1113.72/291.52 ∞ +0 n1 +2 1186.34/294.56
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann14.xml 5167378 ∞ +0 n2 +2 1153.16/292.82 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto06.xml 5167379 n2 +2 n1 +2 1151.22/294.34 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann01.xml 5167380 n2 +2 n1 +2 987.27/291.53 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann31.xml 5167381 n2 +2 n1 +2 1154.39/291.47 ∞ +0 n1 +2 833.02/294.08
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann21.xml 5167382 ∞ +0 n1 +2 1136.17/291.52 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann25.xml 5167383 ∞ +0 n1 +2 968.96/291.49 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann05.xml 5167384 n2 +2 n1 +2 1126.55/292.97 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann03.xml 5167385 n3 +2 n3 +2 60.81/16.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann34.xml 5167386 n2 +2 n1 +2 1094.23/292.55 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann26.xml 5167387 n1 +2 n1 +2 64.71/17.27 ∞ +0 n1 +2 834.70/232.13
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto03.xml 5167388 n2 +2 n1 +2 892.38/291.96 ∞ +0 n1 +2 1140.00/294.33
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann10.xml 5167389 n1 +2 n1 +2 42.40/11.52 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann30.xml 5167390 ∞ +0 n1 +2 1146.17/295.54 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto04.xml 5167391 ∞ +0 NonPoly +2 3.29/1.53 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto05.xml 5167392 n1 +2 n1 +2 27.95/8.02 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann40.xml 5167393 n1 +2 n1 +2 21.15/6.42 ∞ +0 1 +0 644.04/170.76
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann17.xml 5167394 ∞ +0 n2 +2 1122.22/291.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto08.xml 5167395 ∞ +0 n1 +2 1133.29/291.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann18.xml 5167396 n3 +2 n1 +2 1141.99/295.19 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann36.xml 5167397 n2 +2 n1 +2 1152.10/292.78 ∞ +0 n1 +2 930.64/294.24
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann29.xml 5167398 ∞ +0 n2 +2 1139.31/292.76 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann37.xml 5167399 ∞ +0 n1 +2 1146.93/292.76 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann04.xml 5167400 ∞ +0 n1 +2 1138.29/292.35 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto02.xml 5167401 n2 +2 n1 +2 1120.96/291.51 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann38.xml 5167402 n2 +2 n1 +2 1141.26/291.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann41.xml 5167403 ∞ +0 n1 +2 1120.26/292.74 ∞ +0 n1 +2 1032.38/294.20
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann27.xml 5167404 n2 +2 n1 +2 904.53/291.45 ∞ +0 n1 +2 1153.41/294.27
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto07.xml 5167405 n2 +2 n1 +2 899.61/291.49 ∞ +0 n1 +2 738.44/209.68
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto01.xml 5167406 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann23.xml 5167407 n1 +2 n1 +2 46.73/13.75 ∞ +0 n1 +2 1123.82/294.22
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann07.xml 5167408 ∞ +0 n2 +2 1140.17/293.42 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann32.xml 5167409 StarExec error StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann19.xml 5167410 ∞ +0 n1 +2 1136.19/292.69 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto12.xml 5167411 StarExec error StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto11.xml 5167412 ∞ +0 n1 +2 1126.02/291.52 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann16.xml 5167413 ∞ +0 n1 +2 1145.62/292.16 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann11.xml 5167414 n2 +2 n1 +2 1131.98/291.54 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann22.xml 5167415 ∞ +0 n1 +2 1080.36/292.14 ∞ +0 n1 +2 1155.28/294.96
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann20.xml 5167416 n2 +2 n1 +2 1121.55/292.77 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann15.xml 5167417 n2 +2 n1 +2 984.17/291.48 ∞ +0 n1 +2 1056.12/294.40
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann28.xml 5167418 n1 +2 n1 +2 46.19/13.12 ∞ +0 n1 +2 903.43/294.08
Runtime_Complexity_Innermost_Rewriting/AProVE_07/kabasci04.xml 5167419 ∞ +0 n1 +2 1131.02/291.64 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann13.xml 5167420 n2 +2 n1 +2 1124.44/291.52 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann06.xml 5167421 n1 +2 n1 +2 160.17/41.22 ∞ +0 n1 +2 853.09/227.95
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto10.xml 5167422 ∞ +0 n1 +2 1150.95/291.89 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann12.xml 5167423 n2 +2 n1 +2 1025.49/291.45 ∞ +0 n1 +2 1097.66/294.22
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto09.xml 5167424 ∞ +0 n1 +2 1132.55/291.49 ∞ +0 n1 +2 756.71/203.35
Runtime_Complexity_Innermost_Rewriting/AProVE_07/otto13.xml 5167425 n2 +2 n1 +2 1059.73/291.51 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann33.xml 5167426 ∞ +0 n1 +2 1104.93/291.53 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann24.xml 5167427 ∞ +0 n2 +2 1009.55/291.98 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann02.xml 5167428 ∞ +0 n1 +2 1147.77/292.63 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_07/thiemann08.xml 5167429 ∞ +0 NonPoly +2 6.95/2.47 ∞ +0 n1 +1 828.19/294.25
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/12.xml 5167339 n2 +2 n1 +2 1077.45/291.96 ∞ +0 n1 +2 553.21/170.49
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/10.xml 5167340 n2 +2 n1 +2 473.99/291.46 ∞ +0 n1 +2 896.82/270.95
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/14.xml 5167341 n2 +2 n1 +2 935.02/291.46 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/13.xml 5167342 StarExec error ∞ +0 n1 +2 628.28/198.63
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/3.xml 5167343 n1 +2 n1 +2 90.04/24.45 ∞ +0 n1 +2 419.16/108.18
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/20.xml 5167344 n1 +2 n1 +2 71.11/19.46 ∞ +0 n1 +2 1121.34/294.16
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/7.xml 5167345 n2 +2 n1 +2 578.64/291.45 ∞ +0 n1 +2 984.53/295.81
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/1.xml 5167346 n2 +2 n1 +2 431.65/291.68 ∞ +0 n1 +2 387.78/102.28
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/17.xml 5167347 n2 +2 n1 +2 1159.81/291.50 StarExec error
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/23.xml 5167348 n2 +2 n1 +2 902.77/291.48 ∞ +0 n1 +2 861.58/252.58
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/19.xml 5167349 n2 +2 n1 +2 1169.36/295.49 ∞ +0 n1 +2 1122.63/294.79
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/16.xml 5167350 n2 +2 n1 +2 1151.31/291.99 ∞ +0 n1 +2 984.85/294.09
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/5.xml 5167351 n2 +2 n1 +2 1128.31/293.40 ∞ +0 n1 +2 554.49/141.49
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/11.xml 5167352 n2 +2 n1 +2 1095.48/291.50 ∞ +0 n1 +2 879.10/266.84
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/2.xml 5167353 n2 +2 n1 +2 368.64/291.47 ∞ +0 n1 +2 460.18/131.60
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/8.xml 5167354 n1 +2 n1 +2 44.87/12.37 ∞ +0 n1 +2 1152.39/294.07
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/18.xml 5167355 n1 +2 n1 +2 89.73/23.57 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/6.xml 5167356 n2 +2 n1 +2 363.11/291.44 ∞ +0 n1 +2 422.13/111.56
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/21.xml 5167357 n2 +2 n1 +2 1158.24/292.21 ∞ +0 n1 +2 1148.16/294.35
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/9.xml 5167358 n2 +2 n1 +2 1138.55/295.55 ∞ +0 n1 +2 915.33/294.04
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/4.xml 5167359 n1 +2 n1 +2 26.64/7.66 ∞ +0 n1 +2 430.42/115.40
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/24.xml 5167360 n1 +2 n1 +2 72.68/19.13 ∞ +0 n1 +2 1119.68/294.63
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/15.xml 5167361 n2 +2 n1 +2 934.74/292.49 ∞ +0 n1 +2 1120.73/294.34
Runtime_Complexity_Innermost_Rewriting/Beerendonk_07/22.xml 5167362 n1 +2 n1 +2 33.23/10.49 ∞ +0 n1 +2 790.55/294.22
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/zerolist.xml 5167430 n2 +2 n1 +2 921.03/291.49 ∞ +0 n1 +2 1157.02/294.33
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/log.xml 5167431 n1 +2 n1 +2 52.23/14.41 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsort.xml 5167432 ∞ +0 n2 +2 1124.43/295.04 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortlast.xml 5167433 ∞ +0 n1 +2 1126.68/292.75 StarExec error
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml 5167434 ∞ +0 n1 +2 1096.17/291.52 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/qsortmiddle.xml 5167435 ∞ +0 n1 +2 1147.08/291.57 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/minsort.xml 5167436 ∞ +0 n1 +2 1122.59/293.37 ∞ +0 n1 +2 1188.66/294.62
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml 5167437 n3 +2 n1 +2 1160.42/293.19 ∞ +0 n1 +2 805.23/294.26
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/maxsortcondition.xml 5167438 ∞ +0 n2 +2 1120.75/293.94 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/div.xml 5167439 n3 +2 n1 +2 1132.54/291.50 ∞ +0 n1 +2 777.82/205.98
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/mod.xml 5167440 n3 +2 n1 +2 1120.07/291.59 ∞ +0 n1 +2 1067.33/271.01
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/divhard.xml 5167441 n3 +2 n1 +2 1137.61/292.60 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml 5167442 n3 +2 n1 +2 1150.30/291.55 ∞ +0 n1 +2 802.54/208.60
Runtime_Complexity_Innermost_Rewriting/AProVE_09_Inductive/gcdhard.xml 5167443 n1 +2 n1 +2 48.02/13.41 ∞ +0 n1 +2 1102.71/294.29
Runtime_Complexity_Innermost_Rewriting/raML/bft_mmult.raml.xml 5167444 ∞ +0 n1 +2 1113.74/291.55 n4 +2 1 +0 106.13/27.14
Runtime_Complexity_Innermost_Rewriting/raML/quicksort.raml.xml 5167445 n2 +2 n2 +2 230.12/58.72 StarExec error
Runtime_Complexity_Innermost_Rewriting/raML/splitandsort.raml.xml 5167446 n3 +2 n1 +2 1169.48/294.72 n5 +1 1 +0 159.50/40.81
Runtime_Complexity_Innermost_Rewriting/raML/queue.raml.xml 5167447 ∞ +0 n1 +2 1115.84/296.20 StarExec error
Runtime_Complexity_Innermost_Rewriting/raML/bfs.raml.xml 5167448 timeout (wallclock) n3 +2 1 +0 126.88/31.57
Runtime_Complexity_Innermost_Rewriting/raML/appendAll.raml.xml 5167449 n1 +2 n1 +2 17.78/5.57 n1 +2 1 +0 7.18/4.02
Runtime_Complexity_Innermost_Rewriting/raML/minsort.raml.xml 5167450 n2 +2 n1 +2 360.17/291.51 n2 +2 1 +0 24.42/7.21
Runtime_Complexity_Innermost_Rewriting/raML/subtrees.raml.xml 5167451 n2 +2 n1 +2 310.42/291.47 n2 +2 1 +0 22.77/5.94
Runtime_Complexity_Innermost_Rewriting/raML/clevermmult.raml.xml 5167452 n2 +2 n1 +2 432.17/291.98 n3 +1 1 +0 19.61/5.00
Runtime_Complexity_Innermost_Rewriting/raML/longestCommonSubsequence.raml.xml 5167453 n2 +2 n1 +2 1139.61/294.79 n2 +2 1 +0 100.82/26.92
Runtime_Complexity_Innermost_Rewriting/raML/dyade.raml.xml 5167454 n2 +2 n1 +2 369.67/291.50 n2 +2 1 +0 15.63/4.33
Runtime_Complexity_Innermost_Rewriting/raML/insertionsort.raml.xml 5167455 n2 +2 n1 +2 1123.17/293.31 n3 +1 1 +0 202.13/34.61
Runtime_Complexity_Innermost_Rewriting/raML/rationalPotential.raml.xml 5167456 n1 +2 n1 +2 13.59/4.69 n1 +2 1 +0 2.56/0.66
Runtime_Complexity_Innermost_Rewriting/raML/flatten.raml.xml 5167457 n2 +2 n1 +2 363.96/291.46 n2 +2 1 +0 27.24/6.64
Runtime_Complexity_Innermost_Rewriting/raML/mergesort.raml.xml 5167458 ∞ +0 n1 +2 1059.92/291.80 n2 +2 1 +0 273.84/79.14
Runtime_Complexity_Innermost_Rewriting/raML/eratosthenes.raml.xml 5167459 n2 +2 n1 +2 1119.87/292.08 n2 +2 1 +0 58.44/13.87
Runtime_Complexity_Innermost_Rewriting/raML/duplicates.raml.xml 5167460 n2 +2 n1 +2 405.84/291.86 n3 +1 1 +0 30.35/7.03
Runtime_Complexity_Innermost_Rewriting/raML/matrix.raml.xml 5167461 ∞ +0 n1 +2 1146.18/295.18 n6 +2 1 +0 293.74/79.60
Runtime_Complexity_Innermost_Rewriting/raML/bitvectors.raml.xml 5167462 n5 +1 n1 +2 1144.59/292.72 n2 +2 1 +0 262.22/80.10
Runtime_Complexity_Innermost_Rewriting/raML/listsort.raml.xml 5167463 n2 +2 n1 +2 1158.01/291.72 n3 +1 1 +0 56.31/13.23
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones1.xml 5166927 StarExec error n1 +2 n1 +2 0.50/0.13
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones5.xml 5166928 timeout (wallclock) ∞ +0 1 +0 903.38/242.18
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/minsort.xml 5166929 ∞ +0 NonPoly +2 3.25/1.59 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/while.xml 5166930 n2 +2 n1 +2 888.04/291.47 ∞ +0 n1 +2 408.44/106.63
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones4.xml 5166931 n1 +2 n1 +2 20.88/6.45 n1 +2 1 +0 0.98/0.26
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml 5166932 n2 +2 n1 +2 1133.18/292.29 ∞ +0 n1 +2 952.55/294.21
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 5166933 ∞ +0 n1 +2 1090.33/291.49 ∞ +0 n1 +2 1053.57/294.36
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones2.xml 5166934 n1 +2 n1 +2 20.65/6.19 n1 +2 1 +0 2.15/0.56
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/jones6.xml 5166935 n1 +2 n1 +2 3.43/1.68 n1 +2 n1 +2 1.73/0.45
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml 5166936 ∞ +0 n1 +2 367.76/291.44 ∞ +0 n1 +2 323.81/86.57
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml 5166937 ∞ +0 n1 +2 1096.29/292.14 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml 5166938 n2 +2 n1 +2 1139.46/291.55 ∞ +0 n1 +2 1166.74/294.77
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect.xml 5166939 n1 +2 n1 +2 18.95/5.56 n1 +2 1 +0 5.88/1.71
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml 5166940 ∞ +0 n1 +2 1157.25/291.58 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml 5166941 ∞ +0 NonPoly +2 5.09/2.05 ∞ +0 n1 +1 515.39/132.47
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml 5167241 ∞ +0 n2 +2 1115.74/291.59 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml 5167242 n2 +2 n1 +2 368.36/291.95 n2 +2 n1 +2 26.27/6.56
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml 5167243 n1 +2 n1 +2 42.25/12.35 ∞ +0 n1 +2 898.53/294.26
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml 5167244 ∞ +0 n1 +2 990.12/291.46 ∞ +0 n1 +2 771.46/198.10
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml 5167245 ∞ +0 n1 +2 1159.14/292.25 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml 5167246 ∞ +0 n2 +2 1147.54/291.51 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml 5167247 n2 +2 n1 +2 1125.85/291.59 ∞ +0 n1 +2 950.68/294.08
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml 5167248 ∞ +0 NonPoly +2 3.55/1.59 ∞ +0 1 +0 82.50/24.45
Runtime_Complexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml 5167249 1 +2 1 +0 3.17/1.50 1 +2 1 +0 1.69/0.42
Runtime_Complexity_Innermost_Rewriting/Rubio_04/division.xml 5167295 n3 +2 n1 +2 316.36/291.47 n3 +2 n1 +2 23.81/7.11
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml 5167296 n1 +2 n1 +2 8.37/2.94 n1 +2 n1 +2 1.48/0.43
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml 5167297 n1 +2 n1 +2 20.75/6.06 n1 +2 n1 +2 2.39/0.53
Runtime_Complexity_Innermost_Rewriting/Rubio_04/selsort.xml 5167298 n3 +2 n2 +2 1133.24/293.27 n3 +2 n1 +1 35.86/8.97
Runtime_Complexity_Innermost_Rewriting/Rubio_04/enno.xml 5167299 n2 +2 n1 +2 356.13/291.70 n3 +1 n1 +2 30.44/7.41
Runtime_Complexity_Innermost_Rewriting/Rubio_04/prov.xml 5167300 n1 +2 n1 +2 13.04/4.81 n1 +2 n1 +2 2.13/0.55
Runtime_Complexity_Innermost_Rewriting/Rubio_04/bintrees.xml 5167301 n1 +2 n1 +2 3.78/1.68 n1 +2 n1 +2 2.25/0.68
Runtime_Complexity_Innermost_Rewriting/Rubio_04/nestrec.xml 5167302 ∞ +0 NonPoly +2 8.71/3.03 ∞ +0 n1 +1 940.61/294.13
Runtime_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml 5167303 timeout (wallclock) timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Rubio_04/logarquot.xml 5167304 n1 +2 n1 +2 30.99/10.17 n3 +1 n1 +2 17.16/6.31
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test829.xml 5167305 n1 +2 n1 +2 3.47/1.54 n1 +2 n1 +2 1.85/0.43
Runtime_Complexity_Innermost_Rewriting/Rubio_04/elimdupl.xml 5167306 n2 +2 n1 +2 323.32/291.46 n3 +1 n1 +2 20.42/6.50
Runtime_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml 5167307 n1 +2 n1 +2 16.87/5.45 n1 +2 n1 +2 11.30/2.79
Runtime_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml 5167308 1 +2 1 +0 3.25/1.52 1 +2 1 +0 0.19/0.06
Runtime_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml 5167309 n1 +2 n1 +2 25.57/7.32 n2 +1 n1 +2 21.40/6.00
Runtime_Complexity_Innermost_Rewriting/Rubio_04/test4.xml 5167310 n1 +2 n1 +2 3.93/1.68 n1 +2 n1 +2 8.10/0.66
Runtime_Complexity_Innermost_Rewriting/Rubio_04/revlist.xml 5167311 ∞ +0 n1 +2 1137.26/291.70 ∞ +0 n1 +2 1166.32/294.22
Runtime_Complexity_Innermost_Rewriting/Rubio_04/quick.xml 5167312 ∞ +0 n2 +2 1143.09/295.94 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml 5167313 n3 +2 n1 +2 355.65/291.50 StarExec error
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml 5167363 n2 +2 n1 +2 895.82/291.47 ∞ +0 n1 +2 735.63/201.71
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml 5167364 n2 +2 n1 +2 885.32/293.40 StarExec error
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml 5167365 n2 +2 n1 +2 1114.74/291.47 ∞ +0 n1 +2 1157.62/294.28
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml 5167366 n2 +2 n1 +2 1140.25/292.86 ∞ +0 n1 +2 1145.35/294.29
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml 5167367 n2 +2 n1 +2 1122.03/291.53 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml 5167368 n2 +2 n1 +2 1097.55/291.50 StarExec error
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml 5167369 n2 +2 n1 +2 1111.75/291.47 ∞ +0 n1 +2 951.21/294.16
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml 5167370 n2 +2 n1 +2 1020.28/291.49 ∞ +0 n1 +2 1176.44/295.40
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml 5167371 n2 +2 n1 +2 884.49/291.73 StarExec error
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml 5167372 StarExec error ∞ +0 n1 +2 1113.66/294.25
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml 5167373 n2 +2 n1 +2 1139.63/292.72 ∞ +0 n1 +2 1168.34/294.63
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml 5167374 ∞ +0 n2 +2 1131.82/294.09 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml 5167375 n2 +2 n1 +2 1126.24/292.68 ∞ +0 n1 +2 887.24/294.14
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml 5167376 n2 +2 n1 +2 1158.65/291.50 ∞ +0 n1 +2 796.52/222.39
Runtime_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml 5167377 ∞ +0 NonPoly +2 3.22/1.53 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/match.xml 5166995 n2 +2 n1 +2 344.32/291.63 n2 +2 1 +0 19.86/4.85
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml 5166996 n1 +2 n1 +2 42.85/12.54 n1 +2 1 +0 178.35/43.44
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup1_typed.xml 5166997 n1 +2 n1 +2 14.22/4.66 n1 +2 n1 +2 2.44/0.62
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/thetrickSize.xml 5166998 n1 +2 n1 +2 21.23/6.25 n1 +2 n1 +2 14.77/3.72
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/power.xml 5166999 ∞ +0 n2 +2 732.80/291.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortSize.xml 5167000 ∞ +0 n1 +2 1126.82/291.57 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fghSize.xml 5167001 ∞ +0 NonPoly +2 3.48/1.58 ∞ +0 n1 +1 380.59/99.62
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2Size_typed.xml 5167002 timeout (wallclock) ∞ +0 n1 +2 1156.43/296.44
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort_better.xml 5167003 n2 +2 n1 +2 340.64/291.44 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/disj2_typed.xml 5167004 n1 +2 n1 +2 4.08/1.74 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/inssort.xml 5167005 n2 +2 n1 +2 330.66/291.50 n2 +2 n1 +2 22.90/6.27
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour2_typed.xml 5167006 ∞ +0 n1 +2 1025.02/291.67 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/add.xml 5167007 n1 +2 n1 +2 4.01/1.73 StarExec error
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/deadcodeSize.xml 5167008 ∞ +0 NonPoly +2 3.29/1.49 ∞ +0 1 +0 318.92/82.24
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/oddeven.xml 5167009 n1 +2 n1 +2 3.25/1.53 n1 +2 1 +0 0.46/0.13
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/reach.xml 5167010 ∞ +0 NonPoly +2 981.94/278.65 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ex6.xml 5167011 StarExec error n1 +2 n1 +2 1.71/0.44
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/bubblesort.xml 5167012 n2 +2 n1 +2 346.48/291.54 n2 +2 n1 +2 21.87/6.94
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml 5167013 n2 +2 n1 +2 330.24/292.00 ∞ +0 n1 +2 769.62/210.47
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/div2.xml 5167014 n1 +2 n1 +2 4.23/1.76 n1 +2 n1 +2 0.74/0.21
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-safe.xml 5167015 n1 +2 n1 +2 3.55/1.53 n1 +2 n1 +2 0.70/0.19
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/minsortSize.xml 5167016 ∞ +0 n1 +2 1142.30/291.73 ∞ +0 1 +0 1145.88/294.22
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/assrewriteSize.xml 5167017 ∞ +0 n1 +2 345.63/291.46 ∞ +0 1 +0 996.49/294.24
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/permut.xml 5167018 n1 +2 n1 +2 18.41/7.65 n1 +2 1 +0 0.59/0.12
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour1_typed.xml 5167019 timeout (wallclock) n4 +2 n1 +2 121.37/30.48
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/ocall-unsafe.xml 5167020 n1 +2 n1 +2 3.50/1.69 n1 +2 n1 +2 0.41/0.13
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/eq.xml 5167021 n1 +2 n1 +2 6.26/2.25 n1 +2 n1 +2 0.78/0.17
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/quicksortPtime.xml 5167022 n2 +2 n1 +2 349.79/291.95 n2 +2 n1 +2 30.66/7.31
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/graphcolour3_typed.xml 5167023 n5 +2 n1 +2 1050.78/292.19 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/strmatch.xml 5167024 n2 +2 n1 +2 574.15/291.54 n2 +2 n1 +2 18.79/4.62
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/dup2_typed.xml 5167025 StarExec error n1 +2 n1 +2 3.56/0.78
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/fgh.xml 5167026 ∞ +0 NonPoly +2 3.61/1.59 ∞ +0 n1 +1 416.32/111.90
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/boolprog.xml 5167027 n1 +2 n1 +2 25.58/7.20 n1 +2 1 +0 26.06/6.11
Runtime_Complexity_Innermost_Rewriting/Frederiksen_Others/rematch.xml 5167028 ∞ +0 n2 +2 1162.35/294.26 ∞ +0 n1 +1 765.19/294.51
Runtime_Complexity_Innermost_Rewriting/hoca/flatten.xml 5166942 n1 +2 n1 +2 3.89/1.71 n1 +2 n1 +2 1.91/0.47
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml 5166943 n1 +2 n1 +2 3.54/1.57 n1 +2 n1 +2 1.27/0.32
Runtime_Complexity_Innermost_Rewriting/hoca/fib_llist.xml 5166944 ∞ +0 n1 +2 1138.28/294.24 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/hoca/sum.xml 5166945 n1 +2 n1 +2 3.32/1.50 n1 +2 n1 +2 0.69/0.19
Runtime_Complexity_Innermost_Rewriting/hoca/mss.xml 5166946 ∞ +0 n1 +2 943.52/291.49 ∞ +0 n1 +2 907.54/294.31
Runtime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml 5166947 n1 +2 n1 +2 3.80/1.60 n1 +2 n1 +2 2.23/0.58
Runtime_Complexity_Innermost_Rewriting/hoca/mergesort-dc.xml 5166948 ∞ +0 n1 +2 1121.16/291.86 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/hoca/isort-fold.xml 5166949 n2 +2 n1 +2 333.52/291.49 n3 +1 n1 +2 41.94/7.06
Runtime_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml 5166950 ∞ +0 n2 +2 803.37/291.50 ∞ +0 n1 +1 968.50/294.19
Runtime_Complexity_Innermost_Rewriting/hoca/foldsum.xml 5166951 n1 +2 n1 +2 6.19/2.81 n1 +2 n1 +2 3.13/0.77
Runtime_Complexity_Innermost_Rewriting/hoca/isort.xml 5166952 n2 +2 n1 +2 328.97/291.48 n3 +1 n1 +2 30.40/6.32
Runtime_Complexity_Innermost_Rewriting/hoca/dfs-flatten.xml 5166953 n1 +2 n1 +2 3.84/1.70 n1 +2 n1 +2 2.03/0.49
Runtime_Complexity_Innermost_Rewriting/hoca/mappplus.xml 5166954 n2 +2 n1 +2 321.71/291.44 n2 +2 n1 +2 9.62/5.87
Runtime_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml 5166955 n1 +2 n1 +2 3.97/1.65 n1 +2 n1 +2 1.80/0.47
Runtime_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml 5166956 n1 +2 n1 +2 3.36/1.52 n1 +2 n1 +2 0.62/0.17
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml 5167250 ∞ +0 n1 +2 778.81/292.87 ∞ +0 n1 +2 555.24/139.25
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml 5167251 n1 +2 n1 +2 10.38/3.44 StarExec error
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml 5167252 ∞ +0 NonPoly +2 3.19/1.49 ∞ +0 1 +0 348.01/88.92
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml 5167253 ∞ +0 NonPoly +2 3.35/1.51 ∞ +0 1 +0 44.12/13.95
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml 5167254 ∞ +0 NonPoly +2 8.28/2.97 ∞ +0 1 +0 981.68/294.05
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml 5167255 ∞ +0 NonPoly +2 3.08/1.47 ∞ +0 1 +0 359.23/97.23
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml 5167256 ∞ +0 n1 +2 1022.44/292.73 ∞ +0 n1 +2 653.23/167.76
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml 5167257 n2 +2 n1 +2 320.65/291.93 ∞ +0 n1 +2 539.55/136.41
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml 5167258 ∞ +0 NonPoly +2 3.20/1.51 StarExec error
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml 5167259 ∞ +0 n1 +2 857.64/292.79 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml 5167260 n1 +2 n1 +2 16.76/5.18 n2 +1 n1 +2 3.66/0.93
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml 5167261 ∞ +0 NonPoly +2 3.15/1.46 ∞ +0 1 +0 33.59/9.28
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml 5167262 ∞ +0 NonPoly +2 3.24/1.49 ∞ +0 1 +0 33.02/8.92
Runtime_Complexity_Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml 5167263 ∞ +0 n1 +2 1161.12/291.58 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test77.xml 5167324 n1 +2 n1 +2 14.53/5.04 ∞ +0 n1 +2 354.45/90.37
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/muladd.xml 5167325 ∞ +0 NonPoly +2 3.42/1.63 ∞ +0 1 +0 950.30/294.07
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test830.xml 5167326 n1 +2 n1 +2 3.42/1.60 n1 +2 n1 +2 2.23/0.98
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_mixed_05/test76.xml 5167327 n1 +2 n1 +2 15.98/5.90 ∞ +0 n1 +2 363.55/94.64
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml 5166957 ∞ +0 NonPoly +2 3.42/1.55 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 5166958 ∞ +0 NonPoly +2 3.18/1.49 ∞ +0 n1 +1 300.89/76.49
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 5166959 ∞ +0 NonPoly +2 3.32/1.50 ∞ +0 1 +0 822.78/213.56
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml 5166960 ∞ +0 NonPoly +2 3.23/1.57 ∞ +0 1 +0 330.51/87.79
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 5166961 ∞ +0 NonPoly +2 3.02/1.47 ∞ +0 1 +0 1119.40/294.25
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml 5166962 ∞ +0 NonPoly +2 3.53/1.54 ∞ +0 1 +0 149.97/52.93
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 5166963 ∞ +0 NonPoly +2 3.28/1.68 ∞ +0 n1 +1 1152.00/294.20
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml 5166964 ∞ +0 NonPoly +2 3.55/1.63 ∞ +0 n1 +1 384.33/101.74
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml 5166965 ∞ +0 NonPoly +2 3.13/1.47 ∞ +0 n1 +1 1144.27/294.23
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml 5166966 ∞ +0 NonPoly +2 3.32/1.52 ∞ +0 n1 +1 1163.51/294.22
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 5166967 ∞ +0 NonPoly +2 3.26/1.59 ∞ +0 n1 +1 895.92/294.43
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 5166968 ∞ +0 NonPoly +2 3.22/1.49 ∞ +0 n1 +1 1145.17/294.23
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml 5166969 ∞ +0 NonPoly +2 3.12/1.49 ∞ +0 n1 +1 1141.97/294.24
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml 5166970 ∞ +0 NonPoly +2 3.45/1.51 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 5166971 ∞ +0 NonPoly +2 3.10/1.49 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml 5166972 ∞ +0 NonPoly +2 3.30/1.57 ∞ +0 1 +0 1154.22/294.24
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml 5166973 n1 +2 n1 +2 17.21/5.12 n1 +2 n1 +2 3.39/0.85
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml 5166974 ∞ +0 NonPoly +2 3.44/1.53 ∞ +0 n1 +1 1150.55/294.20
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml 5166975 ∞ +0 NonPoly +2 3.41/1.56 ∞ +0 1 +0 802.76/205.71
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml 5166976 ∞ +0 NonPoly +2 3.40/1.56 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml 5166977 StarExec error timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 5166978 ∞ +0 NonPoly +2 3.22/1.66 ∞ +0 n1 +1 1156.83/294.21
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml 5166979 ∞ +0 NonPoly +2 3.06/1.50 ∞ +0 n1 +1 1139.82/294.24
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml 5166980 ∞ +0 NonPoly +2 3.22/1.48 ∞ +0 n1 +1 1150.29/294.25
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml 5166981 ∞ +0 NonPoly +2 3.37/1.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml 5166982 ∞ +0 NonPoly +2 3.26/1.51 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml 5166983 ∞ +0 NonPoly +2 3.24/1.50 ∞ +0 1 +0 33.35/8.90
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 5166984 ∞ +0 NonPoly +2 3.34/1.52 ∞ +0 1 +0 1160.41/294.23
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml 5166985 ∞ +0 NonPoly +2 3.20/1.50 ∞ +0 n1 +1 1145.42/294.25
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 5166986 ∞ +0 NonPoly +2 3.15/1.47 ∞ +0 1 +0 1159.76/294.19
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 5166987 ∞ +0 NonPoly +2 3.21/1.65 ∞ +0 n1 +1 1149.38/294.26
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 5166988 ∞ +0 NonPoly +2 3.31/1.52 ∞ +0 n1 +1 1077.52/294.04
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 5166989 ∞ +0 NonPoly +2 3.13/1.51 ∞ +0 n1 +1 1009.88/294.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 5167097 ∞ +0 NonPoly +2 4.75/1.89 ∞ +0 n1 +1 941.97/294.32
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml 5167098 ∞ +0 NonPoly +2 12.23/3.88 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 5167099 ∞ +0 n1 +2 1133.07/295.78 ∞ +0 n1 +2 1040.81/294.36
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 5167100 StarExec error n1 +2 n1 +2 4.09/1.03
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml 5167101 ∞ +0 NonPoly +2 3.39/1.54 ∞ +0 1 +0 1112.28/294.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml 5167102 n3 +2 n3 +2 45.48/13.00 n3 +2 n1 +1 24.55/6.51
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml 5167103 n1 +2 n1 +2 15.35/5.29 n1 +2 n1 +2 2.55/0.70
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 5167104 1 +2 1 +0 3.43/1.58 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 5167105 ∞ +0 NonPoly +2 11.06/3.67 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml 5167106 timeout (wallclock) ∞ +0 n1 +2 778.44/294.23
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml 5167107 ∞ +0 n1 +2 1133.12/292.74 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 5167108 n2 +2 n2 +2 19.80/6.31 n2 +2 n1 +1 38.52/7.51
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 5167109 ∞ +0 n1 +2 1138.05/291.48 ∞ +0 n1 +2 715.54/294.16
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 5167110 n1 +2 n1 +2 3.97/1.67 n1 +2 1 +0 2.32/0.60
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 5167111 ∞ +0 NonPoly +2 3.99/1.66 ∞ +0 n1 +1 810.65/294.23
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml 5167112 ∞ +0 NonPoly +2 3.35/1.53 ∞ +0 1 +0 26.34/7.61
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml 5167113 n1 +2 n1 +2 11.63/3.88 n1 +2 n1 +2 2.14/0.51
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 5167114 n1 +2 n1 +2 14.07/4.38 n1 +2 n1 +2 1.29/0.34
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml 5167115 timeout (wallclock) ∞ +0 n1 +2 808.02/294.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 5167116 1 +2 1 +0 3.19/1.51 n1 +1 1 +0 0.76/0.20
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 5167117 n1 +2 n1 +2 5.27/2.05 n1 +2 n1 +2 0.28/0.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml 5167118 n1 +2 n1 +2 18.31/5.39 n1 +2 n1 +2 22.36/5.50
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml 5167119 n2 +2 n2 +2 13.98/4.90 n2 +2 n1 +1 2.07/0.53
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml 5167120 ∞ +0 n2 +2 1128.09/291.74 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml 5167121 n2 +1 n1 +2 330.83/292.00 n1 +2 1 +0 5.49/1.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 5167122 ∞ +0 NonPoly +2 4.01/1.74 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 5167123 ∞ +0 n1 +2 1152.80/292.21 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 5167124 ∞ +0 n1 +2 1140.62/291.94 ∞ +0 n1 +2 1187.70/294.90
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml 5167125 ∞ +0 NonPoly +2 3.07/1.46 ∞ +0 1 +0 33.40/9.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml 5167126 ∞ +0 NonPoly +2 3.39/1.77 ∞ +0 1 +0 814.31/219.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 5167127 ∞ +0 n1 +2 1158.46/292.17 ∞ +0 n1 +2 1057.47/294.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 5167128 1 +2 1 +0 3.42/1.57 1 +2 1 +0 0.37/0.10
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml 5167129 ∞ +0 n2 +2 1102.85/292.85 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml 5167130 ∞ +0 NonPoly +2 3.19/1.49 ∞ +0 1 +0 33.11/8.94
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 5167131 ∞ +0 n1 +2 1124.73/294.40 ∞ +0 n1 +2 953.07/294.26
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 5167132 n1 +2 n1 +2 18.20/5.39 n1 +2 1 +0 1.37/0.36
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_noand_GM.xml 5167133 timeout (wallclock) timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml 5167134 ∞ +0 NonPoly +2 3.38/1.56 ∞ +0 1 +0 31.61/8.57
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml 5167135 n3 +2 n3 +2 34.49/9.68 n3 +2 n1 +1 14.59/3.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 5167136 ∞ +0 n1 +2 1155.35/292.35 ∞ +0 n1 +2 1193.42/297.67
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml 5167137 ∞ +0 NonPoly +2 7.20/2.54 ∞ +0 1 +0 1062.02/294.18
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml 5167138 1 +2 1 +0 3.35/1.50 1 +2 1 +0 0.45/0.12
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 5167139 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml 5167140 n1 +2 n1 +2 16.35/5.56 n1 +2 n1 +2 6.13/1.54
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml 5167141 ∞ +0 NonPoly +2 3.39/1.61 ∞ +0 1 +0 1113.23/294.24
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml 5167142 ∞ +0 NonPoly +2 4.68/1.89 ∞ +0 1 +0 941.55/294.29
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 5167143 StarExec error ∞ +0 n1 +2 1055.90/294.36
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml 5167144 ∞ +0 n1 +2 1126.66/292.95 ∞ +0 n1 +2 1191.61/295.53
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 5167145 n1 +2 n1 +2 6.60/2.37 n1 +2 n1 +2 0.40/0.09
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 5167146 n1 +2 n1 +2 807.59/291.51 n1 +2 1 +0 42.86/10.54
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 5167147 1 +2 1 +0 3.23/1.51 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml 5167148 ∞ +0 NonPoly +2 6.57/2.50 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml 5167149 ∞ +0 n1 +2 914.20/291.58 ∞ +0 n1 +2 660.39/294.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 5167150 StarExec error ∞ +0 n1 +2 1193.42/295.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 5167151 ∞ +0 n1 +2 1160.56/294.40 ∞ +0 n1 +2 1075.73/294.05
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 5167152 timeout (wallclock) ∞ +0 n1 +2 1189.42/294.94
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 5167153 ∞ +0 n1 +2 1111.40/291.55 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml 5167154 ∞ +0 n1 +2 1104.51/294.76 ∞ +0 n1 +2 977.55/294.33
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 5167155 timeout (wallclock) ∞ +0 n1 +2 885.68/294.20
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 5167156 ∞ +0 n1 +2 1081.89/292.94 n3 +2 n1 +2 98.61/13.60
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 5167157 ∞ +0 NonPoly +2 3.55/1.65 ∞ +0 n1 +1 1171.71/294.22
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml 5167158 ∞ +0 n1 +2 1147.49/292.79 ∞ +0 n1 +2 828.52/294.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 5167159 ∞ +0 NonPoly +2 3.34/1.54 ∞ +0 1 +0 1091.34/294.20
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml 5167160 ∞ +0 NonPoly +2 3.34/1.60 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml 5167161 1 +2 1 +0 3.22/1.51 1 +2 1 +0 0.98/0.25
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 5167162 n1 +2 n1 +2 12.54/4.14 n1 +2 n1 +2 0.89/0.33
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml 5167163 1 +2 1 +0 3.42/1.57 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 5167164 ∞ +0 n1 +2 1046.53/292.79 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml 5167165 ∞ +0 n1 +2 1074.12/292.72 ∞ +0 1 +0 1019.38/294.27
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml 5167166 ∞ +0 n1 +2 1075.02/293.38 n3 +2 n1 +2 121.42/20.85
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 5167167 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 5167168 1 +2 1 +0 3.19/2.54 1 +2 1 +0 0.31/0.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml 5167169 ∞ +0 NonPoly +2 3.22/1.49 ∞ +0 1 +0 32.34/9.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 5167170 n2 +2 n2 +2 20.51/5.93 n2 +2 1 +0 11.12/2.72
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml 5167171 n2 +1 n1 +2 332.19/291.95 n1 +2 1 +0 3.69/0.94
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5167172 1 +2 1 +0 3.26/1.56 n1 +1 1 +0 2.17/0.57
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml 5167173 1 +2 1 +0 3.13/1.52 n1 +1 1 +0 0.91/0.30
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 5167174 ∞ +0 n1 +2 1150.33/293.45 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 5167175 ∞ +0 NonPoly +2 42.07/11.76 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml 5167176 ∞ +0 NonPoly +2 6.23/2.30 ∞ +0 n1 +1 1113.57/294.24
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 5167177 ∞ +0 n2 +2 1129.26/292.09 ∞ +0 n1 +1 1026.37/294.29
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 5167178 n1 +2 n1 +2 14.47/4.57 n1 +2 1 +0 12.38/6.84
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 5167179 ∞ +0 NonPoly +2 4.20/2.44 ∞ +0 1 +0 923.46/294.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml 5167180 ∞ +0 n2 +2 1123.17/297.63 ∞ +0 n1 +1 1174.03/294.22
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml 5167181 ∞ +0 n1 +2 1094.89/292.83 ∞ +0 n1 +2 1185.47/294.34
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 5167182 ∞ +0 n1 +2 1160.52/292.62 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 5167183 n1 +2 n1 +2 4.95/1.88 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 5167184 ∞ +0 n2 +2 1124.19/291.50 ∞ +0 n1 +1 933.67/294.33
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 5167185 ∞ +0 n1 +2 1147.35/291.58 ∞ +0 n1 +2 1188.34/295.56
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml 5167186 ∞ +0 n1 +2 1155.01/292.68 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 5167187 StarExec error n1 +2 n1 +2 0.78/0.22
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_complete_GM.xml 5167188 StarExec error timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 5167189 timeout (wallclock) ∞ +0 n1 +2 1001.79/294.20
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 5167190 ∞ +0 n1 +2 1179.38/296.78 ∞ +0 n1 +2 836.07/294.15
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml 5167191 ∞ +0 NonPoly +2 4.04/1.67 ∞ +0 1 +0 833.12/294.08
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml 5167192 ∞ +0 n1 +2 1131.04/292.23 ∞ +0 n1 +2 1191.63/295.32
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml 5167193 timeout (wallclock) timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml 5167194 ∞ +0 NonPoly +2 3.30/1.52 ∞ +0 1 +0 34.81/9.71
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml 5167195 ∞ +0 n1 +2 1062.15/291.50 ∞ +0 n1 +2 1164.85/294.26
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 5167196 ∞ +0 n1 +2 1158.90/293.99 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml 5167197 1 +2 1 +0 3.20/1.49 1 +2 1 +0 0.38/0.11
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml 5167198 ∞ +0 n1 +2 1172.64/300.86 ∞ +0 n1 +2 801.71/294.30
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 5167199 ∞ +0 n1 +2 1129.72/297.90 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 5167200 timeout (wallclock) ∞ +0 n1 +2 1067.07/294.21
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml 5167201 ∞ +0 n1 +2 1140.81/292.84 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml 5167202 n1 +2 n1 +2 16.27/10.60 n1 +2 1 +0 2.13/0.55
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml 5167203 ∞ +0 n1 +2 1134.59/291.49 ∞ +0 n1 +2 998.30/294.27
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 5167204 ∞ +0 n1 +2 1135.50/292.90 ∞ +0 n1 +2 1200.19/297.91
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 5167205 ∞ +0 NonPoly +2 15.64/5.03 ∞ +0 n1 +1 821.06/294.17
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 5167206 ∞ +0 n1 +2 1146.62/292.40 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml 5167207 1 +2 1 +0 3.22/1.48 n1 +1 1 +0 5.14/0.48
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 5167208 n1 +2 n1 +2 12.25/4.15 n1 +2 1 +0 2.66/0.68
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 5167209 ∞ +0 n1 +2 1159.31/292.40 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml 5167210 ∞ +0 NonPoly +2 3.23/1.49 ∞ +0 1 +0 48.85/13.29
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml 5167211 ∞ +0 n1 +2 1086.91/292.53 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml 5167212 1 +2 1 +0 3.34/1.56 n1 +1 1 +0 7.69/5.76
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 5167213 ∞ +0 n1 +2 1150.58/293.33 n6 +2 n1 +2 508.40/127.80
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 5167214 ∞ +0 NonPoly +2 3.51/1.58 ∞ +0 1 +0 865.00/294.14
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml 5167215 ∞ +0 NonPoly +2 3.32/1.60 ∞ +0 1 +0 1096.03/294.17
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml 5167216 n1 +2 n1 +2 8.83/3.02 n1 +2 n1 +2 0.84/0.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml 5167217 ∞ +0 n1 +2 678.48/291.47 ∞ +0 n1 +2 844.48/294.16
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml 5167218 ∞ +0 n1 +2 1152.58/298.89 n3 +2 n1 +2 84.96/19.27
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml 5167219 ∞ +0 NonPoly +2 4.19/1.80 ∞ +0 n1 +1 1083.65/294.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml 5167220 StarExec error ∞ +0 n1 +2 835.24/294.19
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 5167221 n1 +2 n1 +2 4.21/1.78 n1 +2 n1 +2 3.90/0.92
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 5167222 ∞ +0 n1 +2 1177.72/298.09 ∞ +0 n1 +2 1082.27/294.13
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml 5167223 ∞ +0 n1 +2 1131.21/291.50 ∞ +0 n1 +2 1132.75/294.26
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml 5167224 n1 +2 n1 +2 8.90/2.99 n1 +2 n1 +2 1.71/0.44
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 5167225 ∞ +0 n1 +2 1121.49/291.86 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml 5167226 ∞ +0 NonPoly +2 11.14/3.66 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml 5167227 ∞ +0 n1 +2 1152.59/295.70 ∞ +0 n1 +2 1191.06/295.66
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 5167228 ∞ +0 n1 +2 1158.30/294.55 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml 5167229 1 +2 1 +0 3.23/1.47 1 +2 1 +0 0.37/0.10
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml 5167230 n1 +2 n1 +2 15.47/4.63 n1 +2 1 +0 7.74/1.67
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 5167231 ∞ +0 NonPoly +2 54.99/14.62 ∞ +0 n1 +1 1082.75/294.15
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 5167232 ∞ +0 n1 +2 1151.90/291.72 StarExec error
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 5167233 ∞ +0 NonPoly +2 347.90/88.75 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 5167234 n1 +2 n1 +2 6.84/2.51 n1 +2 n1 +2 1.06/0.28
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 5167235 ∞ +0 n1 +2 1137.33/292.40 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 5167236 n1 +2 n1 +2 13.82/4.19 n1 +2 1 +0 1.26/0.33
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml 5167237 ∞ +0 NonPoly +2 17.86/5.38 ∞ +0 n1 +1 1113.73/294.32
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml 5167238 ∞ +0 n1 +2 1120.60/291.75 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 5167239 ∞ +0 n1 +2 1123.34/293.21 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml 5167240 1 +2 1 +0 3.20/1.48 1 +2 1 +0 0.70/0.19
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-10.xml 5166990 n10 +2 n1 +2 677.27/291.53 n10 +2 n1 +2 24.97/6.06
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-10.xml 5166991 ∞ +0 n1 +2 1160.82/291.73 ∞ +0 n1 +2 1145.83/294.29
Runtime_Complexity_Innermost_Rewriting/TCT_12/recursion-5.xml 5166992 n5 +2 n1 +2 392.36/291.98 n5 +2 n1 +2 10.84/2.48
Runtime_Complexity_Innermost_Rewriting/TCT_12/polycounter-5.xml 5166993 n5 +2 n1 +2 1035.98/291.45 ∞ +0 n1 +2 872.86/248.99
Runtime_Complexity_Innermost_Rewriting/TCT_12/sat.xml 5166994 n2 +2 n1 +2 375.43/292.02 n3 +1 n1 +2 21.48/4.94
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml 5167328 ∞ +0 n1 +2 1118.33/291.48 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/secret3.xml 5167329 ∞ +0 n1 +2 995.57/291.55 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml 5167330 ∞ +0 n1 +2 1149.62/293.97 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml 5167331 n5 +2 n1 +2 1133.17/291.55 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml 5167332 n3 +2 n1 +2 912.56/297.28 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml 5167333 n2 +2 n1 +2 1176.17/297.46 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml 5167334 n3 +2 n1 +2 1154.76/291.51 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml 5167335 ∞ +0 n1 +2 1139.29/293.98 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml 5167336 ∞ +0 n1 +2 1127.02/291.80 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml 5167337 StarExec error timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml 5167338 ∞ +0 n1 +2 1111.02/291.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/division.xml 5166842 n2 +2 n1 +2 1014.77/291.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml 5166843 ∞ +0 n2 +2 1131.22/291.61 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml 5166844 ∞ +0 n2 +2 1115.14/291.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml 5166845 ∞ +0 n1 +2 1129.64/292.78 ∞ +0 n1 +2 1187.34/294.68
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml 5166846 ∞ +0 n2 +2 1025.23/293.20 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/toList.xml 5166847 StarExec error timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/reverse.xml 5166848 ∞ +0 n2 +2 1125.38/291.50 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml 5166849 n2 +2 n1 +2 1142.16/291.74 StarExec error
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/logarithm.xml 5166850 n2 +2 n1 +2 1125.65/291.49 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/double.xml 5166851 ∞ +0 n1 +2 1103.88/292.57 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml 5166852 ∞ +0 n2 +2 1141.97/295.65 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml 5166853 timeout (wallclock) timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/sumList.xml 5166854 ∞ +0 n2 +2 1129.32/291.48 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml 5166855 ∞ +0 n2 +2 1017.18/292.73 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Secret_06_TRS/addList.xml 5166856 ∞ +0 n1 +2 1116.42/292.80 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.27.xml 5167273 n2 +2 n1 +2 317.24/291.43 n2 +2 n1 +2 7.00/1.70
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.22.xml 5167274 n1 +2 n1 +2 15.27/4.72 n1 +2 n1 +2 12.31/1.86
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.36.xml 5167275 n3 +2 n2 +2 1118.36/292.30 n3 +2 n1 +1 34.01/7.86
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.37.xml 5167276 n1 +2 n1 +2 3.27/1.53 n1 +2 n1 +2 2.08/0.54
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30b.xml 5167277 n1 +2 n1 +2 33.56/9.66 ∞ +0 n1 +2 1058.83/294.90
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.33.xml 5167278 ∞ +0 n2 +2 1078.72/292.47 n3 +2 n1 +1 39.27/8.15
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.26.xml 5167279 n2 +2 n1 +2 321.03/291.44 ∞ +0 n1 +2 702.35/185.46
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.23.xml 5167280 n2 +2 n1 +2 407.65/291.47 ∞ +0 n1 +2 775.32/294.04
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.32.xml 5167281 n1 +2 n1 +2 20.13/6.67 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.28.xml 5167282 n1 +2 n1 +2 14.72/4.49 StarExec error
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30a.xml 5167283 StarExec error ∞ +0 n1 +2 666.03/180.54
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30.xml 5167284 n1 +2 n1 +2 30.12/8.59 ∞ +0 n1 +2 969.64/294.31
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.29.xml 5167285 ∞ +0 n1 +2 1116.42/291.67 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.34.xml 5167286 n2 +2 n1 +2 461.76/291.46 n2 +2 n1 +2 10.70/2.63
Runtime_Complexity_Innermost_Rewriting/Strategy_removed_AG01/#4.30c.xml 5167287 n1 +2 n1 +2 42.22/12.02 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/4.12.xml 5166857 n1 +2 n1 +2 3.71/1.60 n1 +2 1 +0 5.49/3.52
Runtime_Complexity_Innermost_Rewriting/SK90/2.45.xml 5166858 n1 +2 n1 +2 16.75/5.01 n1 +2 n1 +2 1.65/0.57
Runtime_Complexity_Innermost_Rewriting/SK90/2.15.xml 5166859 ∞ +0 NonPoly +2 3.15/1.58 ∞ +0 NonPoly +2 1152.11/294.18
Runtime_Complexity_Innermost_Rewriting/SK90/2.40.xml 5166860 n1 +2 n1 +2 13.76/4.93 n1 +2 n1 +2 0.97/0.25
Runtime_Complexity_Innermost_Rewriting/SK90/2.47.xml 5166861 n1 +2 n1 +2 6.49/2.32 n1 +2 n1 +2 0.71/0.17
Runtime_Complexity_Innermost_Rewriting/SK90/2.22.xml 5166862 n2 +2 n1 +2 314.02/291.90 n2 +2 n1 +2 1.57/0.53
Runtime_Complexity_Innermost_Rewriting/SK90/2.27.xml 5166863 ∞ +0 n1 +2 903.51/291.99 ∞ +0 n1 +2 886.61/294.17
Runtime_Complexity_Innermost_Rewriting/SK90/4.57.xml 5166864 1 +2 1 +0 10.82/4.00 1 +2 1 +0 1.54/0.40
Runtime_Complexity_Innermost_Rewriting/SK90/4.60.xml 5166865 ∞ +0 NonPoly +2 3.55/1.55 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/2.31.xml 5166866 n1 +2 n1 +2 3.72/1.65 n1 +2 n1 +2 1.17/0.30
Runtime_Complexity_Innermost_Rewriting/SK90/2.52.xml 5166867 ∞ +0 n1 +2 1118.93/291.51 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/SK90/4.13.xml 5166868 n1 +2 n1 +2 15.00/4.53 n2 +1 1 +0 3.24/0.81
Runtime_Complexity_Innermost_Rewriting/SK90/2.25.xml 5166869 ∞ +0 NonPoly +2 3.33/1.49 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/2.12.xml 5166870 n3 +2 n3 +2 24.98/7.05 n3 +2 n1 +1 53.38/13.93
Runtime_Complexity_Innermost_Rewriting/SK90/4.54.xml 5166871 ∞ +0 NonPoly +2 3.27/1.51 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/2.50.xml 5166872 n1 +2 n1 +2 3.12/1.50 StarExec error
Runtime_Complexity_Innermost_Rewriting/SK90/4.34.xml 5166873 ∞ +0 NonPoly +2 3.70/1.68 ∞ +0 n1 +1 834.04/294.15
Runtime_Complexity_Innermost_Rewriting/SK90/4.47.xml 5166874 1 +2 1 +0 3.36/1.52 1 +2 1 +0 1.25/0.55
Runtime_Complexity_Innermost_Rewriting/SK90/2.09.xml 5166875 n1 +2 n1 +2 3.44/1.57 n1 +2 n1 +2 0.66/0.18
Runtime_Complexity_Innermost_Rewriting/SK90/2.17.xml 5166876 n1 +2 n1 +2 18.46/5.75 n1 +2 n1 +2 0.53/0.15
Runtime_Complexity_Innermost_Rewriting/SK90/4.30.xml 5166877 n1 +2 n1 +2 3.34/1.57 n1 +2 n1 +2 19.05/6.48
Runtime_Complexity_Innermost_Rewriting/SK90/2.39.xml 5166878 n2 +2 n2 +2 11.89/3.72 n2 +2 n1 +1 9.24/2.82
Runtime_Complexity_Innermost_Rewriting/SK90/2.29.xml 5166879 n1 +2 n1 +2 16.08/4.81 n1 +2 n1 +2 2.75/0.61
Runtime_Complexity_Innermost_Rewriting/SK90/4.27.xml 5166880 ∞ +0 n1 +2 980.80/291.47 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/4.61.xml 5166881 ∞ +0 NonPoly +2 3.28/1.48 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/4.29.xml 5166882 n1 +2 n1 +2 3.58/1.55 n1 +2 n1 +2 1.03/0.28
Runtime_Complexity_Innermost_Rewriting/SK90/2.37.xml 5166883 1 +2 1 +0 3.29/1.58 1 +2 1 +0 0.90/0.24
Runtime_Complexity_Innermost_Rewriting/SK90/2.54.xml 5166884 n1 +2 n1 +2 3.40/1.55 n1 +2 n1 +2 0.80/0.15
Runtime_Complexity_Innermost_Rewriting/SK90/4.16.xml 5166885 n1 +2 n1 +2 3.61/2.12 n1 +2 n1 +2 3.59/1.45
Runtime_Complexity_Innermost_Rewriting/SK90/4.31.xml 5166886 ∞ +0 NonPoly +2 3.32/1.57 ∞ +0 NonPoly +2 1036.45/294.30
Runtime_Complexity_Innermost_Rewriting/SK90/2.13.xml 5166887 n1 +2 n1 +2 16.21/4.80 n1 +2 n1 +2 2.63/0.66
Runtime_Complexity_Innermost_Rewriting/SK90/4.18.xml 5166888 1 +2 1 +0 3.18/1.46 1 +2 1 +0 1.92/1.49
Runtime_Complexity_Innermost_Rewriting/SK90/2.20.xml 5166889 n1 +2 n1 +2 17.16/5.18 n1 +2 n1 +2 2.35/0.60
Runtime_Complexity_Innermost_Rewriting/SK90/4.05.xml 5166890 n2 +2 n1 +2 359.66/291.47 n2 +2 n1 +2 4.18/0.81
Runtime_Complexity_Innermost_Rewriting/SK90/2.44.xml 5166891 n1 +2 n1 +2 14.54/4.38 n1 +2 1 +0 5.25/1.37
Runtime_Complexity_Innermost_Rewriting/SK90/2.43.xml 5166892 ∞ +0 NonPoly +2 3.25/1.47 ∞ +0 n1 +1 1153.01/294.28
Runtime_Complexity_Innermost_Rewriting/SK90/2.48.xml 5166893 1 +2 1 +0 3.36/1.80 n1 +1 1 +0 0.32/0.10
Runtime_Complexity_Innermost_Rewriting/SK90/4.17.xml 5166894 n2 +2 n2 +2 19.06/5.78 n3 +1 n1 +1 32.32/6.19
Runtime_Complexity_Innermost_Rewriting/SK90/2.24.xml 5166895 ∞ +0 NonPoly +2 3.17/1.52 ∞ +0 NonPoly +2 1133.07/294.23
Runtime_Complexity_Innermost_Rewriting/SK90/2.16.xml 5166896 n2 +2 n2 +2 21.06/6.07 n2 +2 n1 +1 3.96/0.94
Runtime_Complexity_Innermost_Rewriting/SK90/2.41.xml 5166897 n1 +2 n1 +2 3.31/2.21 n1 +2 n1 +2 2.02/0.53
Runtime_Complexity_Innermost_Rewriting/SK90/2.51.xml 5166898 ∞ +0 n1 +2 950.50/292.23 ∞ +0 n1 +2 366.55/97.44
Runtime_Complexity_Innermost_Rewriting/SK90/4.24.xml 5166899 ∞ +0 n1 +2 1136.80/291.68 timeout (wallclock)
Runtime_Complexity_Innermost_Rewriting/SK90/2.28.xml 5166900 StarExec error ∞ +0 n1 +2 516.99/140.41
Runtime_Complexity_Innermost_Rewriting/SK90/2.23.xml 5166901 ∞ +0 n3 +2 946.58/292.17 ∞ +0 n1 +1 523.00/141.12
Runtime_Complexity_Innermost_Rewriting/SK90/4.38.xml 5166902 n1 +2 n1 +2 3.46/1.51 n1 +2 n1 +2 2.18/0.47
Runtime_Complexity_Innermost_Rewriting/SK90/4.42.xml 5166903 ∞ +0 n1 +2 1146.60/291.45 ∞ +0 n1 +2 387.13/102.37
Runtime_Complexity_Innermost_Rewriting/SK90/2.53.xml 5166904 n1 +2 n1 +2 3.31/1.52 n1 +2 n1 +2 0.52/0.13
Runtime_Complexity_Innermost_Rewriting/SK90/2.21.xml 5166905 ∞ +0 NonPoly +2 3.43/1.53 ∞ +0 n1 +1 1137.48/294.23
Runtime_Complexity_Innermost_Rewriting/SK90/2.19.xml 5166906 n2 +2 n2 +2 17.09/5.13 n2 +2 n1 +1 3.41/0.85
Runtime_Complexity_Innermost_Rewriting/SK90/2.11.xml 5166907 n1 +2 n1 +2 3.40/1.59 n1 +2 n1 +2 1.14/0.25
Runtime_Complexity_Innermost_Rewriting/SK90/2.26.xml 5166908 ∞ +0 NonPoly +2 3.25/2.38 timeout (cpu)
Runtime_Complexity_Innermost_Rewriting/SK90/2.30.xml 5166909 1 +2 1 +0 3.21/1.48 1 +2 1 +0 0.19/0.09
Runtime_Complexity_Innermost_Rewriting/SK90/2.36.xml 5166910 n1 +2 n1 +2 3.47/1.58 n1 +2 n1 +2 1.61/0.40
Runtime_Complexity_Innermost_Rewriting/SK90/2.18.xml 5166911 n2 +2 n1 +2 315.71/291.44 n2 +2 n1 +2 0.91/0.27
Runtime_Complexity_Innermost_Rewriting/SK90/4.35.xml 5166912 1 +2 1 +0 3.38/1.58 1 +2 1 +0 0.15/0.05
Runtime_Complexity_Innermost_Rewriting/SK90/4.59.xml 5166913 ∞ +0 NonPoly +2 3.45/1.59 ∞ +0 NonPoly +2 957.15/294.34
1839 1024