Termination Competition 2018: Integer TRS Innermost30051

Job info CSV
benchmark AProVE standard Ctrl Itrs
Integer_TRS_Innermost/Mixed_ITRS_2014/indirect.itrs 5157652 YES 4.40/1.90 YES 0.11/0.12
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp2.itrs 5157653 YES 4.07/1.82 YES 1.89/1.78
Integer_TRS_Innermost/Mixed_ITRS_2014/19.itrs 5157654 YES 10.13/3.75 YES 0.50/0.48
Integer_TRS_Innermost/Mixed_ITRS_2014/03.itrs 5157655 YES 4.12/1.89 YES 0.13/0.13
Integer_TRS_Innermost/Mixed_ITRS_2014/incList.itrs 5157656 YES 4.40/2.11 YES 0.03/0.03
Integer_TRS_Innermost/Mixed_ITRS_2014/10.itrs 5157657 YES 5.11/2.11 YES 0.25/0.24
Integer_TRS_Innermost/Mixed_ITRS_2014/06.itrs 5157658 YES 3.89/1.89 YES 0.03/0.04
Integer_TRS_Innermost/Mixed_ITRS_2014/17.itrs 5157659 YES 9.12/3.48 YES 0.35/0.33
Integer_TRS_Innermost/Mixed_ITRS_2014/increase4.itrs 5157660 YES 3.97/1.81 YES 0.10/0.10
Integer_TRS_Innermost/Mixed_ITRS_2014/eratosthenes_small.itrs 5157661 YES 80.63/26.09 MAYBE 0.47/0.45
Integer_TRS_Innermost/Mixed_ITRS_2014/05.itrs 5157662 YES 4.28/1.87 YES 0.03/0.04
Integer_TRS_Innermost/Mixed_ITRS_2014/choice.itrs 5157663 YES 140.77/44.45 MAYBE 0.29/0.28
Integer_TRS_Innermost/Mixed_ITRS_2014/pow.itrs 5157664 YES 3.89/1.79 YES 0.12/0.12
Integer_TRS_Innermost/Mixed_ITRS_2014/A01.itrs 5157665 YES 4.23/2.57 YES 0.14/0.14
Integer_TRS_Innermost/Mixed_ITRS_2014/gcd_minmax.itrs 5157666 YES 5.08/2.11 YES 0.50/0.48
Integer_TRS_Innermost/Mixed_ITRS_2014/random.itrs 5157667 YES 4.05/1.87 YES 0.14/0.13
Integer_TRS_Innermost/Mixed_ITRS_2014/22.itrs 5157668 YES 5.08/2.10 YES 1.88/1.78
Integer_TRS_Innermost/Mixed_ITRS_2014/A12.itrs 5157669 YES 4.00/1.79 YES 0.17/0.17
Integer_TRS_Innermost/Mixed_ITRS_2014/conv.itrs 5157670 YES 4.26/1.93 YES 0.14/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/11.itrs 5157671 YES 5.34/2.16 YES 0.15/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/02.itrs 5157672 YES 3.77/1.77 YES 0.10/0.10
Integer_TRS_Innermost/Mixed_ITRS_2014/A03.itrs 5157673 YES 4.14/1.89 YES 0.16/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/sqrt_new.itrs 5157674 YES 5.03/2.08 MAYBE 0.29/0.28
Integer_TRS_Innermost/Mixed_ITRS_2014/a.09.itrs 5157675 YES 4.49/1.98 YES 0.15/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/23.itrs 5157676 YES 6.28/2.56 YES 2.26/2.13
Integer_TRS_Innermost/Mixed_ITRS_2014/08.itrs 5157677 YES 3.82/1.89 YES 0.05/0.05
Integer_TRS_Innermost/Mixed_ITRS_2014/a.05.itrs 5157678 YES 4.02/1.84 YES 0.11/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/A14.itrs 5157679 YES 70.02/22.91 YES 0.63/0.60
Integer_TRS_Innermost/Mixed_ITRS_2014/complete4.itrs 5157680 YES 5.16/2.56 YES 0.26/0.29
Integer_TRS_Innermost/Mixed_ITRS_2014/04.itrs 5157681 YES 3.79/1.86 YES 0.01/0.01
Integer_TRS_Innermost/Mixed_ITRS_2014/poly3.itrs 5157682 run script error [out] MAYBE 0.94/0.93
Integer_TRS_Innermost/Mixed_ITRS_2014/powFast.itrs 5157683 YES 5.07/2.13 run script error [out]
Integer_TRS_Innermost/Mixed_ITRS_2014/A08.itrs 5157684 YES 6.41/2.46 YES 2.66/2.53
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp3.itrs 5157685 YES 4.09/1.84 MAYBE 1.30/1.25
Integer_TRS_Innermost/Mixed_ITRS_2014/A09.itrs 5157686 YES 7.69/3.06 MAYBE 0.38/0.36
Integer_TRS_Innermost/Mixed_ITRS_2014/c.04.itrs 5157687 YES 5.71/2.29 YES 0.31/0.30
Integer_TRS_Innermost/Mixed_ITRS_2014/A11.itrs 5157688 YES 4.12/1.80 YES 0.13/0.13
Integer_TRS_Innermost/Mixed_ITRS_2014/maxsort.itrs 5157689 timeout (wallclock) [out] MAYBE 0.46/0.44
Integer_TRS_Innermost/Mixed_ITRS_2014/a.06.itrs 5157690 YES 4.43/1.86 YES 0.13/0.13
Integer_TRS_Innermost/Mixed_ITRS_2014/randomFullUpDown.itrs 5157691 YES 48.83/17.75 MAYBE 0.31/0.30
Integer_TRS_Innermost/Mixed_ITRS_2014/terminate.itrs 5157692 YES 4.88/2.01 MAYBE 0.19/0.18
Integer_TRS_Innermost/Mixed_ITRS_2014/18.itrs 5157693 YES 7.71/2.86 YES 0.38/0.41
Integer_TRS_Innermost/Mixed_ITRS_2014/A13.itrs 5157694 YES 4.66/1.98 YES 0.49/0.47
Integer_TRS_Innermost/Mixed_ITRS_2014/increase2.itrs 5157695 YES 5.55/2.30 YES 0.27/0.26
Integer_TRS_Innermost/Mixed_ITRS_2014/A07.itrs 5157696 YES 5.65/2.29 YES 0.92/0.87
Integer_TRS_Innermost/Mixed_ITRS_2014/poly2.itrs 5157697 timeout (wallclock) [out] MAYBE 0.30/0.29
Integer_TRS_Innermost/Mixed_ITRS_2014/a.02.itrs 5157698 run script error [out] YES 0.29/0.27
Integer_TRS_Innermost/Mixed_ITRS_2014/15.itrs 5157699 YES 6.26/2.49 YES 0.22/0.22
Integer_TRS_Innermost/Mixed_ITRS_2014/practical1.itrs 5157700 YES 5.59/2.23 YES 1.35/1.28
Integer_TRS_Innermost/Mixed_ITRS_2014/a.04.itrs 5157701 YES 4.09/2.90 YES 0.10/0.10
Integer_TRS_Innermost/Mixed_ITRS_2014/01.itrs 5157702 YES 3.86/1.77 YES 0.09/0.09
Integer_TRS_Innermost/Mixed_ITRS_2014/sumto.itrs 5157703 YES 4.00/1.77 YES 0.13/0.13
Integer_TRS_Innermost/Mixed_ITRS_2014/ackTen.itrs 5157704 run script error [out] MAYBE 2.00/1.90
Integer_TRS_Innermost/Mixed_ITRS_2014/a.08.itrs 5157705 YES 4.26/1.87 YES 0.09/0.09
Integer_TRS_Innermost/Mixed_ITRS_2014/24.itrs 5157706 YES 6.49/2.59 YES 0.23/0.22
Integer_TRS_Innermost/Mixed_ITRS_2014/A06.itrs 5157707 YES 6.96/2.64 YES 1.53/1.45
Integer_TRS_Innermost/Mixed_ITRS_2014/A10.itrs 5157708 YES 8.55/3.12 MAYBE 0.38/0.40
Integer_TRS_Innermost/Mixed_ITRS_2014/c.05.itrs 5157709 YES 6.36/3.60 YES 0.39/0.37
Integer_TRS_Innermost/Mixed_ITRS_2014/complete3.itrs 5157710 YES 5.50/2.27 YES 1.39/1.32
Integer_TRS_Innermost/Mixed_ITRS_2014/a.01.itrs 5157711 YES 5.31/2.15 YES 1.46/1.37
Integer_TRS_Innermost/Mixed_ITRS_2014/16.itrs 5157712 YES 8.19/3.07 YES 0.38/0.37
Integer_TRS_Innermost/Mixed_ITRS_2014/A16.itrs 5157713 run script error [out] MAYBE 0.06/0.06
Integer_TRS_Innermost/Mixed_ITRS_2014/a.03.itrs 5157714 YES 17.69/6.55 YES 25.31/23.83
Integer_TRS_Innermost/Mixed_ITRS_2014/collatz.itrs 5157715 run script error [out] MAYBE 0.69/0.66
Integer_TRS_Innermost/Mixed_ITRS_2014/poly4.itrs 5157716 YES 14.91/5.99 YES 1.09/1.07
Integer_TRS_Innermost/Mixed_ITRS_2014/07.itrs 5157717 YES 3.75/1.78 YES 0.03/0.04
Integer_TRS_Innermost/Mixed_ITRS_2014/extra2.itrs 5157718 YES 3.96/1.87 YES 0.16/0.17
Integer_TRS_Innermost/Mixed_ITRS_2014/poly1.itrs 5157719 run script error [out] MAYBE 0.34/0.33
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex04.itrs 5157720 run script error [out] MAYBE 0.19/0.18
Integer_TRS_Innermost/Mixed_ITRS_2014/sum.itrs 5157721 YES 4.11/1.89 YES 0.14/0.14
Integer_TRS_Innermost/Mixed_ITRS_2014/abstractions.itrs 5157722 YES 5.10/2.21 YES 0.29/0.28
Integer_TRS_Innermost/Mixed_ITRS_2014/quicksort.itrs 5157723 YES 6.83/2.82 MAYBE 0.36/0.34
Integer_TRS_Innermost/Mixed_ITRS_2014/countup.itrs 5157724 YES 3.92/1.97 YES 0.11/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/A15.itrs 5157725 run script error [out] MAYBE 0.53/0.51
Integer_TRS_Innermost/Mixed_ITRS_2014/practical2.itrs 5157726 run script error [out] run script error [out]
Integer_TRS_Innermost/Mixed_ITRS_2014/21.itrs 5157727 YES 5.66/2.40 YES 0.16/0.16
Integer_TRS_Innermost/Mixed_ITRS_2014/divMinus.itrs 5157728 YES 4.00/1.93 YES 0.16/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/a.10.itrs 5157729 YES 17.96/5.56 YES 0.19/0.19
Integer_TRS_Innermost/Mixed_ITRS_2014/countUpNo.itrs 5157730 run script error [out] MAYBE 0.06/0.06
Integer_TRS_Innermost/Mixed_ITRS_2014/practical3.itrs 5157731 run script error [out] run script error [out]
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp1.itrs 5157732 YES 4.14/1.90 YES 2.11/2.08
Integer_TRS_Innermost/Mixed_ITRS_2014/A04.itrs 5157733 YES 4.28/1.87 MAYBE 0.21/0.20
Integer_TRS_Innermost/Mixed_ITRS_2014/13.itrs 5157734 YES 5.17/2.09 YES 0.15/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/a.11.itrs 5157735 YES 6.19/2.48 YES 7.23/6.79
Integer_TRS_Innermost/Mixed_ITRS_2014/countdown.itrs 5157736 YES 3.67/1.76 YES 0.09/0.09
Integer_TRS_Innermost/Mixed_ITRS_2014/complete1.itrs 5157737 YES 5.96/3.37 YES 0.14/0.14
Integer_TRS_Innermost/Mixed_ITRS_2014/sqrt_patrs.itrs 5157738 YES 4.74/2.02 YES 0.21/0.20
Integer_TRS_Innermost/Mixed_ITRS_2014/unsatCond2.itrs 5157739 YES 4.02/1.88 YES 0.03/0.04
Integer_TRS_Innermost/Mixed_ITRS_2014/countUpExp.itrs 5157740 YES 4.41/2.04 MAYBE 0.20/0.20
Integer_TRS_Innermost/Mixed_ITRS_2014/complete2.itrs 5157741 YES 4.33/1.99 MAYBE 0.12/0.12
Integer_TRS_Innermost/Mixed_ITRS_2014/increase3.itrs 5157742 YES 6.45/2.58 YES 0.46/0.46
Integer_TRS_Innermost/Mixed_ITRS_2014/extra1.itrs 5157743 YES 3.93/1.82 YES 0.10/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/a.07.itrs 5157744 YES 4.96/2.08 YES 0.12/0.12
Integer_TRS_Innermost/Mixed_ITRS_2014/random_no_wrap.itrs 5157745 YES 3.88/1.85 YES 0.12/0.12
Integer_TRS_Innermost/Mixed_ITRS_2014/A05.itrs 5157746 YES 4.50/2.02 MAYBE 0.22/0.21
Integer_TRS_Innermost/Mixed_ITRS_2014/20.itrs 5157747 YES 5.02/2.15 YES 0.12/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/A17.itrs 5157748 run script error [out] MAYBE 0.38/0.36
Integer_TRS_Innermost/Mixed_ITRS_2014/minsort.itrs 5157749 YES 6.93/2.79 MAYBE 0.09/0.10
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex09.itrs 5157750 YES 7.87/3.24 MAYBE 0.19/0.19
Integer_TRS_Innermost/Mixed_ITRS_2014/sumto_no_if.itrs 5157751 YES 4.27/2.00 YES 0.11/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/c.01.itrs 5157752 YES 5.82/2.32 YES 2.03/1.93
Integer_TRS_Innermost/Mixed_ITRS_2014/log_RTA09.itrs 5157753 YES 4.11/2.07 YES 0.30/0.29
Integer_TRS_Innermost/Mixed_ITRS_2014/09.itrs 5157754 YES 4.45/1.94 YES 0.12/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/div.itrs 5157755 YES 4.07/1.84 YES 0.12/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/random_full.itrs 5157756 YES 41.10/16.01 YES 0.26/0.26
Integer_TRS_Innermost/Mixed_ITRS_2014/thousand.itrs 5157757 YES 3.82/1.81 YES 0.11/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/eratosthenes.itrs 5157758 YES 91.72/27.49 MAYBE 0.92/0.87
Integer_TRS_Innermost/Mixed_ITRS_2014/mult.itrs 5157759 YES 6.11/2.37 YES 0.10/0.10
Integer_TRS_Innermost/Mixed_ITRS_2014/c.03.itrs 5157760 YES 6.24/2.43 YES 0.48/0.46
Integer_TRS_Innermost/Mixed_ITRS_2014/round.itrs 5157761 YES 4.89/2.04 MAYBE 0.15/0.15
Integer_TRS_Innermost/Mixed_ITRS_2014/unsatCond1.itrs 5157762 YES 3.64/1.71 YES 0.01/0.01
Integer_TRS_Innermost/Mixed_ITRS_2014/random_full_no_wrap.itrs 5157763 YES 41.47/16.34 YES 0.24/0.23
Integer_TRS_Innermost/Mixed_ITRS_2014/c.02.itrs 5157764 YES 5.80/2.36 YES 2.32/2.21
Integer_TRS_Innermost/Mixed_ITRS_2014/log_RTA08.itrs 5157765 YES 4.88/4.42 YES 0.21/0.20
Integer_TRS_Innermost/Mixed_ITRS_2014/increase1.itrs 5157766 YES 4.31/1.96 YES 0.11/0.11
Integer_TRS_Innermost/Mixed_ITRS_2014/A02.itrs 5157767 YES 3.97/1.88 YES 0.14/0.14
Integer_TRS_Innermost/Mixed_ITRS_2014/f91.itrs 5157768 run script error [out] MAYBE 0.26/0.25
102 85