Termination Competition 2020: C Integer41217

Job info CSV
benchmark UltimateAutomizer2019 default irankfinder competition AProVE c
Ton_Chanh_15/2Nested_false-termination.c 11768808 NO 12.96/6.32 NO 2.80/2.81 NO 24.33/7.03
Ton_Chanh_15/Bangalore_false-termination.c 11768812 NO 12.07/5.39 NO 2.32/2.33 NO 8.04/2.82
Ton_Chanh_15/Bangalore_v2_false-termination.c 11768825 NO 11.63/5.47 NO 2.32/2.32 NO 10.46/3.36
Ton_Chanh_15/Bangalore_v3_false-termination.c 11768810 NO 10.90/5.53 NO 2.34/2.34 NO 9.28/3.08
Ton_Chanh_15/Bangalore_v4_true-termination.c 11768820 YES 15.93/6.78 MAYBE 20.58/20.79 YES 5.73/2.16
Ton_Chanh_15/Benghazi_nondet_true-termination.c 11768818 YES 17.66/9.94 YES 6.42/6.41 YES 12.28/3.88
Ton_Chanh_15/Cairo_nondet_false-termination.c 11768807 NO 12.02/6.07 NO 2.71/2.71 NO 9.87/3.18
Ton_Chanh_15/Cairo_step2_false-termination.c 11768822 NO 13.44/6.37 NO 13.55/13.61 NO 10.04/3.29
Ton_Chanh_15/Copenhagen_disj_true-termination.c 11768814 YES 27.83/17.26 MAYBE 146.71/146.17 YES 21.97/6.35
Ton_Chanh_15/Gothenburg_v2_true-termination.c 11768819 YES 18.05/9.40 MAYBE 230.16/230.60 timeout (wallclock) [out]
Ton_Chanh_15/Hanoi_2vars_false-termination.c 11768821 NO 13.10/6.27 NO 2.58/2.58 NO 22.99/6.58
Ton_Chanh_15/Hanoi_3vars_false-termination.c 11768816 NO 13.39/6.32 NO 3.57/3.57 NO 33.57/9.32
Ton_Chanh_15/Hanoi_plus_false-termination.c 11768811 MAYBE 78.53/58.63 NO 3.63/3.64 NO 58.67/15.68
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 11768823 YES 25.57/11.93 YES 98.61/98.61 YES 6.53/2.42
Ton_Chanh_15/Mysore_false-termination.c 11768813 NO 12.22/6.97 NO 2.93/2.94 NO 9.92/3.30
Ton_Chanh_15/Singapore_plus_false-termination.c 11768817 NO 13.10/6.37 NO 3.10/3.12 NO 17.52/5.49
Ton_Chanh_15/Singapore_true-termination.c 11768824 YES 15.81/6.64 MAYBE 29.77/29.92 memout [out]
Ton_Chanh_15/Singapore_v1_false-termination.c 11768809 NO 13.38/6.38 NO 3.18/3.19 timeout (wallclock) [out]
Ton_Chanh_15/Singapore_v2_false-termination.c 11768815 NO 13.17/6.19 NO 3.20/3.20 memout [out]
Stroeder_15/2Nested_true-termination.c 11769048 YES 15.02/8.17 YES 3.57/3.57 YES 7.63/2.67
Stroeder_15/4NestedWith3Variables_true-termination.c 11768892 YES 26.27/18.76 MAYBE 48.36/48.50 YES 10.60/3.41
Stroeder_15/aaron2_true-termination.c 11768858 YES 14.08/6.71 YES 38.43/38.45 YES 5.36/2.13
Stroeder_15/aaron3_true-termination.c 11769127 YES 19.15/10.30 MAYBE 298.92/299.00 YES 16.08/4.84
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 11769003 YES 16.88/7.69 YES 168.28/168.48 YES 10.91/3.78
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 11768837 YES 21.09/10.29 MAYBE 298.9/299.00 YES 30.24/13.78
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 11769021 YES 17.43/7.71 MAYBE 298.88/299.00 YES 9.89/3.24
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 11769060 YES 13.60/6.48 YES 10.46/10.46 YES 6.51/2.40
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 11769070 YES 26.00/18.79 YES 4.77/4.77 YES 5.71/2.16
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 11768914 YES 19.73/9.43 MAYBE 298.92/299.00 YES 10.02/3.32
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 11768980 YES 16.14/7.60 YES 295.61/295.67 YES 6.88/2.55
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 11768887 timeout (wallclock) [out] MAYBE 298.93/299.00 YES 10.69/3.42
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 11769010 YES 15.97/6.96 YES 76.40/76.49 YES 11.22/3.59
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 11769001 YES 12.42/5.84 YES 2.74/2.74 YES 4.88/1.92
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 11768945 YES 29.99/20.67 YES 275.59/275.69 YES 11.53/3.62
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 11768845 YES 14.18/6.46 YES 26.76/26.77 YES 11.05/2.14
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 11768922 YES 13.60/6.32 MAYBE 298.86/299.00 YES 12.05/3.79
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 11768826 YES 28.82/19.94 YES 90.09/90.09 YES 18.76/8.88
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 11768876 YES 16.81/8.27 YES 37.67/37.71 YES 12.55/3.91
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 11768844 YES 16.92/7.86 YES 66.25/66.33 YES 9.67/3.22
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 11769110 YES 14.82/6.83 YES 13.02/14.01 YES 6.38/2.31
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 11769071 YES 16.02/7.48 MAYBE 40.88/41.79 YES 9.56/3.28
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 11769086 YES 25.20/18.44 YES 4.26/4.27 YES 5.04/1.98
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 11769124 YES 16.82/8.65 YES 17.14/17.15 YES 7.27/2.52
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 11769131 YES 14.53/6.46 YES 11.16/11.32 YES 5.75/2.24
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 11769096 YES 16.11/7.44 YES 13.01/13.01 YES 18.68/5.59
Stroeder_15/AlternDiv.c 11768911 NO 13.94/6.58 NO 6.39/6.39 NO 11.54/3.68
Stroeder_15/AlternDivWide.c 11768862 NO 16.47/7.61 NO 11.11/11.10 NO 16.03/4.84
Stroeder_15/AlternDivWidening.c 11769034 NO 17.28/7.86 MAYBE 219.58/219.74 NO 38.87/10.68
Stroeder_15/AlternKonv.c 11768879 NO 14.41/6.50 NO 14.22/14.22 NO 20.04/5.82
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 11768894 YES 14.57/6.63 YES 7.40/7.42 YES 6.48/2.39
Stroeder_15/Bangalore_true-termination.c 11769084 YES 14.12/6.74 YES 11.69/12.27 YES 10.86/3.45
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 11769104 YES 22.67/13.09 YES 29.32/29.32 YES 19.15/5.70
Stroeder_15/Benghazi_true-termination.c 11769017 YES 17.44/10.10 YES 5.24/5.24 YES 11.40/3.64
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 11769056 NO 10.98/5.42 NO 5.74/5.74 NO 9.60/3.38
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 11768868 YES 24.10/15.28 MAYBE 175.25/175.31 YES 10.57/3.43
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 11769052 YES 28.23/19.24 MAYBE 297.88/299.00 YES 14.95/4.51
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 11769097 YES 16.24/7.37 YES 64.08/64.11 YES 5.64/2.12
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 11768960 YES 17.37/8.43 MAYBE 298.69/299.00 YES 56.05/14.96
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 11769062 YES 13.05/6.43 YES 3.16/3.17 YES 8.77/2.91
Stroeder_15/Cairo_true-termination.c 11769053 YES 14.11/6.44 MAYBE 23.21/24.43 YES 9.86/6.41
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 11769025 MAYBE 32.30/15.44 NO 26.77/26.78 YES 36.00/9.93
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 11769051 YES 17.73/8.97 MAYBE 298.91/299.00 YES 24.98/3.96
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 11769079 YES 23.28/12.95 MAYBE 298.87/299.00 YES 113.86/29.76
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 11768999 YES 15.03/7.07 YES 115.60/115.62 YES 10.28/7.33
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 11769117 YES 12.49/6.35 YES 34.40/35.35 YES 6.06/2.33
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 11769038 YES 13.04/6.08 MAYBE 298.75/299.00 YES 12.49/3.97
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 11768828 NO 12.06/5.37 NO 3.82/3.82 NO 10.48/3.44
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 11769040 MAYBE 20.02/7.96 MAYBE 19.91/19.99 YES 5.07/1.98
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 11768859 YES 24.17/17.93 YES 7.23/7.24 YES 4.74/1.98
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 11769130 YES 13.72/6.32 YES 5.26/5.27 YES 5.29/2.09
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 11769090 YES 12.80/6.00 YES 5.14/5.14 YES 4.69/1.87
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 11768888 YES 12.86/6.19 YES 5.14/5.14 YES 5.23/2.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 11768967 YES 14.54/8.12 YES 3.60/3.63 YES 7.82/2.76
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 11768954 NO 13.03/6.26 NO 2.58/2.58 NO 29.85/13.42
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 11769087 NO 11.46/5.52 NO 2.63/2.63 NO 9.30/3.48
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 11769094 NO 11.04/6.14 NO 2.66/2.66 NO 9.89/3.19
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 11768906 MAYBE 75.12/58.03 MAYBE 34.77/34.99 timeout (wallclock) [out]
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 11769049 YES 14.98/8.04 YES 3.75/3.75 YES 7.03/2.53
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 11768842 YES 14.25/14.51 YES 3.88/3.87 YES 8.19/2.77
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 11769108 YES 15.50/8.18 YES 5.06/5.07 YES 7.57/2.62
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 11768878 YES 12.12/5.92 YES 3.59/3.60 YES 5.21/2.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 11768972 timeout (wallclock) [out] NO 3.69/3.69 timeout (wallclock) [out]
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 11768867 NO 11.78/5.46 NO 2.78/2.78 NO 10.47/3.38
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 11768977 YES 15.16/8.21 YES 3.90/4.03 YES 4.86/1.93
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 11768998 NO 11.52/5.42 NO 2.78/2.80 NO 11.68/3.65
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 11768877 NO 10.88/5.49 NO 2.23/2.23 NO 10.32/3.31
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 11769118 YES 13.24/6.09 YES 3.22/3.21 YES 6.83/2.58
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 11769065 NO 13.05/6.15 NO 2.69/2.69 NO 12.85/4.00
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 11769037 YES 13.06/6.02 YES 4.30/4.35 YES 6.33/2.42
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 11768939 YES 15.33/8.35 YES 3.85/3.87 YES 6.74/2.48
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 11768957 YES 12.03/5.95 YES 5.54/5.54 YES 4.77/2.10
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 11769005 YES 13.18/6.16 YES 3.90/3.91 YES 6.58/2.34
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 11768890 YES 13.63/6.19 YES 7.97/7.97 YES 6.20/2.37
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 11768907 YES 15.81/8.42 YES 3.60/3.60 YES 4.73/1.85
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 11768933 NO 11.60/5.60 NO 3.05/3.04 NO 9.90/3.29
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 11768973 YES 14.38/7.11 YES 26.62/26.72 YES 11.27/3.57
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 11768931 YES 25.42/18.28 YES 5.02/5.02 YES 6.93/2.46
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 11769044 YES 15.15/8.20 YES 4.61/4.65 YES 7.51/2.71
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 11768834 NO 12.73/6.46 NO 3.84/3.84 memout [out]
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 11769134 YES 17.83/10.52 YES 4.78/4.78 YES 6.29/3.16
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 11768920 YES 14.45/7.62 ERROR 0.66/0.67 YES 5.03/1.96
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 11769016 YES 15.81/8.54 YES 9.40/9.41 YES 4.85/1.94
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 11768952 YES 17.28/10.42 YES 6.33/6.39 YES 5.13/2.00
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 11768963 YES 24.94/18.04 ERROR 0.66/0.67 YES 14.28/2.80
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 11769126 YES 17.73/10.53 YES 4.80/4.80 YES 6.60/2.38
Stroeder_15/Choose.c 11769006 NO 15.97/7.60 MAYBE 53.05/53.18 NO 13.43/8.77
Stroeder_15/ChooseLife.c 11769026 MAYBE 52.35/38.91 MAYBE 49.14/51.02 NO 11.05/3.53
Stroeder_15/collatz.c 11768938 timeout (wallclock) [out] MAYBE 298.84/299.00 memout [out]
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 11768833 YES 26.02/18.38 YES 4.30/4.30 YES 5.30/2.10
Stroeder_15/ComplInterv.c 11769068 MAYBE 21.51/8.32 NO 3.08/3.08 MAYBE 33.77/18.86
Stroeder_15/ComplInterv2.c 11768838 NO 11.70/5.76 NO 9.26/9.51 NO 9.47/3.11
Stroeder_15/ComplInterv3.c 11768895 NO 12.47/6.06 NO 6.55/6.55 NO 10.34/3.42
Stroeder_15/ComplxStruc.c 11768992 NO 23.77/10.94 MAYBE 298.96/299.00 MAYBE 16.41/8.21
Stroeder_15/ConvLower.c 11769054 NO 12.17/5.95 NO 3.67/3.68 NO 10.79/3.62
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 11768831 YES 15.86/8.16 YES 69.26/69.30 YES 6.63/2.60
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 11768969 YES 17.65/8.28 YES 131.33/131.35 YES 7.19/2.82
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 11769081 YES 17.48/13.91 MAYBE 298.85/299.00 YES 9.68/4.15
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 11769132 YES 15.12/7.67 YES 17.73/17.73 YES 10.78/3.58
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 11769085 YES 16.14/7.40 YES 16.13/16.22 YES 21.51/12.54
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 11768975 YES 16.22/7.56 MAYBE 87.74/87.82 YES 17.88/5.24
Stroeder_15/Copenhagen_true-termination.c 11769075 YES 12.58/6.34 YES 3.51/3.51 YES 4.91/1.92
Stroeder_15/Cousot.c 11769116 NO 13.30/6.23 NO 4.67/4.67 NO 9.56/3.10
Stroeder_15/DivMinus.c 11768896 YES 13.12/6.24 YES 3.59/3.59 YES 4.83/1.92
Stroeder_15/DivMinus2.c 11768882 YES 15.87/7.21 YES 80.51/80.53 YES 11.46/3.96
Stroeder_15/DivWithoutMinus.c 11769046 NO 16.74/8.11 ERROR 0.66/0.67 NO 44.35/12.09
Stroeder_15/DoubleNeg.c 11768986 MAYBE 20.82/8.48 NO 12.92/12.95 memout [out]
Stroeder_15/easy1_true-termination.c 11768979 YES 12.93/6.05 YES 7.88/7.87 YES 8.85/2.95
Stroeder_15/easy2_true-termination.c 11768875 YES 13.33/6.43 YES 3.45/3.45 YES 4.74/2.18
Stroeder_15/Et1.c 11768869 YES 15.27/8.11 YES 4.27/4.27 YES 6.35/2.31
Stroeder_15/Et2.c 11768943 NO 11.58/5.47 MAYBE 44.57/44.74 NO 16.77/6.25
Stroeder_15/Et4.c 11769101 NO 10.90/5.50 NO 31.70/31.72 NO 17.07/5.32
Stroeder_15/Even.c 11769106 NO 12.54/7.45 ERROR 0.66/0.65 NO 9.57/3.17
Stroeder_15/Ex01.c 11768864 NO 12.57/6.05 NO 1.86/1.86 NO 8.13/3.38
Stroeder_15/Ex02.c 11768941 NO 13.02/5.99 NO 3.49/3.49 NO 10.20/3.27
Stroeder_15/Ex03.c 11768942 NO 12.25/6.23 NO 3.15/3.15 NO 8.85/2.95
Stroeder_15/Ex04.c 11769095 NO 12.75/5.94 NO 1.40/1.40 NO 7.38/2.60
Stroeder_15/Ex05.c 11769103 NO 10.75/5.35 NO 1.27/1.26 NO 5.63/2.28
Stroeder_15/Ex06.c 11769020 NO 13.24/6.10 NO 4.18/4.20 NO 10.04/3.24
Stroeder_15/Ex07.c 11769013 NO 14.15/6.50 NO 2.98/2.98 NO 9.81/3.31
Stroeder_15/Ex08.c 11768924 NO 236.71/194.39 MAYBE 298.91/299.00 NO 61.50/16.49
Stroeder_15/Factorial.c 11769093 MAYBE 22.64/8.81 NO 18.59/20.11 timeout (wallclock) [out]
Stroeder_15/Fibonacci.c 11769015 MAYBE 27.76/15.85 MAYBE 34.61/36.52 NO 10.87/3.45
Stroeder_15/Flip.c 11769019 NO 16.51/7.51 NO 3.50/3.50 NO 9.90/3.30
Stroeder_15/Flip2.c 11769121 NO 18.02/9.23 NO 72.55/72.57 NO 22.07/13.22
Stroeder_15/Gauss.c 11769102 NO 12.81/5.96 NO 2.75/2.74 NO 10.83/3.44
Stroeder_15/GCD.c 11768909 NO 15.15/6.99 NO 12.98/12.98 NO 10.70/3.49
Stroeder_15/gcd1_true-termination.c 11768949 YES 17.38/8.35 MAYBE 122.83/122.97 YES 12.97/4.02
Stroeder_15/GCD2.c 11768921 NO 11.27/5.83 NO 8.04/8.04 NO 12.04/3.95
Stroeder_15/GCD3.c 11768965 YES 24.21/15.57 ERROR 0.87/0.95 YES 23.59/6.72
Stroeder_15/GCD4.c 11769069 YES 19.62/9.46 YES 50.69/50.74 YES 7.24/2.54
Stroeder_15/genady_true-termination.c 11768857 YES 13.73/6.38 YES 2.73/2.73 YES 4.58/1.87
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 11768870 YES 15.42/7.15 YES 3.72/3.72 YES 6.11/2.35
Stroeder_15/Gothenburg_true-termination.c 11768899 YES 21.13/11.91 MAYBE 298.71/299.00 YES 38.71/10.62
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 11768936 YES 18.89/9.78 YES 17.56/17.59 YES 5.91/2.18
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 11769125 YES 14.75/8.17 YES 8.77/8.77 YES 5.69/2.15
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 11768854 YES 12.77/6.15 YES 3.81/3.81 YES 4.98/1.96
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 11768919 YES 18.10/8.08 MAYBE 298.8/299.00 memout [out]
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 11768990 YES 13.66/6.49 YES 3.13/3.13 YES 6.07/2.41
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 11769109 YES 12.90/6.02 YES 2.54/2.54 YES 8.03/2.89
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 11769022 YES 12.36/5.76 YES 5.27/5.28 YES 4.64/2.05
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 11769141 MAYBE 18.77/7.99 MAYBE 28.35/28.66 YES 11.31/3.67
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 11768851 MAYBE 20.63/8.45 MAYBE 34.98/35.52 YES 21.83/8.05
Stroeder_15/IntPath.c 11768881 YES 11.91/5.66 YES 9.50/10.31 YES 6.34/2.47
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 11768950 YES 12.74/6.01 YES 20.16/20.17 YES 5.18/2.81
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 11769099 YES 24.29/13.40 YES 35.02/35.05 YES 15.18/4.58
Stroeder_15/Lcm.c 11768835 NO 11.96/5.61 ERROR 0.66/0.66 NO 10.39/3.43
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 11769083 YES 12.87/6.71 YES 10.00/10.00 YES 6.00/2.21
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 11768850 YES 13.01/6.02 YES 3.94/3.94 YES 6.88/2.54
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 11769023 YES 16.05/7.19 YES 11.79/11.79 YES 8.03/2.83
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 11768929 YES 14.84/6.73 YES 15.29/15.39 YES 9.17/3.08
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 11769136 YES 14.70/8.74 YES 3.58/3.58 YES 7.49/2.64
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 11769036 MAYBE 42.26/26.06 MAYBE 22.93/23.10 NO 15.83/4.81
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 11769120 NO 12.76/6.31 NO 2.66/2.65 NO 9.98/3.30
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 11769012 YES 16.28/7.40 YES 9.21/9.23 YES 6.14/2.23
Stroeder_15/Log.c 11768991 YES 14.69/7.20 YES 12.62/12.62 YES 9.42/3.22
Stroeder_15/LogAG.c 11768849 YES 14.87/7.01 YES 14.34/14.35 YES 5.51/2.11
Stroeder_15/LogMult.c 11769074 MAYBE 31.28/12.25 NO 12.68/12.70 timeout (wallclock) [out]
Stroeder_15/Loop.c 11769105 NO 11.35/5.35 NO 1.51/1.52 NO 7.45/2.82
Stroeder_15/Madrid_false-termination.c 11769088 NO 11.76/5.75 NO 1.02/1.01 NO 6.02/2.21
Stroeder_15/Marbie1.c 11768841 NO 11.96/5.96 NO 1.90/1.90 NO 7.80/2.79
Stroeder_15/Marbie2.c 11768927 NO 12.41/5.99 NO 3.17/1.66 NO 7.14/2.75
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 11769139 YES 14.91/7.56 YES 5.01/5.03 YES 5.34/2.06
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 11768889 YES 17.39/7.95 YES 10.02/10.06 YES 5.60/2.10
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 11769007 MAYBE 21.68/8.90 MAYBE 298.76/299.00 timeout (wallclock) [out]
Stroeder_15/McCarthyIterative.c 11768959 YES 28.83/13.25 YES 97.99/98.01 YES 5.92/2.29
Stroeder_15/MenloPark_true-termination.c 11769030 YES 14.51/6.36 MAYBE 27.65/33.41 MAYBE 34.29/14.00
Stroeder_15/Middle.c 11768985 NO 16.08/7.14 NO 3.18/3.18 NO 9.63/3.16
Stroeder_15/MinusBuiltIn.c 11768956 YES 14.72/7.57 YES 3.22/3.22 YES 4.99/1.94
Stroeder_15/MinusMin.c 11769140 YES 18.01/9.14 YES 5.60/5.60 YES 6.93/2.50
Stroeder_15/MinusUserDefined.c 11769024 YES 16.88/7.94 YES 63.90/63.90 YES 8.79/2.95
Stroeder_15/min_rf_true-termination.c 11769033 YES 29.91/16.47 YES 68.01/68.02 YES 21.52/6.35
Stroeder_15/MirrorInterv.c 11768918 NO 17.40/7.89 NO 32.97/16.50 NO 14.27/4.37
Stroeder_15/MirrorIntervSim.c 11768883 NO 13.86/6.24 NO 8.09/8.08 NO 11.11/3.76
Stroeder_15/Mysore_true-termination.c 11769113 YES 14.63/8.19 YES 4.04/4.04 YES 8.24/4.03
Stroeder_15/Narrowing.c 11768964 NO 49.62/21.76 MAYBE 298.93/299.00 timeout (wallclock) [out]
Stroeder_15/NarrowKonv.c 11768976 NO 161.50/104.36 MAYBE 298.81/299.00 timeout (wallclock) [out]
Stroeder_15/Nested.c 11769122 YES 14.11/6.31 YES 8.34/8.34 YES 6.39/2.40
Stroeder_15/NonTermination1_false-termination.c 11769077 NO 12.98/6.01 NO 1.87/1.88 NO 6.85/2.46
Stroeder_15/NonTermination2_false-termination.c 11768988 NO 12.96/6.26 MAYBE 35.20/36.88 timeout (wallclock) [out]
Stroeder_15/NonTermination4_false-termination.c 11768901 NO 13.03/5.92 NO 1.72/1.72 NO 8.92/3.09
Stroeder_15/NonTerminationSimple2_false-termination.c 11768955 NO 12.22/5.93 NO 1.86/1.86 NO 7.86/2.70
Stroeder_15/NonTerminationSimple3_false-termination.c 11769067 NO 11.32/5.54 NO 2.25/2.25 NO 10.33/3.34
Stroeder_15/NonTerminationSimple4_false-termination.c 11769057 NO 12.73/6.68 NO 2.27/2.27 NO 10.50/3.39
Stroeder_15/NonTerminationSimple5_false-termination.c 11768970 NO 15.38/7.06 NO 6.63/6.64 NO 9.37/3.18
Stroeder_15/NonTerminationSimple6_false-termination.c 11768871 NO 12.34/6.00 NO 1.85/1.85 NO 8.61/2.92
Stroeder_15/NonTerminationSimple7_false-termination.c 11769008 NO 12.11/5.60 NO 2.42/2.42 NO 7.29/2.86
Stroeder_15/NonTerminationSimple8_false-termination.c 11768893 NO 12.98/6.38 NO 122.89/122.90 NO 9.32/3.15
Stroeder_15/NonTerminationSimple9_false-termination.c 11768995 NO 11.01/5.37 NO 3.07/3.07 NO 9.66/3.69
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 11768996 YES 15.82/7.28 YES 9.78/9.80 YES 6.44/2.31
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 11768866 YES 15.62/7.31 YES 16.37/17.05 YES 6.56/2.38
Stroeder_15/NO_00.c 11768994 NO 10.81/5.39 NO 1.50/1.50 NO 6.13/2.32
Stroeder_15/NO_01.c 11769032 NO 12.91/6.06 NO 3.57/3.58 NO 7.28/2.52
Stroeder_15/NO_02.c 11769123 NO 11.14/5.51 NO 15.56/15.57 NO 6.85/2.45
Stroeder_15/NO_03.c 11769076 NO 11.13/5.52 NO 3.49/3.50 NO 7.04/3.23
Stroeder_15/NO_04.c 11768958 NO 16.90/7.67 MAYBE 298.89/299.00 NO 14.58/4.45
Stroeder_15/NO_10.c 11769000 NO 12.91/6.15 NO 1.79/1.78 NO 9.38/3.07
Stroeder_15/NO_12.c 11769119 NO 16.51/8.13 NO 35.95/35.96 NO 10.22/3.26
Stroeder_15/NO_13.c 11769080 NO 74.86/40.54 MAYBE 100.48/100.58 NO 10.74/3.56
Stroeder_15/NO_21.c 11768989 NO 11.33/5.54 NO 1.88/2.16 NO 6.59/2.75
Stroeder_15/NO_22.c 11769072 NO 71.79/38.38 MAYBE 45.98/46.18 NO 12.91/3.98
Stroeder_15/NO_23.c 11769129 NO 18.65/7.96 NO 13.97/14.96 NO 6.62/2.41
Stroeder_15/NO_24.c 11768923 MAYBE 19.99/8.27 NO 2.05/2.05 NO 11.12/3.52
Stroeder_15/Nyala-2lex_true-termination.c 11768962 YES 15.71/6.99 YES 41.62/42.37 YES 8.33/4.23
Stroeder_15/Overflow.c 11768843 YES 12.71/5.82 YES 2.54/2.54 YES 4.71/1.89
Stroeder_15/Parallel_true-termination.c 11768872 YES 15.68/7.07 YES 5.62/5.64 YES 7.44/2.66
Stroeder_15/PastaA1.c 11768974 YES 14.92/6.82 YES 10.08/10.09 YES 5.80/2.23
Stroeder_15/PastaA10.c 11769100 YES 31.39/7.42 YES 22.87/22.87 YES 20.94/6.30
Stroeder_15/PastaA4.c 11769050 YES 12.56/6.09 YES 2.92/2.94 YES 4.50/2.26
Stroeder_15/PastaA5.c 11768978 YES 12.37/6.11 YES 3.53/3.55 YES 4.82/2.09
Stroeder_15/PastaA6.c 11769058 YES 15.38/8.06 YES 4.11/4.17 YES 6.39/2.40
Stroeder_15/PastaA7.c 11769138 YES 13.22/6.31 YES 4.05/4.07 YES 4.59/1.90
Stroeder_15/PastaA8.c 11768880 YES 12.86/6.23 YES 3.38/3.38 YES 4.93/2.00
Stroeder_15/PastaA9.c 11768847 YES 14.04/6.66 MAYBE 23.03/23.40 YES 10.96/3.46
Stroeder_15/PastaB1.c 11768934 YES 12.85/6.03 YES 2.94/2.94 YES 4.95/2.26
Stroeder_15/PastaB11.c 11768902 YES 15.31/7.33 YES 29.49/29.50 YES 7.04/2.57
Stroeder_15/PastaB14.c 11769133 YES 14.11/6.29 YES 6.92/6.92 YES 5.98/2.24
Stroeder_15/PastaB15.c 11769061 YES 16.76/8.48 YES 7.90/7.92 YES 5.81/2.47
Stroeder_15/PastaB16.c 11768982 YES 14.30/6.51 YES 9.73/9.73 YES 5.75/2.25
Stroeder_15/PastaB17.c 11769041 YES 15.01/7.02 YES 11.15/11.91 YES 5.95/2.20
Stroeder_15/PastaB2.c 11768855 YES 12.71/6.02 YES 3.39/3.41 YES 5.04/2.00
Stroeder_15/PastaB3.c 11768874 YES 13.56/6.35 MAYBE 20.71/20.85 YES 12.17/3.97
Stroeder_15/PastaB4.c 11769009 YES 15.14/8.35 YES 1.66/1.66 YES 4.85/1.99
Stroeder_15/PastaB6.c 11769107 YES 12.54/5.96 YES 3.53/3.53 YES 5.03/2.01
Stroeder_15/PastaB7.c 11769092 YES 13.26/6.46 YES 4.02/4.02 YES 4.74/1.90
Stroeder_15/PastaC1.c 11768916 YES 15.17/6.81 YES 54.52/54.80 YES 10.71/3.47
Stroeder_15/PastaC10.c 11768935 NO 11.60/5.64 MAYBE 68.69/68.82 NO 17.48/5.51
Stroeder_15/PastaC2.c 11768830 YES 14.68/6.59 YES 13.43/13.44 YES 9.15/3.23
Stroeder_15/PastaC3.c 11768904 YES 15.28/7.73 YES 13.29/13.41 YES 6.16/2.27
Stroeder_15/PastaC7.c 11769064 YES 24.85/18.00 ERROR 0.65/0.65 YES 5.17/2.07
Stroeder_15/PastaC9.c 11768885 YES 15.82/7.13 YES 29.53/29.54 YES 9.26/3.04
Stroeder_15/Piecewise_true-termination.c 11769014 YES 16.87/7.76 MAYBE 288.27/288.54 YES 58.79/16.22
Stroeder_15/PlusSwap.c 11768997 YES 15.41/7.97 YES 3.86/3.86 YES 5.56/2.08
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 11768910 YES 15.47/6.96 YES 59.16/59.85 YES 10.72/3.71
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 11768930 timeout (wallclock) [out] MAYBE 298.85/299.00 YES 83.40/22.14
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 11769112 YES 12.87/6.00 YES 2.55/2.55 YES 4.72/1.87
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 11768926 YES 15.08/6.71 YES 37.4/37.47 YES 5.74/2.17
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 11768987 YES 14.25/6.61 YES 69.60/69.62 YES 5.76/2.18
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 11768863 YES 57.18/46.15 MAYBE 298.89/299.00 YES 6.24/2.26
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 11769039 MAYBE 20.54/8.08 MAYBE 20.63/20.84 YES 5.33/2.19
Stroeder_15/Pure2Phase_true-termination.c 11768827 YES 15.91/6.98 YES 13.07/13.06 YES 5.74/2.13
Stroeder_15/Pure3Phase_true-termination.c 11769028 ERROR 71.78/55.39 MAYBE 298.87/299.00 YES 29.46/15.18
Stroeder_15/Rotation180_false-termination.c 11769128 NO 11.58/5.30 NO 1.72/1.71 NO 9.23/3.05
Stroeder_15/Sequence.c 11768884 YES 13.68/6.23 YES 3.98/3.98 YES 5.51/2.07
Stroeder_15/Stockholm_true-termination.c 11768932 YES 16.15/8.98 MAYBE 30.67/30.99 YES 10.05/3.32
Stroeder_15/Sunset.c 11768846 NO 21.06/9.64 MAYBE 98.10/98.19 NO 41.22/11.23
Stroeder_15/svcomp_a.01.c 11768903 YES 29.76/6.81 YES 16.86/18.19 YES 6.44/2.42
Stroeder_15/svcomp_a.04.c 11769135 YES 12.42/6.15 YES 3.37/3.39 YES 4.82/1.96
Stroeder_15/svcomp_a.05.c 11769063 YES 13.41/6.52 YES 3.62/3.63 YES 5.00/1.94
Stroeder_15/svcomp_a.06.c 11768984 YES 15.33/7.89 YES 4.68/4.70 YES 4.69/1.99
Stroeder_15/svcomp_a.07.c 11769043 YES 12.98/6.34 YES 4.61/4.61 YES 5.11/2.08
Stroeder_15/svcomp_a.08.c 11768953 YES 13.20/6.05 YES 4.22/4.26 YES 8.68/3.16
Stroeder_15/svcomp_a.09_assume.c 11768898 YES 13.12/6.30 YES 3.47/3.48 YES 5.36/2.13
Stroeder_15/svcomp_a.10.c 11768853 YES 16.17/7.61 YES 29.44/29.45 YES 6.65/2.37
Stroeder_15/svcomp_b.01.c 11769004 YES 12.96/6.37 YES 3.37/3.36 YES 4.66/1.95
Stroeder_15/svcomp_b.02.c 11769091 YES 12.95/5.94 YES 3.89/3.89 YES 4.60/1.87
Stroeder_15/svcomp_b.03-no-inv_assume.c 11769027 YES 13.91/6.35 MAYBE 20.64/21.51 YES 10.05/3.25
Stroeder_15/svcomp_b.03_assume.c 11768925 YES 13.32/6.15 YES 3.13/3.13 YES 4.84/2.04
Stroeder_15/svcomp_b.04.c 11768937 YES 16.61/9.72 YES 1.90/1.90 YES 4.94/1.94
Stroeder_15/svcomp_b.05.c 11768944 YES 13.50/6.23 YES 7.31/7.33 YES 5.03/1.94
Stroeder_15/svcomp_b.06.c 11768873 YES 12.98/6.28 YES 4.06/4.06 YES 4.83/1.90
Stroeder_15/svcomp_b.07.c 11768856 YES 13.48/6.55 YES 4.60/4.62 YES 5.19/2.08
Stroeder_15/svcomp_b.09-no-inv_assume.c 11768839 YES 16.67/7.79 YES 31.86/31.90 YES 6.62/2.40
Stroeder_15/svcomp_b.09_assume.c 11769055 YES 13.30/6.45 YES 4.29/4.29 YES 5.21/2.18
Stroeder_15/svcomp_b.10.c 11769045 YES 14.88/6.89 YES 23.54/23.56 YES 6.27/2.26
Stroeder_15/svcomp_b.11.c 11768981 YES 15.69/7.75 YES 78.88/78.88 YES 9.03/3.02
Stroeder_15/svcomp_b.12.c 11769059 YES 15.21/7.00 YES 39.91/39.91 YES 9.74/3.39
Stroeder_15/svcomp_b.13.c 11769137 YES 16.32/8.15 YES 43.23/43.23 YES 11.40/3.68
Stroeder_15/svcomp_b.14.c 11768917 YES 15.77/7.31 YES 8.93/9.66 YES 6.14/2.30
Stroeder_15/svcomp_b.15.c 11768968 YES 15.78/7.82 YES 10.19/10.19 YES 6.51/2.35
Stroeder_15/svcomp_b.16.c 11768900 YES 15.15/6.65 YES 14.97/14.98 YES 6.45/2.37
Stroeder_15/svcomp_b.17.c 11768836 YES 15.01/7.20 YES 16.81/16.81 YES 6.04/2.34
Stroeder_15/svcomp_b.18.c 11769078 YES 15.58/7.08 YES 17.77/17.79 YES 8.66/3.00
Stroeder_15/svcomp_c.01-no-inv.c 11769047 YES 14.79/7.03 YES 83.43/83.54 YES 10.45/3.76
Stroeder_15/svcomp_c.01_assume.c 11768897 YES 14.97/7.31 YES 48.66/48.94 YES 7.86/2.85
Stroeder_15/svcomp_c.02.c 11769042 YES 14.02/6.66 YES 35.17/35.21 YES 6.11/2.23
Stroeder_15/svcomp_c.03.c 11768983 YES 17.42/8.93 YES 16.04/16.06 YES 6.12/2.22
Stroeder_15/svcomp_c.07.c 11768971 YES 25.68/18.34 YES 5.43/5.44 YES 5.15/1.98
Stroeder_15/svcomp_c.08.c 11769029 YES 14.62/6.77 YES 18.07/18.10 YES 8.09/2.76
Stroeder_15/svcomp_easySum.c 11768915 YES 13.00/9.70 YES 3.01/3.01 YES 4.86/1.89
Stroeder_15/svcomp_ex1.c 11769002 YES 13.54/6.12 YES 3.12/3.12 YES 4.49/1.82
Stroeder_15/svcomp_ex2.c 11769082 MAYBE 24.42/9.82 MAYBE 298.79/299.00 YES 10.24/3.39
Stroeder_15/svcomp_ex3a.c 11768940 MAYBE 23.71/9.13 MAYBE 21.76/21.92 YES 4.86/1.91
Stroeder_15/svcomp_ex3b.c 11768861 MAYBE 24.20/13.63 MAYBE 26.65/26.94 YES 4.86/1.92
Stroeder_15/svcomp_fermat.c 11768886 YES 31.92/22.28 MAYBE 298.91/299.00 YES 12.19/3.79
Stroeder_15/svcomp_flag.c 11769111 YES 14.85/6.55 YES 6.24/6.25 YES 6.86/2.44
Stroeder_15/svcomp_java_AG313.c 11769098 YES 15.41/7.04 YES 4.37/4.38 YES 6.00/2.21
Stroeder_15/svcomp_java_Break.c 11769114 YES 13.16/6.01 YES 2.54/2.54 YES 4.68/1.94
Stroeder_15/svcomp_java_Continue1.c 11768865 YES 12.84/5.88 YES 3.48/3.50 YES 5.39/2.14
Stroeder_15/svcomp_java_Nested.c 11768905 YES 18.18/7.89 YES 16.25/16.24 YES 7.00/2.52
Stroeder_15/svcomp_java_Sequence.c 11769035 YES 14.20/6.44 YES 5.61/5.61 YES 5.93/2.25
Stroeder_15/Swingers.c 11769089 MAYBE 32.76/28.49 NO 1.39/1.39 NO 8.14/3.53
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 11768993 YES 23.91/11.31 ERROR 28.00/28.01 timeout (wallclock) [out]
Stroeder_15/Thun_true-termination.c 11769031 YES 13.20/6.22 YES 3.89/3.89 YES 6.24/2.41
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 11768947 YES 18.26/8.60 YES 19.25/19.27 YES 17.84/5.38
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 11768908 YES 19.27/8.85 YES 74.77/74.80 YES 17.80/5.27
Stroeder_15/TrueDiv.c 11768860 NO 12.82/6.14 NO 1.99/2.00 NO 8.38/3.12
Stroeder_15/TwoFloatInterv.c 11768829 NO 16.01/8.60 NO 11.14/11.14 NO 11.11/3.56
Stroeder_15/UpAndDown.c 11768966 NO 77.60/41.25 MAYBE 298.82/299.00 NO 574.90/147.83
Stroeder_15/UpAndDownIneq.c 11768913 timeout (wallclock) [out] MAYBE 298.74/299.00 NO 130.35/34.09
Stroeder_15/Urban-WST2013-Fig1_false-termination.c 11769073 NO 11.67/5.51 NO 2.62/2.61 NO 7.71/3.02
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 11769018 timeout (wallclock) [out] YES 37.05/42.13 YES 5.72/2.16
Stroeder_15/Urban-WST2013-Fig2_true-termination.c 11768951 YES 18.06/8.08 YES 37.01/37.07 YES 7.47/2.81
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 11768946 YES 18.95/9.35 MAYBE 298.93/299.00 memout [out]
Stroeder_15/Velroyen_false-termination.c 11769066 NO 16.19/8.60 NO 7.61/7.61 NO 10.93/3.91
Stroeder_15/Waldkirch_true-termination.c 11768852 YES 11.82/6.11 YES 2.16/2.16 YES 4.87/2.00
Stroeder_15/WhileDecr.c 11769011 YES 13.03/5.93 YES 2.61/2.60 YES 8.62/2.91
Stroeder_15/WhileFalse_true-termination.c 11768912 YES 10.93/5.11 YES 0.80/0.80 YES 3.83/1.88
Stroeder_15/WhileIncr.c 11768961 NO 11.75/5.90 NO 1.90/1.90 NO 8.07/2.81
Stroeder_15/WhileIncrPart.c 11768948 NO 15.21/7.09 NO 2.80/2.83 NO 10.06/3.44
Stroeder_15/WhileNested.c 11768891 NO 14.34/6.86 NO 23.96/25.34 NO 10.33/3.31
Stroeder_15/WhileNestedOffset.c 11768832 NO 14.05/6.76 NO 24.13/24.92 NO 10.43/3.32
Stroeder_15/WhilePart.c 11769115 NO 11.53/5.41 NO 2.63/2.63 NO 8.07/2.85
Stroeder_15/WhileSingle.c 11768848 NO 14.19/6.36 NO 3.23/3.26 NO 8.55/2.88
Stroeder_15/WhileTrue.c 11768840 NO 13.11/6.10 NO 1.41/1.41 NO 6.92/2.76
Stroeder_15/WhileTrue_false-termination.c 11768928 NO 11.80/5.49 NO 1.03/1.03 NO 4.89/2.91
308 264 314