TermCOMP 2022: C Integer 54225 Job info CSV Showing results.

benchmark VBS UltimateAutomizer2022v2 default irankfinder v1.3.2 competition Aprove22-C c ~Y2021
Stroeder_15/2Nested_true-termination.c f YES YES 17.06/7.31 YES 2.63/2.64 YES 18.20/9.45 YES
Stroeder_15/4NestedWith3Variables_true-termination.c if YES timeout (wallclock) YES 57.44/57.49 YES 33.19/9.72 YES
Stroeder_15/aaron2_true-termination.c f YES YES 17.17/7.62 YES 5.40/5.41 YES 50.69/14.53 YES
Stroeder_15/aaron3_true-termination.c if YES YES 20.71/9.76 MAYBE 299.01/299.01 YES 96.61/32.70 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c f YES YES 21.43/9.01 YES 7.75/7.75 YES 140.80/42.66 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c f YES YES 27.03/13.23 YES 264.49/264.50 YES 25.20/7.97 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c f YES YES 21.80/9.53 YES 49.18/49.18 YES 57.32/23.87 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c f YES YES 20.38/9.27 YES 3.67/3.67 YES 34.27/12.06 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c if YES timeout (wallclock) YES 3.73/3.73 YES 14.60/5.43 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c f YES YES 26.68/12.02 YES 21.88/21.88 YES 22.52/7.42 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c f YES YES 19.78/9.12 YES 8.13/8.13 YES 61.04/23.13 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c f YES YES 30.90/14.01 YES 27.05/27.05 YES 47.59/24.21 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c f YES YES 19.46/8.71 YES 4.29/4.30 YES 26.53/7.89 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c f YES YES 15.74/6.95 YES 2.02/2.02 YES 11.26/3.70 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c if YES timeout (wallclock) YES 10.28/10.29 YES 62.97/21.49 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c f YES YES 17.47/7.49 YES 3.96/3.96 YES 37.36/10.99 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c f YES YES 17.51/7.78 YES 56.47/56.48 YES 57.85/25.90 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c f YES YES 25.60/14.21 YES 11.20/11.20 YES 46.72/34.14 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c f YES YES 21.26/9.56 YES 50.09/51.46 YES 17.32/5.34 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c f YES YES 18.95/13.94 YES 3.71/3.71 YES 17.30/5.82 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c f YES YES 19.76/9.27 YES 19.58/19.91 YES 24.28/7.77 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c f YES YES 19.53/12.67 YES 3.97/3.98 YES 21.93/6.59 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c if YES timeout (wallclock) YES 3.34/3.34 YES 14.73/4.72 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c f YES YES 24.92/10.72 YES 4.44/4.49 YES 17.96/5.77 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c f YES YES 18.26/12.67 YES 3.06/3.06 YES 20.27/6.04 YES
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c f YES YES 19.69/10.34 YES 16.18/16.18 YES 45.45/24.80 YES
Stroeder_15/AlternDiv.c f NO NO 17.81/7.79 NO 7.17/7.17 NO 11.43/4.72 NO
Stroeder_15/AlternDivWide.c f NO NO 21.97/9.16 NO 12.93/12.93 NO 11.06/3.74 NO
Stroeder_15/AlternDivWidening.c if NO NO 21.50/10.21 MAYBE 212.46/212.61 NO 37.04/10.65 NO
Stroeder_15/AlternKonv.c f NO NO 17.82/7.43 NO 16.35/16.35 NO 14.45/4.70 NO
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c f YES YES 18.56/8.41 YES 4.30/4.32 YES 21.18/6.58 YES
Stroeder_15/Bangalore_true-termination.c f YES YES 16.14/7.42 YES 2.33/2.94 YES 13.39/4.21 YES
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c f YES YES 28.67/15.79 YES 36.26/36.27 YES 25.64/7.70 YES
Stroeder_15/Benghazi_true-termination.c f YES YES 22.41/12.21 YES 5.13/5.13 YES 19.52/6.20 YES
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c f NO NO 14.01/6.02 NO 6.57/6.57 NO 52.19/14.55 NO
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c f YES YES 23.48/10.56 YES 50.71/50.74 YES 71.60/19.29 YES
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c if YES timeout (wallclock) YES 28.73/28.73 YES 68.51/25.92 YES
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c f YES YES 19.66/9.26 YES 4.99/5.00 YES 24.17/7.48 YES
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c f YES YES 20.85/9.71 YES 28.24/28.31 YES 51.69/16.44 YES
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c f YES YES 16.19/7.41 YES 2.78/2.78 YES 14.42/6.47 YES
Stroeder_15/Cairo_true-termination.c f YES YES 17.73/7.60 YES 16.24/16.29 YES 10.55/3.48 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c if YES MAYBE 34.38/20.18 MAYBE 298.92/299.01 YES 132.70/36.86 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c if YES YES 23.38/11.16 MAYBE 298.98/299.01 YES 91.35/25.53 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c if YES YES 46.40/29.53 MAYBE 298.97/299.01 YES 108.76/31.92 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c f YES YES 17.53/8.23 YES 20.77/20.78 YES 47.48/23.03 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c f YES YES 17.81/16.97 YES 4.79/4.80 YES 38.70/11.99 YES
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c f YES YES 17.12/9.59 YES 56.59/56.59 YES 56.58/30.29 YES
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c f NO NO 14.06/5.87 NO 4.51/4.57 NO 14.48/4.72 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c if YES MAYBE 30.31/15.48 MAYBE 27.48/27.72 YES 52.78/19.61 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c f YES YES 17.17/8.58 YES 3.62/3.62 YES 12.44/4.02 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c f YES YES 15.73/6.87 YES 3.19/3.19 YES 6.85/2.52 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c f YES YES 16.49/7.10 YES 3.02/3.20 YES 10.26/3.42 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c f YES YES 16.58/10.90 YES 3.01/3.01 YES 11.13/3.65 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c f YES YES 17.09/10.25 YES 2.66/2.66 YES 19.09/5.77 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c f NO NO 16.63/9.22 NO 3.17/3.17 NO 34.94/9.70 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c f NO NO 14.20/5.95 NO 3.33/3.33 NO 16.53/5.37 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c f NO NO 13.86/6.07 NO 3.35/3.36 NO 16.77/5.58 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c uf MAYBE MAYBE 82.24/65.42 MAYBE 55.15/56.31 timeout (wallclock) MAYBE
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c f YES YES 15.84/7.02 YES 2.98/2.99 YES 12.92/4.17 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c f YES YES 15.94/7.26 YES 2.80/2.80 YES 18.43/5.56 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c f YES YES 16.81/8.18 YES 3.55/3.55 YES 28.08/11.26 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c f YES YES 16.11/6.73 YES 2.70/2.70 YES 12.90/4.14 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c if NO timeout (wallclock) NO 4.64/4.64 timeout (wallclock) NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c f NO NO 13.59/5.97 NO 3.30/3.31 NO 17.19/5.56 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c f YES YES 16.30/7.41 YES 2.87/2.87 YES 29.71/8.89 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c f NO NO 13.60/5.97 NO 3.30/3.30 NO 18.25/9.10 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c f NO NO 14.49/12.25 NO 2.60/2.60 NO 14.44/4.66 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c f YES YES 16.55/7.27 YES 2.52/2.53 YES 11.52/3.77 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c f NO NO 15.68/6.90 NO 3.34/3.34 NO 19.90/5.95 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c f YES YES 16.32/7.36 YES 2.86/2.87 YES 19.26/10.57 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c f YES YES 16.31/7.14 YES 3.09/3.10 YES 15.95/4.91 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c f YES YES 15.50/6.97 YES 3.52/3.52 YES 12.95/4.16 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c f YES YES 16.07/7.22 YES 2.86/2.86 YES 12.42/10.32 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c f YES YES 16.76/10.93 YES 4.64/4.65 YES 11.35/3.73 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c f YES YES 17.20/7.85 YES 2.93/2.93 YES 11.89/3.82 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c f NO NO 14.26/6.15 NO 3.67/3.67 NO 17.04/5.43 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c f YES YES 18.79/7.77 YES 29.45/29.47 YES 22.74/6.78 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c f YES YES 18.95/9.77 YES 3.79/3.79 YES 24.19/9.53 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c f YES YES 16.95/7.72 YES 3.43/3.43 YES 18.24/5.93 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c f NO NO 16.18/7.19 NO 4.56/4.56 NO 50.37/13.73 NO
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c f YES YES 17.28/7.69 YES 6.45/6.45 YES 17.17/5.29 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c f YES YES 17.58/7.82 YES 3.58/3.59 YES 19.36/5.98 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c f YES YES 18.07/7.70 YES 5.41/5.45 YES 11.65/3.92 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c f YES YES 22.94/13.60 YES 3.76/3.77 YES 16.12/5.14 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c f YES YES 19.75/9.95 YES 8.21/8.21 YES 21.44/6.77 YES
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c f YES YES 18.47/7.93 YES 6.40/6.71 YES 16.62/5.17 YES
Stroeder_15/Choose.c f NO NO 21.26/9.01 NO 25.60/25.88 NO 17.34/5.41 NO
Stroeder_15/ChooseLife.c if NO timeout (wallclock) MAYBE 55.04/55.11 NO 8.47/2.95 NO
Stroeder_15/collatz.c uf MAYBE timeout (wallclock) MAYBE 298.97/299.01 timeout (wallclock) MAYBE
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c if YES timeout (wallclock) YES 3.35/3.35 YES 14.66/4.78 YES
Stroeder_15/ComplInterv.c if NO MAYBE 31.56/16.32 NO 27.00/28.75 MAYBE 40.05/20.91 NO
Stroeder_15/ComplInterv2.c f NO NO 14.29/6.08 NO 10.46/10.46 NO 9.19/3.15 NO
Stroeder_15/ComplInterv3.c f NO NO 16.43/6.91 NO 7.57/7.62 NO 8.19/4.24 NO
Stroeder_15/ComplxStruc.c if NO NO 36.54/17.35 MAYBE 298.06/299.01 MAYBE 20.75/14.52 NO
Stroeder_15/ConvLower.c f NO NO 16.33/11.80 NO 3.85/3.96 NO 7.97/2.83 NO
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c f YES YES 16.89/7.76 YES 13.42/13.42 YES 37.19/11.25 YES
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c f YES YES 20.60/9.24 YES 24.89/24.94 YES 39.11/11.49 YES
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c f YES YES 24.25/11.44 YES 134.87/134.89 YES 86.53/24.70 YES
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c f YES YES 19.09/9.08 YES 9.30/9.29 YES 13.60/4.31 YES
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c f YES YES 18.52/8.73 YES 8.55/8.57 YES 15.30/4.69 YES
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c f YES YES 21.68/10.96 YES 8.44/8.44 YES 10.23/3.48 YES
Stroeder_15/Copenhagen_true-termination.c f YES YES 17.71/7.53 YES 2.66/2.66 YES 12.26/3.96 YES
Stroeder_15/Cousot.c f NO NO 19.83/9.56 NO 4.68/4.69 NO 11.79/3.93 NO
Stroeder_15/DivMinus.c f YES YES 15.80/11.90 YES 2.68/2.68 YES 24.14/9.47 YES
Stroeder_15/DivMinus2.c f YES YES 21.24/13.48 YES 33.01/33.00 YES 37.15/12.20 YES
Stroeder_15/DivWithoutMinus.c f NO NO 22.08/9.17 NO 144.37/144.43 NO 31.54/9.24 NO
Stroeder_15/DoubleNeg.c if NO MAYBE 37.19/21.24 NO 19.64/19.68 timeout (wallclock) NO
Stroeder_15/easy1_true-termination.c f YES YES 16.37/7.00 YES 2.69/2.71 YES 14.76/4.68 YES
Stroeder_15/easy2_true-termination.c f YES YES 16.57/9.89 YES 2.38/2.38 YES 13.99/4.53 YES
Stroeder_15/Et1.c f YES YES 16.41/7.37 YES 3.23/3.23 YES 18.84/5.81 YES
Stroeder_15/Et2.c if NO NO 14.62/5.99 MAYBE 55.51/55.66 NO 16.38/5.54 NO
Stroeder_15/Et4.c f NO NO 14.24/6.11 NO 41.93/41.95 NO 19.39/6.34 NO
Stroeder_15/Even.c f NO NO 17.26/6.89 NO 3.28/3.28 NO 18.32/5.45 NO
Stroeder_15/Ex01.c f NO NO 15.08/6.55 NO 2.27/2.34 NO 7.54/2.67 NO
Stroeder_15/Ex02.c f NO NO 17.06/7.55 NO 3.85/3.85 NO 7.99/2.82 NO
Stroeder_15/Ex03.c f NO NO 18.42/7.63 NO 3.83/3.86 NO 8.22/2.89 NO
Stroeder_15/Ex04.c f NO NO 15.27/6.66 NO 1.60/1.61 NO 7.11/2.56 NO
Stroeder_15/Ex05.c f NO NO 14.35/5.92 NO 1.40/1.40 NO 6.03/2.32 NO
Stroeder_15/Ex06.c f NO NO 19.14/8.21 NO 4.93/4.93 NO 9.71/3.33 NO
Stroeder_15/Ex07.c f NO NO 21.28/8.98 NO 3.35/3.35 NO 9.46/3.22 NO
Stroeder_15/Ex08.c if NO NO 130.95/78.60 MAYBE 299.03/299.01 NO 49.15/13.51 NO
Stroeder_15/Factorial.c if NO MAYBE 32.19/26.34 NO 21.92/22.02 timeout (wallclock) NO
Stroeder_15/Fibonacci.c if NO MAYBE 30.90/16.05 MAYBE 55.76/56.00 NO 22.52/11.29 NO
Stroeder_15/Flip.c f NO NO 16.89/7.13 NO 4.48/4.49 NO 7.96/2.78 NO
Stroeder_15/Flip2.c f NO NO 22.36/9.68 NO 89.14/89.17 NO 11.25/3.77 NO
Stroeder_15/Gauss.c f NO NO 17.60/11.26 NO 3.36/4.09 NO 19.49/11.24 NO
Stroeder_15/GCD.c f NO NO 22.50/9.31 NO 20.07/20.09 NO 21.75/6.88 NO
Stroeder_15/gcd1_true-termination.c f YES YES 24.82/13.02 YES 5.24/5.25 YES 103.04/28.03 YES
Stroeder_15/GCD2.c f NO NO 15.20/6.31 NO 12.39/12.40 NO 17.65/5.75 NO
Stroeder_15/GCD3.c f YES YES 27.16/15.45 YES 7.55/7.55 YES 37.66/12.78 YES
Stroeder_15/GCD4.c f YES YES 25.93/15.06 YES 3.77/3.78 YES 43.47/12.24 YES
Stroeder_15/genady_true-termination.c f YES YES 15.95/9.90 YES 1.78/1.78 YES 19.08/6.13 YES
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c f YES YES 19.90/9.57 YES 2.82/2.82 YES 16.64/5.48 YES
Stroeder_15/Gothenburg_true-termination.c f YES YES 26.60/13.63 YES 5.04/5.05 YES 32.91/10.20 YES
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c f YES YES 20.46/12.73 YES 7.14/7.14 YES 27.95/8.22 YES
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c f YES YES 18.05/12.13 YES 5.09/5.09 YES 23.07/6.97 YES
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c f YES YES 15.04/6.86 YES 2.95/2.95 YES 12.03/3.97 YES
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c if YES YES 26.76/12.88 YES 32.10/32.10 timeout (wallclock) YES
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c f YES YES 16.29/7.24 YES 2.76/2.77 YES 13.08/4.24 YES
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c f YES YES 16.52/10.54 YES 1.91/1.92 YES 9.86/3.44 YES
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c f YES YES 16.40/7.11 YES 3.17/3.17 YES 12.03/3.88 YES
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c if YES MAYBE 27.25/13.97 MAYBE 38.97/39.09 YES 20.42/5.97 YES
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c if YES MAYBE 29.38/15.29 MAYBE 45.37/47.11 YES 21.26/6.58 YES
Stroeder_15/IntPath.c f YES YES 14.53/6.41 YES 11.64/11.65 YES 6.67/2.50 YES
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c f YES YES 15.97/7.24 YES 4.05/4.06 YES 17.08/5.39 YES
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c f YES YES 26.99/12.07 YES 17.96/17.96 YES 68.82/20.36 YES
Stroeder_15/Lcm.c f NO NO 14.48/5.99 NO 5.43/5.43 NO 43.57/23.72 NO
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c f YES YES 16.40/7.13 YES 3.52/3.53 YES 20.51/6.53 YES
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c f YES YES 16.40/7.21 YES 2.85/2.86 YES 18.37/5.61 YES
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c f YES YES 18.96/8.78 YES 5.41/5.41 YES 17.45/5.44 YES
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c f YES YES 19.10/11.61 YES 10.98/10.98 YES 16.54/5.09 YES
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c f YES YES 15.95/7.08 YES 2.66/2.66 YES 16.11/5.17 YES
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c if NO MAYBE 33.02/17.50 MAYBE 33.11/33.31 NO 15.25/4.81 NO
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c f NO NO 15.59/7.15 NO 3.35/3.35 NO 7.88/2.78 NO
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c f YES YES 21.51/9.12 YES 11.23/11.23 YES 11.88/3.86 YES
Stroeder_15/Log.c f YES YES 19.71/9.00 YES 3.87/3.88 YES 13.78/4.54 YES
Stroeder_15/LogAG.c f YES YES 21.39/9.28 YES 5.16/5.16 YES 25.64/8.09 YES
Stroeder_15/LogMult.c if NO MAYBE 29.86/15.79 NO 14.58/14.78 timeout (wallclock) NO
Stroeder_15/Loop.c f NO NO 13.96/6.13 NO 1.65/1.66 NO 6.97/2.55 NO
Stroeder_15/Madrid_false-termination.c f NO NO 14.65/9.81 NO 1.09/1.09 NO 6.23/2.36 NO
Stroeder_15/Marbie1.c f NO NO 15.29/6.65 NO 2.30/2.30 NO 7.38/2.66 NO
Stroeder_15/Marbie2.c f NO NO 15.05/6.70 NO 1.58/1.59 NO 7.15/2.61 NO
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c f YES YES 17.92/7.95 YES 4.16/4.16 YES 33.88/10.44 YES
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c f YES YES 22.13/9.68 YES 4.75/5.35 YES 19.60/6.05 YES
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c uf MAYBE MAYBE 32.50/17.71 MAYBE 299.00/299.01 timeout (wallclock) MAYBE
Stroeder_15/McCarthyIterative.c f YES YES 73.32/37.75 YES 3.46/3.46 YES 20.75/6.38 YES
Stroeder_15/MenloPark_true-termination.c if YES YES 18.76/8.01 YES 2.71/2.71 MAYBE 44.03/24.34 YES
Stroeder_15/Middle.c f NO NO 16.34/7.18 NO 4.75/4.75 NO 18.19/5.50 NO
Stroeder_15/MinusBuiltIn.c f YES YES 17.92/9.43 YES 2.47/2.47 YES 6.74/2.46 YES
Stroeder_15/MinusMin.c f YES YES 23.10/11.14 YES 4.14/4.27 YES 14.72/5.01 YES
Stroeder_15/MinusUserDefined.c f YES YES 23.76/10.42 YES 23.84/23.85 YES 34.24/10.18 YES
Stroeder_15/min_rf_true-termination.c if YES timeout (wallclock) YES 39.51/39.52 YES 137.50/46.81 YES
Stroeder_15/MirrorInterv.c f NO NO 20.67/10.83 NO 21.60/21.60 NO 51.11/24.83 NO
Stroeder_15/MirrorIntervSim.c f NO NO 20.50/13.87 NO 9.26/9.26 NO 9.94/3.36 NO
Stroeder_15/Mysore_true-termination.c f YES YES 16.83/7.46 YES 3.03/3.06 YES 11.95/4.09 YES
Stroeder_15/Narrowing.c if NO NO 49.67/22.13 MAYBE 299.05/299.01 timeout (wallclock) NO
Stroeder_15/NarrowKonv.c if NO NO 108.29/64.93 MAYBE 296.13/299.06 MAYBE 68.01/24.92 NO
Stroeder_15/Nested.c f YES YES 18.46/9.47 YES 2.79/2.79 YES 15.06/4.69 YES
Stroeder_15/NonTermination1_false-termination.c f NO NO 15.23/6.88 NO 2.27/2.27 NO 6.94/2.55 NO
Stroeder_15/NonTermination2_false-termination.c if NO NO 15.46/10.54 MAYBE 51.87/52.05 timeout (wallclock) NO
Stroeder_15/NonTermination4_false-termination.c f NO NO 15.07/6.59 NO 2.28/2.28 NO 8.92/3.14 NO
Stroeder_15/NonTerminationSimple2_false-termination.c f NO NO 15.54/6.80 NO 2.32/2.32 NO 7.32/2.62 NO
Stroeder_15/NonTerminationSimple3_false-termination.c f NO NO 13.54/5.82 NO 2.61/2.70 NO 14.98/7.12 NO
Stroeder_15/NonTerminationSimple4_false-termination.c f NO NO 15.19/6.77 NO 2.87/2.87 NO 8.51/9.95 NO
Stroeder_15/NonTerminationSimple5_false-termination.c f NO NO 19.88/8.91 NO 7.80/7.80 NO 29.49/8.39 NO
Stroeder_15/NonTerminationSimple6_false-termination.c f NO NO 14.51/10.65 NO 2.32/2.34 NO 8.08/2.91 NO
Stroeder_15/NonTerminationSimple7_false-termination.c f NO NO 14.00/5.92 NO 2.84/2.84 NO 6.93/2.54 NO
Stroeder_15/NonTerminationSimple8_false-termination.c f NO NO 16.05/7.24 NO 146.94/147.06 NO 84.73/31.08 NO
Stroeder_15/NonTerminationSimple9_false-termination.c f NO NO 14.74/6.10 NO 3.68/3.68 NO 13.73/4.75 NO
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c f YES YES 19.32/8.96 YES 4.25/4.26 YES 44.58/17.37 YES
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c f YES YES 20.28/9.28 YES 5.53/5.56 YES 42.11/12.98 YES
Stroeder_15/NO_00.c f NO NO 13.75/5.92 NO 1.63/1.63 NO 6.40/2.38 NO
Stroeder_15/NO_01.c f NO NO 17.31/7.21 NO 4.09/4.10 NO 6.77/2.46 NO
Stroeder_15/NO_02.c f NO NO 14.43/6.11 NO 2.29/2.29 NO 6.65/2.46 NO
Stroeder_15/NO_03.c f NO NO 14.62/6.20 NO 3.87/3.88 NO 6.85/2.52 NO
Stroeder_15/NO_04.c f NO NO 18.82/7.99 NO 10.82/10.82 NO 9.17/3.13 NO
Stroeder_15/NO_10.c f NO NO 15.57/6.83 NO 2.15/2.16 NO 9.46/3.29 NO
Stroeder_15/NO_12.c f NO NO 21.84/10.09 NO 35.95/35.98 NO 8.63/3.03 NO
Stroeder_15/NO_13.c if NO NO 37.01/23.81 MAYBE 79.37/79.50 NO 24.14/8.66 NO
Stroeder_15/NO_21.c f NO NO 14.24/5.99 NO 1.76/1.76 NO 6.41/2.41 NO
Stroeder_15/NO_22.c if NO NO 33.15/15.40 MAYBE 52.68/52.87 NO 21.89/8.02 NO
Stroeder_15/NO_23.c f NO NO 22.99/10.38 NO 17.07/17.13 NO 6.81/2.63 NO
Stroeder_15/NO_24.c if NO MAYBE 24.60/11.86 MAYBE 32.46/32.91 NO 9.85/3.42 NO
Stroeder_15/Nyala-2lex_true-termination.c f YES YES 19.52/9.03 YES 3.72/3.73 YES 26.09/9.61 YES
Stroeder_15/Overflow.c f YES YES 15.48/6.77 YES 1.91/1.91 YES 13.85/5.11 YES
Stroeder_15/Parallel_true-termination.c f YES YES 18.94/8.91 YES 5.35/5.35 YES 20.36/6.08 YES
Stroeder_15/PastaA1.c f YES YES 18.74/8.21 YES 3.01/3.01 YES 24.47/8.84 YES
Stroeder_15/PastaA10.c f YES YES 19.71/11.74 YES 12.52/12.51 YES 13.18/5.25 YES
Stroeder_15/PastaA4.c f YES YES 15.20/6.65 YES 2.24/2.25 YES 10.83/3.61 YES
Stroeder_15/PastaA5.c f YES YES 16.04/6.95 YES 2.39/2.40 YES 10.82/3.58 YES
Stroeder_15/PastaA6.c f YES YES 18.48/9.18 YES 3.09/3.09 YES 13.10/4.89 YES
Stroeder_15/PastaA7.c f YES YES 15.70/7.33 YES 3.13/3.13 YES 11.74/3.92 YES
Stroeder_15/PastaA8.c f YES YES 15.60/12.25 YES 2.50/2.50 YES 11.16/5.18 YES
Stroeder_15/PastaA9.c f YES YES 17.80/7.79 YES 2.68/2.68 YES 13.39/4.21 YES
Stroeder_15/PastaB1.c f YES YES 15.75/7.15 YES 2.23/2.23 YES 11.16/3.58 YES
Stroeder_15/PastaB11.c f YES YES 19.66/8.42 YES 5.83/5.83 YES 53.18/23.33 YES
Stroeder_15/PastaB14.c f YES YES 18.47/8.28 YES 4.14/4.14 YES 12.13/3.88 YES
Stroeder_15/PastaB15.c f YES YES 17.94/7.69 YES 4.60/4.60 YES 12.63/4.10 YES
Stroeder_15/PastaB16.c f YES YES 19.48/12.00 YES 3.86/3.86 YES 19.21/7.76 YES
Stroeder_15/PastaB17.c f YES YES 17.61/8.28 YES 4.81/4.81 YES 18.70/6.52 YES
Stroeder_15/PastaB2.c f YES YES 16.00/18.10 YES 2.53/2.53 YES 12.42/4.01 YES
Stroeder_15/PastaB3.c f YES YES 16.00/7.10 YES 2.33/2.34 YES 17.88/5.37 YES
Stroeder_15/PastaB4.c f YES YES 16.88/8.31 YES 2.03/2.03 YES 6.67/2.45 YES
Stroeder_15/PastaB6.c f YES YES 15.92/9.55 YES 2.71/2.72 YES 11.21/3.80 YES
Stroeder_15/PastaB7.c f YES YES 15.98/10.59 YES 3.14/3.14 YES 13.27/4.30 YES
Stroeder_15/PastaC1.c f YES YES 17.90/8.07 YES 3.56/3.56 YES 18.96/5.94 YES
Stroeder_15/PastaC10.c if NO NO 13.75/6.10 MAYBE 90.45/90.87 NO 19.60/6.37 NO
Stroeder_15/PastaC2.c f YES YES 19.07/8.43 YES 4.42/4.42 YES 28.40/11.80 YES
Stroeder_15/PastaC3.c f YES YES 24.17/10.74 YES 3.92/3.93 YES 25.22/7.42 YES
Stroeder_15/PastaC7.c if YES timeout (wallclock) YES 3.25/3.26 YES 15.39/4.93 YES
Stroeder_15/PastaC9.c f YES YES 21.66/9.04 YES 9.34/9.35 YES 39.96/13.82 YES
Stroeder_15/Piecewise_true-termination.c f YES YES 22.42/9.98 YES 52.21/52.19 YES 51.37/18.15 YES
Stroeder_15/PlusSwap.c f YES YES 20.02/9.84 YES 2.98/2.98 YES 21.68/8.72 YES
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c f YES YES 20.38/8.48 YES 3.42/3.42 YES 26.94/10.26 YES
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c f YES YES 64.82/47.99 YES 34.80/35.90 YES 64.55/18.58 YES
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c f YES YES 15.23/9.45 YES 1.91/1.91 YES 8.80/4.45 YES
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c f YES YES 17.98/11.67 YES 3.46/3.46 YES 26.33/14.72 YES
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c f YES YES 19.08/8.49 YES 14.24/14.27 YES 40.91/11.45 YES
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c f YES YES 24.20/13.11 YES 6.61/6.61 YES 108.15/32.76 YES
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c if YES MAYBE 30.28/15.55 MAYBE 27.05/27.24 YES 38.98/10.65 YES
Stroeder_15/Pure2Phase_true-termination.c f YES YES 20.63/8.95 YES 5.68/5.68 YES 21.81/6.46 YES
Stroeder_15/Pure3Phase_true-termination.c if YES timeout (wallclock) MAYBE 298.91/299.01 YES 138.09/36.67 YES
Stroeder_15/Rotation180_false-termination.c f NO NO 13.76/6.16 NO 1.94/1.94 NO 7.76/2.76 NO
Stroeder_15/Sequence.c f YES YES 16.96/15.34 YES 2.17/2.17 YES 13.16/5.53 YES
Stroeder_15/Stockholm_true-termination.c f YES YES 17.65/7.91 YES 3.11/3.11 YES 11.74/8.10 YES
Stroeder_15/Sunset.c if NO NO 35.58/15.47 MAYBE 138.14/138.22 NO 42.95/14.54 NO
Stroeder_15/svcomp_a.01.c f YES YES 19.53/9.78 YES 4.35/4.35 YES 20.23/6.50 YES
Stroeder_15/svcomp_a.04.c f YES YES 15.08/6.62 YES 2.47/2.48 YES 13.72/4.53 YES
Stroeder_15/svcomp_a.05.c f YES YES 15.14/6.55 YES 2.63/2.64 YES 14.56/4.64 YES
Stroeder_15/svcomp_a.06.c f YES YES 19.03/10.47 YES 3.43/3.43 YES 22.62/11.78 YES
Stroeder_15/svcomp_a.07.c f YES YES 17.99/7.81 YES 3.44/3.45 YES 20.20/15.95 YES
Stroeder_15/svcomp_a.08.c f YES YES 16.81/7.39 YES 2.80/2.81 YES 16.39/5.20 YES
Stroeder_15/svcomp_a.09_assume.c f YES YES 15.98/7.29 YES 2.65/2.65 YES 14.35/4.44 YES
Stroeder_15/svcomp_a.10.c f YES YES 22.24/10.27 YES 18.15/18.18 YES 6.79/2.49 YES
Stroeder_15/svcomp_b.01.c f YES YES 15.84/7.24 YES 2.49/2.49 YES 14.25/4.58 YES
Stroeder_15/svcomp_b.02.c f YES YES 16.04/7.25 YES 2.78/2.79 YES 16.32/5.25 YES
Stroeder_15/svcomp_b.03-no-inv_assume.c f YES YES 16.07/7.72 YES 2.34/2.34 YES 14.66/4.56 YES
Stroeder_15/svcomp_b.03_assume.c f YES YES 15.56/11.13 YES 2.31/2.31 YES 14.15/4.42 YES
Stroeder_15/svcomp_b.04.c f YES YES 24.63/14.90 YES 2.35/2.40 YES 6.85/2.53 YES
Stroeder_15/svcomp_b.05.c f YES YES 15.95/11.68 YES 3.97/3.97 YES 35.15/22.54 YES
Stroeder_15/svcomp_b.06.c f YES YES 16.73/7.36 YES 3.07/3.08 YES 17.07/5.51 YES
Stroeder_15/svcomp_b.07.c f YES YES 17.10/7.47 YES 3.46/3.47 YES 17.05/5.55 YES
Stroeder_15/svcomp_b.09-no-inv_assume.c f YES YES 21.60/9.50 YES 33.10/33.68 YES 6.60/2.56 YES
Stroeder_15/svcomp_b.09_assume.c f YES YES 16.46/7.16 YES 3.31/3.32 YES 20.01/6.20 YES
Stroeder_15/svcomp_b.10.c f YES YES 20.04/8.62 YES 6.27/6.28 YES 37.82/12.36 YES
Stroeder_15/svcomp_b.11.c f YES YES 19.51/8.71 YES 7.99/7.99 YES 53.03/23.17 YES
Stroeder_15/svcomp_b.12.c f YES YES 18.62/8.68 YES 19.79/19.79 YES 21.06/6.58 YES
Stroeder_15/svcomp_b.13.c f YES YES 20.08/9.06 YES 26.51/26.54 YES 25.52/7.79 YES
Stroeder_15/svcomp_b.14.c f YES YES 20.81/11.66 YES 4.92/4.92 YES 16.02/5.10 YES
Stroeder_15/svcomp_b.15.c f YES YES 17.84/7.71 YES 5.59/5.60 YES 16.13/5.44 YES
Stroeder_15/svcomp_b.16.c f YES YES 18.63/8.32 YES 5.23/5.23 YES 37.67/12.61 YES
Stroeder_15/svcomp_b.17.c f YES YES 18.99/8.52 YES 6.46/6.46 YES 23.46/7.47 YES
Stroeder_15/svcomp_b.18.c f YES YES 19.27/8.96 YES 6.57/6.57 YES 15.18/4.76 YES
Stroeder_15/svcomp_c.01-no-inv.c f YES YES 18.74/8.61 YES 39.39/39.68 YES 29.51/8.86 YES
Stroeder_15/svcomp_c.01_assume.c f YES YES 18.04/8.08 YES 5.81/5.82 YES 29.73/8.91 YES
Stroeder_15/svcomp_c.02.c f YES YES 18.14/8.45 YES 6.82/6.82 YES 31.22/9.41 YES
Stroeder_15/svcomp_c.03.c f YES YES 19.20/8.49 YES 4.62/4.62 YES 30.12/14.55 YES
Stroeder_15/svcomp_c.07.c if YES timeout (wallclock) YES 4.07/4.15 YES 19.67/6.41 YES
Stroeder_15/svcomp_c.08.c f YES YES 18.13/8.26 YES 4.64/4.64 YES 29.70/8.99 YES
Stroeder_15/svcomp_easySum.c f YES YES 15.49/7.16 YES 2.49/2.49 YES 26.96/8.70 YES
Stroeder_15/svcomp_ex1.c f YES YES 15.59/9.19 YES 2.41/2.50 YES 11.11/3.77 YES
Stroeder_15/svcomp_ex2.c if YES MAYBE 39.79/27.27 MAYBE 298.99/299.01 YES 175.27/45.78 YES
Stroeder_15/svcomp_ex3a.c if YES MAYBE 33.81/18.68 MAYBE 28.54/28.74 YES 14.70/4.64 YES
Stroeder_15/svcomp_ex3b.c if YES MAYBE 34.40/19.50 MAYBE 31.84/33.38 YES 13.86/4.99 YES
Stroeder_15/svcomp_fermat.c f YES YES 26.97/13.81 YES 165.52/165.52 YES 112.93/33.62 YES
Stroeder_15/svcomp_flag.c f YES YES 18.30/8.04 YES 8.43/8.43 YES 17.64/5.69 YES
Stroeder_15/svcomp_java_AG313.c f YES YES 18.54/8.10 YES 3.13/3.14 YES 25.72/7.52 YES
Stroeder_15/svcomp_java_Break.c f YES YES 16.04/7.27 YES 1.64/1.64 YES 11.38/3.77 YES
Stroeder_15/svcomp_java_Continue1.c f YES YES 18.19/7.67 YES 2.07/2.08 YES 25.46/9.33 YES
Stroeder_15/svcomp_java_Nested.c f YES YES 22.31/10.96 YES 3.32/3.32 YES 31.84/9.69 YES
Stroeder_15/svcomp_java_Sequence.c f YES YES 18.59/10.75 YES 2.82/2.82 YES 13.62/4.52 YES
Stroeder_15/Swingers.c if NO MAYBE 32.08/19.12 MAYBE 22.27/28.19 NO 7.97/2.83 NO
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c if YES YES 36.49/18.27 MAYBE 34.17/34.40 timeout (wallclock) YES
Stroeder_15/Thun_true-termination.c f YES YES 16.12/7.12 YES 2.82/2.82 YES 15.72/4.88 YES
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c f YES YES 21.98/9.70 YES 29.59/29.72 YES 15.15/4.90 YES
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c f YES YES 24.62/10.33 YES 152.74/152.77 YES 16.16/5.24 YES
Stroeder_15/TrueDiv.c f NO NO 16.67/6.94 NO 2.29/2.29 NO 7.96/2.81 NO
Stroeder_15/TwoFloatInterv.c f NO NO 19.52/8.63 NO 13.63/13.63 NO 11.28/3.79 NO
Stroeder_15/UpAndDown.c if NO NO 49.43/23.43 MAYBE 298.94/299.01 NO 507.22/128.49 NO
Stroeder_15/UpAndDownIneq.c if NO NO 50.41/23.55 MAYBE 297.18/299.01 NO 119.33/39.14 NO
Stroeder_15/Urban-WST2013-Fig1_false-termination.c f NO NO 13.56/5.89 NO 3.17/3.17 NO 7.89/2.80 NO
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c if YES timeout (wallclock) YES 3.69/3.69 YES 14.55/4.74 YES
Stroeder_15/Urban-WST2013-Fig2_true-termination.c f YES YES 21.51/9.18 YES 3.66/3.66 YES 19.14/6.11 YES
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c f YES YES 25.44/11.26 YES 250.90/250.96 YES 114.45/31.66 YES
Stroeder_15/Velroyen_false-termination.c f NO NO 17.48/7.74 NO 8.72/8.74 NO 9.25/3.17 NO
Stroeder_15/Waldkirch_true-termination.c f YES YES 15.13/6.64 YES 1.44/1.44 YES 5.68/2.21 YES
Stroeder_15/WhileDecr.c f YES YES 15.21/10.09 YES 1.97/1.97 YES 10.40/4.69 YES
Stroeder_15/WhileFalse_true-termination.c f YES YES 14.84/10.76 YES 0.82/0.82 YES 5.25/2.10 YES
Stroeder_15/WhileIncr.c f NO NO 15.05/6.68 NO 2.29/2.29 NO 7.44/2.66 NO
Stroeder_15/WhileIncrPart.c f NO NO 19.38/12.33 NO 3.27/3.27 NO 8.13/2.85 NO
Stroeder_15/WhileNested.c f NO NO 18.71/7.83 NO 3.89/3.89 NO 10.43/3.56 NO
Stroeder_15/WhileNestedOffset.c f NO NO 17.75/8.00 NO 3.88/3.88 NO 10.54/3.54 NO
Stroeder_15/WhilePart.c f NO NO 13.53/5.93 NO 3.10/3.11 NO 7.76/2.77 NO
Stroeder_15/WhileSingle.c f NO NO 18.05/7.65 NO 3.85/3.86 NO 8.29/2.92 NO
Stroeder_15/WhileTrue.c f NO NO 15.20/7.08 NO 1.60/1.60 NO 7.07/2.54 NO
Stroeder_15/WhileTrue_false-termination.c f NO NO 13.61/5.91 NO 1.09/1.09 NO 5.94/2.29 NO
Ton_Chanh_15/2Nested_false-termination.c f NO NO 15.56/6.98 NO 3.17/3.17 NO 29.80/8.43 NO
Ton_Chanh_15/Bangalore_false-termination.c f NO NO 14.41/6.07 NO 2.78/2.78 NO 7.70/2.75 NO
Ton_Chanh_15/Bangalore_v2_false-termination.c f NO NO 13.81/5.95 NO 2.77/2.77 NO 14.81/4.79 NO
Ton_Chanh_15/Bangalore_v3_false-termination.c f NO NO 14.21/6.00 NO 2.85/2.85 NO 14.71/10.75 NO
Ton_Chanh_15/Bangalore_v4_true-termination.c f YES YES 22.52/11.94 YES 2.33/2.33 YES 6.61/2.42 YES
Ton_Chanh_15/Benghazi_nondet_true-termination.c f YES YES 21.70/12.17 YES 6.25/6.25 YES 22.07/6.56 YES
Ton_Chanh_15/Cairo_nondet_false-termination.c f NO NO 17.91/7.28 NO 3.84/3.84 NO 16.82/5.77 NO
Ton_Chanh_15/Cairo_step2_false-termination.c f NO NO 18.29/11.59 NO 3.06/3.06 NO 17.25/5.32 NO
Ton_Chanh_15/Copenhagen_disj_true-termination.c f YES YES 28.09/15.86 YES 11.33/11.77 YES 20.80/6.26 YES
Ton_Chanh_15/Gothenburg_v2_true-termination.c if YES YES 24.68/12.82 YES 5.05/5.06 timeout (wallclock) YES
Ton_Chanh_15/Hanoi_2vars_false-termination.c f NO NO 15.54/6.94 NO 3.17/3.17 NO 30.29/8.53 NO
Ton_Chanh_15/Hanoi_3vars_false-termination.c f NO NO 15.70/7.56 NO 4.35/4.36 NO 37.49/10.46 NO
Ton_Chanh_15/Hanoi_plus_false-termination.c if NO MAYBE 35.06/20.23 NO 4.38/4.38 NO 47.07/12.88 NO
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c f YES YES 25.43/10.77 YES 3.40/3.41 YES 25.32/12.52 YES
Ton_Chanh_15/Mysore_false-termination.c f NO NO 15.64/7.03 NO 3.66/3.67 NO 39.99/23.86 NO
Ton_Chanh_15/Singapore_plus_false-termination.c f NO NO 15.90/7.00 NO 4.05/4.06 NO 46.99/26.26 NO
Ton_Chanh_15/Singapore_true-termination.c if YES YES 17.32/7.66 YES 23.43/23.75 timeout (wallclock) YES
Ton_Chanh_15/Singapore_v1_false-termination.c if NO NO 15.73/7.10 NO 4.21/4.21 timeout (wallclock) NO
Ton_Chanh_15/Singapore_v2_false-termination.c if NO NO 16.46/6.96 NO 4.20/4.20 timeout (wallclock) NO
332.00 302.00 301.00 316.00