Termination Competition 2018: Integer TRS Innermost30051

benchmark AProVE Ctrl
Mixed_ITRS_2014/indirect.itrs YES 4.40/1.90 YES 0.11/0.12
Mixed_ITRS_2014/csharp2.itrs YES 4.07/1.82 YES 1.89/1.78
Mixed_ITRS_2014/19.itrs YES 10.13/3.75 YES 0.50/0.48
Mixed_ITRS_2014/03.itrs YES 4.12/1.89 YES 0.13/0.13
Mixed_ITRS_2014/incList.itrs YES 4.40/2.11 YES 0.03/0.03
Mixed_ITRS_2014/10.itrs YES 5.11/2.11 YES 0.25/0.24
Mixed_ITRS_2014/06.itrs YES 3.89/1.89 YES 0.03/0.04
Mixed_ITRS_2014/17.itrs YES 9.12/3.48 YES 0.35/0.33
Mixed_ITRS_2014/increase4.itrs YES 3.97/1.81 YES 0.10/0.10
Mixed_ITRS_2014/eratosthenes_small.itrs YES 80.63/26.09 MAYBE 0.47/0.45
Mixed_ITRS_2014/05.itrs YES 4.28/1.87 YES 0.03/0.04
Mixed_ITRS_2014/choice.itrs YES 140.77/44.45 MAYBE 0.29/0.28
Mixed_ITRS_2014/pow.itrs YES 3.89/1.79 YES 0.12/0.12
Mixed_ITRS_2014/A01.itrs YES 4.23/2.57 YES 0.14/0.14
Mixed_ITRS_2014/gcd_minmax.itrs YES 5.08/2.11 YES 0.50/0.48
Mixed_ITRS_2014/random.itrs YES 4.05/1.87 YES 0.14/0.13
Mixed_ITRS_2014/22.itrs YES 5.08/2.10 YES 1.88/1.78
Mixed_ITRS_2014/A12.itrs YES 4.00/1.79 YES 0.17/0.17
Mixed_ITRS_2014/conv.itrs YES 4.26/1.93 YES 0.14/0.15
Mixed_ITRS_2014/11.itrs YES 5.34/2.16 YES 0.15/0.15
Mixed_ITRS_2014/02.itrs YES 3.77/1.77 YES 0.10/0.10
Mixed_ITRS_2014/A03.itrs YES 4.14/1.89 YES 0.16/0.15
Mixed_ITRS_2014/sqrt_new.itrs YES 5.03/2.08 MAYBE 0.29/0.28
Mixed_ITRS_2014/a.09.itrs YES 4.49/1.98 YES 0.15/0.15
Mixed_ITRS_2014/23.itrs YES 6.28/2.56 YES 2.26/2.13
Mixed_ITRS_2014/08.itrs YES 3.82/1.89 YES 0.05/0.05
Mixed_ITRS_2014/a.05.itrs YES 4.02/1.84 YES 0.11/0.11
Mixed_ITRS_2014/A14.itrs YES 70.02/22.91 YES 0.63/0.60
Mixed_ITRS_2014/complete4.itrs YES 5.16/2.56 YES 0.26/0.29
Mixed_ITRS_2014/04.itrs YES 3.79/1.86 YES 0.01/0.01
Mixed_ITRS_2014/poly3.itrs StarExec error MAYBE 0.94/0.93
Mixed_ITRS_2014/powFast.itrs YES 5.07/2.13 StarExec error
Mixed_ITRS_2014/A08.itrs YES 6.41/2.46 YES 2.66/2.53
Mixed_ITRS_2014/csharp3.itrs YES 4.09/1.84 MAYBE 1.30/1.25
Mixed_ITRS_2014/A09.itrs YES 7.69/3.06 MAYBE 0.38/0.36
Mixed_ITRS_2014/c.04.itrs YES 5.71/2.29 YES 0.31/0.30
Mixed_ITRS_2014/A11.itrs YES 4.12/1.80 YES 0.13/0.13
Mixed_ITRS_2014/maxsort.itrs timeout (wallclock) MAYBE 0.46/0.44
Mixed_ITRS_2014/a.06.itrs YES 4.43/1.86 YES 0.13/0.13
Mixed_ITRS_2014/randomFullUpDown.itrs YES 48.83/17.75 MAYBE 0.31/0.30
Mixed_ITRS_2014/terminate.itrs YES 4.88/2.01 MAYBE 0.19/0.18
Mixed_ITRS_2014/18.itrs YES 7.71/2.86 YES 0.38/0.41
Mixed_ITRS_2014/A13.itrs YES 4.66/1.98 YES 0.49/0.47
Mixed_ITRS_2014/increase2.itrs YES 5.55/2.30 YES 0.27/0.26
Mixed_ITRS_2014/A07.itrs YES 5.65/2.29 YES 0.92/0.87
Mixed_ITRS_2014/poly2.itrs timeout (wallclock) MAYBE 0.30/0.29
Mixed_ITRS_2014/a.02.itrs StarExec error YES 0.29/0.27
Mixed_ITRS_2014/15.itrs YES 6.26/2.49 YES 0.22/0.22
Mixed_ITRS_2014/practical1.itrs YES 5.59/2.23 YES 1.35/1.28
Mixed_ITRS_2014/a.04.itrs YES 4.09/2.90 YES 0.10/0.10
Mixed_ITRS_2014/01.itrs YES 3.86/1.77 YES 0.09/0.09
Mixed_ITRS_2014/sumto.itrs YES 4.00/1.77 YES 0.13/0.13
Mixed_ITRS_2014/ackTen.itrs StarExec error MAYBE 2.00/1.90
Mixed_ITRS_2014/a.08.itrs YES 4.26/1.87 YES 0.09/0.09
Mixed_ITRS_2014/24.itrs YES 6.49/2.59 YES 0.23/0.22
Mixed_ITRS_2014/A06.itrs YES 6.96/2.64 YES 1.53/1.45
Mixed_ITRS_2014/A10.itrs YES 8.55/3.12 MAYBE 0.38/0.40
Mixed_ITRS_2014/c.05.itrs YES 6.36/3.60 YES 0.39/0.37
Mixed_ITRS_2014/complete3.itrs YES 5.50/2.27 YES 1.39/1.32
Mixed_ITRS_2014/a.01.itrs YES 5.31/2.15 YES 1.46/1.37
Mixed_ITRS_2014/16.itrs YES 8.19/3.07 YES 0.38/0.37
Mixed_ITRS_2014/A16.itrs StarExec error MAYBE 0.06/0.06
Mixed_ITRS_2014/a.03.itrs YES 17.69/6.55 YES 25.31/23.83
Mixed_ITRS_2014/collatz.itrs StarExec error MAYBE 0.69/0.66
Mixed_ITRS_2014/poly4.itrs YES 14.91/5.99 YES 1.09/1.07
Mixed_ITRS_2014/07.itrs YES 3.75/1.78 YES 0.03/0.04
Mixed_ITRS_2014/extra2.itrs YES 3.96/1.87 YES 0.16/0.17
Mixed_ITRS_2014/poly1.itrs StarExec error MAYBE 0.34/0.33
Mixed_ITRS_2014/Ex04.itrs StarExec error MAYBE 0.19/0.18
Mixed_ITRS_2014/sum.itrs YES 4.11/1.89 YES 0.14/0.14
Mixed_ITRS_2014/abstractions.itrs YES 5.10/2.21 YES 0.29/0.28
Mixed_ITRS_2014/quicksort.itrs YES 6.83/2.82 MAYBE 0.36/0.34
Mixed_ITRS_2014/countup.itrs YES 3.92/1.97 YES 0.11/0.11
Mixed_ITRS_2014/A15.itrs StarExec error MAYBE 0.53/0.51
Mixed_ITRS_2014/practical2.itrs StarExec error StarExec error
Mixed_ITRS_2014/21.itrs YES 5.66/2.40 YES 0.16/0.16
Mixed_ITRS_2014/divMinus.itrs YES 4.00/1.93 YES 0.16/0.15
Mixed_ITRS_2014/a.10.itrs YES 17.96/5.56 YES 0.19/0.19
Mixed_ITRS_2014/countUpNo.itrs StarExec error MAYBE 0.06/0.06
Mixed_ITRS_2014/practical3.itrs StarExec error StarExec error
Mixed_ITRS_2014/csharp1.itrs YES 4.14/1.90 YES 2.11/2.08
Mixed_ITRS_2014/A04.itrs YES 4.28/1.87 MAYBE 0.21/0.20
Mixed_ITRS_2014/13.itrs YES 5.17/2.09 YES 0.15/0.15
Mixed_ITRS_2014/a.11.itrs YES 6.19/2.48 YES 7.23/6.79
Mixed_ITRS_2014/countdown.itrs YES 3.67/1.76 YES 0.09/0.09
Mixed_ITRS_2014/complete1.itrs YES 5.96/3.37 YES 0.14/0.14
Mixed_ITRS_2014/sqrt_patrs.itrs YES 4.74/2.02 YES 0.21/0.20
Mixed_ITRS_2014/unsatCond2.itrs YES 4.02/1.88 YES 0.03/0.04
Mixed_ITRS_2014/countUpExp.itrs YES 4.41/2.04 MAYBE 0.20/0.20
Mixed_ITRS_2014/complete2.itrs YES 4.33/1.99 MAYBE 0.12/0.12
Mixed_ITRS_2014/increase3.itrs YES 6.45/2.58 YES 0.46/0.46
Mixed_ITRS_2014/extra1.itrs YES 3.93/1.82 YES 0.10/0.11
Mixed_ITRS_2014/a.07.itrs YES 4.96/2.08 YES 0.12/0.12
Mixed_ITRS_2014/random_no_wrap.itrs YES 3.88/1.85 YES 0.12/0.12
Mixed_ITRS_2014/A05.itrs YES 4.50/2.02 MAYBE 0.22/0.21
Mixed_ITRS_2014/20.itrs YES 5.02/2.15 YES 0.12/0.11
Mixed_ITRS_2014/A17.itrs StarExec error MAYBE 0.38/0.36
Mixed_ITRS_2014/minsort.itrs YES 6.93/2.79 MAYBE 0.09/0.10
Mixed_ITRS_2014/Ex09.itrs YES 7.87/3.24 MAYBE 0.19/0.19
Mixed_ITRS_2014/sumto_no_if.itrs YES 4.27/2.00 YES 0.11/0.11
Mixed_ITRS_2014/c.01.itrs YES 5.82/2.32 YES 2.03/1.93
Mixed_ITRS_2014/log_RTA09.itrs YES 4.11/2.07 YES 0.30/0.29
Mixed_ITRS_2014/09.itrs YES 4.45/1.94 YES 0.12/0.11
Mixed_ITRS_2014/div.itrs YES 4.07/1.84 YES 0.12/0.11
Mixed_ITRS_2014/random_full.itrs YES 41.10/16.01 YES 0.26/0.26
Mixed_ITRS_2014/thousand.itrs YES 3.82/1.81 YES 0.11/0.11
Mixed_ITRS_2014/eratosthenes.itrs YES 91.72/27.49 MAYBE 0.92/0.87
Mixed_ITRS_2014/mult.itrs YES 6.11/2.37 YES 0.10/0.10
Mixed_ITRS_2014/c.03.itrs YES 6.24/2.43 YES 0.48/0.46
Mixed_ITRS_2014/round.itrs YES 4.89/2.04 MAYBE 0.15/0.15
Mixed_ITRS_2014/unsatCond1.itrs YES 3.64/1.71 YES 0.01/0.01
Mixed_ITRS_2014/random_full_no_wrap.itrs YES 41.47/16.34 YES 0.24/0.23
Mixed_ITRS_2014/c.02.itrs YES 5.80/2.36 YES 2.32/2.21
Mixed_ITRS_2014/log_RTA08.itrs YES 4.88/4.42 YES 0.21/0.20
Mixed_ITRS_2014/increase1.itrs YES 4.31/1.96 YES 0.11/0.11
Mixed_ITRS_2014/A02.itrs YES 3.97/1.88 YES 0.14/0.14
Mixed_ITRS_2014/f91.itrs StarExec error MAYBE 0.26/0.25
102 85