Termination Competition 2018: C30048

benchmark AProVE UltimateAutomizer
Ultimate/Bangalore_true-termination.c YES 9.54/3.39 MAYBE 8.98/4.01
Ultimate/Mysore_true-termination.c YES 10.37/3.64 MAYBE 8.84/4.08
Ultimate/RecursiveMultiplication_true-termination.c YES 18.93/6.24 MAYBE 9.40/4.07
Ultimate/NonTerminationSimple5_false-termination.c NO 26.91/9.02 MAYBE 8.54/3.78
Ultimate/SyntaxSupportPointer01_true-termination.c YES 7.17/2.66 MAYBE 8.61/3.94
Ultimate/LexIndexValue-Array_true-termination.c MAYBE 10.01/3.68 MAYBE 9.48/4.22
Ultimate/LexIndexValue-Pointer_true-termination.c MAYBE 4.90/2.10 MAYBE 8.79/3.98
Ultimate/NonTermination3_false-termination.c MAYBE 4.78/2.04 MAYBE 9.27/4.20
Ultimate/Nyala-2lex_true-termination.c YES 20.05/6.25 MAYBE 9.62/4.29
Ultimate/NonTerminationSimple6_false-termination.c NO 5.68/2.29 MAYBE 8.73/3.98
Ultimate/NonTerminationSimple4_false-termination.c NO 8.65/3.18 MAYBE 8.83/3.99
Ultimate/NonTerminationSimple8_false-termination.c timeout (wallclock) MAYBE 9.37/4.03
Ultimate/NonTerminationSimple3_false-termination.c NO 10.51/3.90 StarExec error
Ultimate/Madrid_false-termination.c NO 4.76/2.09 MAYBE 9.23/4.16
Ultimate/Rotation180_false-termination.c NO 9.62/2.83 MAYBE 9.46/4.15
Ultimate/Arrays01-EquivalentConstantIndices_true-termination.c YES 8.54/3.05 MAYBE 9.29/4.24
Ultimate/NonTermination2_false-termination.c NO 12.33/3.91 MAYBE 9.18/3.97
Ultimate/Collatz_unknown-termination.c StarExec error MAYBE 8.91/4.17
Ultimate/Arrays03-ValueRestictsIndex_true-termination.c YES 12.39/4.24 MAYBE 8.72/3.94
Ultimate/WhileFalse_true-termination.c YES 3.66/1.73 MAYBE 9.32/4.29
Ultimate/Parallel_true-termination.c YES 20.94/6.21 MAYBE 8.81/3.89
Ultimate/Lobnya-Boolean-Reordered_true-termination.c YES 10.93/3.43 MAYBE 9.01/4.21
Ultimate/NonTerminationSimple7_false-termination.c NO 5.65/2.31 MAYBE 9.77/4.08
Ultimate/Cairo_true-termination.c YES 8.33/2.90 MAYBE 8.93/4.11
Ultimate/4BitCounterPointer_true-termination.c YES 6.93/2.64 MAYBE 8.99/4.10
Ultimate/Division_false-termination.c NO 12.27/4.32 MAYBE 9.98/4.48
Ultimate/WhileTrue_false-termination.c NO 3.92/1.79 MAYBE 9.13/3.85
Ultimate/Stockholm_true-termination.c YES 10.43/3.73 MAYBE 9.20/4.01
Ultimate/NonTerminationSimple9_false-termination.c NO 9.58/3.62 MAYBE 9.31/4.12
Ultimate/Gothenburg_true-termination.c YES 34.10/10.34 StarExec error
Ultimate/RecursiveNonterminating_false-termination.c NO 14.17/4.81 MAYBE 8.99/4.18
Ultimate/Arrays02-EquivalentConstantIndices_false-termination.c MAYBE 11.35/4.40 MAYBE 8.80/4.08
Ultimate/Pure3Phase_true-termination.c StarExec error MAYBE 8.85/3.94
Ultimate/NonTerminationSimple2_false-termination.c NO 5.59/2.24 MAYBE 9.25/4.15
Ton_Chanh_15/NestedRecursion_2b_false-termination.c MAYBE 12.86/4.93 MAYBE 9.70/4.18
Ton_Chanh_15/MutualRecursion_1b_true-termination.c YES 18.25/5.83 MAYBE 9.30/4.11
Ton_Chanh_15/Binary_Search_true-termination.c MAYBE 40.74/15.97 MAYBE 9.25/4.01
Ton_Chanh_15/MutualRecursion_1a_false-termination.c MAYBE 19.18/5.96 MAYBE 9.64/3.96
Ton_Chanh_15/Ackermann_true-termination.c YES 46.93/16.20 MAYBE 8.91/3.99
Ton_Chanh_15/NestedRecursion_1a_false-termination.c MAYBE 24.82/8.67 MAYBE 9.45/4.12
Ton_Chanh_15/NestedRecursion_1c_true-termination.c YES 11.55/4.47 MAYBE 9.55/4.24
Ton_Chanh_15/NestedRecursion_1b_true-termination.c MAYBE 27.04/11.71 MAYBE 8.84/3.95
Ton_Chanh_15/NestedRecursion_2a_false-termination.c MAYBE 49.03/16.86 MAYBE 9.24/4.08
Ton_Chanh_15/McCarthy91_Recursion_true-termination.c StarExec error MAYBE 8.69/3.95
Ton_Chanh_15/NestedRecursion_2c_true-termination.c YES 17.70/5.72 MAYBE 9.21/4.35
Ton_Chanh_15/Ackermann_false-termination.c MAYBE 63.05/22.42 MAYBE 8.70/4.01
Ton_Chanh_15/NestedRecursion_1d_true-termination.c YES 18.98/6.36 MAYBE 8.59/3.98
AProVE_numeric/svcomp_b.02.c YES 12.53/4.19 MAYBE 8.92/4.08
AProVE_numeric/svcomp_b.05.c StarExec error MAYBE 8.50/3.97
AProVE_numeric/svcomp_gcd01_true-unreach-call_true-termination_modified.c YES 22.80/6.95 MAYBE 8.85/4.10
AProVE_numeric/rec_counter3.c YES 26.43/8.14 MAYBE 9.36/4.15
AProVE_numeric/svcomp_a.05.c YES 9.49/3.38 MAYBE 9.22/4.06
AProVE_numeric/svcomp_b.04.c YES 4.75/1.98 MAYBE 9.00/4.13
AProVE_numeric/svcomp_java_LogBuiltIn.c YES 9.30/3.26 MAYBE 8.91/4.07
AProVE_numeric/svcomp_a.08.c YES 14.44/4.89 MAYBE 9.25/4.11
AProVE_numeric/svcomp_a.07.c YES 15.50/5.19 MAYBE 9.44/4.10
AProVE_numeric/Binomial_true.c MAYBE 14.46/5.08 MAYBE 9.37/4.17
AProVE_numeric/svcomp_java_Continue1.c YES 15.97/5.31 MAYBE 9.06/3.97
AProVE_numeric/LogRecursive_true.c StarExec error MAYBE 9.53/4.13
AProVE_numeric/svcomp_java_Nested.c YES 32.62/10.69 MAYBE 9.26/4.14
AProVE_numeric/svcomp_flag.c YES 14.07/4.68 MAYBE 8.61/4.05
AProVE_numeric/svcomp_c.01-no-inv.c YES 30.64/10.16 MAYBE 8.90/4.03
AProVE_numeric/Et4_true.c YES 48.81/13.76 MAYBE 9.06/4.11
AProVE_numeric/svcomp_a.09_assume.c YES 10.98/3.68 MAYBE 9.56/4.09
AProVE_numeric/Avg_true.c YES 52.17/16.38 MAYBE 8.79/3.95
AProVE_numeric/svcomp_b.16.c YES 28.49/8.91 MAYBE 8.94/4.19
AProVE_numeric/svcomp_java_AG313.c YES 20.86/6.49 MAYBE 8.91/4.00
AProVE_numeric/svcomp_b.09_assume.c YES 5.11/2.15 MAYBE 8.97/4.01
AProVE_numeric/svcomp_b.11.c StarExec error MAYBE 9.20/4.04
AProVE_numeric/svcomp_c.01_assume.c YES 23.47/7.05 MAYBE 8.56/4.08
AProVE_numeric/svcomp_b.13.c YES 27.86/9.40 MAYBE 8.80/4.07
AProVE_numeric/ex3.c YES 19.00/6.19 MAYBE 9.25/4.25
AProVE_numeric/svcomp_c.03.c YES 32.64/9.77 MAYBE 8.83/3.96
AProVE_numeric/svcomp_Addition01_true-unreach-call_true-termination_modified.c YES 16.26/5.57 MAYBE 8.95/4.09
AProVE_numeric/svcomp_a.10.c YES 4.65/2.08 MAYBE 9.25/4.14
AProVE_numeric/svcomp_b.17.c YES 24.09/10.63 MAYBE 9.31/4.09
AProVE_numeric/svcomp_ex1.c YES 10.36/3.52 MAYBE 8.71/4.14
AProVE_numeric/svcomp_Ackermann01_true-unreach-call_modified_modified.c YES 48.97/17.35 MAYBE 9.12/4.12
AProVE_numeric/svcomp_EvenOdd01_true-unreach-call_true-termination_modified.c YES 18.00/5.98 MAYBE 8.76/4.01
AProVE_numeric/TerminatorRec02_true.c YES 12.60/4.26 MAYBE 9.10/4.11
AProVE_numeric/svcomp_b.15.c YES 12.00/4.07 MAYBE 8.85/3.88
AProVE_numeric/LeUserDefRec_true.c YES 16.49/5.52 MAYBE 8.79/4.27
AProVE_numeric/svcomp_MultCommutative_true-unreach-call_true-termination_modified.c YES 39.88/11.25 MAYBE 8.57/4.01
AProVE_numeric/svcomp_b.06.c YES 13.97/5.05 MAYBE 8.85/3.93
AProVE_numeric/svcomp_a.06.c YES 15.59/5.23 MAYBE 9.62/4.19
AProVE_numeric/svcomp_c.02.c YES 29.76/9.74 MAYBE 9.24/4.01
AProVE_numeric/svcomp_ex2.c StarExec error MAYBE 9.34/4.22
AProVE_numeric/Et3_true.c YES 28.54/8.83 MAYBE 9.70/4.38
AProVE_numeric/svcomp_b.18.c YES 13.01/4.33 MAYBE 9.16/4.14
AProVE_numeric/Et2_true.c YES 26.77/8.21 MAYBE 8.76/4.13
AProVE_numeric/svcomp_c.07.c YES 18.85/6.18 MAYBE 8.75/3.92
AProVE_numeric/svcomp_b.03-no-inv_assume.c YES 11.43/3.87 MAYBE 10.22/4.02
AProVE_numeric/svcomp_java_Sequence.c YES 16.63/5.30 MAYBE 8.83/4.85
AProVE_numeric/svcomp_b.09-no-inv_assume.c YES 5.50/2.85 MAYBE 8.52/4.01
AProVE_numeric/svcomp_b.03_assume.c YES 10.69/3.64 MAYBE 9.21/4.18
AProVE_numeric/svcomp_b.01.c YES 12.72/3.54 MAYBE 9.38/4.17
AProVE_numeric/ex2.c YES 12.97/4.50 MAYBE 9.36/3.96
AProVE_numeric/rec_strlen.c YES 24.35/7.82 MAYBE 8.82/4.03
AProVE_numeric/svcomp_a.04.c YES 10.66/3.83 MAYBE 8.80/3.99
AProVE_numeric/rec_counter1.c YES 18.89/6.94 MAYBE 8.57/3.85
AProVE_numeric/svcomp_b.14.c YES 12.11/4.29 MAYBE 9.34/4.07
AProVE_numeric/svcomp_ex3a.c YES 11.05/3.91 MAYBE 8.64/3.94
AProVE_numeric/Parts_true.c StarExec error MAYBE 8.42/3.91
AProVE_numeric/svcomp_twisted.c YES 84.31/27.51 MAYBE 8.79/4.04
AProVE_numeric/Et1_true.c YES 27.25/8.58 MAYBE 9.68/4.04
AProVE_numeric/TwoWay_true.c YES 19.04/6.45 MAYBE 9.80/4.30
AProVE_numeric/svcomp_b.12.c YES 26.92/8.13 MAYBE 9.39/4.84
AProVE_numeric/svcomp_c.08.c YES 28.05/8.69 MAYBE 8.83/5.61
AProVE_numeric/svcomp_Fibonacci01_true-unreach-call_modified.c YES 29.05/9.21 MAYBE 9.02/4.06
AProVE_numeric/svcomp_java_Break.c YES 8.14/3.00 MAYBE 9.37/4.24
AProVE_numeric/svcomp_fermat.c YES 106.21/33.11 MAYBE 9.06/4.03
AProVE_numeric/svcomp_ex3b.c YES 11.79/4.16 MAYBE 8.81/5.28
AProVE_numeric/svcomp_b.10.c YES 30.37/10.54 MAYBE 8.71/3.99
AProVE_numeric/svcomp_recHanoi02_true-unreach-call_true-termination_modified.c YES 10.75/3.98 MAYBE 8.54/4.35
AProVE_numeric/svcomp_easySum.c YES 28.92/10.86 MAYBE 8.66/4.79
AProVE_numeric/svcomp_a.01.c YES 25.19/9.10 MAYBE 9.88/4.08
AProVE_numeric/svcomp_b.07.c YES 16.60/5.92 MAYBE 9.67/6.16
AProVE_memory_unsafe/svcomp_delete_unsafe.c MAYBE 4.38/1.92 MAYBE 8.57/3.95
AProVE_memory_unsafe/svcomp_selectionsort_unsafe.c StarExec error MAYBE 9.33/4.19
AProVE_memory_unsafe/svcomp_insertionsort_unsafe.c MAYBE 5.01/2.13 MAYBE 9.06/4.08
AProVE_memory_unsafe/svcomp_count_down_unsafe.c MAYBE 6.01/2.40 MAYBE 9.28/4.17
AProVE_memory_unsafe/svcomp_reverse_array_alloca_unsafe.c MAYBE 11.66/4.21 MAYBE 9.50/4.20
AProVE_memory_unsafe/svcomp_cstrncpy_unsafe.c MAYBE 6.80/2.75 MAYBE 9.45/3.95
AProVE_memory_unsafe/svcomp_java_BubbleSort_unsafe.c MAYBE 5.72/2.37 MAYBE 9.49/3.92
AProVE_memory_unsafe/svcomp_cstrcat_unsafe.c MAYBE 4.72/1.98 StarExec error
AProVE_memory_unsafe/svcomp_lis_unsafe.c MAYBE 5.55/2.59 MAYBE 9.39/4.25
AProVE_memory_unsafe/svcomp_diff_usafe.c MAYBE 8.67/3.34 MAYBE 9.31/4.07
AProVE_memory_unsafe/svcomp_cstrcpy_unsafe.c MAYBE 5.06/2.09 MAYBE 8.94/4.20
AProVE_memory_unsafe/svcomp_knapsack_alloca_unsafe.c MAYBE 25.48/10.58 MAYBE 9.44/4.19
AProVE_memory_unsafe/svcomp_bubble_sort_unsafe.c MAYBE 5.73/3.64 MAYBE 8.68/4.07
AProVE_memory_unsafe/svcomp_reverse_array_unsafe.c MAYBE 7.13/2.92 MAYBE 9.45/4.02
AProVE_memory_unsafe/svcomp_insertion_sort_unsafe.c StarExec error MAYBE 9.36/4.21
AProVE_memory_unsafe/svcomp_delete_alloca_unsafe.c MAYBE 4.64/2.00 MAYBE 8.89/3.92
AProVE_memory_unsafe/svcomp_cstrpbrk_unsafe.c MAYBE 5.37/2.31 MAYBE 9.52/4.27
AProVE_memory_unsafe/svcomp_knapsack_unsafe.c MAYBE 8.95/3.54 MAYBE 9.64/7.95
AProVE_memory_unsafe/svcomp_cstrncat_unsafe.c MAYBE 5.01/2.13 MAYBE 8.82/3.94
AProVE_memory_unsafe/svcomp_bubblesort_unsafe.c StarExec error MAYBE 8.92/4.09
AProVE_memory_unsafe/svcomp_cstrchr_unsafe.c MAYBE 4.77/1.96 MAYBE 8.99/4.18
AProVE_memory_unsafe/svcomp_selection_sort_unsafe.c MAYBE 5.61/2.64 MAYBE 9.30/4.07
AProVE_memory_unsafe/svcomp_add_last_unsafe.c MAYBE 5.03/2.14 MAYBE 8.80/3.95
AProVE_memory_unsafe/svcomp_cstrlen_unsafe.c MAYBE 4.58/1.96 MAYBE 9.04/4.37
AProVE_memory_unsafe/svcomp_stroeder1_unsafe.c MAYBE 5.33/2.23 MAYBE 8.79/3.96
AProVE_memory_unsafe/svcomp_stroeder2_unsafe.c StarExec error MAYBE 8.74/4.02
AProVE_memory_unsafe/svcomp_mult_array_unsafe.c StarExec error MAYBE 9.09/4.11
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c MAYBE 15.91/5.51 MAYBE 9.52/4.10
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c StarExec error MAYBE 9.65/4.33
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c YES 20.01/6.46 MAYBE 9.11/4.02
SV-COMP_Termination_Category/TelAviv-Amir-Minimum_true-termination.c StarExec error MAYBE 8.92/4.02
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c YES 92.88/34.62 MAYBE 9.23/4.30
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c StarExec error MAYBE 9.48/4.12
SV-COMP_Termination_Category/GopanReps-CAV2006-Fig1a_true-termination.c.c YES 11.84/5.26 MAYBE 9.78/4.07
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c StarExec error MAYBE 9.32/4.25
SV-COMP_Termination_Category/LeikeHeizmann-TACAS2014-Ex9_true-termination.c YES 14.00/4.55 MAYBE 8.90/4.18
SV-COMP_Termination_Category/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c YES 62.29/17.81 MAYBE 8.64/3.95
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c StarExec error StarExec error
SV-COMP_Termination_Category/svcomp_cstrncmp_true-termination.c YES 20.63/6.85 MAYBE 9.55/4.21
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c YES 24.19/7.36 MAYBE 9.35/4.19
SV-COMP_Termination_Category/UrbanMine-ESOP2014-Fig3_true-termination.c YES 106.60/30.92 MAYBE 9.31/4.13
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c YES 29.35/10.10 MAYBE 9.30/4.08
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig1_true-termination.c YES 31.45/13.65 MAYBE 9.09/4.01
SV-COMP_Termination_Category/aviad_true-termination.c YES 46.99/14.33 MAYBE 9.36/4.05
SV-COMP_Termination_Category/LeikeHeizmann-WST2014-Ex9_true-termination.c YES 6.46/2.46 MAYBE 8.70/4.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c NO 24.54/7.09 MAYBE 8.57/3.93
SV-COMP_Termination_Category/svcomp_cstrspn_true-termination.c YES 48.99/14.71 MAYBE 9.48/3.99
SV-COMP_Termination_Category/Toulouse-BranchesToLoop_true-termination.c YES 18.62/5.90 MAYBE 9.65/3.95
SV-COMP_Termination_Category/min_rf_true-termination.c YES 115.22/45.69 MAYBE 8.43/3.96
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1_true-termination.c YES 68.03/18.63 MAYBE 9.36/4.00
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c NO 14.29/4.64 MAYBE 9.24/4.04
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c YES 14.25/4.58 MAYBE 9.22/4.16
SV-COMP_Termination_Category/aaron3_true-termination.c StarExec error MAYBE 9.23/4.54
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c YES 14.65/4.73 MAYBE 9.29/4.04
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c YES 9.41/3.43 MAYBE 8.55/4.07
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c YES 7.87/2.86 MAYBE 9.42/4.27
SV-COMP_Termination_Category/svcomp_cstrcmp_true-termination.c YES 15.26/5.19 MAYBE 9.36/4.16
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c YES 36.33/13.43 MAYBE 9.43/4.12
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c YES 8.00/3.03 MAYBE 8.85/4.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c YES 7.71/2.86 MAYBE 9.41/4.01
SV-COMP_Termination_Category/joey_false-termination.c StarExec error MAYBE 8.64/3.94
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c StarExec error MAYBE 8.95/4.09
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c timeout (wallclock) MAYBE 9.16/4.00
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c StarExec error MAYBE 9.62/3.99
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c YES 16.64/5.30 MAYBE 9.22/4.18
SV-COMP_Termination_Category/Masse-VMCAI2014-Fig1b_true-termination.c StarExec error MAYBE 9.35/3.96
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c YES 8.68/3.08 MAYBE 9.53/4.27
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c YES 18.76/6.17 MAYBE 9.34/4.27
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c YES 15.27/4.81 MAYBE 8.98/5.79
SV-COMP_Termination_Category/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c YES 59.89/19.31 MAYBE 9.19/3.92
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c YES 18.33/5.82 MAYBE 9.34/10.14
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c YES 64.30/22.30 MAYBE 9.30/4.00
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c YES 16.65/5.27 MAYBE 9.06/4.16
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c YES 9.07/3.36 MAYBE 8.95/4.03
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c YES 31.93/10.38 MAYBE 9.55/4.18
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c YES 22.73/7.05 MAYBE 8.66/3.99
SV-COMP_Termination_Category/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c YES 29.82/9.30 MAYBE 8.77/4.06
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c YES 16.46/5.17 MAYBE 9.34/4.00
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c YES 7.70/2.87 MAYBE 9.20/4.11
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c YES 27.22/8.18 MAYBE 9.30/4.13
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c YES 11.47/4.13 MAYBE 9.19/7.03
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c YES 11.22/3.37 MAYBE 9.35/4.27
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c YES 18.17/5.75 MAYBE 9.65/3.97
SV-COMP_Termination_Category/Avery-FLOPS2006-Table1_true-termination.c YES 28.23/8.91 MAYBE 9.14/4.11
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c YES 18.38/6.18 MAYBE 9.36/4.16
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c YES 19.01/6.31 MAYBE 9.54/4.06
SV-COMP_Termination_Category/svcomp_cstrpbrk_true-termination.c YES 41.19/14.01 MAYBE 9.88/4.44
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c StarExec error MAYBE 9.28/3.96
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c YES 16.26/5.21 MAYBE 9.55/3.97
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c StarExec error MAYBE 9.39/4.02
SV-COMP_Termination_Category/Toulouse-MultiBranchesToLoop_true-termination.c YES 17.59/5.51 MAYBE 9.24/4.95
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c YES 92.40/28.28 MAYBE 8.76/3.98
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c YES 24.62/7.63 MAYBE 8.88/4.06
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c YES 40.52/13.04 MAYBE 9.00/5.41
SV-COMP_Termination_Category/gcd1_true-termination.c YES 109.63/31.35 MAYBE 9.13/5.32
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c YES 8.26/3.08 MAYBE 8.96/5.45
SV-COMP_Termination_Category/svcomp_cstrlen_true-termination.c YES 10.46/4.69 MAYBE 9.35/5.66
SV-COMP_Termination_Category/svcomp_cstrcspn_true-termination.c YES 72.45/21.00 MAYBE 9.10/4.10
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c YES 80.34/21.82 MAYBE 9.44/4.11
SV-COMP_Termination_Category/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c StarExec error MAYBE 9.00/4.07
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c NO 22.86/8.69 MAYBE 9.70/5.24
SV-COMP_Termination_Category/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c StarExec error MAYBE 9.50/4.05
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c YES 14.10/4.52 MAYBE 8.78/4.12
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c YES 24.87/8.28 MAYBE 9.24/3.97
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c YES 4.67/2.07 MAYBE 8.86/4.09
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c YES 121.09/35.13 MAYBE 10.72/5.92
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c YES 10.51/3.72 MAYBE 8.81/3.90
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c YES 17.11/5.42 MAYBE 9.29/4.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c YES 7.89/2.86 MAYBE 9.48/4.22
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c YES 34.14/11.13 MAYBE 9.69/3.92
SV-COMP_Termination_Category/aaron2_true-termination.c YES 47.43/13.65 MAYBE 9.27/4.22
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c YES 20.88/6.49 MAYBE 9.47/4.24
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c YES 19.30/5.91 MAYBE 9.13/3.98
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c MAYBE 15.98/5.57 MAYBE 9.24/4.05
SV-COMP_Termination_Category/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c NO 203.07/52.90 MAYBE 9.06/4.06
SV-COMP_Termination_Category/svcomp_strchr_true-termination.c YES 9.93/3.58 MAYBE 9.45/4.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c YES 9.57/3.32 MAYBE 9.69/8.57
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c YES 208.88/66.55 MAYBE 8.97/3.90
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c YES 38.94/12.66 MAYBE 8.91/4.24
SV-COMP_Termination_Category/genady_true-termination.c YES 17.26/5.99 MAYBE 9.52/4.09
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c YES 34.82/13.00 MAYBE 8.59/4.01
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c YES 15.99/4.99 MAYBE 8.87/4.08
SV-COMP_Termination_Category/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c YES 32.18/9.46 MAYBE 9.33/3.86
SV-COMP_Mixed_Categories/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c MAYBE 128.66/63.41 MAYBE 9.63/4.19
SV-COMP_Mixed_Categories/Problem08_label00_true-unreach-call.c StarExec error MAYBE 133.46/76.02
SV-COMP_Mixed_Categories/Problem01_label00_true-unreach-call.c StarExec error MAYBE 10.89/4.31
SV-COMP_Mixed_Categories/s3_clnt_1_false-unreach-call.cil.c timeout (wallclock) MAYBE 10.30/4.28
SV-COMP_Mixed_Categories/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c StarExec error MAYBE 9.53/4.40
SV-COMP_Mixed_Categories/splice_true-unreach-call.c MAYBE 23.51/9.39 MAYBE 9.35/5.18
SV-COMP_Mixed_Categories/cs_time_var_mutex_true-unreach-call.c MAYBE 8.31/3.72 MAYBE 11.57/9.63
SV-COMP_Mixed_Categories/gcd01_true-unreach-call_true-termination.c YES 20.93/6.54 MAYBE 8.89/4.02
SV-COMP_Mixed_Categories/Problem18_label00_false-unreach-call.c StarExec error MAYBE 17.03/6.63
SV-COMP_Mixed_Categories/Addition01_true-unreach-call_true-termination.c YES 16.18/5.33 MAYBE 9.41/4.07
SV-COMP_Mixed_Categories/email_spec0_product05_true-unreach-call.cil.c YES 175.50/83.39 StarExec error
SV-COMP_Mixed_Categories/sll_to_dll_rev_true-unreach-call.c StarExec error MAYBE 10.63/4.62
SV-COMP_Mixed_Categories/cdaudio_simpl1_false-unreach-call_true-termination.cil.c StarExec error MAYBE 11.63/4.58
SV-COMP_Mixed_Categories/s3_srvr_1_false-unreach-call.cil.c MAYBE 23.69/9.77 MAYBE 10.07/4.33
SV-COMP_Mixed_Categories/Problem04_label00_true-unreach-call.c StarExec error MAYBE 17.71/10.68
SV-COMP_Mixed_Categories/simple-ext_1_true-valid-memsafety.c MAYBE 28.33/10.16 MAYBE 10.50/4.30
SV-COMP_Mixed_Categories/dll_of_dll_true-unreach-call.c MAYBE 4.45/1.94 MAYBE 10.10/4.23
SV-COMP_Mixed_Categories/960521-1_1_true-valid-memsafety.c MAYBE 15.85/5.72 MAYBE 9.39/4.13
SV-COMP_Mixed_Categories/Problem10_label00_true-unreach-call.c StarExec error MAYBE 11.42/4.54
SV-COMP_Mixed_Categories/recHanoi01_true-unreach-call_true-termination.c StarExec error MAYBE 8.62/4.36
SV-COMP_Mixed_Categories/s3_srvr_14_false-unreach-call.cil.c MAYBE 33.22/13.39 MAYBE 10.43/4.52
SV-COMP_Mixed_Categories/lockfree-3.0_true-valid-memsafety.c MAYBE 10.22/3.81 MAYBE 10.49/6.20
SV-COMP_Mixed_Categories/floppy_simpl3_false-unreach-call_true-termination.cil.c StarExec error MAYBE 9.88/4.32
SV-COMP_Mixed_Categories/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c StarExec error MAYBE 10.60/4.49
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c MAYBE 43.86/14.51 MAYBE 9.75/4.24
SV-COMP_Mixed_Categories/token_ring.01_false-unreach-call_false-termination.cil.c StarExec error MAYBE 9.30/4.60
SV-COMP_Mixed_Categories/token_ring.05_false-unreach-call_false-termination.cil.c StarExec error MAYBE 9.82/4.22
SV-COMP_Mixed_Categories/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c StarExec error MAYBE 10.39/4.24
SV-COMP_Mixed_Categories/Problem14_label00_true-unreach-call.c StarExec error MAYBE 11.57/4.62
SV-COMP_Mixed_Categories/EvenOdd01_true-unreach-call_true-termination.c YES 20.36/6.49 MAYBE 9.40/4.01
SV-COMP_Mixed_Categories/list_true-unreach-call.c StarExec error MAYBE 10.08/4.40
SV-COMP_Mixed_Categories/rekcba_ctm_false-unreach-call.2.c MAYBE 28.02/20.21 MAYBE 53.26/19.68
SV-COMP_Mixed_Categories/Problem12_label00_false-unreach-call.c StarExec error MAYBE 19.05/7.23
SV-COMP_Mixed_Categories/id2_b2_o3_true-unreach-call.c MAYBE 32.28/10.38 MAYBE 8.53/3.97
SV-COMP_Mixed_Categories/id_i10_o10_false-unreach-call.c YES 12.03/4.11 MAYBE 10.21/4.16
SV-COMP_Mixed_Categories/sum_non_eq_false-unreach-call.c MAYBE 25.57/7.67 MAYBE 8.73/3.98
SV-COMP_Mixed_Categories/bubble_sort_linux_true-unreach-call.c MAYBE 3.79/1.68 MAYBE 11.72/4.69
SV-COMP_Mixed_Categories/cs_dekker_true-unreach-call.c MAYBE 7.72/3.30 MAYBE 11.05/4.31
SV-COMP_Mixed_Categories/Primes_true-unreach-call.c MAYBE 438.66/260.55 MAYBE 9.02/4.09
SV-COMP_Mixed_Categories/Problem17_label00_true-unreach-call.c StarExec error MAYBE 16.22/6.11
SV-COMP_Mixed_Categories/Problem02_label00_true-unreach-call.c NO 259.64/110.59 MAYBE 11.80/4.84
SV-COMP_Mixed_Categories/Problem03_label00_true-unreach-call.c StarExec error MAYBE 13.48/5.50
SV-COMP_Mixed_Categories/Problem11_label00_false-unreach-call.c StarExec error MAYBE 12.32/4.90
SV-COMP_Mixed_Categories/sum_2x3_false-unreach-call.c YES 16.38/5.56 MAYBE 9.35/4.18
SV-COMP_Mixed_Categories/transmitter.11_false-unreach-call_false-termination.cil.c StarExec error MAYBE 10.98/4.54
SV-COMP_Mixed_Categories/Problem13_label00_true-unreach-call.c StarExec error MAYBE 20.09/7.66
SV-COMP_Mixed_Categories/test-0513_1_true-valid-memsafety.c MAYBE 10.79/3.98 MAYBE 10.51/4.57
SV-COMP_Mixed_Categories/test_locks_15_true-unreach-call_false-termination.c StarExec error MAYBE 9.69/4.22
SV-COMP_Mixed_Categories/test-0219_true-valid-memsafety.c MAYBE 14.38/6.63 MAYBE 11.22/4.55
SV-COMP_Mixed_Categories/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c StarExec error MAYBE 9.30/4.37
SV-COMP_Mixed_Categories/token_ring.15_false-unreach-call_false-termination.cil.c StarExec error MAYBE 10.77/4.34
SV-COMP_Mixed_Categories/sanfoundry_02_true-unreach-call_ground.c MAYBE 76.46/37.22 MAYBE 9.39/4.40
SV-COMP_Mixed_Categories/token_ring.10_false-unreach-call_false-termination.cil.c StarExec error MAYBE 11.82/4.64
SV-COMP_Mixed_Categories/Problem05_label00_false-unreach-call.c StarExec error MAYBE 23.34/8.93
SV-COMP_Mixed_Categories/BallRajamani-SPIN2000-Fig1_false-unreach-call.c YES 34.96/11.00 MAYBE 9.21/3.96
SV-COMP_Mixed_Categories/Problem06_label00_false-unreach-call.c StarExec error MAYBE 22.35/8.63
SV-COMP_Mixed_Categories/cs_fib_longer_true-unreach-call.c MAYBE 9.25/4.92 MAYBE 11.65/4.67
SV-COMP_Mixed_Categories/pc_sfifo_1_false-unreach-call_false-termination.cil.c StarExec error MAYBE 9.71/4.23
SV-COMP_Mixed_Categories/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c StarExec error MAYBE 11.84/4.79
SV-COMP_Mixed_Categories/Fibonacci01_true-unreach-call.c YES 31.88/10.18 MAYBE 9.16/4.93
SV-COMP_Mixed_Categories/tree_stack_true-valid-memsafety.c MAYBE 61.48/32.37 MAYBE 10.59/6.30
SV-COMP_Mixed_Categories/test-0521_true-valid-memsafety.c MAYBE 33.22/12.87 MAYBE 10.54/4.55
SV-COMP_Mixed_Categories/bist_cell_true-unreach-call_false-termination.cil.c MAYBE 72.59/36.77 MAYBE 9.34/4.29
SV-COMP_Mixed_Categories/Problem15_label00_false-unreach-call.c StarExec error MAYBE 14.92/5.77
SV-COMP_Mixed_Categories/data_structures_set_multi_proc_false-unreach-call_ground.c YES 153.43/71.92 MAYBE 8.83/4.15
SV-COMP_Mixed_Categories/transmitter.06_false-unreach-call_false-termination.cil.c StarExec error MAYBE 10.16/4.50
SV-COMP_Mixed_Categories/skiplist_3lvl_true-valid-memsafety.c MAYBE 12.36/4.56 MAYBE 10.38/5.60
SV-COMP_Mixed_Categories/afterrec_2calls_false-unreach-call.c YES 6.75/2.81 MAYBE 8.79/3.91
SV-COMP_Mixed_Categories/cs_peterson_true-unreach-call.c MAYBE 7.97/4.25 MAYBE 11.42/5.85
SV-COMP_Mixed_Categories/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c StarExec error MAYBE 12.59/5.92
SV-COMP_Mixed_Categories/fibo_2calls_2_false-unreach-call.c YES 7.09/2.82 MAYBE 9.43/4.05
SV-COMP_Mixed_Categories/elevator_spec1_product01_true-unreach-call.cil.c StarExec error MAYBE 12.33/5.01
SV-COMP_Mixed_Categories/dll_extends_pointer_true-valid-memsafety.c MAYBE 10.56/4.04 MAYBE 10.25/4.99
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c MAYBE 116.15/51.05 MAYBE 9.50/4.36
SV-COMP_Mixed_Categories/cs_lamport_true-unreach-call.c MAYBE 8.66/3.69 MAYBE 10.89/4.58
SV-COMP_Mixed_Categories/rekcba_aso_false-unreach-call.1.M1.c MAYBE 3.81/1.79 MAYBE 16.47/6.76
SV-COMP_Mixed_Categories/transmitter.01_false-unreach-call_false-termination.cil.c StarExec error MAYBE 9.54/4.11
SV-COMP_Mixed_Categories/transmitter.16_false-unreach-call_false-termination.cil.c StarExec error MAYBE 11.11/4.64
SV-COMP_Mixed_Categories/McCarthy91_false-unreach-call_false-termination.c StarExec error MAYBE 9.27/4.10
SV-COMP_Mixed_Categories/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c MAYBE 38.24/12.77 MAYBE 9.11/4.02
SV-COMP_Mixed_Categories/standard_password_true-unreach-call_ground.c YES 47.67/16.16 MAYBE 8.93/4.10
SV-COMP_Mixed_Categories/merge_sort_true-unreach-call.c MAYBE 12.62/4.41 MAYBE 10.15/4.31
SV-COMP_Mixed_Categories/cs_stateful_false-unreach-call.c MAYBE 6.86/2.82 MAYBE 12.33/4.68
SV-COMP_Mixed_Categories/test-0234_true-valid-memsafety.c StarExec error MAYBE 10.84/4.28
SV-COMP_Mixed_Categories/cs_szymanski_true-unreach-call.c MAYBE 7.82/3.36 MAYBE 10.62/4.52
SV-COMP_Mixed_Categories/Problem19_label00_true-unreach-call.c StarExec error MAYBE 25.36/9.69
SV-COMP_Mixed_Categories/minepump_spec1_product01_true-unreach-call.cil.c NO 107.13/28.11 MAYBE 10.02/4.51
SV-COMP_Mixed_Categories/fibo_5_false-unreach-call.c YES 33.55/11.12 MAYBE 9.55/4.25
SV-COMP_Mixed_Categories/Problem16_label00_false-unreach-call.c StarExec error MAYBE 13.35/5.11
SV-COMP_Mixed_Categories/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c MAYBE 124.18/56.85 MAYBE 10.32/4.30
SV-COMP_Mixed_Categories/rekcba_nxt_false-unreach-call.1.M1.c MAYBE 3.74/1.74 MAYBE 14.13/5.46
SV-COMP_Mixed_Categories/Problem09_label00_true-unreach-call.c StarExec error MAYBE 144.79/82.37
SV-COMP_Mixed_Categories/diskperf_simpl1_true-unreach-call_true-termination.cil.c StarExec error MAYBE 10.27/10.69
SV-COMP_Mixed_Categories/standard_copy7_true-unreach-call_ground.c YES 83.71/33.04 MAYBE 8.81/4.15
SV-COMP_Mixed_Categories/list-ext_1_true-valid-memsafety.c MAYBE 35.85/15.08 MAYBE 10.47/4.50
SV-COMP_Mixed_Categories/stateful_check_false-unreach-call.c MAYBE 3.32/1.58 MAYBE 9.14/4.08
SV-COMP_Mixed_Categories/standard_compare_true-unreach-call_ground.c YES 55.03/19.32 MAYBE 9.53/4.28
SV-COMP_Mixed_Categories/test-0134_true-valid-memsafety.c MAYBE 3.63/1.73 MAYBE 10.06/4.23
SV-COMP_Mixed_Categories/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c StarExec error MAYBE 10.30/4.30
SV-COMP_Mixed_Categories/Problem07_label00_true-unreach-call.c StarExec error MAYBE 65.08/36.25
SV-COMP_Mixed_Categories/sorting_bubblesort_true-unreach-call_ground.c StarExec error MAYBE 9.75/4.21
AProVE_memory_alloca/svcomp_a.07-alloca.c YES 34.31/13.45 MAYBE 8.91/3.99
AProVE_memory_alloca/svcomp_b.05-alloca.c YES 13.02/4.38 MAYBE 8.90/4.04
AProVE_memory_alloca/svcomp_openbsd_cbzero_alloca.c YES 21.12/6.80 MAYBE 9.11/4.04
AProVE_memory_alloca/svcomp_openbsd_cstrncpy_alloca.c YES 77.57/35.22 MAYBE 9.41/4.62
AProVE_memory_alloca/svcomp_cstrncmp_true_alloca.c YES 43.56/14.71 MAYBE 9.49/6.48
AProVE_memory_alloca/svcomp_diff_alloca.c YES 88.34/39.36 MAYBE 9.55/4.09
AProVE_memory_alloca/svcomp_insertionsort_alloca.c YES 145.91/89.09 MAYBE 9.37/4.10
AProVE_memory_alloca/svcomp_c.07-alloca.c YES 40.75/15.53 MAYBE 9.49/4.00
AProVE_memory_alloca/svcomp_cstrcpy_alloca.c YES 168.71/131.74 MAYBE 8.76/4.16
AProVE_memory_alloca/svcomp_java_BubbleSort_alloca.c MAYBE 165.54/121.26 MAYBE 9.45/4.09
AProVE_memory_alloca/svcomp_openbsd_cstrncmp_alloca.c YES 48.01/16.37 StarExec error
AProVE_memory_alloca/svcomp_array03_alloca.c YES 211.50/107.97 MAYBE 9.39/4.28
AProVE_memory_alloca/svcomp_openbsd_cstrncat_alloca.c StarExec error MAYBE 9.28/4.02
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c YES 9.93/3.70 MAYBE 9.35/3.94
AProVE_memory_alloca/svcomp_openbsd_cstrcat_alloca.c MAYBE 11.47/4.22 MAYBE 9.20/4.25
AProVE_memory_alloca/svcomp_b.04-alloca.c YES 6.24/2.46 MAYBE 8.87/3.97
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c YES 12.52/4.24 MAYBE 9.18/4.27
AProVE_memory_alloca/svcomp_gcd1_true-alloca.c YES 128.83/40.44 MAYBE 9.78/4.17
AProVE_memory_alloca/svcomp_array01_alloca.c YES 96.03/36.80 MAYBE 9.40/4.18
AProVE_memory_alloca/svcomp_b.15-alloca.c YES 28.49/9.38 MAYBE 10.01/4.06
AProVE_memory_alloca/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c YES 16.17/5.42 MAYBE 9.62/8.42
AProVE_memory_alloca/svcomp_java_AG313-alloca.c YES 35.20/11.04 MAYBE 9.54/4.20
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c YES 39.15/11.35 MAYBE 9.51/4.02
AProVE_memory_alloca/svcomp_strreplace_alloca.c StarExec error MAYBE 9.37/4.04
AProVE_memory_alloca/svcomp_a.04-alloca.c YES 23.03/7.71 MAYBE 9.36/4.30
AProVE_memory_alloca/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c YES 25.27/7.98 MAYBE 9.55/4.14
AProVE_memory_alloca/svcomp_b.12-alloca.c YES 43.71/13.61 MAYBE 8.95/4.00
AProVE_memory_alloca/svcomp_openbsd_cstrlen_alloca.c YES 14.73/4.97 MAYBE 9.43/4.20
AProVE_memory_alloca/svcomp_aviad_true-alloca.c YES 61.84/20.75 MAYBE 9.26/3.97
AProVE_memory_alloca/svcomp_Toulouse-BranchesToLoop_true-alloca.c YES 21.42/6.94 MAYBE 9.29/4.19
AProVE_memory_alloca/svcomp_Velroyen_false-unreach-label-termination-alloca.c NO 9.41/3.26 MAYBE 9.45/4.13
AProVE_memory_alloca/svcomp_b.03-no-inv_assume-alloca.c YES 17.26/5.45 MAYBE 9.48/4.07
AProVE_memory_alloca/svcomp_openbsd_cstrpbrk_alloca.c YES 59.97/22.87 MAYBE 9.45/3.90
AProVE_memory_alloca/svcomp_openbsd_cstrnlen_alloca.c YES 28.94/9.78 MAYBE 8.75/3.80
AProVE_memory_alloca/svcomp_b.01-alloca.c YES 19.81/6.61 MAYBE 9.14/4.35
AProVE_memory_alloca/svcomp_count_down_alloca.c YES 285.07/114.16 MAYBE 8.72/4.06
AProVE_memory_alloca/svcomp_flag-alloca.c YES 28.77/9.46 MAYBE 9.02/4.06
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c YES 29.03/11.05 MAYBE 8.87/4.09
AProVE_memory_alloca/svcomp_a.06-alloca.c YES 37.32/13.97 MAYBE 9.17/3.96
AProVE_memory_alloca/svcomp_b.06-alloca.c YES 29.26/9.58 MAYBE 9.36/4.00
AProVE_memory_alloca/svcomp_easySum-alloca.c YES 88.64/55.39 MAYBE 9.46/4.17
AProVE_memory_alloca/svcomp_cstrspn_true_alloca.c YES 82.10/33.16 MAYBE 9.93/5.64
AProVE_memory_alloca/svcomp_cstrcat_alloca.c MAYBE 12.86/4.83 MAYBE 9.39/3.95
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c YES 19.65/6.18 MAYBE 9.69/4.26
AProVE_memory_alloca/svcomp_selectionsort_alloca.c MAYBE 262.61/200.31 MAYBE 10.32/4.22
AProVE_memory_alloca/svcomp_stroeder2_alloca.c YES 92.70/33.46 MAYBE 9.41/4.07
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c YES 24.21/7.34 MAYBE 9.06/4.26
AProVE_memory_alloca/svcomp_b.13-alloca.c YES 51.79/19.43 MAYBE 8.91/4.59
AProVE_memory_alloca/svcomp_cstrcmp_true_alloca.c YES 33.49/11.13 MAYBE 8.79/4.03
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c StarExec error MAYBE 9.34/4.29
AProVE_memory_alloca/svcomp_b.09_assume-alloca.c YES 6.87/3.58 MAYBE 10.32/4.82
AProVE_memory_alloca/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c StarExec error MAYBE 9.45/4.18
AProVE_memory_alloca/svcomp_openbsd_cstrcmp_alloca.c YES 39.10/13.72 MAYBE 9.00/4.25
AProVE_memory_alloca/svcomp_java_Continue1-alloca.c YES 18.72/6.12 MAYBE 9.44/4.16
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c YES 70.40/31.78 MAYBE 8.96/4.01
AProVE_memory_alloca/svcomp_c.08-alloca.c YES 37.18/12.88 MAYBE 9.57/4.74
AProVE_memory_alloca/svcomp_b.17-alloca.c YES 48.42/18.44 MAYBE 9.65/4.24
AProVE_memory_alloca/svcomp_cstrcspn_true_alloca.c YES 113.14/41.31 MAYBE 9.36/4.16
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c StarExec error MAYBE 9.50/5.23
AProVE_memory_alloca/svcomp_b.07-alloca.c YES 39.45/14.23 MAYBE 9.26/4.32
AProVE_memory_alloca/svcomp_openbsd_cstrstr_alloca.c YES 217.31/86.08 MAYBE 9.61/4.12
AProVE_memory_alloca/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c YES 52.81/18.12 MAYBE 9.11/4.06
AProVE_memory_alloca/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c YES 68.75/24.35 MAYBE 9.21/4.19
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2_true-alloca.c YES 19.27/6.82 MAYBE 9.31/4.26
AProVE_memory_alloca/svcomp_lis_alloca.c MAYBE 142.80/92.73 MAYBE 9.52/4.16
AProVE_memory_alloca/svcomp_b.16-alloca.c YES 46.84/16.89 MAYBE 9.61/5.01
AProVE_memory_alloca/svcomp_ex3a-alloca.c YES 14.30/4.93 MAYBE 8.95/4.07
AProVE_memory_alloca/svcomp_openbsd_cmemset_alloca.c YES 37.04/13.89 MAYBE 9.43/4.95
AProVE_memory_alloca/svcomp_cstrlen_true_alloca.c YES 14.60/5.04 MAYBE 9.55/4.72
AProVE_memory_alloca/svcomp_cstrpbrk_true_alloca.c YES 68.45/25.75 MAYBE 9.17/4.52
AProVE_memory_alloca/svcomp_ex2-alloca.c StarExec error MAYBE 8.98/4.04
AProVE_memory_alloca/svcomp_b.11-alloca.c StarExec error MAYBE 9.94/4.23
AProVE_memory_alloca/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c StarExec error MAYBE 9.56/4.20
AProVE_memory_alloca/svcomp_mult_array_alloca.c MAYBE 7.40/3.07 MAYBE 8.96/4.13
AProVE_memory_alloca/svcomp_openbsd_cstpncpy_alloca.c YES 109.01/57.06 MAYBE 9.62/4.12
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c YES 131.57/36.23 MAYBE 9.51/4.10
AProVE_memory_alloca/svcomp_cstrchr_true_alloca.c YES 19.13/6.38 MAYBE 9.15/4.18
AProVE_memory_alloca/svcomp_fermat-alloca.c YES 148.15/54.77 MAYBE 9.02/4.02
AProVE_memory_alloca/svcomp_openbsd_cstrcpy_alloca.c YES 128.57/96.95 MAYBE 9.58/4.09
AProVE_memory_alloca/svcomp_b.03_assume-alloca.c YES 16.31/5.28 MAYBE 9.01/4.11
AProVE_memory_alloca/svcomp_a.10-alloca.c StarExec error MAYBE 9.43/4.16
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c StarExec error StarExec error
AProVE_memory_alloca/svcomp_a.01-alloca.c YES 39.08/12.35 StarExec error
AProVE_memory_alloca/svcomp_java_LogBuiltIn-alloca.c YES 14.61/4.90 MAYBE 9.60/4.13
AProVE_memory_alloca/svcomp_Masse_true-alloca.c StarExec error MAYBE 9.34/4.11
AProVE_memory_alloca/svcomp_openbsd_cmemrchr_alloca.c MAYBE 26.01/9.60 MAYBE 9.11/4.04
AProVE_memory_alloca/svcomp_java_Sequence-alloca.c YES 21.91/6.85 MAYBE 9.93/5.70
AProVE_memory_alloca/svcomp_java_Nested-alloca.c YES 46.91/17.41 MAYBE 9.52/4.33
AProVE_memory_alloca/svcomp_java_Break-alloca.c YES 12.76/4.44 MAYBE 10.04/3.97
AProVE_memory_alloca/svcomp_c.02-alloca.c YES 48.90/17.29 MAYBE 9.41/4.00
AProVE_memory_alloca/svcomp_ex3b-alloca.c YES 29.20/9.77 MAYBE 8.65/4.00
AProVE_memory_alloca/svcomp_a.09_assume-alloca.c YES 16.04/5.20 MAYBE 9.68/4.16
AProVE_memory_alloca/svcomp_openbsd_cstrlcpy_alloca.c YES 67.80/25.59 MAYBE 8.79/4.04
AProVE_memory_alloca/svcomp_openbsd_cstpcpy_alloca.c YES 129.39/95.66 MAYBE 8.99/3.96
AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c NO 7.65/2.56 MAYBE 9.07/4.01
AProVE_memory_alloca/svcomp_openbsd_cstrspn_alloca.c StarExec error MAYBE 9.01/4.22
AProVE_memory_alloca/svcomp_add_last_alloca.c MAYBE 8.41/3.34 MAYBE 9.31/4.09
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c StarExec error MAYBE 9.68/4.20
AProVE_memory_alloca/svcomp_a.05-alloca.c YES 21.69/7.23 MAYBE 9.02/3.92
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c NO 6.91/2.59 MAYBE 9.59/4.12
AProVE_memory_alloca/svcomp_b.02-alloca.c YES 28.22/9.53 MAYBE 9.32/4.11
AProVE_memory_alloca/svcomp_stroeder1_alloca.c YES 34.73/11.43 MAYBE 9.27/4.02
AProVE_memory_alloca/svcomp_min_rf_true-alloca.c YES 137.99/57.34 MAYBE 9.56/4.18
AProVE_memory_alloca/svcomp_b.18-alloca.c YES 17.27/5.53 MAYBE 9.49/4.20
AProVE_memory_alloca/svcomp_bubblesort_alloca.c MAYBE 156.35/111.15 MAYBE 9.04/4.22
AProVE_memory_alloca/svcomp_b.10-alloca.c YES 51.46/18.29 MAYBE 9.25/4.19
AProVE_memory_alloca/svcomp_c.01_assume-alloca.c YES 34.39/13.32 MAYBE 8.91/4.13
AProVE_memory_alloca/svcomp_a.08-alloca.c YES 26.05/8.54 MAYBE 10.00/4.52
AProVE_memory_alloca/svcomp_cstrncpy_alloca.c MAYBE 42.20/16.61 MAYBE 9.44/4.07
AProVE_memory_alloca/svcomp_twisted-alloca.c YES 8.74/3.25 MAYBE 9.41/4.06
AProVE_memory_alloca/svcomp_openbsd_cmemchr_alloca.c MAYBE 27.49/9.72 MAYBE 9.39/4.31
AProVE_memory_alloca/svcomp_subseq_alloca.c YES 58.94/22.21 MAYBE 9.44/4.06
AProVE_memory_alloca/svcomp_substring_alloca.c YES 73.89/33.01 MAYBE 9.44/4.26
AProVE_memory_alloca/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c YES 29.78/9.24 MAYBE 8.89/4.12
AProVE_memory_alloca/svcomp_c.03-alloca.c YES 54.54/20.17 MAYBE 8.83/4.22
AProVE_memory_alloca/svcomp_openbsd_cstrcspn_alloca.c StarExec error MAYBE 9.80/4.80
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c YES 69.46/28.19 MAYBE 9.30/4.14
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c YES 39.71/13.00 MAYBE 9.25/4.25
AProVE_memory_alloca/svcomp_genady_true-alloca.c YES 34.77/12.11 MAYBE 9.87/4.25
AProVE_memory_alloca/svcomp_c.01-no-inv-alloca.c YES 42.19/13.58 MAYBE 8.82/8.35
AProVE_memory_alloca/svcomp_ex1-alloca.c YES 16.25/5.56 MAYBE 9.01/4.19
AProVE_memory_alloca/svcomp_array02_alloca.c YES 232.82/127.11 MAYBE 8.96/4.14
AProVE_memory_alloca/svcomp_b.14-alloca.c YES 22.45/7.49 MAYBE 9.68/4.03
AProVE_memory_alloca/svcomp_b.09-no-inv_assume-alloca.c YES 6.64/2.68 MAYBE 9.54/4.29
AProVE_memory_alloca/svcomp_TelAviv-Amir-Minimum_true-alloca.c StarExec error MAYBE 8.86/4.11
AProVE_memory_alloca/svcomp_cstrncat_alloca.c MAYBE 11.03/4.06 MAYBE 8.83/4.24
AProVE_memory_alloca/svcomp_Urban_true-alloca.c YES 159.05/43.06 MAYBE 9.33/3.99
292 0