Termination Competition 2019: C Integer33454

Job info CSV
benchmark AProVE c UltimateAutomizer2019 default VeryMax-termCOMP17 termcomp17
Ton_Chanh_15/Hanoi_3vars_false-termination.c 5152652 NO 28.04/8.09 NO 12.65/6.45 NO 155.07/67.44
Ton_Chanh_15/2Nested_false-termination.c 5152653 NO 18.95/8.56 NO 13.09/6.50 NO 46.78/20.95
Ton_Chanh_15/Cairo_nondet_false-termination.c 5152654 NO 10.60/3.50 NO 13.30/6.10 NO 18.70/8.37
Ton_Chanh_15/Bangalore_false-termination.c 5152655 NO 8.17/2.86 NO 11.54/6.36 NO 5.48/4.24
Ton_Chanh_15/Singapore_plus_false-termination.c 5152656 NO 18.22/7.16 NO 13.02/6.37 NO 46.81/21.02
Ton_Chanh_15/Singapore_v2_false-termination.c 5152657 memout [out] NO 12.31/6.36 NO 47.18/21.26
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 5152658 YES 6.00/2.27 YES 25.52/12.04 YES 0.22/0.22
Ton_Chanh_15/Cairo_step2_false-termination.c 5152659 NO 10.13/3.47 NO 13.43/6.51 MAYBE 42.52/19.38
Ton_Chanh_15/Copenhagen_disj_true-termination.c 5152660 YES 29.90/8.49 YES 28.09/18.75 MAYBE 112.81/36.22
Ton_Chanh_15/Gothenburg_v2_true-termination.c 5152661 timeout (wallclock) [out] YES 18.38/9.65 YES 0.41/0.16
Ton_Chanh_15/Hanoi_2vars_false-termination.c 5152662 NO 18.90/5.59 NO 12.36/6.53 NO 46.93/21.04
Ton_Chanh_15/Mysore_false-termination.c 5152663 NO 9.34/3.20 NO 13.62/6.39 NO 46.82/21.01
Ton_Chanh_15/Benghazi_nondet_true-termination.c 5152664 YES 11.15/3.65 YES 17.19/10.38 YES 7.63/2.62
Ton_Chanh_15/Singapore_v1_false-termination.c 5152665 memout [out] NO 13.18/6.52 NO 46.93/21.06
Ton_Chanh_15/Bangalore_v3_false-termination.c 5152666 NO 9.20/3.12 NO 11.47/5.35 NO 5.56/4.27
Ton_Chanh_15/Bangalore_v2_false-termination.c 5152667 NO 10.12/3.38 NO 11.70/5.39 NO 5.60/4.31
Ton_Chanh_15/Hanoi_plus_false-termination.c 5152668 NO 41.70/11.41 MAYBE 77.63/58.60 NO 174.9/122.42
Ton_Chanh_15/Singapore_true-termination.c 5152669 memout [out] YES 15.20/6.81 YES 0.37/0.15
Ton_Chanh_15/Bangalore_v4_true-termination.c 5152670 YES 6.20/2.40 YES 15.21/6.70 YES 0.07/0.04
Stroeder_15/Bangalore_true-termination.c 5152671 YES 11.20/3.66 YES 25.73/6.20 YES 0.07/0.04
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 5152672 YES 24.23/6.94 YES 20.73/9.25 YES 0.23/0.23
Stroeder_15/svcomp_b.02.c 5152673 YES 4.97/2.08 YES 13.11/6.48 YES 0.02/0.02
Stroeder_15/LogMult.c 5152674 memout [out] MAYBE 31.19/12.06 MAYBE 39.67/23.03
Stroeder_15/Ex03.c 5152675 NO 8.59/2.98 NO 13.19/6.11 NO 0.38/0.14
Stroeder_15/Mysore_true-termination.c 5152676 YES 8.96/3.01 YES 14.58/8.23 YES 0.13/0.06
Stroeder_15/Ex07.c 5152677 NO 10.5/3.75 NO 13.42/6.47 NO 0.08/0.07
Stroeder_15/svcomp_b.05.c 5152678 YES 5.05/2.05 YES 25.04/6.13 YES 0.02/0.02
Stroeder_15/NonTermination1_false-termination.c 5152679 NO 7.09/2.66 NO 13.06/6.16 NO 18.79/8.42
Stroeder_15/easy2_true-termination.c 5152680 YES 4.46/1.84 YES 12.39/6.81 YES 0.02/0.02
Stroeder_15/ConvLower.c 5152681 NO 9.98/3.37 NO 12.86/6.05 NO 0.33/0.15
Stroeder_15/PastaB3.c 5152682 YES 10.09/3.42 YES 14.59/6.52 YES 0.07/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 5152683 YES 7.66/2.71 YES 15.20/8.47 YES 0.59/0.23
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 5152684 NO 9.48/6.25 NO 11.58/6.52 NO 5.44/4.24
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 5152685 YES 6.51/2.50 timeout (wallclock) [out] YES 4.17/4.17
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 5152686 timeout (wallclock) [out] YES 24.27/11.38 YES 0.06/0.06
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 5152687 YES 13.74/4.39 YES 15.32/8.08 YES 0.05/0.05
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 5152688 YES 9.35/3.19 YES 17.60/8.01 YES 0.43/0.17
Stroeder_15/Factorial.c 5152689 memout [out] MAYBE 46.06/8.96 MAYBE 48.25/25.19
Stroeder_15/DivMinus.c 5152690 YES 4.64/1.99 YES 25.68/6.29 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 5152691 timeout (wallclock) [out] timeout (wallclock) [out] MAYBE 105.53/37.95
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 5152692 YES 5.51/2.17 YES 17.99/7.90 YES 0.03/0.03
Stroeder_15/svcomp_a.05.c 5152693 YES 4.76/1.99 YES 13.60/6.70 YES 0.02/0.02
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 5152694 NO 16.36/5.05 MAYBE 40.59/26.45 NO 24.83/10.11
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 5152695 memout [out] MAYBE 32.22/15.52 MAYBE 47.18/21.19
Stroeder_15/Ex04.c 5152696 NO 7.25/2.69 NO 13.05/6.27 NO 18.55/8.31
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 5152697 YES 8.08/2.84 YES 14.98/6.78 YES 0.08/0.08
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 5152698 YES 15.36/4.67 YES 15.73/7.76 YES 0.07/0.07
Stroeder_15/ComplxStruc.c 5152699 MAYBE 17.21/8.27 NO 25.23/11.11 NO 60.20/27.33
Stroeder_15/Fibonacci.c 5152700 NO 10.70/3.55 MAYBE 28.44/16.22 NO 52.30/26.62
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 5152701 YES 8.58/3.01 YES 14.42/6.52 YES 0.03/0.03
Stroeder_15/WhileNestedOffset.c 5152702 NO 9.66/3.24 NO 14.92/7.44 NO 23.80/13.50
Stroeder_15/PastaB16.c 5152703 YES 5.69/2.32 YES 14.09/6.53 YES 0.03/0.03
Stroeder_15/NonTerminationSimple5_false-termination.c 5152704 NO 9.13/3.09 NO 15.44/7.16 NO 5.56/4.33
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 5152705 YES 4.55/1.97 YES 13.14/6.20 YES 0.02/0.02
Stroeder_15/GCD4.c 5152706 YES 7.58/2.72 YES 19.82/9.77 YES 0.05/0.05
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 5152707 YES 5.88/2.32 YES 15.52/7.64 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 5152708 YES 7.27/2.57 YES 15.52/8.32 YES 0.29/0.12
Stroeder_15/PastaB14.c 5152709 YES 5.18/2.19 YES 13.26/6.35 YES 0.03/0.03
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 5152710 YES 10.35/3.41 timeout (wallclock) [out] YES 0.76/0.38
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 5152711 YES 6.99/2.55 YES 19.19/9.93 YES 0.03/0.03
Stroeder_15/PastaB1.c 5152712 YES 8.54/1.99 YES 12.39/6.35 YES 0.02/0.02
Stroeder_15/PastaC7.c 5152713 YES 6.25/2.30 YES 25.17/18.06 YES 0.02/0.03
Stroeder_15/svcomp_b.04.c 5152714 YES 4.55/1.91 YES 17.54/10.42 YES 0.02/0.02
Stroeder_15/UpAndDown.c 5152715 NO 497.88/127.58 NO 79.25/40.86 NO 11.67/5.75
Stroeder_15/McCarthyIterative.c 5152716 YES 7.50/2.78 YES 28.29/13.10 YES 0.21/0.21
Stroeder_15/MenloPark_true-termination.c 5152717 MAYBE 37.17/14.67 YES 14.12/6.33 YES 0.15/0.09
Stroeder_15/Lcm.c 5152718 NO 9.54/3.38 NO 11.79/5.60 NO 16.11/8.65
Stroeder_15/svcomp_a.08.c 5152719 YES 4.85/2.11 YES 13.05/6.24 YES 0.02/0.02
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 5152720 memout [out] YES 19.28/8.98 YES 0.10/0.09
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 5152721 YES 5.06/2.05 YES 25.17/18.17 YES 0.02/0.02
Stroeder_15/NO_01.c 5152722 NO 6.61/2.49 NO 12.73/6.16 NO 0.11/0.06
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 5152723 YES 5.35/2.12 YES 15.46/7.19 YES 0.03/0.03
Stroeder_15/NonTermination4_false-termination.c 5152724 NO 8.80/3.15 NO 12.36/6.01 NO 49.83/28.16
Stroeder_15/svcomp_a.07.c 5152725 YES 4.88/2.06 YES 13.62/6.59 YES 0.03/0.03
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 5152726 YES 7.10/2.73 YES 14.80/7.02 YES 0.03/0.03
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 5152727 YES 7.12/2.61 YES 15.46/7.31 YES 0.03/0.03
Stroeder_15/svcomp_java_Continue1.c 5152728 YES 6.18/2.38 YES 12.84/6.05 YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 5152729 YES 5.94/2.34 YES 17.38/10.39 YES 2.85/1.43
Stroeder_15/AlternKonv.c 5152730 NO 18.27/8.77 NO 13.27/6.58 MAYBE 25.71/8.11
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 5152731 NO 26.97/7.71 NO 13.07/6.33 NO 46.90/21.00
Stroeder_15/UpAndDownIneq.c 5152732 NO 123.69/32.33 NO 354.08/291.36 NO 12.71/5.98
Stroeder_15/svcomp_java_Nested.c 5152733 YES 5.86/2.25 YES 18.75/8.26 YES 0.53/0.53
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 5152734 timeout (wallclock) [out] MAYBE 76.05/58.86 MAYBE 48.63/16.68
Stroeder_15/svcomp_flag.c 5152735 YES 7.30/2.71 YES 14.70/6.64 YES 0.05/0.05
Stroeder_15/svcomp_c.01-no-inv.c 5152736 YES 11.01/3.68 YES 14.04/6.85 YES 0.13/0.07
Stroeder_15/NO_13.c 5152737 NO 10.13/3.41 NO 75.34/40.46 NO 26.23/11.88
Stroeder_15/Nyala-2lex_true-termination.c 5152738 YES 6.5/2.45 YES 15.89/7.49 YES 0.03/0.03
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 5152739 YES 23.59/6.77 YES 17.68/8.91 YES 0.21/0.09
Stroeder_15/WhileNested.c 5152740 NO 10.31/3.65 NO 14.71/6.84 NO 23.81/13.51
Stroeder_15/svcomp_a.09_assume.c 5152741 YES 4.93/1.96 YES 12.54/6.65 YES 0.03/0.03
Stroeder_15/min_rf_true-termination.c 5152742 YES 36.54/10.18 YES 31.66/17.40 YES 0.08/0.09
Stroeder_15/PastaC9.c 5152743 YES 6.49/2.46 YES 16.73/9.24 YES 0.03/0.03
Stroeder_15/Middle.c 5152744 NO 9.30/3.13 NO 14.74/6.76 NO 59.11/26.09
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 5152745 NO 34.79/9.66 NO 13.34/6.61 NO 170.58/73.34
Stroeder_15/svcomp_b.16.c 5152746 YES 6.75/2.51 YES 14.59/6.82 YES 0.03/0.03
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 5152747 YES 11.78/3.91 YES 20.12/9.90 YES 0.18/0.08
Stroeder_15/NonTerminationSimple6_false-termination.c 5152748 NO 8.55/2.97 NO 12.77/5.97 NO 18.80/8.45
Stroeder_15/MirrorIntervSim.c 5152749 NO 10.79/3.50 NO 13.47/6.31 NO 17.47/7.07
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 5152750 YES 6.53/2.45 YES 13.07/6.23 YES 3.80/1.48
Stroeder_15/Overflow.c 5152751 YES 4.48/1.92 YES 12.73/5.89 YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 5152752 NO 12.24/3.91 NO 12.65/6.23 NO 20.40/8.96
Stroeder_15/NO_21.c 5152753 NO 5.93/2.44 NO 11.01/5.51 NO 0.10/0.06
Stroeder_15/PastaA5.c 5152754 YES 4.56/1.99 YES 12.40/6.17 YES 0.02/0.02
Stroeder_15/NonTerminationSimple4_false-termination.c 5152755 NO 9.66/3.27 NO 12.74/6.20 NO 47.70/25.01
Stroeder_15/svcomp_java_AG313.c 5152756 YES 6.00/2.32 YES 14.76/6.93 YES 0.03/0.03
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 5152757 YES 22.06/6.48 MAYBE 21.94/8.84 YES 0.27/0.10
Stroeder_15/NonTerminationSimple8_false-termination.c 5152758 NO 9.58/3.22 NO 13.45/7.70 NO 21.59/9.40
Stroeder_15/svcomp_b.09_assume.c 5152759 YES 6.01/2.31 YES 13.11/6.41 YES 0.03/0.03
Stroeder_15/aaron3_true-termination.c 5152760 YES 15.41/4.75 YES 19.74/10.55 YES 2.50/0.91
Stroeder_15/easy1_true-termination.c 5152761 YES 7.75/2.92 YES 13.25/6.24 YES 0.04/0.04
Stroeder_15/NarrowKonv.c 5152762 timeout (wallclock) [out] NO 163.14/104.56 NO 1.43/0.67
Stroeder_15/PastaB15.c 5152763 YES 5.83/2.30 YES 16.31/7.52 YES 0.03/0.03
Stroeder_15/ComplInterv2.c 5152764 NO 9.26/3.23 NO 10.82/5.74 NO 5.29/4.26
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 5152765 YES 10.91/3.66 YES 16.86/8.50 YES 0.71/0.27
Stroeder_15/Flip.c 5152766 NO 9.69/3.28 NO 15.97/7.36 NO 34.76/12.80
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 5152767 YES 10.02/3.37 MAYBE 19.61/8.44 YES 0.08/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 5152768 YES 5.15/2.10 YES 24.50/17.72 YES 0.02/0.04
Stroeder_15/PastaA4.c 5152769 YES 4.72/2.09 YES 12.84/6.13 YES 0.02/0.02
Stroeder_15/Ex06.c 5152770 NO 10.04/3.43 NO 13.19/6.29 NO 0.40/0.16
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 5152771 YES 9.41/3.32 YES 12.76/6.51 YES 0.07/0.04
Stroeder_15/PastaA1.c 5152772 YES 5.79/2.36 YES 14.25/6.63 YES 0.03/0.03
Stroeder_15/NonTerminationSimple3_false-termination.c 5152773 NO 9.47/3.33 NO 10.95/5.55 NO 5.79/4.34
Stroeder_15/PastaC2.c 5152774 YES 5.60/2.29 YES 15.29/6.70 YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 5152775 YES 8.17/2.86 YES 15.64/8.80 YES 0.27/0.11
Stroeder_15/svcomp_b.11.c 5152776 YES 7.61/2.67 YES 16.36/7.83 YES 0.04/0.04
Stroeder_15/svcomp_c.01_assume.c 5152777 YES 7.12/2.60 YES 14.65/6.68 YES 0.04/0.04
Stroeder_15/svcomp_b.13.c 5152778 YES 10.37/3.42 YES 16.82/8.34 YES 0.03/0.03
Stroeder_15/svcomp_c.03.c 5152779 YES 7.77/2.85 YES 18.84/9.49 YES 0.03/0.03
Stroeder_15/Madrid_false-termination.c 5152780 NO 5.62/2.20 NO 12.33/5.98 NO 0.04/0.03
Stroeder_15/NO_12.c 5152781 NO 9.62/3.25 NO 17.48/8.18 NO 55.87/29.11
Stroeder_15/Rotation180_false-termination.c 5152782 NO 9.33/3.14 NO 11.88/5.59 NO 5.18/4.15
Stroeder_15/Choose.c 5152783 NO 11.8/3.92 NO 16.84/7.89 NO 24.04/13.73
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 5152784 YES 10.55/3.46 YES 13.14/6.15 YES 1.13/0.41
Stroeder_15/PastaC1.c 5152785 YES 10.79/3.57 YES 15.14/7.04 YES 0.10/0.06
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 5152786 YES 17.62/5.31 YES 28.17/19.89 YES 0.13/0.07
Stroeder_15/PastaB2.c 5152787 YES 4.88/2.14 YES 12.81/6.08 YES 0.02/0.02
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 5152788 NO 9.29/3.22 NO 11.35/5.57 NO 6.69/4.68
Stroeder_15/MinusBuiltIn.c 5152789 YES 4.75/2.24 YES 14.65/8.09 YES 0.02/0.02
Stroeder_15/svcomp_a.10.c 5152790 YES 6.71/2.53 YES 16.01/7.42 YES 0.07/0.07
Stroeder_15/Sunset.c 5152791 NO 37.27/10.42 NO 21.98/10.30 NO 65.56/25.15
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 5152792 YES 11.04/3.66 YES 15.71/7.16 YES 0.40/0.17
Stroeder_15/AlternDiv.c 5152793 NO 12.78/4.23 NO 14.39/6.73 NO 25.56/9.48
Stroeder_15/svcomp_b.17.c 5152794 YES 8.02/2.81 YES 15.31/7.28 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 5152795 YES 8.95/3.23 YES 15.23/8.20 YES 0.27/0.11
Stroeder_15/PastaB6.c 5152796 YES 4.67/1.91 YES 13.23/6.22 YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 5152797 NO 10.18/3.38 NO 12.51/6.09 NO 36.4/12.42
Stroeder_15/svcomp_ex1.c 5152798 YES 4.80/2.01 YES 12.69/6.00 YES 0.02/0.02
Stroeder_15/NO_24.c 5152799 NO 9.42/3.17 MAYBE 20.40/8.68 NO 1.74/1.10
Stroeder_15/PastaC3.c 5152800 YES 6.02/2.26 YES 15.63/7.65 YES 0.03/0.03
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 5152801 timeout (wallclock) [out] MAYBE 21.02/9.05 MAYBE 43.29/14.33
Stroeder_15/Ex08.c 5152802 memout [out] NO 236.27/194.04 NO 14.87/6.13
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 5152803 YES 6.68/2.44 YES 13.05/6.46 YES 0.73/0.28
Stroeder_15/Et4.c 5152804 NO 18.95/9.71 NO 11.75/5.73 NO 16.93/6.07
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 5152805 YES 12.76/4.57 YES 24.01/13.54 YES 7.52/2.58
Stroeder_15/WhileTrue.c 5152806 NO 7.34/2.71 NO 12.97/6.19 NO 18.56/8.32
Stroeder_15/NonTermination2_false-termination.c 5152807 timeout (wallclock) [out] NO 13.34/6.73 NO 62.53/28.31
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 5152808 YES 7.06/2.56 YES 26.09/18.29 YES 0.47/0.18
Stroeder_15/Velroyen_false-termination.c 5152809 NO 9.71/3.25 NO 34.34/8.75 NO 28.95/10.26
Stroeder_15/svcomp_b.15.c 5152810 YES 6.25/2.38 YES 16.53/8.08 YES 0.03/0.03
Stroeder_15/ComplInterv3.c 5152811 NO 8.17/2.87 NO 12.45/6.48 NO 19.91/8.82
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 5152812 YES 10.05/3.48 YES 15.18/6.90 YES 0.10/0.06
Stroeder_15/collatz.c 5152813 memout [out] timeout (wallclock) [out] MAYBE 46.71/17.75
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 5152814 YES 9.96/3.35 YES 30.36/20.84 YES 0.69/0.26
Stroeder_15/Waldkirch_true-termination.c 5152815 YES 4.05/1.86 YES 12.07/5.84 YES 0.02/0.06
Stroeder_15/MinusUserDefined.c 5152816 YES 9.57/3.26 YES 16.77/7.78 YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 5152817 NO 9.69/3.21 NO 11.04/5.33 NO 14.56/7.13
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 5152818 YES 24.14/8.61 YES 16.47/7.82 YES 0.11/0.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 5152819 YES 5.48/2.18 YES 17.67/11.10 YES 0.02/0.02
Stroeder_15/Narrowing.c 5152820 timeout (wallclock) [out] NO 50.21/22.04 NO 67.64/28.89
Stroeder_15/WhileFalse_true-termination.c 5152821 YES 3.40/1.60 YES 11.05/5.24 YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 5152822 YES 4.89/2.07 YES 15.21/8.37 YES 0.61/0.23
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 5152823 YES 5.94/2.36 YES 16.46/8.75 YES 0.36/0.14
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 5152824 YES 6.90/2.62 YES 14.32/7.16 YES 0.04/0.04
Stroeder_15/4NestedWith3Variables_true-termination.c 5152825 YES 18.73/5.64 YES 26.05/18.34 YES 72.77/31.21
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 5152826 YES 9.86/3.30 YES 16.64/7.53 YES 0.10/0.06
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 5152827 YES 6.35/2.46 YES 59.13/48.29 YES 0.04/0.04
Stroeder_15/DivMinus2.c 5152828 YES 16.08/5.44 YES 15.59/7.35 YES 0.05/0.06
Stroeder_15/Et1.c 5152829 YES 6.49/2.43 YES 15.20/8.19 YES 0.58/0.23
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 5152830 YES 4.67/1.98 YES 12.04/5.91 YES 0.02/0.02
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 5152831 YES 61.28/19.56 YES 17.60/8.48 YES 0.12/0.07
Stroeder_15/WhilePart.c 5152832 NO 8.01/2.82 NO 11.45/6.41 NO 5.26/4.19
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 5152833 YES 4.89/1.99 YES 12.69/5.95 YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 5152834 YES 7.42/2.71 YES 15.77/8.45 YES 3.33/1.15
Stroeder_15/PastaA9.c 5152835 YES 9.61/3.30 YES 14.19/7.13 YES 0.08/0.04
Stroeder_15/GCD.c 5152836 NO 10.85/3.58 NO 15.28/7.14 NO 59.64/22.61
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 5152837 YES 19.85/8.97 YES 14.76/7.01 YES 0.04/0.04
Stroeder_15/Swingers.c 5152838 NO 8.96/3.09 MAYBE 33.84/21.39 NO 6.13/4.84
Stroeder_15/svcomp_b.06.c 5152839 YES 4.84/1.93 YES 13.28/6.14 YES 0.02/0.02
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 5152840 YES 10.84/3.54 YES 16.73/7.71 YES 1.64/1.64
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 5152841 YES 5.38/2.30 YES 24.58/18.22 YES 0.02/0.03
Stroeder_15/NO_00.c 5152842 NO 5.76/2.38 NO 11.61/5.67 NO 0.11/0.06
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 5152843 YES 4.67/1.99 YES 13.02/6.06 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 5152844 NO 11.28/3.72 NO 11.59/5.49 MAYBE 33.11/10.35
Stroeder_15/MinusMin.c 5152845 YES 8.08/2.80 YES 19.01/9.57 YES 0.03/0.03
Stroeder_15/NO_10.c 5152846 NO 9.40/3.17 NO 13.06/6.24 NO 65.14/34.66
Stroeder_15/IntPath.c 5152847 YES 5.93/2.32 YES 11.89/6.50 YES 0.02/0.03
Stroeder_15/svcomp_a.06.c 5152848 YES 5.15/2.13 YES 15.02/8.29 YES 0.03/0.03
Stroeder_15/svcomp_c.02.c 5152849 YES 5.93/2.28 YES 14.51/6.60 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 5152850 YES 7.97/2.74 YES 25.13/18.12 YES 8.32/2.84
Stroeder_15/PastaB7.c 5152851 YES 5.35/2.09 YES 13.03/6.26 YES 0.02/0.02
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 5152852 YES 6.62/2.46 YES 14.77/6.82 YES 0.03/0.03
Stroeder_15/Marbie2.c 5152853 NO 7.28/2.59 NO 12.03/6.06 NO 18.55/8.31
Stroeder_15/LogAG.c 5152854 YES 5.02/2.07 YES 15.17/7.01 YES 0.03/0.03
Stroeder_15/Marbie1.c 5152855 NO 7.70/2.73 NO 12.78/6.03 NO 18.69/8.36
Stroeder_15/Copenhagen_true-termination.c 5152856 YES 4.73/2.00 YES 13.46/6.82 YES 0.02/0.02
Stroeder_15/Parallel_true-termination.c 5152857 YES 7.97/2.83 YES 15.30/7.18 YES 0.03/0.03
Stroeder_15/WhileIncr.c 5152858 NO 8.21/2.90 NO 12.07/6.53 NO 18.71/8.38
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 5152859 YES 4.46/1.83 YES 12.68/6.01 YES 0.02/0.02
Stroeder_15/svcomp_ex2.c 5152860 YES 11.24/3.96 MAYBE 24.58/9.88 MAYBE 339.44/168.29
Stroeder_15/ChooseLife.c 5152861 NO 10.79/3.52 MAYBE 54.97/41.76 NO 6.95/4.94
Stroeder_15/GCD3.c 5152862 YES 16.19/5.04 YES 25.56/16.84 YES 0.10/0.07
Stroeder_15/Ex05.c 5152863 NO 5.77/2.23 NO 10.78/6.13 NO 0.04/0.03
Stroeder_15/NO_04.c 5152864 NO 20.49/7.77 NO 16.88/7.89 NO 16.06/13.82
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 5152865 YES 9.46/3.24 YES 17.11/7.97 YES 0.10/0.06
Stroeder_15/NO_22.c 5152866 NO 10.91/3.55 NO 70.91/37.71 NO 8.48/4.19
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 5152867 YES 10.59/3.65 YES 14.73/7.37 YES 21.29/8.02
Stroeder_15/PastaC10.c 5152868 NO 19.09/5.61 NO 11.67/5.58 NO 5.49/4.24
Stroeder_15/Thun_true-termination.c 5152869 YES 6.77/2.49 YES 13.22/6.26 YES 3.71/1.27
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 5152870 YES 9.54/3.34 YES 15.76/7.56 YES 0.04/0.04
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 5152871 YES 25.83/7.37 YES 19.19/8.84 YES 0.24/0.12
Stroeder_15/2Nested_true-termination.c 5152872 YES 6.23/2.38 YES 15.82/8.42 YES 0.21/0.09
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 5152873 YES 124.37/32.56 YES 23.44/12.77 YES 1.42/0.55
Stroeder_15/Log.c 5152874 YES 6.64/2.49 YES 15.26/7.33 YES 0.02/0.02
Stroeder_15/Sequence.c 5152875 YES 5.11/2.08 YES 13.35/6.95 YES 0.03/0.03
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 5152876 YES 8.64/2.98 YES 16.24/7.37 YES 0.07/0.07
Stroeder_15/PastaB11.c 5152877 YES 8.94/3.12 YES 16.16/7.28 YES 0.03/0.03
Stroeder_15/svcomp_b.18.c 5152878 YES 9.18/3.09 YES 15.46/7.56 YES 0.03/0.03
Stroeder_15/NO_03.c 5152879 NO 7.04/2.55 NO 13.06/5.73 NO 0.40/0.23
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 5152880 YES 5.96/2.38 YES 14.95/7.70 YES 0.03/0.03
Stroeder_15/DivWithoutMinus.c 5152881 NO 43.05/11.79 NO 17.22/8.06 NO 67.17/31.75
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 5152882 YES 7.42/2.68 YES 13.12/6.57 YES 0.03/0.03
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 5152883 YES 16.27/5.06 YES 23.85/14.25 YES 0.08/0.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 5152884 YES 7.84/2.84 YES 17.26/10.74 YES 3.51/1.59
Stroeder_15/Ex02.c 5152885 NO 8.61/3.14 NO 13.00/5.93 NO 0.34/0.13
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 5152886 YES 5.31/2.17 MAYBE 20.06/8.22 MAYBE 25.96/9.33
Stroeder_15/NonTerminationSimple7_false-termination.c 5152887 NO 6.87/2.47 NO 11.43/5.33 NO 5.52/4.28
Stroeder_15/svcomp_c.07.c 5152888 YES 5.84/2.25 YES 24.82/18.30 YES 0.03/0.03
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 5152889 NO 10.24/3.40 NO 13.37/6.45 NO 38.18/17.11
Stroeder_15/PastaA7.c 5152890 YES 5.19/2.13 YES 13.03/6.48 YES 0.02/0.02
Stroeder_15/Benghazi_true-termination.c 5152891 YES 10.54/3.46 YES 17.59/10.61 YES 0.13/0.06
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 5152892 NO 9.55/3.21 NO 12.55/5.59 NO 5.56/4.27
Stroeder_15/DoubleNeg.c 5152893 memout [out] MAYBE 21.34/8.83 MAYBE 56.11/25.36
Stroeder_15/svcomp_b.03-no-inv_assume.c 5152894 YES 9.82/3.37 YES 14.17/6.96 YES 0.07/0.04
Stroeder_15/svcomp_java_Sequence.c 5152895 YES 6.37/2.46 YES 13.77/6.49 YES 0.06/0.07
Stroeder_15/Pure2Phase_true-termination.c 5152896 YES 6.68/2.46 YES 14.82/7.01 YES 0.03/0.03
Stroeder_15/Loop.c 5152897 NO 7.40/2.93 NO 12.02/5.60 NO 0.10/0.06
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 5152898 YES 10.25/3.36 YES 14.95/7.93 YES 0.44/0.18
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 5152899 YES 11.78/3.76 YES 13.25/6.29 YES 0.06/0.06
Stroeder_15/svcomp_b.09-no-inv_assume.c 5152900 YES 5.85/2.44 YES 16.74/7.97 YES 0.06/0.06
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 5152901 YES 12.03/8.00 YES 12.21/6.26 YES 0.06/0.06
Stroeder_15/gcd1_true-termination.c 5152902 YES 13.69/4.34 YES 16.95/8.64 YES 0.09/0.05
Stroeder_15/svcomp_b.03_assume.c 5152903 YES 4.57/1.94 YES 12.68/6.14 YES 0.02/0.02
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 5152904 YES 5.30/2.14 YES 15.55/7.24 YES 0.03/0.03
Stroeder_15/Urban-WST2013-Fig1_false-termination.c 5152905 NO 7.94/2.81 NO 10.37/5.66 NO 5.28/4.17
Stroeder_15/MirrorInterv.c 5152906 NO 13.99/4.39 NO 18.51/8.39 MAYBE 243.69/98.29
Stroeder_15/svcomp_b.01.c 5152907 YES 4.63/1.94 YES 13.17/6.53 YES 0.02/0.02
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 5152908 YES 4.73/2.06 YES 12.62/5.78 YES 0.02/0.02
Stroeder_15/Piecewise_true-termination.c 5152909 YES 49.19/13.37 YES 17.14/8.07 YES 0.04/0.04
Stroeder_15/PastaB17.c 5152910 YES 6.16/2.73 YES 15.16/7.05 YES 0.03/0.03
Stroeder_15/Cairo_true-termination.c 5152911 YES 9.97/3.37 YES 14.29/6.52 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 5152912 YES 5.03/2.17 MAYBE 19.59/8.06 MAYBE 25.81/9.34
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 5152913 YES 12.14/3.96 YES 37.71/9.32 YES 0.06/0.06
Stroeder_15/PastaB4.c 5152914 YES 5.58/2.29 YES 15.34/8.84 YES 0.02/0.02
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 5152915 memout [out] YES 18.51/8.33 timeout (wallclock) [out]
Stroeder_15/svcomp_a.04.c 5152916 YES 5.20/2.06 YES 13.34/6.30 YES 0.02/0.02
Stroeder_15/Even.c 5152917 NO 10.29/3.58 NO 12.81/6.11 NO 18.86/8.50
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 5152918 YES 7.23/2.71 YES 15.35/7.34 YES 0.03/0.03
Stroeder_15/svcomp_b.14.c 5152919 YES 6.97/2.48 YES 15.77/7.34 YES 0.03/0.03
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 5152920 YES 14.40/4.55 YES 27.92/19.94 YES 9.81/3.34
Stroeder_15/PlusSwap.c 5152921 YES 4.63/1.93 YES 15.60/8.40 YES 12.70/4.27
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 5152922 YES 4.78/1.97 YES 12.65/6.16 YES 0.02/0.02
Stroeder_15/Gauss.c 5152923 NO 10.02/3.44 NO 12.92/6.13 NO 46.82/20.97
Stroeder_15/svcomp_ex3a.c 5152924 YES 4.69/1.93 MAYBE 22.62/9.12 MAYBE 30.03/15.58
Stroeder_15/WhileSingle.c 5152925 NO 8.65/2.90 NO 14.57/6.48 NO 0.19/0.13
Stroeder_15/PastaA8.c 5152926 YES 4.84/1.99 YES 11.99/6.01 YES 0.02/0.02
Stroeder_15/WhileTrue_false-termination.c 5152927 NO 4.88/2.00 NO 11.33/5.60 NO 0.04/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 5152928 YES 4.59/1.95 YES 12.98/6.10 YES 0.02/0.02
Stroeder_15/Stockholm_true-termination.c 5152929 YES 9.99/3.46 YES 16.68/9.44 YES 0.08/0.05
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 5152930 YES 9.55/3.23 YES 17.99/8.31 YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 5152931 YES 4.68/2.49 YES 12.21/6.19 YES 0.02/0.02
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 5152932 YES 4.76/2.05 YES 12.90/6.24 YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 5152933 YES 5.11/2.54 YES 14.94/7.79 YES 1.54/0.55
Stroeder_15/PastaA10.c 5152934 YES 28.98/8.30 YES 15.95/7.72 YES 0.06/0.06
Stroeder_15/Ex01.c 5152935 NO 7.05/2.62 NO 13.04/5.99 NO 18.67/8.36
Stroeder_15/AlternDivWide.c 5152936 NO 15.94/4.79 NO 16.63/7.65 NO 30.5/11.93
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 5152937 YES 4.96/2.01 YES 12.33/5.74 YES 0.02/0.02
Stroeder_15/Nested.c 5152938 YES 5.12/2.21 YES 14.00/7.15 YES 0.05/0.05
Stroeder_15/aaron2_true-termination.c 5152939 YES 6.47/2.38 YES 13.25/6.53 YES 0.03/0.03
Stroeder_15/svcomp_b.12.c 5152940 YES 9.83/3.35 YES 15.76/7.08 YES 0.03/0.03
Stroeder_15/ComplInterv.c 5152941 MAYBE 42.01/16.65 MAYBE 19.56/8.23 MAYBE 18.78/8.39
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 5152942 YES 8.65/3.02 YES 17.18/8.76 YES 0.06/0.06
Stroeder_15/GCD2.c 5152943 NO 11.50/3.65 NO 11.88/5.64 NO 13.49/6.78
Stroeder_15/svcomp_c.08.c 5152944 YES 6.20/2.70 YES 14.34/8.11 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 5152945 YES 6.11/2.38 YES 13.03/6.51 YES 3.78/1.29
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 5152946 YES 6.18/2.34 YES 14.26/6.96 YES 0.03/0.03
Stroeder_15/NonTerminationSimple9_false-termination.c 5152947 NO 10.09/3.36 NO 11.18/6.42 NO 5.40/4.23
Stroeder_15/Flip2.c 5152948 NO 24.59/7.07 NO 17.90/9.28 NO 43.37/14.20
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 5152949 NO 9.25/3.11 NO 10.98/5.64 NO 9.98/5.39
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 5152950 YES 9.75/3.26 YES 20.52/9.81 YES 0.49/0.18
Stroeder_15/Et2.c 5152951 NO 16.19/9.59 NO 12.10/5.76 NO 5.43/4.24
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 5152952 YES 7.13/2.63 YES 13.20/6.37 YES 0.45/0.17
Stroeder_15/TrueDiv.c 5152953 NO 9.72/3.20 NO 12.51/6.25 NO 18.81/8.41
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 5152954 YES 5.52/2.14 YES 24.68/18.13 YES 0.02/0.03
Stroeder_15/Cousot.c 5152955 NO 9.54/3.27 NO 13.07/7.24 NO 56.02/25.09
Stroeder_15/AlternDivWidening.c 5152956 NO 39.84/10.96 NO 17.33/8.02 NO 52.43/21.37
Stroeder_15/svcomp_java_Break.c 5152957 YES 4.42/1.96 YES 12.17/6.17 YES 0.02/0.02
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 5152958 YES 6.81/2.47 YES 14.45/6.69 YES 0.03/0.03
Stroeder_15/TwoFloatInterv.c 5152959 NO 19.67/3.33 NO 15.54/7.32 NO 5.65/2.66
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 5152960 YES 7.31/2.70 YES 12.86/6.56 YES 0.06/0.04
Stroeder_15/Gothenburg_true-termination.c 5152961 YES 39.38/11.03 YES 21.93/12.52 YES 0.29/0.12
Stroeder_15/svcomp_fermat.c 5152962 YES 27.24/7.76 YES 32.34/22.46 YES 4.16/4.16
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 5152963 YES 9.86/3.30 YES 14.81/8.20 YES 1.42/0.45
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 5152964 YES 75.66/20.11 timeout (wallclock) [out] YES 15.93/8.00
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 5152965 YES 6.69/2.43 YES 14.54/6.76 YES 0.03/0.03
Stroeder_15/svcomp_ex3b.c 5152966 YES 5.47/2.19 MAYBE 24.51/9.47 MAYBE 50.60/25.86
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 5152967 YES 8.36/3.00 YES 17.12/8.69 YES 0.04/0.04
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 5152968 YES 9.33/3.23 YES 16.60/7.81 YES 0.03/0.03
Stroeder_15/NO_02.c 5152969 NO 6.44/2.50 NO 11.57/5.74 NO 0.09/0.06
Stroeder_15/genady_true-termination.c 5152970 YES 4.65/2.00 YES 12.74/6.07 YES 0.02/0.02
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 5152971 YES 5.48/2.17 YES 13.16/6.30 YES 0.03/0.03
Stroeder_15/WhileIncrPart.c 5152972 NO 9.04/3.05 NO 15.33/7.08 NO 18.87/8.45
Stroeder_15/Pure3Phase_true-termination.c 5152973 YES 26.16/7.52 timeout (wallclock) [out] YES 24.93/9.00
Stroeder_15/svcomp_b.10.c 5152974 YES 6.25/2.37 YES 15.03/7.00 YES 0.03/0.03
Stroeder_15/NO_23.c 5152975 NO 6.21/2.40 NO 17.52/7.75 NO 26.31/16.67
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 5152976 YES 9.39/3.20 YES 14.57/8.21 YES 0.43/0.17
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 5152977 YES 6.58/2.47 YES 14.16/6.69 YES 0.03/0.03
Stroeder_15/svcomp_easySum.c 5152978 YES 4.53/1.93 YES 13.38/6.18 YES 0.02/0.02
Stroeder_15/svcomp_a.01.c 5152979 YES 6.24/2.39 YES 14.90/7.03 YES 0.03/0.03
Stroeder_15/WhileDecr.c 5152980 YES 4.75/1.91 YES 13.27/6.02 YES 0.02/0.02
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 5152981 YES 5.28/2.13 YES 12.65/6.35 YES 0.03/0.03
Stroeder_15/NonTerminationSimple2_false-termination.c 5152982 NO 7.86/2.85 NO 12.37/6.07 NO 18.69/8.37
Stroeder_15/PastaA6.c 5152983 YES 4.90/2.09 YES 14.92/8.12 YES 0.02/0.02
Stroeder_15/Urban-WST2013-Fig2_true-termination.c 5152984 YES 6.31/2.34 YES 18.08/8.41 YES 4.14/4.14
Stroeder_15/svcomp_b.07.c 5152985 YES 4.92/2.04 YES 13.26/6.46 YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 5152986 NO 9.40/3.23 NO 11.46/5.50 NO 10.19/5.47
313 309 315