Termination Competition 2018: C Integer30049

Job info CSV
benchmark AProVE c UltimateAutomizer default VeryMax-termCOMP17 termcomp17
C_Integer/Ton_Chanh_15/Hanoi_3vars_false-termination.c 5152652 NO 23.43/7.11 MAYBE 9.57/4.31 NO 140.19/61.49
C_Integer/Ton_Chanh_15/2Nested_false-termination.c 5152653 NO 17.75/5.24 MAYBE 9.73/3.93 NO 47.00/20.97
C_Integer/Ton_Chanh_15/Cairo_nondet_false-termination.c 5152654 NO 8.68/2.89 MAYBE 9.09/4.33 NO 18.79/8.39
C_Integer/Ton_Chanh_15/Bangalore_false-termination.c 5152655 NO 10.77/3.30 MAYBE 8.62/3.85 NO 5.47/4.24
C_Integer/Ton_Chanh_15/Singapore_plus_false-termination.c 5152656 NO 17.65/5.21 MAYBE 9.92/5.11 NO 46.88/20.98
C_Integer/Ton_Chanh_15/Singapore_v2_false-termination.c 5152657 run script error [out] MAYBE 9.19/5.20 NO 47.18/21.13
C_Integer/Ton_Chanh_15/McCarthy91_Iteration_true-termination.c 5152658 YES 6.12/2.38 MAYBE 8.73/3.91 YES 0.21/0.22
C_Integer/Ton_Chanh_15/Cairo_step2_false-termination.c 5152659 NO 9.97/2.98 MAYBE 9.14/4.22 MAYBE 42.03/19.30
C_Integer/Ton_Chanh_15/Copenhagen_disj_true-termination.c 5152660 YES 33.47/9.36 MAYBE 9.28/3.97 MAYBE 111.55/35.85
C_Integer/Ton_Chanh_15/Gothenburg_v2_true-termination.c 5152661 run script error [out] MAYBE 9.30/4.01 YES 0.38/0.16
C_Integer/Ton_Chanh_15/Hanoi_2vars_false-termination.c 5152662 NO 17.58/5.13 MAYBE 9.31/4.15 NO 47.12/21.09
C_Integer/Ton_Chanh_15/Mysore_false-termination.c 5152663 NO 9.15/3.03 MAYBE 8.86/4.19 NO 47.07/21.09
C_Integer/Ton_Chanh_15/Benghazi_nondet_true-termination.c 5152664 YES 11.08/3.53 run script error [out] YES 7.58/2.57
C_Integer/Ton_Chanh_15/Singapore_v1_false-termination.c 5152665 run script error [out] MAYBE 9.54/4.19 NO 47.06/21.04
C_Integer/Ton_Chanh_15/Bangalore_v3_false-termination.c 5152666 NO 9.39/3.04 MAYBE 9.20/4.02 NO 5.57/4.27
C_Integer/Ton_Chanh_15/Bangalore_v2_false-termination.c 5152667 NO 8.94/2.94 MAYBE 9.55/4.07 NO 5.62/4.31
C_Integer/Ton_Chanh_15/Hanoi_plus_false-termination.c 5152668 NO 41.82/11.23 MAYBE 9.22/4.14 NO 172.17/121.28
C_Integer/Ton_Chanh_15/Singapore_true-termination.c 5152669 run script error [out] MAYBE 8.70/3.91 YES 0.36/0.14
C_Integer/Ton_Chanh_15/Bangalore_v4_true-termination.c 5152670 YES 6.15/2.28 MAYBE 8.83/4.03 YES 0.06/0.04
C_Integer/Stroeder_15/Bangalore_true-termination.c 5152671 YES 10.44/3.38 MAYBE 9.54/4.26 YES 0.07/0.04
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 5152672 YES 36.77/12.42 MAYBE 8.84/3.97 YES 0.44/0.21
C_Integer/Stroeder_15/svcomp_b.02.c 5152673 YES 4.71/1.86 MAYBE 10.14/4.21 YES 0.02/0.03
C_Integer/Stroeder_15/LogMult.c 5152674 timeout (wallclock) [out] MAYBE 8.90/4.13 MAYBE 39.56/22.97
C_Integer/Stroeder_15/Ex03.c 5152675 NO 9.37/3.09 MAYBE 8.82/3.85 NO 0.29/0.11
C_Integer/Stroeder_15/Mysore_true-termination.c 5152676 YES 9.71/3.25 MAYBE 8.81/4.73 YES 0.12/0.06
C_Integer/Stroeder_15/Ex07.c 5152677 NO 11.30/4.13 MAYBE 8.89/4.01 NO 0.14/0.07
C_Integer/Stroeder_15/svcomp_b.05.c 5152678 YES 4.83/1.97 MAYBE 9.48/4.07 YES 0.02/0.03
C_Integer/Stroeder_15/NonTermination1_false-termination.c 5152679 NO 7.08/2.46 MAYBE 8.94/3.94 NO 18.86/8.45
C_Integer/Stroeder_15/easy2_true-termination.c 5152680 YES 4.54/1.84 MAYBE 8.27/3.79 YES 0.02/0.02
C_Integer/Stroeder_15/ConvLower.c 5152681 NO 9.96/3.33 MAYBE 9.31/3.92 NO 0.35/0.12
C_Integer/Stroeder_15/PastaB3.c 5152682 YES 9.53/3.11 MAYBE 9.08/4.41 YES 0.07/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 5152683 YES 9.34/3.08 MAYBE 8.92/3.94 YES 0.58/0.23
C_Integer/Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c 5152684 NO 8.88/3.01 MAYBE 9.37/4.20 NO 5.41/4.24
C_Integer/Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c 5152685 YES 6.04/2.20 MAYBE 8.92/4.12 YES 4.16/4.17
C_Integer/Stroeder_15/TelAviv-Amir-Minimum_true-termination.c 5152686 run script error [out] MAYBE 9.65/3.92 YES 0.06/0.06
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c 5152687 YES 13.66/4.13 MAYBE 8.72/4.03 YES 0.09/0.05
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 5152688 YES 8.82/2.93 MAYBE 9.22/3.99 YES 0.39/0.16
C_Integer/Stroeder_15/Factorial.c 5152689 run script error [out] MAYBE 9.31/3.95 MAYBE 47.98/25.01
C_Integer/Stroeder_15/DivMinus.c 5152690 YES 5.14/1.89 MAYBE 9.13/3.99 YES 0.02/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c 5152691 run script error [out] MAYBE 8.80/3.95 MAYBE 100.58/37.64
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c 5152692 YES 6.55/2.42 MAYBE 9.16/4.00 YES 0.03/0.03
C_Integer/Stroeder_15/svcomp_a.05.c 5152693 YES 5.37/2.18 MAYBE 8.59/4.03 YES 0.02/0.02
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c 5152694 NO 14.04/4.29 MAYBE 9.01/4.14 NO 23.62/9.66
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 5152695 YES 46.05/12.37 MAYBE 8.87/3.80 MAYBE 47.19/21.36
C_Integer/Stroeder_15/Ex04.c 5152696 NO 6.85/2.44 MAYBE 9.56/3.97 NO 18.56/8.33
C_Integer/Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c 5152697 YES 6.11/2.21 MAYBE 9.31/4.22 YES 0.07/0.08
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 5152698 YES 12.23/3.98 MAYBE 8.76/4.22 YES 0.10/0.06
C_Integer/Stroeder_15/ComplxStruc.c 5152699 MAYBE 17.75/10.11 MAYBE 9.43/4.09 NO 60.66/27.25
C_Integer/Stroeder_15/Fibonacci.c 5152700 NO 10.25/3.39 MAYBE 9.28/3.91 NO 52.47/26.76
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 5152701 YES 8.48/2.95 MAYBE 9.22/4.00 YES 0.03/0.03
C_Integer/Stroeder_15/WhileNestedOffset.c 5152702 NO 8.91/3.09 MAYBE 9.71/4.05 NO 23.91/13.49
C_Integer/Stroeder_15/PastaB16.c 5152703 YES 6.10/2.18 MAYBE 9.44/4.16 YES 0.03/0.03
C_Integer/Stroeder_15/NonTerminationSimple5_false-termination.c 5152704 NO 8.57/2.89 MAYBE 9.56/3.94 NO 5.97/4.37
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c 5152705 YES 5.12/2.03 MAYBE 9.30/3.92 YES 0.02/0.03
C_Integer/Stroeder_15/GCD4.c 5152706 YES 8.36/2.81 MAYBE 8.59/4.07 YES 0.05/0.05
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c 5152707 YES 6.84/2.44 MAYBE 8.77/4.04 YES 0.03/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c 5152708 YES 9.76/3.27 MAYBE 8.88/3.97 YES 0.27/0.22
C_Integer/Stroeder_15/PastaB14.c 5152709 YES 5.75/2.19 MAYBE 8.82/4.16 YES 0.03/0.03
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 5152710 YES 9.72/3.35 MAYBE 8.54/3.95 YES 0.68/0.36
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c 5152711 YES 6.35/2.29 MAYBE 9.49/4.18 YES 0.03/0.04
C_Integer/Stroeder_15/PastaB1.c 5152712 YES 4.75/1.84 MAYBE 9.39/4.12 YES 0.02/0.03
C_Integer/Stroeder_15/PastaC7.c 5152713 YES 5.77/2.16 MAYBE 9.24/3.99 YES 0.02/0.03
C_Integer/Stroeder_15/svcomp_b.04.c 5152714 YES 5.43/2.03 MAYBE 8.62/4.15 YES 0.02/0.02
C_Integer/Stroeder_15/UpAndDown.c 5152715 NO 504.39/126.95 MAYBE 9.35/4.01 NO 11.40/5.62
C_Integer/Stroeder_15/McCarthyIterative.c 5152716 YES 7.24/2.58 MAYBE 9.23/4.12 YES 0.20/0.21
C_Integer/Stroeder_15/MenloPark_true-termination.c 5152717 MAYBE 37.03/14.26 MAYBE 9.35/3.87 YES 0.14/0.07
C_Integer/Stroeder_15/Lcm.c 5152718 NO 9.24/3.11 MAYBE 9.59/4.24 NO 15.59/8.30
C_Integer/Stroeder_15/svcomp_a.08.c 5152719 YES 4.64/1.92 MAYBE 9.26/4.00 YES 0.02/0.03
C_Integer/Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c 5152720 YES 128.89/35.52 MAYBE 8.78/4.14 YES 0.17/0.09
C_Integer/Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c 5152721 YES 5.20/2.02 MAYBE 9.28/3.92 YES 0.02/0.03
C_Integer/Stroeder_15/NO_01.c 5152722 NO 7.31/2.83 MAYBE 9.24/4.17 NO 0.12/0.06
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c 5152723 YES 6.97/2.50 MAYBE 8.83/4.06 YES 0.03/0.03
C_Integer/Stroeder_15/NonTermination4_false-termination.c 5152724 NO 8.47/2.89 MAYBE 9.23/3.99 NO 49.90/28.13
C_Integer/Stroeder_15/svcomp_a.07.c 5152725 YES 4.84/1.97 MAYBE 9.43/4.15 YES 0.02/0.03
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 5152726 YES 7.77/2.78 MAYBE 8.79/4.00 YES 0.03/0.04
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c 5152727 YES 7.27/2.57 MAYBE 9.39/4.18 YES 0.03/0.05
C_Integer/Stroeder_15/svcomp_java_Continue1.c 5152728 YES 5.29/2.03 MAYBE 9.20/4.09 YES 0.04/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c 5152729 YES 7.77/2.64 MAYBE 9.61/4.02 YES 2.80/1.41
C_Integer/Stroeder_15/AlternKonv.c 5152730 NO 17.96/5.23 MAYBE 9.22/3.91 MAYBE 25.18/7.71
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 5152731 NO 29.76/8.28 MAYBE 8.79/3.94 NO 46.98/21.01
C_Integer/Stroeder_15/UpAndDownIneq.c 5152732 NO 111.67/28.70 MAYBE 8.94/4.15 NO 12.02/5.75
C_Integer/Stroeder_15/svcomp_java_Nested.c 5152733 YES 6.59/2.41 MAYBE 9.10/4.10 YES 0.52/0.53
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c 5152734 run script error [out] MAYBE 9.26/4.20 MAYBE 47.89/16.16
C_Integer/Stroeder_15/svcomp_flag.c 5152735 YES 7.60/2.73 MAYBE 9.32/4.23 YES 0.05/0.05
C_Integer/Stroeder_15/svcomp_c.01-no-inv.c 5152736 YES 10.35/3.30 MAYBE 9.39/3.90 YES 0.13/0.07
C_Integer/Stroeder_15/NO_13.c 5152737 NO 9.47/6.73 MAYBE 8.84/3.93 NO 26.01/11.70
C_Integer/Stroeder_15/Nyala-2lex_true-termination.c 5152738 YES 6.35/2.30 MAYBE 8.84/3.96 YES 0.03/0.03
C_Integer/Stroeder_15/Toulouse-BranchesToLoop_true-termination.c 5152739 YES 25.23/7.23 MAYBE 9.21/4.06 YES 0.20/0.09
C_Integer/Stroeder_15/WhileNested.c 5152740 NO 9.17/3.16 MAYBE 9.21/3.91 NO 23.90/13.48
C_Integer/Stroeder_15/svcomp_a.09_assume.c 5152741 YES 5.69/2.13 MAYBE 9.23/4.70 YES 0.02/0.03
C_Integer/Stroeder_15/min_rf_true-termination.c 5152742 YES 30.73/8.77 MAYBE 9.36/4.09 YES 0.08/0.09
C_Integer/Stroeder_15/PastaC9.c 5152743 YES 6.79/2.46 MAYBE 8.80/3.85 YES 0.03/0.03
C_Integer/Stroeder_15/Middle.c 5152744 NO 8.87/2.94 MAYBE 8.80/4.20 NO 59.13/26.09
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c 5152745 NO 31.99/10.90 MAYBE 9.49/3.92 NO 168.68/72.44
C_Integer/Stroeder_15/svcomp_b.16.c 5152746 YES 6.77/2.46 MAYBE 9.16/5.64 YES 0.03/0.03
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 5152747 YES 10.39/3.40 MAYBE 9.23/4.14 YES 0.17/0.08
C_Integer/Stroeder_15/NonTerminationSimple6_false-termination.c 5152748 NO 8.91/3.04 MAYBE 8.91/4.08 NO 18.74/8.36
C_Integer/Stroeder_15/MirrorIntervSim.c 5152749 NO 9.93/3.27 MAYBE 9.64/4.14 NO 16.92/6.91
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c 5152750 YES 6.15/2.31 MAYBE 9.59/4.15 YES 3.73/1.27
C_Integer/Stroeder_15/Overflow.c 5152751 YES 4.64/1.83 MAYBE 8.62/3.98 YES 0.02/0.02
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 5152752 NO 10.66/3.48 MAYBE 9.35/4.19 NO 20.46/8.95
C_Integer/Stroeder_15/NO_21.c 5152753 NO 6.15/2.31 MAYBE 8.73/3.97 NO 0.11/0.06
C_Integer/Stroeder_15/PastaA5.c 5152754 YES 4.40/1.77 MAYBE 9.80/4.12 YES 0.02/0.02
C_Integer/Stroeder_15/NonTerminationSimple4_false-termination.c 5152755 NO 8.94/3.00 MAYBE 9.71/4.14 NO 47.60/24.87
C_Integer/Stroeder_15/svcomp_java_AG313.c 5152756 YES 6.77/2.41 MAYBE 9.33/4.20 YES 0.03/0.03
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 5152757 YES 24.58/6.92 MAYBE 8.92/4.28 YES 0.25/0.10
C_Integer/Stroeder_15/NonTerminationSimple8_false-termination.c 5152758 NO 9.26/3.02 MAYBE 9.48/4.10 NO 21.58/9.30
C_Integer/Stroeder_15/svcomp_b.09_assume.c 5152759 YES 8.18/2.78 MAYBE 9.16/4.00 YES 0.03/0.03
C_Integer/Stroeder_15/aaron3_true-termination.c 5152760 YES 14.74/4.41 MAYBE 8.81/3.94 YES 2.32/0.85
C_Integer/Stroeder_15/easy1_true-termination.c 5152761 YES 7.78/2.76 MAYBE 9.97/3.89 YES 0.03/0.04
C_Integer/Stroeder_15/NarrowKonv.c 5152762 run script error [out] MAYBE 8.66/3.95 NO 1.28/0.61
C_Integer/Stroeder_15/PastaB15.c 5152763 YES 5.33/2.09 MAYBE 8.69/6.05 YES 0.03/0.03
C_Integer/Stroeder_15/ComplInterv2.c 5152764 NO 8.72/2.98 MAYBE 8.89/4.04 NO 5.44/4.23
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c 5152765 YES 15.57/4.44 MAYBE 8.78/4.18 YES 0.66/0.25
C_Integer/Stroeder_15/Flip.c 5152766 NO 9.43/3.18 MAYBE 9.05/3.98 NO 33.53/12.31
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 5152767 YES 8.84/3.06 MAYBE 9.14/4.04 YES 0.07/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 5152768 YES 5.18/2.00 MAYBE 9.66/4.15 YES 0.02/0.03
C_Integer/Stroeder_15/PastaA4.c 5152769 YES 4.73/1.88 MAYBE 9.39/4.08 YES 0.02/0.03
C_Integer/Stroeder_15/Ex06.c 5152770 NO 9.71/3.14 MAYBE 9.07/3.94 NO 0.39/0.14
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c 5152771 YES 8.36/2.85 MAYBE 8.90/3.94 YES 0.06/0.04
C_Integer/Stroeder_15/PastaA1.c 5152772 YES 6.14/2.23 MAYBE 9.16/4.85 YES 0.03/0.03
C_Integer/Stroeder_15/NonTerminationSimple3_false-termination.c 5152773 NO 8.62/2.88 MAYBE 9.60/4.42 NO 5.71/4.32
C_Integer/Stroeder_15/PastaC2.c 5152774 YES 5.39/2.06 MAYBE 9.15/4.00 YES 0.04/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 5152775 YES 5.48/3.44 MAYBE 8.87/4.16 YES 0.25/0.11
C_Integer/Stroeder_15/svcomp_b.11.c 5152776 YES 8.26/2.81 MAYBE 9.78/4.15 YES 0.03/0.04
C_Integer/Stroeder_15/svcomp_c.01_assume.c 5152777 YES 13.01/6.94 MAYBE 8.65/4.07 YES 0.04/0.05
C_Integer/Stroeder_15/svcomp_b.13.c 5152778 YES 9.00/2.95 MAYBE 8.22/4.07 YES 0.03/0.04
C_Integer/Stroeder_15/svcomp_c.03.c 5152779 YES 7.53/2.63 MAYBE 9.12/4.04 YES 0.03/0.03
C_Integer/Stroeder_15/Madrid_false-termination.c 5152780 NO 5.59/2.11 MAYBE 9.31/4.72 NO 0.03/0.03
C_Integer/Stroeder_15/NO_12.c 5152781 NO 11.55/3.18 MAYBE 9.11/4.22 NO 55.80/29.07
C_Integer/Stroeder_15/Rotation180_false-termination.c 5152782 NO 9.02/3.29 MAYBE 9.42/4.22 NO 5.17/4.15
C_Integer/Stroeder_15/Choose.c 5152783 NO 11.55/3.74 MAYBE 11.12/4.50 NO 24.10/13.71
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 5152784 YES 6.64/2.40 MAYBE 9.23/4.14 YES 1.02/0.37
C_Integer/Stroeder_15/PastaC1.c 5152785 YES 9.72/3.17 MAYBE 9.70/4.15 YES 0.10/0.06
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 5152786 YES 15.79/4.87 MAYBE 8.89/4.01 YES 0.13/0.07
C_Integer/Stroeder_15/PastaB2.c 5152787 YES 4.88/1.90 MAYBE 9.30/3.94 YES 0.02/0.03
C_Integer/Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 5152788 NO 8.83/3.19 MAYBE 9.78/4.07 NO 6.63/4.65
C_Integer/Stroeder_15/MinusBuiltIn.c 5152789 YES 4.73/1.89 MAYBE 8.99/4.25 YES 0.02/0.03
C_Integer/Stroeder_15/svcomp_a.10.c 5152790 YES 5.94/2.16 MAYBE 9.34/4.11 YES 0.12/0.07
C_Integer/Stroeder_15/Sunset.c 5152791 NO 37.17/10.10 MAYBE 8.74/3.95 NO 63.89/24.61
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c 5152792 YES 10.14/3.26 MAYBE 8.77/4.08 YES 0.35/0.16
C_Integer/Stroeder_15/AlternDiv.c 5152793 NO 12.01/3.73 MAYBE 8.74/3.75 NO 25.80/9.47
C_Integer/Stroeder_15/svcomp_b.17.c 5152794 YES 6.13/2.22 MAYBE 9.01/4.05 YES 0.03/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 5152795 YES 7.46/2.67 MAYBE 8.93/4.09 YES 0.25/0.11
C_Integer/Stroeder_15/PastaB6.c 5152796 YES 5.88/2.26 MAYBE 9.21/4.02 YES 0.02/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c 5152797 NO 10.06/3.24 MAYBE 9.16/3.98 NO 35.86/12.22
C_Integer/Stroeder_15/svcomp_ex1.c 5152798 YES 4.99/1.95 MAYBE 8.66/4.08 YES 0.02/0.02
C_Integer/Stroeder_15/NO_24.c 5152799 NO 8.95/3.00 MAYBE 9.60/4.15 NO 1.70/1.08
C_Integer/Stroeder_15/PastaC3.c 5152800 YES 6.20/2.27 MAYBE 9.31/4.10 YES 0.03/0.04
C_Integer/Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c 5152801 run script error [out] MAYBE 9.21/3.99 MAYBE 42.75/14.05
C_Integer/Stroeder_15/Ex08.c 5152802 NO 58.87/15.52 MAYBE 8.71/4.04 NO 14.48/5.76
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 5152803 YES 7.82/2.77 MAYBE 8.77/4.00 YES 0.67/0.26
C_Integer/Stroeder_15/Et4.c 5152804 NO 20.50/6.00 MAYBE 8.91/3.97 NO 16.40/5.91
C_Integer/Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 5152805 YES 12.82/4.04 MAYBE 9.30/3.97 YES 20.09/6.86
C_Integer/Stroeder_15/WhileTrue.c 5152806 NO 7.58/3.39 MAYBE 9.26/3.99 NO 18.55/8.31
C_Integer/Stroeder_15/NonTermination2_false-termination.c 5152807 timeout (wallclock) [out] MAYBE 9.01/4.21 NO 60.98/27.68
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 5152808 YES 9.19/3.07 MAYBE 8.65/4.12 YES 0.43/0.17
C_Integer/Stroeder_15/Velroyen_false-termination.c 5152809 NO 10.40/3.40 MAYBE 9.12/4.20 NO 27.71/9.89
C_Integer/Stroeder_15/svcomp_b.15.c 5152810 YES 6.24/2.25 MAYBE 9.31/4.10 YES 0.03/0.04
C_Integer/Stroeder_15/ComplInterv3.c 5152811 NO 8.85/2.96 MAYBE 9.34/4.10 NO 19.80/8.76
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c 5152812 YES 9.57/3.11 MAYBE 9.30/4.17 YES 0.10/0.17
C_Integer/Stroeder_15/collatz.c 5152813 run script error [out] MAYBE 9.26/4.08 MAYBE 46.62/17.42
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 5152814 YES 9.82/3.29 MAYBE 9.67/4.05 YES 0.61/0.24
C_Integer/Stroeder_15/Waldkirch_true-termination.c 5152815 YES 4.27/1.73 MAYBE 8.68/4.00 YES 0.02/0.02
C_Integer/Stroeder_15/MinusUserDefined.c 5152816 YES 8.78/2.95 MAYBE 9.01/4.12 YES 0.03/0.04
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c 5152817 NO 8.73/2.97 MAYBE 10.12/3.92 NO 13.73/6.82
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c 5152818 YES 20.63/6.00 MAYBE 9.18/4.16 YES 0.17/0.08
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c 5152819 YES 5.13/2.05 MAYBE 9.44/4.14 YES 0.02/0.03
C_Integer/Stroeder_15/Narrowing.c 5152820 run script error [out] MAYBE 9.54/4.19 NO 64.51/27.95
C_Integer/Stroeder_15/WhileFalse_true-termination.c 5152821 YES 3.44/1.69 MAYBE 9.09/4.19 YES 0.02/0.02
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 5152822 YES 4.60/1.83 MAYBE 8.78/4.13 YES 0.56/0.22
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 5152823 YES 5.16/2.06 MAYBE 9.40/4.01 YES 0.33/0.14
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 5152824 YES 8.01/2.74 MAYBE 8.82/3.85 YES 0.03/0.04
C_Integer/Stroeder_15/4NestedWith3Variables_true-termination.c 5152825 YES 19.66/5.75 MAYBE 9.26/4.23 YES 67.46/28.81
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 5152826 YES 9.22/3.02 MAYBE 8.54/3.91 YES 0.09/0.06
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 5152827 YES 6.31/2.30 MAYBE 9.52/4.03 YES 0.04/0.04
C_Integer/Stroeder_15/DivMinus2.c 5152828 YES 10.45/3.38 MAYBE 9.66/4.11 YES 0.05/0.06
C_Integer/Stroeder_15/Et1.c 5152829 YES 6.64/2.45 MAYBE 9.37/4.11 YES 0.54/0.21
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 5152830 YES 4.68/1.84 MAYBE 9.93/4.11 YES 0.02/0.03
C_Integer/Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c 5152831 YES 51.30/17.10 MAYBE 9.43/4.04 YES 0.11/0.07
C_Integer/Stroeder_15/WhilePart.c 5152832 NO 8.02/2.71 MAYBE 8.69/3.88 NO 5.32/4.19
C_Integer/Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 5152833 YES 4.82/1.99 MAYBE 9.37/4.03 YES 0.02/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c 5152834 YES 7.68/2.63 MAYBE 9.38/4.03 YES 3.17/1.10
C_Integer/Stroeder_15/PastaA9.c 5152835 YES 9.54/3.99 MAYBE 9.03/3.81 YES 0.07/0.05
C_Integer/Stroeder_15/GCD.c 5152836 NO 10.59/3.37 MAYBE 9.29/4.15 NO 56.10/21.39
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c 5152837 YES 10.49/3.40 MAYBE 9.21/3.90 YES 0.07/0.05
C_Integer/Stroeder_15/Swingers.c 5152838 NO 8.21/2.74 MAYBE 8.58/3.95 NO 6.16/4.81
C_Integer/Stroeder_15/svcomp_b.06.c 5152839 YES 4.42/2.02 MAYBE 9.58/4.84 YES 0.02/0.03
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c 5152840 YES 9.42/3.15 MAYBE 8.77/3.93 YES 1.53/1.53
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 5152841 YES 5.17/2.01 MAYBE 9.35/4.18 YES 0.02/0.03
C_Integer/Stroeder_15/NO_00.c 5152842 NO 5.87/2.23 MAYBE 8.59/4.68 NO 0.10/0.06
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 5152843 YES 5.68/2.21 MAYBE 9.15/4.91 YES 0.02/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c 5152844 NO 11.07/3.34 MAYBE 9.31/4.19 MAYBE 32.64/10.21
C_Integer/Stroeder_15/MinusMin.c 5152845 YES 8.79/2.91 MAYBE 9.16/4.22 YES 0.03/0.04
C_Integer/Stroeder_15/NO_10.c 5152846 NO 8.80/3.08 MAYBE 9.58/4.58 NO 65.08/34.14
C_Integer/Stroeder_15/IntPath.c 5152847 YES 6.32/2.38 MAYBE 9.29/3.93 YES 0.02/0.03
C_Integer/Stroeder_15/svcomp_a.06.c 5152848 YES 5.27/2.21 MAYBE 9.81/4.38 YES 0.02/0.03
C_Integer/Stroeder_15/svcomp_c.02.c 5152849 YES 5.64/2.22 MAYBE 9.44/3.94 YES 0.03/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 5152850 YES 8.50/2.94 MAYBE 8.83/7.19 YES 7.72/2.63
C_Integer/Stroeder_15/PastaB7.c 5152851 YES 4.54/1.86 MAYBE 8.92/4.10 YES 0.02/0.03
C_Integer/Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c 5152852 YES 8.52/2.87 MAYBE 8.88/3.95 YES 0.03/0.03
C_Integer/Stroeder_15/Marbie2.c 5152853 NO 8.00/2.72 MAYBE 9.22/3.96 NO 18.57/8.31
C_Integer/Stroeder_15/LogAG.c 5152854 YES 6.15/2.21 MAYBE 8.88/4.06 YES 0.03/0.03
C_Integer/Stroeder_15/Marbie1.c 5152855 NO 7.64/2.66 MAYBE 9.02/4.27 NO 18.73/8.37
C_Integer/Stroeder_15/Copenhagen_true-termination.c 5152856 YES 5.43/2.13 MAYBE 9.65/4.26 YES 0.02/0.03
C_Integer/Stroeder_15/Parallel_true-termination.c 5152857 YES 7.78/2.71 MAYBE 8.76/4.02 YES 0.03/0.03
C_Integer/Stroeder_15/WhileIncr.c 5152858 NO 8.24/2.91 MAYBE 9.69/4.17 NO 18.72/8.37
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c 5152859 YES 4.75/1.90 MAYBE 9.73/4.25 YES 0.02/0.02
C_Integer/Stroeder_15/svcomp_ex2.c 5152860 YES 11.98/3.81 MAYBE 9.47/4.22 MAYBE 337.93/167.47
C_Integer/Stroeder_15/ChooseLife.c 5152861 NO 11.22/3.65 MAYBE 8.66/3.99 NO 6.91/4.91
C_Integer/Stroeder_15/GCD3.c 5152862 YES 15.29/4.73 MAYBE 8.55/4.37 YES 0.10/0.07
C_Integer/Stroeder_15/Ex05.c 5152863 NO 5.91/2.28 MAYBE 8.56/3.85 NO 0.04/0.04
C_Integer/Stroeder_15/NO_04.c 5152864 NO 21.83/6.50 MAYBE 9.68/4.26 NO 16.02/13.80
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 5152865 YES 8.79/3.06 MAYBE 9.83/4.38 YES 0.10/0.06
C_Integer/Stroeder_15/NO_22.c 5152866 NO 11.76/3.62 MAYBE 9.40/4.29 NO 8.14/3.97
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 5152867 YES 10.24/3.42 MAYBE 9.34/5.15 YES 20.93/7.88
C_Integer/Stroeder_15/PastaC10.c 5152868 NO 19.60/5.65 MAYBE 9.38/4.98 NO 5.51/4.25
C_Integer/Stroeder_15/Thun_true-termination.c 5152869 YES 7.71/2.76 MAYBE 9.19/4.05 YES 3.66/1.27
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 5152870 YES 8.61/2.92 MAYBE 8.69/4.92 YES 0.04/0.04
C_Integer/Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c 5152871 YES 28.59/8.23 MAYBE 8.78/3.95 YES 0.23/0.12
C_Integer/Stroeder_15/2Nested_true-termination.c 5152872 YES 6.86/2.52 MAYBE 9.37/4.09 YES 0.20/0.09
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 5152873 YES 123.79/34.47 MAYBE 8.72/3.87 YES 1.29/0.52
C_Integer/Stroeder_15/Log.c 5152874 YES 8.48/2.98 MAYBE 9.26/3.91 YES 0.02/0.03
C_Integer/Stroeder_15/Sequence.c 5152875 YES 5.17/2.07 MAYBE 9.34/4.08 YES 0.02/0.03
C_Integer/Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c 5152876 YES 6.55/2.46 MAYBE 9.28/4.17 YES 0.10/0.07
C_Integer/Stroeder_15/PastaB11.c 5152877 YES 8.71/3.09 MAYBE 9.33/4.81 YES 0.03/0.03
C_Integer/Stroeder_15/svcomp_b.18.c 5152878 YES 9.25/3.06 MAYBE 9.31/4.24 YES 0.03/0.03
C_Integer/Stroeder_15/NO_03.c 5152879 NO 10.19/3.17 MAYBE 9.30/5.30 NO 0.36/0.21
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 5152880 YES 6.17/2.40 MAYBE 9.03/4.19 YES 0.03/0.03
C_Integer/Stroeder_15/DivWithoutMinus.c 5152881 NO 36.34/9.85 MAYBE 8.96/4.13 NO 66.19/31.62
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 5152882 YES 7.25/2.78 MAYBE 8.88/4.37 YES 0.03/0.03
C_Integer/Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c 5152883 YES 21.10/6.35 MAYBE 8.78/4.61 YES 0.14/0.08
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c 5152884 YES 7.22/2.73 MAYBE 9.37/4.13 YES 3.48/1.51
C_Integer/Stroeder_15/Ex02.c 5152885 NO 9.69/3.42 MAYBE 8.77/4.88 NO 0.37/0.12
C_Integer/Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c 5152886 YES 5.67/2.31 MAYBE 9.52/4.25 MAYBE 25.93/9.22
C_Integer/Stroeder_15/NonTerminationSimple7_false-termination.c 5152887 NO 7.42/2.76 MAYBE 9.72/4.57 NO 5.60/4.29
C_Integer/Stroeder_15/svcomp_c.07.c 5152888 YES 5.87/2.33 MAYBE 9.06/4.34 YES 0.03/0.03
C_Integer/Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c 5152889 NO 8.55/2.91 MAYBE 9.10/4.23 NO 38.34/17.10
C_Integer/Stroeder_15/PastaA7.c 5152890 YES 5.38/2.06 MAYBE 8.92/4.07 YES 0.02/0.03
C_Integer/Stroeder_15/Benghazi_true-termination.c 5152891 YES 9.89/3.41 MAYBE 9.28/4.03 YES 0.12/0.06
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c 5152892 NO 9.23/3.04 MAYBE 8.85/5.67 NO 5.55/4.28
C_Integer/Stroeder_15/DoubleNeg.c 5152893 run script error [out] MAYBE 9.40/4.04 MAYBE 56.12/25.39
C_Integer/Stroeder_15/svcomp_b.03-no-inv_assume.c 5152894 YES 9.14/3.11 MAYBE 8.89/4.06 YES 0.07/0.04
C_Integer/Stroeder_15/svcomp_java_Sequence.c 5152895 YES 6.29/2.41 MAYBE 8.91/4.10 YES 0.06/0.07
C_Integer/Stroeder_15/Pure2Phase_true-termination.c 5152896 YES 7.75/2.78 MAYBE 8.92/4.00 YES 0.03/0.03
C_Integer/Stroeder_15/Loop.c 5152897 NO 7.06/2.49 MAYBE 8.96/4.22 NO 0.10/0.06
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c 5152898 YES 9.39/3.17 MAYBE 10.18/4.17 YES 0.39/0.17
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c 5152899 YES 10.94/3.52 MAYBE 9.28/4.11 YES 0.06/0.06
C_Integer/Stroeder_15/svcomp_b.09-no-inv_assume.c 5152900 YES 6.98/2.59 MAYBE 9.21/4.16 YES 0.06/0.06
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c 5152901 YES 10.99/3.52 MAYBE 9.39/4.20 YES 0.05/0.06
C_Integer/Stroeder_15/gcd1_true-termination.c 5152902 YES 11.58/3.64 MAYBE 8.73/5.10 YES 0.08/0.05
C_Integer/Stroeder_15/svcomp_b.03_assume.c 5152903 YES 4.87/1.91 MAYBE 9.40/4.06 YES 0.02/0.03
C_Integer/Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c 5152904 YES 6.70/2.53 MAYBE 9.28/4.00 YES 0.03/0.03
C_Integer/Stroeder_15/Urban-WST2013-Fig1_false-termination.c 5152905 NO 7.61/2.69 MAYBE 9.68/4.84 NO 5.28/4.32
C_Integer/Stroeder_15/MirrorInterv.c 5152906 NO 13.89/4.31 MAYBE 9.24/4.09 MAYBE 234.17/95.50
C_Integer/Stroeder_15/svcomp_b.01.c 5152907 YES 4.92/2.10 MAYBE 9.42/4.13 YES 0.02/0.03
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 5152908 YES 4.54/2.02 MAYBE 9.62/5.32 YES 0.02/0.02
C_Integer/Stroeder_15/Piecewise_true-termination.c 5152909 YES 58.33/16.21 MAYBE 8.90/4.15 YES 0.04/0.10
C_Integer/Stroeder_15/PastaB17.c 5152910 YES 5.73/2.42 MAYBE 10.56/4.41 YES 0.03/0.04
C_Integer/Stroeder_15/Cairo_true-termination.c 5152911 YES 9.24/3.12 MAYBE 9.33/4.18 YES 0.03/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c 5152912 YES 5.75/2.30 MAYBE 9.19/3.94 MAYBE 25.79/9.24
C_Integer/Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 5152913 YES 18.08/6.31 MAYBE 9.82/5.37 YES 0.06/0.07
C_Integer/Stroeder_15/PastaB4.c 5152914 YES 4.53/1.98 MAYBE 9.55/5.15 YES 0.02/0.03
C_Integer/Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 5152915 run script error [out] MAYBE 9.81/4.13 timeout (wallclock) [out]
C_Integer/Stroeder_15/svcomp_a.04.c 5152916 YES 5.50/3.14 MAYBE 9.26/4.60 YES 0.02/0.03
C_Integer/Stroeder_15/Even.c 5152917 NO 10.21/3.47 MAYBE 8.73/4.05 NO 18.76/8.38
C_Integer/Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c 5152918 YES 9.62/3.91 MAYBE 8.76/3.99 YES 0.03/0.04
C_Integer/Stroeder_15/svcomp_b.14.c 5152919 YES 7.51/2.66 MAYBE 9.48/4.38 YES 0.03/0.03
C_Integer/Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 5152920 YES 13.45/4.15 MAYBE 9.41/4.12 YES 9.80/3.34
C_Integer/Stroeder_15/PlusSwap.c 5152921 YES 5.14/2.10 MAYBE 8.82/3.92 YES 12.59/4.23
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 5152922 YES 5.42/2.08 MAYBE 8.80/4.02 YES 0.02/0.03
C_Integer/Stroeder_15/Gauss.c 5152923 NO 10.67/3.50 MAYBE 9.03/4.12 NO 46.84/20.97
C_Integer/Stroeder_15/svcomp_ex3a.c 5152924 YES 4.77/1.92 MAYBE 9.25/4.20 MAYBE 26.90/14.53
C_Integer/Stroeder_15/WhileSingle.c 5152925 NO 8.86/2.92 MAYBE 8.86/3.99 NO 0.39/0.13
C_Integer/Stroeder_15/PastaA8.c 5152926 YES 4.68/1.85 MAYBE 9.77/4.15 YES 0.02/0.03
C_Integer/Stroeder_15/WhileTrue_false-termination.c 5152927 NO 5.03/1.94 MAYBE 8.86/4.47 NO 0.03/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 5152928 YES 4.88/1.91 MAYBE 9.41/4.05 YES 0.02/0.03
C_Integer/Stroeder_15/Stockholm_true-termination.c 5152929 YES 9.34/3.07 MAYBE 9.39/4.01 YES 0.08/0.18
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 5152930 YES 8.81/2.95 MAYBE 9.83/4.32 YES 0.04/0.05
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 5152931 YES 5.42/2.04 MAYBE 9.22/3.99 YES 0.02/0.03
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c 5152932 YES 5.88/2.30 MAYBE 9.17/4.19 YES 0.02/0.02
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 5152933 YES 5.02/1.98 MAYBE 9.14/4.12 YES 1.38/0.49
C_Integer/Stroeder_15/PastaA10.c 5152934 YES 24.54/6.95 MAYBE 9.30/4.09 YES 0.09/0.06
C_Integer/Stroeder_15/Ex01.c 5152935 NO 7.78/2.57 MAYBE 9.34/3.95 NO 18.71/8.36
C_Integer/Stroeder_15/AlternDivWide.c 5152936 NO 14.50/4.39 MAYBE 9.23/3.90 NO 30.24/11.70
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 5152937 YES 4.79/1.87 MAYBE 9.25/4.16 YES 0.02/0.03
C_Integer/Stroeder_15/Nested.c 5152938 YES 5.78/2.14 MAYBE 8.70/4.01 YES 0.05/0.05
C_Integer/Stroeder_15/aaron2_true-termination.c 5152939 YES 6.82/2.43 MAYBE 8.80/3.83 YES 0.03/0.03
C_Integer/Stroeder_15/svcomp_b.12.c 5152940 YES 9.13/3.05 MAYBE 9.36/3.98 YES 0.03/0.03
C_Integer/Stroeder_15/ComplInterv.c 5152941 MAYBE 34.90/14.67 MAYBE 9.20/3.99 MAYBE 18.73/8.38
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 5152942 YES 8.89/2.96 MAYBE 9.21/4.07 YES 0.06/0.06
C_Integer/Stroeder_15/GCD2.c 5152943 NO 10.14/3.37 MAYBE 8.89/3.83 NO 13.01/6.56
C_Integer/Stroeder_15/svcomp_c.08.c 5152944 YES 6.51/2.34 MAYBE 8.72/3.98 YES 0.03/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c 5152945 YES 6.55/2.36 MAYBE 8.98/4.00 YES 3.73/1.27
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 5152946 YES 6.16/2.40 MAYBE 9.28/4.02 YES 0.03/0.03
C_Integer/Stroeder_15/NonTerminationSimple9_false-termination.c 5152947 NO 9.27/2.91 MAYBE 9.23/4.13 NO 5.40/4.23
C_Integer/Stroeder_15/Flip2.c 5152948 NO 23.14/6.67 MAYBE 9.25/4.00 NO 43.47/14.08
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c 5152949 NO 8.62/2.86 MAYBE 8.69/3.94 NO 10.08/5.41
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 5152950 YES 8.99/2.97 MAYBE 9.37/3.98 YES 0.44/0.17
C_Integer/Stroeder_15/Et2.c 5152951 NO 19.72/5.91 MAYBE 8.81/3.92 NO 5.46/4.24
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c 5152952 YES 6.42/2.45 MAYBE 9.27/4.18 YES 0.41/0.16
C_Integer/Stroeder_15/TrueDiv.c 5152953 NO 8.53/2.81 MAYBE 8.63/4.66 NO 18.74/8.38
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c 5152954 YES 5.52/2.07 MAYBE 9.25/5.07 YES 0.02/0.03
C_Integer/Stroeder_15/Cousot.c 5152955 NO 8.76/2.92 MAYBE 9.40/4.04 NO 56.13/25.20
C_Integer/Stroeder_15/AlternDivWidening.c 5152956 NO 46.95/12.94 MAYBE 9.09/3.94 NO 52.78/21.36
C_Integer/Stroeder_15/svcomp_java_Break.c 5152957 YES 4.52/1.82 MAYBE 9.59/4.11 YES 0.02/0.02
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c 5152958 YES 6.17/2.25 MAYBE 9.03/4.18 YES 0.03/0.03
C_Integer/Stroeder_15/TwoFloatInterv.c 5152959 NO 9.18/3.04 MAYBE 8.92/4.13 NO 5.50/2.60
C_Integer/Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c 5152960 YES 8.37/2.94 MAYBE 8.97/4.14 YES 0.06/0.04
C_Integer/Stroeder_15/Gothenburg_true-termination.c 5152961 YES 48.13/13.11 MAYBE 9.35/4.23 YES 0.28/0.12
C_Integer/Stroeder_15/svcomp_fermat.c 5152962 YES 19.53/5.63 MAYBE 9.22/3.94 YES 4.16/4.17
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 5152963 YES 8.35/2.85 MAYBE 8.77/4.09 YES 1.35/0.43
C_Integer/Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c 5152964 YES 76.10/20.38 MAYBE 9.60/4.02 YES 15.21/7.70
C_Integer/Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c 5152965 YES 6.76/2.52 MAYBE 9.76/4.08 YES 0.03/0.03
C_Integer/Stroeder_15/svcomp_ex3b.c 5152966 YES 4.53/1.83 MAYBE 9.29/3.99 MAYBE 50.54/25.83
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 5152967 YES 7.28/2.63 MAYBE 9.75/4.39 YES 0.04/0.04
C_Integer/Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 5152968 YES 8.15/2.81 MAYBE 9.38/4.13 YES 0.03/0.04
C_Integer/Stroeder_15/NO_02.c 5152969 NO 8.05/2.49 MAYBE 8.61/3.99 NO 0.09/0.07
C_Integer/Stroeder_15/genady_true-termination.c 5152970 YES 4.76/1.97 MAYBE 8.55/4.07 YES 0.02/0.02
C_Integer/Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 5152971 YES 8.08/2.73 MAYBE 8.66/7.60 YES 0.03/0.04
C_Integer/Stroeder_15/WhileIncrPart.c 5152972 NO 10.86/3.43 MAYBE 9.25/4.09 NO 18.92/8.46
C_Integer/Stroeder_15/Pure3Phase_true-termination.c 5152973 YES 24.46/6.99 MAYBE 9.35/3.93 YES 23.87/8.54
C_Integer/Stroeder_15/svcomp_b.10.c 5152974 YES 6.02/2.19 MAYBE 9.34/4.15 YES 0.03/0.04
C_Integer/Stroeder_15/NO_23.c 5152975 NO 6.88/2.49 MAYBE 8.77/4.10 NO 26.32/16.68
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 5152976 YES 8.64/3.05 MAYBE 8.62/3.98 YES 0.40/0.17
C_Integer/Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 5152977 YES 5.83/2.20 MAYBE 9.27/3.91 YES 0.03/0.04
C_Integer/Stroeder_15/svcomp_easySum.c 5152978 YES 4.89/1.92 MAYBE 9.31/4.16 YES 0.02/0.02
C_Integer/Stroeder_15/svcomp_a.01.c 5152979 YES 6.14/2.29 MAYBE 9.04/4.15 YES 0.03/0.03
C_Integer/Stroeder_15/WhileDecr.c 5152980 YES 7.94/4.03 MAYBE 9.07/3.94 YES 0.02/0.02
C_Integer/Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c 5152981 YES 5.38/2.08 MAYBE 9.26/3.98 YES 0.03/0.03
C_Integer/Stroeder_15/NonTerminationSimple2_false-termination.c 5152982 NO 8.52/2.88 MAYBE 9.29/4.06 NO 18.69/8.35
C_Integer/Stroeder_15/PastaA6.c 5152983 YES 7.92/2.81 MAYBE 9.61/4.08 YES 0.02/0.03
C_Integer/Stroeder_15/Urban-WST2013-Fig2_true-termination.c 5152984 YES 6.31/2.34 MAYBE 8.58/3.98 YES 4.14/4.14
C_Integer/Stroeder_15/svcomp_b.07.c 5152985 YES 7.25/2.67 MAYBE 8.59/4.01 YES 0.02/0.03
C_Integer/Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c 5152986 NO 9.32/3.05 MAYBE 8.64/4.02 NO 10.34/5.45
316 0 315