Termination Competition 2018: C Integer30049

benchmark	AProVE	UltimateAutomizer	VeryMax-termCOMP17

Ton_Chanh_15/Hanoi_3vars_false-termination.c	NO 23.43/7.11	MAYBE 9.57/4.31	NO 140.19/61.49
Ton_Chanh_15/2Nested_false-termination.c	NO 17.75/5.24	MAYBE 9.73/3.93	NO 47.00/20.97
Ton_Chanh_15/Cairo_nondet_false-termination.c	NO 8.68/2.89	MAYBE 9.09/4.33	NO 18.79/8.39
Ton_Chanh_15/Bangalore_false-termination.c	NO 10.77/3.30	MAYBE 8.62/3.85	NO 5.47/4.24
Ton_Chanh_15/Singapore_plus_false-termination.c	NO 17.65/5.21	MAYBE 9.92/5.11	NO 46.88/20.98
Ton_Chanh_15/Singapore_v2_false-termination.c	StarExec error	MAYBE 9.19/5.20	NO 47.18/21.13
Ton_Chanh_15/McCarthy91_Iteration_true-termination.c	YES 6.12/2.38	MAYBE 8.73/3.91	YES 0.21/0.22
Ton_Chanh_15/Cairo_step2_false-termination.c	NO 9.97/2.98	MAYBE 9.14/4.22	MAYBE 42.03/19.30
Ton_Chanh_15/Copenhagen_disj_true-termination.c	YES 33.47/9.36	MAYBE 9.28/3.97	MAYBE 111.55/35.85
Ton_Chanh_15/Gothenburg_v2_true-termination.c	StarExec error	MAYBE 9.30/4.01	YES 0.38/0.16
Ton_Chanh_15/Hanoi_2vars_false-termination.c	NO 17.58/5.13	MAYBE 9.31/4.15	NO 47.12/21.09
Ton_Chanh_15/Mysore_false-termination.c	NO 9.15/3.03	MAYBE 8.86/4.19	NO 47.07/21.09
Ton_Chanh_15/Benghazi_nondet_true-termination.c	YES 11.08/3.53	StarExec error	YES 7.58/2.57
Ton_Chanh_15/Singapore_v1_false-termination.c	StarExec error	MAYBE 9.54/4.19	NO 47.06/21.04
Ton_Chanh_15/Bangalore_v3_false-termination.c	NO 9.39/3.04	MAYBE 9.20/4.02	NO 5.57/4.27
Ton_Chanh_15/Bangalore_v2_false-termination.c	NO 8.94/2.94	MAYBE 9.55/4.07	NO 5.62/4.31
Ton_Chanh_15/Hanoi_plus_false-termination.c	NO 41.82/11.23	MAYBE 9.22/4.14	NO 172.17/121.28
Ton_Chanh_15/Singapore_true-termination.c	StarExec error	MAYBE 8.70/3.91	YES 0.36/0.14
Ton_Chanh_15/Bangalore_v4_true-termination.c	YES 6.15/2.28	MAYBE 8.83/4.03	YES 0.06/0.04
Stroeder_15/Bangalore_true-termination.c	YES 10.44/3.38	MAYBE 9.54/4.26	YES 0.07/0.04
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c	YES 36.77/12.42	MAYBE 8.84/3.97	YES 0.44/0.21
Stroeder_15/svcomp_b.02.c	YES 4.71/1.86	MAYBE 10.14/4.21	YES 0.02/0.03
Stroeder_15/LogMult.c	timeout (wallclock)	MAYBE 8.90/4.13	MAYBE 39.56/22.97
Stroeder_15/Ex03.c	NO 9.37/3.09	MAYBE 8.82/3.85	NO 0.29/0.11
Stroeder_15/Mysore_true-termination.c	YES 9.71/3.25	MAYBE 8.81/4.73	YES 0.12/0.06
Stroeder_15/Ex07.c	NO 11.30/4.13	MAYBE 8.89/4.01	NO 0.14/0.07
Stroeder_15/svcomp_b.05.c	YES 4.83/1.97	MAYBE 9.48/4.07	YES 0.02/0.03
Stroeder_15/NonTermination1_false-termination.c	NO 7.08/2.46	MAYBE 8.94/3.94	NO 18.86/8.45
Stroeder_15/easy2_true-termination.c	YES 4.54/1.84	MAYBE 8.27/3.79	YES 0.02/0.02
Stroeder_15/ConvLower.c	NO 9.96/3.33	MAYBE 9.31/3.92	NO 0.35/0.12
Stroeder_15/PastaB3.c	YES 9.53/3.11	MAYBE 9.08/4.41	YES 0.07/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c	YES 9.34/3.08	MAYBE 8.92/3.94	YES 0.58/0.23
Stroeder_15/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c	NO 8.88/3.01	MAYBE 9.37/4.20	NO 5.41/4.24
Stroeder_15/Urban-WST2013-Fig2-modified1000_true-termination.c	YES 6.04/2.20	MAYBE 8.92/4.12	YES 4.16/4.17
Stroeder_15/TelAviv-Amir-Minimum_true-termination.c	StarExec error	MAYBE 9.65/3.92	YES 0.06/0.06
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c	YES 13.66/4.13	MAYBE 8.72/4.03	YES 0.09/0.05
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c	YES 8.82/2.93	MAYBE 9.22/3.99	YES 0.39/0.16
Stroeder_15/Factorial.c	StarExec error	MAYBE 9.31/3.95	MAYBE 47.98/25.01
Stroeder_15/DivMinus.c	YES 5.14/1.89	MAYBE 9.13/3.99	YES 0.02/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c	StarExec error	MAYBE 8.80/3.95	MAYBE 100.58/37.64
Stroeder_15/Masse-VMCAI2014-Fig1a_true-termination.c	YES 6.55/2.42	MAYBE 9.16/4.00	YES 0.03/0.03
Stroeder_15/svcomp_a.05.c	YES 5.37/2.18	MAYBE 8.59/4.03	YES 0.02/0.02
Stroeder_15/LeikeHeizmann-WST2014-Ex5_false-termination.c	NO 14.04/4.29	MAYBE 9.01/4.14	NO 23.62/9.66
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c	YES 46.05/12.37	MAYBE 8.87/3.80	MAYBE 47.19/21.36
Stroeder_15/Ex04.c	NO 6.85/2.44	MAYBE 9.56/3.97	NO 18.56/8.33
Stroeder_15/GopanReps-CAV2006-Fig1a_true-termination.c.c	YES 6.11/2.21	MAYBE 9.31/4.22	YES 0.07/0.08
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c	YES 12.23/3.98	MAYBE 8.76/4.22	YES 0.10/0.06
Stroeder_15/ComplxStruc.c	MAYBE 17.75/10.11	MAYBE 9.43/4.09	NO 60.66/27.25
Stroeder_15/Fibonacci.c	NO 10.25/3.39	MAYBE 9.28/3.91	NO 52.47/26.76
Stroeder_15/LeikeHeizmann-TACAS2014-Ex9_true-termination.c	YES 8.48/2.95	MAYBE 9.22/4.00	YES 0.03/0.03
Stroeder_15/WhileNestedOffset.c	NO 8.91/3.09	MAYBE 9.71/4.05	NO 23.91/13.49
Stroeder_15/PastaB16.c	YES 6.10/2.18	MAYBE 9.44/4.16	YES 0.03/0.03
Stroeder_15/NonTerminationSimple5_false-termination.c	NO 8.57/2.89	MAYBE 9.56/3.94	NO 5.97/4.37
Stroeder_15/GulavaniGulwani-CAV2008-Fig1c_true-termination.c	YES 5.12/2.03	MAYBE 9.30/3.92	YES 0.02/0.03
Stroeder_15/GCD4.c	YES 8.36/2.81	MAYBE 8.59/4.07	YES 0.05/0.05
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c	YES 6.84/2.44	MAYBE 8.77/4.04	YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c	YES 9.76/3.27	MAYBE 8.88/3.97	YES 0.27/0.22
Stroeder_15/PastaB14.c	YES 5.75/2.19	MAYBE 8.82/4.16	YES 0.03/0.03
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c	YES 9.72/3.35	MAYBE 8.54/3.95	YES 0.68/0.36
Stroeder_15/GulavaniGulwani-CAV2008-Fig1a_true-termination.c	YES 6.35/2.29	MAYBE 9.49/4.18	YES 0.03/0.04
Stroeder_15/PastaB1.c	YES 4.75/1.84	MAYBE 9.39/4.12	YES 0.02/0.03
Stroeder_15/PastaC7.c	YES 5.77/2.16	MAYBE 9.24/3.99	YES 0.02/0.03
Stroeder_15/svcomp_b.04.c	YES 5.43/2.03	MAYBE 8.62/4.15	YES 0.02/0.02
Stroeder_15/UpAndDown.c	NO 504.39/126.95	MAYBE 9.35/4.01	NO 11.40/5.62
Stroeder_15/McCarthyIterative.c	YES 7.24/2.58	MAYBE 9.23/4.12	YES 0.20/0.21
Stroeder_15/MenloPark_true-termination.c	MAYBE 37.03/14.26	MAYBE 9.35/3.87	YES 0.14/0.07
Stroeder_15/Lcm.c	NO 9.24/3.11	MAYBE 9.59/4.24	NO 15.59/8.30
Stroeder_15/svcomp_a.08.c	YES 4.64/1.92	MAYBE 9.26/4.00	YES 0.02/0.03
Stroeder_15/UrbanMine-ESOP2014-Fig3_true-termination.c	YES 128.89/35.52	MAYBE 8.78/4.14	YES 0.17/0.09
Stroeder_15/ColonSipma-TACAS2001-Fig1_true-termination.c	YES 5.20/2.02	MAYBE 9.28/3.92	YES 0.02/0.03
Stroeder_15/NO_01.c	NO 7.31/2.83	MAYBE 9.24/4.17	NO 0.12/0.06
Stroeder_15/LeikeHeizmann-TACAS2014-Ex8_true-termination.c	YES 6.97/2.50	MAYBE 8.83/4.06	YES 0.03/0.03
Stroeder_15/NonTermination4_false-termination.c	NO 8.47/2.89	MAYBE 9.23/3.99	NO 49.90/28.13
Stroeder_15/svcomp_a.07.c	YES 4.84/1.97	MAYBE 9.43/4.15	YES 0.02/0.03
Stroeder_15/CookSeeZuleger-TACAS2013-Fig1_true-termination.c	YES 7.77/2.78	MAYBE 8.79/4.00	YES 0.03/0.04
Stroeder_15/NoriSharma-FSE2013-Fig8_true-termination.c	YES 7.27/2.57	MAYBE 9.39/4.18	YES 0.03/0.05
Stroeder_15/svcomp_java_Continue1.c	YES 5.29/2.03	MAYBE 9.20/4.09	YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c	YES 7.77/2.64	MAYBE 9.61/4.02	YES 2.80/1.41
Stroeder_15/AlternKonv.c	NO 17.96/5.23	MAYBE 9.22/3.91	MAYBE 25.18/7.71
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c	NO 29.76/8.28	MAYBE 8.79/3.94	NO 46.98/21.01
Stroeder_15/UpAndDownIneq.c	NO 111.67/28.70	MAYBE 8.94/4.15	NO 12.02/5.75
Stroeder_15/svcomp_java_Nested.c	YES 6.59/2.41	MAYBE 9.10/4.10	YES 0.52/0.53
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c	StarExec error	MAYBE 9.26/4.20	MAYBE 47.89/16.16
Stroeder_15/svcomp_flag.c	YES 7.60/2.73	MAYBE 9.32/4.23	YES 0.05/0.05
Stroeder_15/svcomp_c.01-no-inv.c	YES 10.35/3.30	MAYBE 9.39/3.90	YES 0.13/0.07
Stroeder_15/NO_13.c	NO 9.47/6.73	MAYBE 8.84/3.93	NO 26.01/11.70
Stroeder_15/Nyala-2lex_true-termination.c	YES 6.35/2.30	MAYBE 8.84/3.96	YES 0.03/0.03
Stroeder_15/Toulouse-BranchesToLoop_true-termination.c	YES 25.23/7.23	MAYBE 9.21/4.06	YES 0.20/0.09
Stroeder_15/WhileNested.c	NO 9.17/3.16	MAYBE 9.21/3.91	NO 23.90/13.48
Stroeder_15/svcomp_a.09_assume.c	YES 5.69/2.13	MAYBE 9.23/4.70	YES 0.02/0.03
Stroeder_15/min_rf_true-termination.c	YES 30.73/8.77	MAYBE 9.36/4.09	YES 0.08/0.09
Stroeder_15/PastaC9.c	YES 6.79/2.46	MAYBE 8.80/3.85	YES 0.03/0.03
Stroeder_15/Middle.c	NO 8.87/2.94	MAYBE 8.80/4.20	NO 59.13/26.09
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c	NO 31.99/10.90	MAYBE 9.49/3.92	NO 168.68/72.44
Stroeder_15/svcomp_b.16.c	YES 6.77/2.46	MAYBE 9.16/5.64	YES 0.03/0.03
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1_true-termination.c	YES 10.39/3.40	MAYBE 9.23/4.14	YES 0.17/0.08
Stroeder_15/NonTerminationSimple6_false-termination.c	NO 8.91/3.04	MAYBE 8.91/4.08	NO 18.74/8.36
Stroeder_15/MirrorIntervSim.c	NO 9.93/3.27	MAYBE 9.64/4.14	NO 16.92/6.91
Stroeder_15/LeikeHeizmann-TACAS2014-Ex7_true-termination.c	YES 6.15/2.31	MAYBE 9.59/4.15	YES 3.73/1.27
Stroeder_15/Overflow.c	YES 4.64/1.83	MAYBE 8.62/3.98	YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c	NO 10.66/3.48	MAYBE 9.35/4.19	NO 20.46/8.95
Stroeder_15/NO_21.c	NO 6.15/2.31	MAYBE 8.73/3.97	NO 0.11/0.06
Stroeder_15/PastaA5.c	YES 4.40/1.77	MAYBE 9.80/4.12	YES 0.02/0.02
Stroeder_15/NonTerminationSimple4_false-termination.c	NO 8.94/3.00	MAYBE 9.71/4.14	NO 47.60/24.87
Stroeder_15/svcomp_java_AG313.c	YES 6.77/2.41	MAYBE 9.33/4.20	YES 0.03/0.03
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c	YES 24.58/6.92	MAYBE 8.92/4.28	YES 0.25/0.10
Stroeder_15/NonTerminationSimple8_false-termination.c	NO 9.26/3.02	MAYBE 9.48/4.10	NO 21.58/9.30
Stroeder_15/svcomp_b.09_assume.c	YES 8.18/2.78	MAYBE 9.16/4.00	YES 0.03/0.03
Stroeder_15/aaron3_true-termination.c	YES 14.74/4.41	MAYBE 8.81/3.94	YES 2.32/0.85
Stroeder_15/easy1_true-termination.c	YES 7.78/2.76	MAYBE 9.97/3.89	YES 0.03/0.04
Stroeder_15/NarrowKonv.c	StarExec error	MAYBE 8.66/3.95	NO 1.28/0.61
Stroeder_15/PastaB15.c	YES 5.33/2.09	MAYBE 8.69/6.05	YES 0.03/0.03
Stroeder_15/ComplInterv2.c	NO 8.72/2.98	MAYBE 8.89/4.04	NO 5.44/4.23
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c	YES 15.57/4.44	MAYBE 8.78/4.18	YES 0.66/0.25
Stroeder_15/Flip.c	NO 9.43/3.18	MAYBE 9.05/3.98	NO 33.53/12.31
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c	YES 8.84/3.06	MAYBE 9.14/4.04	YES 0.07/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c	YES 5.18/2.00	MAYBE 9.66/4.15	YES 0.02/0.03
Stroeder_15/PastaA4.c	YES 4.73/1.88	MAYBE 9.39/4.08	YES 0.02/0.03
Stroeder_15/Ex06.c	NO 9.71/3.14	MAYBE 9.07/3.94	NO 0.39/0.14
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c	YES 8.36/2.85	MAYBE 8.90/3.94	YES 0.06/0.04
Stroeder_15/PastaA1.c	YES 6.14/2.23	MAYBE 9.16/4.85	YES 0.03/0.03
Stroeder_15/NonTerminationSimple3_false-termination.c	NO 8.62/2.88	MAYBE 9.60/4.42	NO 5.71/4.32
Stroeder_15/PastaC2.c	YES 5.39/2.06	MAYBE 9.15/4.00	YES 0.04/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c	YES 5.48/3.44	MAYBE 8.87/4.16	YES 0.25/0.11
Stroeder_15/svcomp_b.11.c	YES 8.26/2.81	MAYBE 9.78/4.15	YES 0.03/0.04
Stroeder_15/svcomp_c.01_assume.c	YES 13.01/6.94	MAYBE 8.65/4.07	YES 0.04/0.05
Stroeder_15/svcomp_b.13.c	YES 9.00/2.95	MAYBE 8.22/4.07	YES 0.03/0.04
Stroeder_15/svcomp_c.03.c	YES 7.53/2.63	MAYBE 9.12/4.04	YES 0.03/0.03
Stroeder_15/Madrid_false-termination.c	NO 5.59/2.11	MAYBE 9.31/4.72	NO 0.03/0.03
Stroeder_15/NO_12.c	NO 11.55/3.18	MAYBE 9.11/4.22	NO 55.80/29.07
Stroeder_15/Rotation180_false-termination.c	NO 9.02/3.29	MAYBE 9.42/4.22	NO 5.17/4.15
Stroeder_15/Choose.c	NO 11.55/3.74	MAYBE 11.12/4.50	NO 24.10/13.71
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c	YES 6.64/2.40	MAYBE 9.23/4.14	YES 1.02/0.37
Stroeder_15/PastaC1.c	YES 9.72/3.17	MAYBE 9.70/4.15	YES 0.10/0.06
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c	YES 15.79/4.87	MAYBE 8.89/4.01	YES 0.13/0.07
Stroeder_15/PastaB2.c	YES 4.88/1.90	MAYBE 9.30/3.94	YES 0.02/0.03
Stroeder_15/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c	NO 8.83/3.19	MAYBE 9.78/4.07	NO 6.63/4.65
Stroeder_15/MinusBuiltIn.c	YES 4.73/1.89	MAYBE 8.99/4.25	YES 0.02/0.03
Stroeder_15/svcomp_a.10.c	YES 5.94/2.16	MAYBE 9.34/4.11	YES 0.12/0.07
Stroeder_15/Sunset.c	NO 37.17/10.10	MAYBE 8.74/3.95	NO 63.89/24.61
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c	YES 10.14/3.26	MAYBE 8.77/4.08	YES 0.35/0.16
Stroeder_15/AlternDiv.c	NO 12.01/3.73	MAYBE 8.74/3.75	NO 25.80/9.47
Stroeder_15/svcomp_b.17.c	YES 6.13/2.22	MAYBE 9.01/4.05	YES 0.03/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c	YES 7.46/2.67	MAYBE 8.93/4.09	YES 0.25/0.11
Stroeder_15/PastaB6.c	YES 5.88/2.26	MAYBE 9.21/4.02	YES 0.02/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c	NO 10.06/3.24	MAYBE 9.16/3.98	NO 35.86/12.22
Stroeder_15/svcomp_ex1.c	YES 4.99/1.95	MAYBE 8.66/4.08	YES 0.02/0.02
Stroeder_15/NO_24.c	NO 8.95/3.00	MAYBE 9.60/4.15	NO 1.70/1.08
Stroeder_15/PastaC3.c	YES 6.20/2.27	MAYBE 9.31/4.10	YES 0.03/0.04
Stroeder_15/Masse-VMCAI2014-Fig1b_true-termination.c	StarExec error	MAYBE 9.21/3.99	MAYBE 42.75/14.05
Stroeder_15/Ex08.c	NO 58.87/15.52	MAYBE 8.71/4.04	NO 14.48/5.76
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c	YES 7.82/2.77	MAYBE 8.77/4.00	YES 0.67/0.26
Stroeder_15/Et4.c	NO 20.50/6.00	MAYBE 8.91/3.97	NO 16.40/5.91
Stroeder_15/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c	YES 12.82/4.04	MAYBE 9.30/3.97	YES 20.09/6.86
Stroeder_15/WhileTrue.c	NO 7.58/3.39	MAYBE 9.26/3.99	NO 18.55/8.31
Stroeder_15/NonTermination2_false-termination.c	timeout (wallclock)	MAYBE 9.01/4.21	NO 60.98/27.68
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c	YES 9.19/3.07	MAYBE 8.65/4.12	YES 0.43/0.17
Stroeder_15/Velroyen_false-termination.c	NO 10.40/3.40	MAYBE 9.12/4.20	NO 27.71/9.89
Stroeder_15/svcomp_b.15.c	YES 6.24/2.25	MAYBE 9.31/4.10	YES 0.03/0.04
Stroeder_15/ComplInterv3.c	NO 8.85/2.96	MAYBE 9.34/4.10	NO 19.80/8.76
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c	YES 9.57/3.11	MAYBE 9.30/4.17	YES 0.10/0.17
Stroeder_15/collatz.c	StarExec error	MAYBE 9.26/4.08	MAYBE 46.62/17.42
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c	YES 9.82/3.29	MAYBE 9.67/4.05	YES 0.61/0.24
Stroeder_15/Waldkirch_true-termination.c	YES 4.27/1.73	MAYBE 8.68/4.00	YES 0.02/0.02
Stroeder_15/MinusUserDefined.c	YES 8.78/2.95	MAYBE 9.01/4.12	YES 0.03/0.04
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c	NO 8.73/2.97	MAYBE 10.12/3.92	NO 13.73/6.82
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c	YES 20.63/6.00	MAYBE 9.18/4.16	YES 0.17/0.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c	YES 5.13/2.05	MAYBE 9.44/4.14	YES 0.02/0.03
Stroeder_15/Narrowing.c	StarExec error	MAYBE 9.54/4.19	NO 64.51/27.95
Stroeder_15/WhileFalse_true-termination.c	YES 3.44/1.69	MAYBE 9.09/4.19	YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c	YES 4.60/1.83	MAYBE 8.78/4.13	YES 0.56/0.22
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c	YES 5.16/2.06	MAYBE 9.40/4.01	YES 0.33/0.14
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c	YES 8.01/2.74	MAYBE 8.82/3.85	YES 0.03/0.04
Stroeder_15/4NestedWith3Variables_true-termination.c	YES 19.66/5.75	MAYBE 9.26/4.23	YES 67.46/28.81
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c	YES 9.22/3.02	MAYBE 8.54/3.91	YES 0.09/0.06
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c	YES 6.31/2.30	MAYBE 9.52/4.03	YES 0.04/0.04
Stroeder_15/DivMinus2.c	YES 10.45/3.38	MAYBE 9.66/4.11	YES 0.05/0.06
Stroeder_15/Et1.c	YES 6.64/2.45	MAYBE 9.37/4.11	YES 0.54/0.21
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c	YES 4.68/1.84	MAYBE 9.93/4.11	YES 0.02/0.03
Stroeder_15/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c	YES 51.30/17.10	MAYBE 9.43/4.04	YES 0.11/0.07
Stroeder_15/WhilePart.c	NO 8.02/2.71	MAYBE 8.69/3.88	NO 5.32/4.19
Stroeder_15/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c	YES 4.82/1.99	MAYBE 9.37/4.03	YES 0.02/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c	YES 7.68/2.63	MAYBE 9.38/4.03	YES 3.17/1.10
Stroeder_15/PastaA9.c	YES 9.54/3.99	MAYBE 9.03/3.81	YES 0.07/0.05
Stroeder_15/GCD.c	NO 10.59/3.37	MAYBE 9.29/4.15	NO 56.10/21.39
Stroeder_15/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c	YES 10.49/3.40	MAYBE 9.21/3.90	YES 0.07/0.05
Stroeder_15/Swingers.c	NO 8.21/2.74	MAYBE 8.58/3.95	NO 6.16/4.81
Stroeder_15/svcomp_b.06.c	YES 4.42/2.02	MAYBE 9.58/4.84	YES 0.02/0.03
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c	YES 9.42/3.15	MAYBE 8.77/3.93	YES 1.53/1.53
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c	YES 5.17/2.01	MAYBE 9.35/4.18	YES 0.02/0.03
Stroeder_15/NO_00.c	NO 5.87/2.23	MAYBE 8.59/4.68	NO 0.10/0.06
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c	YES 5.68/2.21	MAYBE 9.15/4.91	YES 0.02/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c	NO 11.07/3.34	MAYBE 9.31/4.19	MAYBE 32.64/10.21
Stroeder_15/MinusMin.c	YES 8.79/2.91	MAYBE 9.16/4.22	YES 0.03/0.04
Stroeder_15/NO_10.c	NO 8.80/3.08	MAYBE 9.58/4.58	NO 65.08/34.14
Stroeder_15/IntPath.c	YES 6.32/2.38	MAYBE 9.29/3.93	YES 0.02/0.03
Stroeder_15/svcomp_a.06.c	YES 5.27/2.21	MAYBE 9.81/4.38	YES 0.02/0.03
Stroeder_15/svcomp_c.02.c	YES 5.64/2.22	MAYBE 9.44/3.94	YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c	YES 8.50/2.94	MAYBE 8.83/7.19	YES 7.72/2.63
Stroeder_15/PastaB7.c	YES 4.54/1.86	MAYBE 8.92/4.10	YES 0.02/0.03
Stroeder_15/Avery-FLOPS2006-Table1_true-termination.c	YES 8.52/2.87	MAYBE 8.88/3.95	YES 0.03/0.03
Stroeder_15/Marbie2.c	NO 8.00/2.72	MAYBE 9.22/3.96	NO 18.57/8.31
Stroeder_15/LogAG.c	YES 6.15/2.21	MAYBE 8.88/4.06	YES 0.03/0.03
Stroeder_15/Marbie1.c	NO 7.64/2.66	MAYBE 9.02/4.27	NO 18.73/8.37
Stroeder_15/Copenhagen_true-termination.c	YES 5.43/2.13	MAYBE 9.65/4.26	YES 0.02/0.03
Stroeder_15/Parallel_true-termination.c	YES 7.78/2.71	MAYBE 8.76/4.02	YES 0.03/0.03
Stroeder_15/WhileIncr.c	NO 8.24/2.91	MAYBE 9.69/4.17	NO 18.72/8.37
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c	YES 4.75/1.90	MAYBE 9.73/4.25	YES 0.02/0.02
Stroeder_15/svcomp_ex2.c	YES 11.98/3.81	MAYBE 9.47/4.22	MAYBE 337.93/167.47
Stroeder_15/ChooseLife.c	NO 11.22/3.65	MAYBE 8.66/3.99	NO 6.91/4.91
Stroeder_15/GCD3.c	YES 15.29/4.73	MAYBE 8.55/4.37	YES 0.10/0.07
Stroeder_15/Ex05.c	NO 5.91/2.28	MAYBE 8.56/3.85	NO 0.04/0.04
Stroeder_15/NO_04.c	NO 21.83/6.50	MAYBE 9.68/4.26	NO 16.02/13.80
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c	YES 8.79/3.06	MAYBE 9.83/4.38	YES 0.10/0.06
Stroeder_15/NO_22.c	NO 11.76/3.62	MAYBE 9.40/4.29	NO 8.14/3.97
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c	YES 10.24/3.42	MAYBE 9.34/5.15	YES 20.93/7.88
Stroeder_15/PastaC10.c	NO 19.60/5.65	MAYBE 9.38/4.98	NO 5.51/4.25
Stroeder_15/Thun_true-termination.c	YES 7.71/2.76	MAYBE 9.19/4.05	YES 3.66/1.27
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c	YES 8.61/2.92	MAYBE 8.69/4.92	YES 0.04/0.04
Stroeder_15/Toulouse-MultiBranchesToLoop_true-termination.c	YES 28.59/8.23	MAYBE 8.78/3.95	YES 0.23/0.12
Stroeder_15/2Nested_true-termination.c	YES 6.86/2.52	MAYBE 9.37/4.09	YES 0.20/0.09
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c	YES 123.79/34.47	MAYBE 8.72/3.87	YES 1.29/0.52
Stroeder_15/Log.c	YES 8.48/2.98	MAYBE 9.26/3.91	YES 0.02/0.03
Stroeder_15/Sequence.c	YES 5.17/2.07	MAYBE 9.34/4.08	YES 0.02/0.03
Stroeder_15/Lobnya-Boolean-Reordered_true-termination.c	YES 6.55/2.46	MAYBE 9.28/4.17	YES 0.10/0.07
Stroeder_15/PastaB11.c	YES 8.71/3.09	MAYBE 9.33/4.81	YES 0.03/0.03
Stroeder_15/svcomp_b.18.c	YES 9.25/3.06	MAYBE 9.31/4.24	YES 0.03/0.03
Stroeder_15/NO_03.c	NO 10.19/3.17	MAYBE 9.30/5.30	NO 0.36/0.21
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c	YES 6.17/2.40	MAYBE 9.03/4.19	YES 0.03/0.03
Stroeder_15/DivWithoutMinus.c	NO 36.34/9.85	MAYBE 8.96/4.13	NO 66.19/31.62
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c	YES 7.25/2.78	MAYBE 8.88/4.37	YES 0.03/0.03
Stroeder_15/Ben-Amram-LMCS2010-Ex2.3_true-termination.c	YES 21.10/6.35	MAYBE 8.78/4.61	YES 0.14/0.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c	YES 7.22/2.73	MAYBE 9.37/4.13	YES 3.48/1.51
Stroeder_15/Ex02.c	NO 9.69/3.42	MAYBE 8.77/4.88	NO 0.37/0.12
Stroeder_15/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c	YES 5.67/2.31	MAYBE 9.52/4.25	MAYBE 25.93/9.22
Stroeder_15/NonTerminationSimple7_false-termination.c	NO 7.42/2.76	MAYBE 9.72/4.57	NO 5.60/4.29
Stroeder_15/svcomp_c.07.c	YES 5.87/2.33	MAYBE 9.06/4.34	YES 0.03/0.03
Stroeder_15/LeikeHeizmann-WST2014-Ex6_false-termination.c	NO 8.55/2.91	MAYBE 9.10/4.23	NO 38.34/17.10
Stroeder_15/PastaA7.c	YES 5.38/2.06	MAYBE 8.92/4.07	YES 0.02/0.03
Stroeder_15/Benghazi_true-termination.c	YES 9.89/3.41	MAYBE 9.28/4.03	YES 0.12/0.06
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c	NO 9.23/3.04	MAYBE 8.85/5.67	NO 5.55/4.28
Stroeder_15/DoubleNeg.c	StarExec error	MAYBE 9.40/4.04	MAYBE 56.12/25.39
Stroeder_15/svcomp_b.03-no-inv_assume.c	YES 9.14/3.11	MAYBE 8.89/4.06	YES 0.07/0.04
Stroeder_15/svcomp_java_Sequence.c	YES 6.29/2.41	MAYBE 8.91/4.10	YES 0.06/0.07
Stroeder_15/Pure2Phase_true-termination.c	YES 7.75/2.78	MAYBE 8.92/4.00	YES 0.03/0.03
Stroeder_15/Loop.c	NO 7.06/2.49	MAYBE 8.96/4.22	NO 0.10/0.06
Stroeder_15/LeikeHeizmann-TACAS2014-Fig1_true-termination.c	YES 9.39/3.17	MAYBE 10.18/4.17	YES 0.39/0.17
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c	YES 10.94/3.52	MAYBE 9.28/4.11	YES 0.06/0.06
Stroeder_15/svcomp_b.09-no-inv_assume.c	YES 6.98/2.59	MAYBE 9.21/4.16	YES 0.06/0.06
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c	YES 10.99/3.52	MAYBE 9.39/4.20	YES 0.05/0.06
Stroeder_15/gcd1_true-termination.c	YES 11.58/3.64	MAYBE 8.73/5.10	YES 0.08/0.05
Stroeder_15/svcomp_b.03_assume.c	YES 4.87/1.91	MAYBE 9.40/4.06	YES 0.02/0.03
Stroeder_15/Masse-VMCAI2014-Ex6_true-termination.c	YES 6.70/2.53	MAYBE 9.28/4.00	YES 0.03/0.03
Stroeder_15/Urban-WST2013-Fig1_false-termination.c	NO 7.61/2.69	MAYBE 9.68/4.84	NO 5.28/4.32
Stroeder_15/MirrorInterv.c	NO 13.89/4.31	MAYBE 9.24/4.09	MAYBE 234.17/95.50
Stroeder_15/svcomp_b.01.c	YES 4.92/2.10	MAYBE 9.42/4.13	YES 0.02/0.03
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c	YES 4.54/2.02	MAYBE 9.62/5.32	YES 0.02/0.02
Stroeder_15/Piecewise_true-termination.c	YES 58.33/16.21	MAYBE 8.90/4.15	YES 0.04/0.10
Stroeder_15/PastaB17.c	YES 5.73/2.42	MAYBE 10.56/4.41	YES 0.03/0.04
Stroeder_15/Cairo_true-termination.c	YES 9.24/3.12	MAYBE 9.33/4.18	YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c	YES 5.75/2.30	MAYBE 9.19/3.94	MAYBE 25.79/9.24
Stroeder_15/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c	YES 18.08/6.31	MAYBE 9.82/5.37	YES 0.06/0.07
Stroeder_15/PastaB4.c	YES 4.53/1.98	MAYBE 9.55/5.15	YES 0.02/0.03
Stroeder_15/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c	StarExec error	MAYBE 9.81/4.13	timeout (wallclock)
Stroeder_15/svcomp_a.04.c	YES 5.50/3.14	MAYBE 9.26/4.60	YES 0.02/0.03
Stroeder_15/Even.c	NO 10.21/3.47	MAYBE 8.73/4.05	NO 18.76/8.38
Stroeder_15/NoriSharma-FSE2013-Fig7_true-termination.c	YES 9.62/3.91	MAYBE 8.76/3.99	YES 0.03/0.04
Stroeder_15/svcomp_b.14.c	YES 7.51/2.66	MAYBE 9.48/4.38	YES 0.03/0.03
Stroeder_15/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c	YES 13.45/4.15	MAYBE 9.41/4.12	YES 9.80/3.34
Stroeder_15/PlusSwap.c	YES 5.14/2.10	MAYBE 8.82/3.92	YES 12.59/4.23
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c	YES 5.42/2.08	MAYBE 8.80/4.02	YES 0.02/0.03
Stroeder_15/Gauss.c	NO 10.67/3.50	MAYBE 9.03/4.12	NO 46.84/20.97
Stroeder_15/svcomp_ex3a.c	YES 4.77/1.92	MAYBE 9.25/4.20	MAYBE 26.90/14.53
Stroeder_15/WhileSingle.c	NO 8.86/2.92	MAYBE 8.86/3.99	NO 0.39/0.13
Stroeder_15/PastaA8.c	YES 4.68/1.85	MAYBE 9.77/4.15	YES 0.02/0.03
Stroeder_15/WhileTrue_false-termination.c	NO 5.03/1.94	MAYBE 8.86/4.47	NO 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c	YES 4.88/1.91	MAYBE 9.41/4.05	YES 0.02/0.03
Stroeder_15/Stockholm_true-termination.c	YES 9.34/3.07	MAYBE 9.39/4.01	YES 0.08/0.18
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c	YES 8.81/2.95	MAYBE 9.83/4.32	YES 0.04/0.05
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c	YES 5.42/2.04	MAYBE 9.22/3.99	YES 0.02/0.03
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c	YES 5.88/2.30	MAYBE 9.17/4.19	YES 0.02/0.02
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c	YES 5.02/1.98	MAYBE 9.14/4.12	YES 1.38/0.49
Stroeder_15/PastaA10.c	YES 24.54/6.95	MAYBE 9.30/4.09	YES 0.09/0.06
Stroeder_15/Ex01.c	NO 7.78/2.57	MAYBE 9.34/3.95	NO 18.71/8.36
Stroeder_15/AlternDivWide.c	NO 14.50/4.39	MAYBE 9.23/3.90	NO 30.24/11.70
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c	YES 4.79/1.87	MAYBE 9.25/4.16	YES 0.02/0.03
Stroeder_15/Nested.c	YES 5.78/2.14	MAYBE 8.70/4.01	YES 0.05/0.05
Stroeder_15/aaron2_true-termination.c	YES 6.82/2.43	MAYBE 8.80/3.83	YES 0.03/0.03
Stroeder_15/svcomp_b.12.c	YES 9.13/3.05	MAYBE 9.36/3.98	YES 0.03/0.03
Stroeder_15/ComplInterv.c	MAYBE 34.90/14.67	MAYBE 9.20/3.99	MAYBE 18.73/8.38
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c	YES 8.89/2.96	MAYBE 9.21/4.07	YES 0.06/0.06
Stroeder_15/GCD2.c	NO 10.14/3.37	MAYBE 8.89/3.83	NO 13.01/6.56
Stroeder_15/svcomp_c.08.c	YES 6.51/2.34	MAYBE 8.72/3.98	YES 0.03/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c	YES 6.55/2.36	MAYBE 8.98/4.00	YES 3.73/1.27
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c	YES 6.16/2.40	MAYBE 9.28/4.02	YES 0.03/0.03
Stroeder_15/NonTerminationSimple9_false-termination.c	NO 9.27/2.91	MAYBE 9.23/4.13	NO 5.40/4.23
Stroeder_15/Flip2.c	NO 23.14/6.67	MAYBE 9.25/4.00	NO 43.47/14.08
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c	NO 8.62/2.86	MAYBE 8.69/3.94	NO 10.08/5.41
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c	YES 8.99/2.97	MAYBE 9.37/3.98	YES 0.44/0.17
Stroeder_15/Et2.c	NO 19.72/5.91	MAYBE 8.81/3.92	NO 5.46/4.24
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c	YES 6.42/2.45	MAYBE 9.27/4.18	YES 0.41/0.16
Stroeder_15/TrueDiv.c	NO 8.53/2.81	MAYBE 8.63/4.66	NO 18.74/8.38
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c	YES 5.52/2.07	MAYBE 9.25/5.07	YES 0.02/0.03
Stroeder_15/Cousot.c	NO 8.76/2.92	MAYBE 9.40/4.04	NO 56.13/25.20
Stroeder_15/AlternDivWidening.c	NO 46.95/12.94	MAYBE 9.09/3.94	NO 52.78/21.36
Stroeder_15/svcomp_java_Break.c	YES 4.52/1.82	MAYBE 9.59/4.11	YES 0.02/0.02
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c	YES 6.17/2.25	MAYBE 9.03/4.18	YES 0.03/0.03
Stroeder_15/TwoFloatInterv.c	NO 9.18/3.04	MAYBE 8.92/4.13	NO 5.50/2.60
Stroeder_15/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c	YES 8.37/2.94	MAYBE 8.97/4.14	YES 0.06/0.04
Stroeder_15/Gothenburg_true-termination.c	YES 48.13/13.11	MAYBE 9.35/4.23	YES 0.28/0.12
Stroeder_15/svcomp_fermat.c	YES 19.53/5.63	MAYBE 9.22/3.94	YES 4.16/4.17
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c	YES 8.35/2.85	MAYBE 8.77/4.09	YES 1.35/0.43
Stroeder_15/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c	YES 76.10/20.38	MAYBE 9.60/4.02	YES 15.21/7.70
Stroeder_15/GulavaniGulwani-CAV2008-Fig1b_true-termination.c	YES 6.76/2.52	MAYBE 9.76/4.08	YES 0.03/0.03
Stroeder_15/svcomp_ex3b.c	YES 4.53/1.83	MAYBE 9.29/3.99	MAYBE 50.54/25.83
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c	YES 7.28/2.63	MAYBE 9.75/4.39	YES 0.04/0.04
Stroeder_15/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c	YES 8.15/2.81	MAYBE 9.38/4.13	YES 0.03/0.04
Stroeder_15/NO_02.c	NO 8.05/2.49	MAYBE 8.61/3.99	NO 0.09/0.07
Stroeder_15/genady_true-termination.c	YES 4.76/1.97	MAYBE 8.55/4.07	YES 0.02/0.02
Stroeder_15/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c	YES 8.08/2.73	MAYBE 8.66/7.60	YES 0.03/0.04
Stroeder_15/WhileIncrPart.c	NO 10.86/3.43	MAYBE 9.25/4.09	NO 18.92/8.46
Stroeder_15/Pure3Phase_true-termination.c	YES 24.46/6.99	MAYBE 9.35/3.93	YES 23.87/8.54
Stroeder_15/svcomp_b.10.c	YES 6.02/2.19	MAYBE 9.34/4.15	YES 0.03/0.04
Stroeder_15/NO_23.c	NO 6.88/2.49	MAYBE 8.77/4.10	NO 26.32/16.68
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c	YES 8.64/3.05	MAYBE 8.62/3.98	YES 0.40/0.17
Stroeder_15/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c	YES 5.83/2.20	MAYBE 9.27/3.91	YES 0.03/0.04
Stroeder_15/svcomp_easySum.c	YES 4.89/1.92	MAYBE 9.31/4.16	YES 0.02/0.02
Stroeder_15/svcomp_a.01.c	YES 6.14/2.29	MAYBE 9.04/4.15	YES 0.03/0.03
Stroeder_15/WhileDecr.c	YES 7.94/4.03	MAYBE 9.07/3.94	YES 0.02/0.02
Stroeder_15/LeikeHeizmann-TACAS2014-Ex1_true-termination.c	YES 5.38/2.08	MAYBE 9.26/3.98	YES 0.03/0.03
Stroeder_15/NonTerminationSimple2_false-termination.c	NO 8.52/2.88	MAYBE 9.29/4.06	NO 18.69/8.35
Stroeder_15/PastaA6.c	YES 7.92/2.81	MAYBE 9.61/4.08	YES 0.02/0.03
Stroeder_15/Urban-WST2013-Fig2_true-termination.c	YES 6.31/2.34	MAYBE 8.58/3.98	YES 4.14/4.14
Stroeder_15/svcomp_b.07.c	YES 7.25/2.67	MAYBE 8.59/4.01	YES 0.02/0.03
Stroeder_15/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c	NO 9.32/3.05	MAYBE 8.64/4.02	NO 10.34/5.45
	316	0	315