Termination Competition 2020: C41216

Job info CSV
benchmark AProVE c UltimateAutomizer2019 default
Ultimate/4BitCounterPointer_true-termination.c 11773909 YES 7.01/2.74 timeout (wallclock) [out]
Ultimate/Arrays01-EquivalentConstantIndices_true-termination.c 11773911 YES 7.2/3.01 YES 15.95/6.85
Ultimate/Arrays02-EquivalentConstantIndices_false-termination.c 11773920 MAYBE 10.50/4.08 NO 13.18/6.18
Ultimate/Arrays03-ValueRestictsIndex_true-termination.c 11773913 YES 10.31/3.68 MAYBE 22.06/8.69
Ultimate/Bangalore_true-termination.c 11773908 YES 8.46/3.06 YES 12.88/5.99
Ultimate/Cairo_true-termination.c 11773906 YES 7.37/2.65 YES 12.78/6.29
Ultimate/Collatz_unknown-termination.c 11773929 timeout (wallclock) [out] MAYBE 39.44/16.47
Ultimate/Division_false-termination.c 11773902 NO 10.97/4.23 NO 11.07/5.51
Ultimate/Gothenburg_true-termination.c 11773915 YES 36.57/14.19 YES 23.86/15.28
Ultimate/LexIndexValue-Array_true-termination.c 11773918 MAYBE 10.04/3.66 timeout (wallclock) [out]
Ultimate/LexIndexValue-Pointer_true-termination.c 11773927 MAYBE 4.55/2.04 timeout (wallclock) [out]
Ultimate/LICENSE.txt 11773921 ERROR 0.32/0.33 ERROR 8.06/3.25
Ultimate/Lobnya-Boolean-Reordered_true-termination.c 11773926 YES 8.53/3.03 YES 15.74/7.14
Ultimate/Madrid_false-termination.c 11773904 NO 4.59/2.01 NO 10.83/5.66
Ultimate/Mysore_true-termination.c 11773905 YES 10.9/3.79 YES 15.00/8.44
Ultimate/NonTermination2_false-termination.c 11773928 NO 14.06/4.51 NO 12.77/6.17
Ultimate/NonTermination3_false-termination.c 11773903 MAYBE 4.85/2.03 MAYBE 13.25/6.20
Ultimate/NonTerminationSimple2_false-termination.c 11773916 NO 6.35/2.75 NO 12.12/6.30
Ultimate/NonTerminationSimple3_false-termination.c 11773901 NO 21.05/4.05 NO 11.54/5.43
Ultimate/NonTerminationSimple4_false-termination.c 11773900 NO 7.87/2.85 NO 12.95/6.02
Ultimate/NonTerminationSimple5_false-termination.c 11773917 NO 26.60/7.70 NO 14.69/6.60
Ultimate/NonTerminationSimple6_false-termination.c 11773923 NO 6.19/2.80 NO 12.10/5.98
Ultimate/NonTerminationSimple7_false-termination.c 11773914 NO 5.89/2.41 NO 11.58/5.58
Ultimate/NonTerminationSimple8_false-termination.c 11773924 timeout (wallclock) [out] NO 12.11/6.05
Ultimate/NonTerminationSimple9_false-termination.c 11773910 NO 10.23/3.81 NO 11.57/6.76
Ultimate/Nyala-2lex_true-termination.c 11773922 YES 26.10/11.49 YES 15.01/6.80
Ultimate/Parallel_true-termination.c 11773912 YES 13.47/4.31 YES 13.08/6.02
Ultimate/Pure3Phase_true-termination.c 11773899 timeout (wallclock) [out] YES 23.26/12.31
Ultimate/README.txt 11773897 ERROR 0.31/0.24 ERROR 8.21/3.35
Ultimate/RecursiveMultiplication_true-termination.c 11773919 YES 24.01/11.19 YES 17.52/8.62
Ultimate/RecursiveNonterminating_false-termination.c 11773907 NO 14.59/5.22 NO 12.48/5.56
Ultimate/Rotation180_false-termination.c 11773898 NO 6.94/2.64 NO 11.89/5.56
Ultimate/Stockholm_true-termination.c 11773925 YES 9.25/3.42 YES 14.02/7.04
Ultimate/SyntaxSupportPointer01_true-termination.c 11773896 YES 7.04/2.63 YES 16.07/7.10
Ultimate/WhileFalse_true-termination.c 11773930 YES 3.90/1.78 YES 10.84/5.02
Ultimate/WhileTrue_false-termination.c 11773931 NO 3.89/1.82 NO 11.32/5.34
SV-COMP_Mixed_Categories/960521-1_1_true-valid-memsafety.c 11774012 MAYBE 12.87/4.68 YES 30.42/12.49
SV-COMP_Mixed_Categories/Addition01_true-unreach-call_true-termination.c 11774024 YES 16.46/5.88 YES 28.92/19.19
SV-COMP_Mixed_Categories/afterrec_2calls_false-unreach-call.c 11774023 YES 6.75/2.70 YES 13.92/6.57
SV-COMP_Mixed_Categories/BallRajamani-SPIN2000-Fig1_false-unreach-call.c 11773985 YES 37.40/12.83 YES 21.00/15.85
SV-COMP_Mixed_Categories/bist_cell_true-unreach-call_false-termination.cil.c 11773967 MAYBE 77.73/37.18 NO 54.20/20.08
SV-COMP_Mixed_Categories/bubble_sort_linux_true-unreach-call.c 11773982 MAYBE 3.82/1.75 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 11773951 timeout (wallclock) [out] YES 33.68/12.76
SV-COMP_Mixed_Categories/cs_dekker_true-unreach-call.c 11774011 MAYBE 7.55/3.35 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_fib_longer_true-unreach-call.c 11774007 MAYBE 8.93/4.35 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_lamport_true-unreach-call.c 11773971 MAYBE 8.23/3.51 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_peterson_true-unreach-call.c 11773957 MAYBE 7.14/3.06 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_stateful_false-unreach-call.c 11773937 MAYBE 6.63/2.71 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_szymanski_true-unreach-call.c 11774032 MAYBE 7.56/3.15 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/cs_time_var_mutex_true-unreach-call.c 11773949 MAYBE 8.24/3.57 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/data_structures_set_multi_proc_false-unreach-call_ground.c 11773987 YES 169.23/76.50 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/diskperf_simpl1_true-unreach-call_true-termination.cil.c 11773991 timeout (wallclock) [out] YES 28.72/13.07
SV-COMP_Mixed_Categories/dll_extends_pointer_true-valid-memsafety.c 11773972 MAYBE 11.10/4.82 ERROR 16.58/7.63
SV-COMP_Mixed_Categories/dll_of_dll_true-unreach-call.c 11773934 MAYBE 4.36/2.14 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/elevator_spec1_product01_true-unreach-call.cil.c 11773996 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/email_spec0_product05_true-unreach-call.cil.c 11774003 YES 175.72/82.93 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/EvenOdd01_true-unreach-call_true-termination.c 11773988 YES 18.86/6.55 YES 24.10/14.40
SV-COMP_Mixed_Categories/Fibonacci01_true-unreach-call.c 11774016 YES 30.38/18.00 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/fibo_2calls_2_false-unreach-call.c 11774005 YES 7.87/3.19 YES 29.81/7.09
SV-COMP_Mixed_Categories/fibo_5_false-unreach-call.c 11773945 YES 27.80/9.23 YES 39.04/20.62
SV-COMP_Mixed_Categories/floppy_simpl3_false-unreach-call_true-termination.cil.c 11774029 timeout (wallclock) [out] YES 25.05/9.72
SV-COMP_Mixed_Categories/gcd01_true-unreach-call_true-termination.c 11774025 YES 19.22/6.18 YES 23.17/13.48
SV-COMP_Mixed_Categories/id2_b2_o3_true-unreach-call.c 11773958 MAYBE 32.29/11.38 NO 18.32/8.84
SV-COMP_Mixed_Categories/id_i10_o10_false-unreach-call.c 11773977 YES 12.07/4.21 YES 15.84/7.52
SV-COMP_Mixed_Categories/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 11773942 timeout (wallclock) [out] YES 13.87/5.98
SV-COMP_Mixed_Categories/list-ext_1_true-valid-memsafety.c 11773960 MAYBE 37.30/15.27 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/list_true-unreach-call.c 11773965 MAYBE 11.69/4.40 ERROR 244.40/187.88
SV-COMP_Mixed_Categories/lockfree-3.0_true-valid-memsafety.c 11774001 MAYBE 10.53/3.95 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/McCarthy91_false-unreach-call_false-termination.c 11774015 timeout (wallclock) [out] YES 28.99/12.58
SV-COMP_Mixed_Categories/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 11773999 timeout (wallclock) [out] NO 54.86/20.39
SV-COMP_Mixed_Categories/merge_sort_true-unreach-call.c 11773954 MAYBE 12.7/4.52 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/minepump_spec1_product01_true-unreach-call.cil.c 11773953 NO 110.00/29.26 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11773969 timeout (wallclock) [out] NO 26.23/11.19
SV-COMP_Mixed_Categories/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773994 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11773970 MAYBE 48.02/15.96 NO 17.05/7.13
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 11773959 MAYBE 118.54/47.34 NO 18.16/7.99
SV-COMP_Mixed_Categories/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11774018 MAYBE 33.60/11.67 NO 15.46/6.83
SV-COMP_Mixed_Categories/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 11773975 MAYBE 127.75/62.18 NO 18.48/8.22
SV-COMP_Mixed_Categories/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11774008 timeout (wallclock) [out] NO 26.91/11.63
SV-COMP_Mixed_Categories/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773978 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773943 MAYBE 130.82/56.99 NO 21.89/8.80
SV-COMP_Mixed_Categories/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773995 MAYBE 99.25/38.67 NO 48.62/18.47
SV-COMP_Mixed_Categories/pc_sfifo_1_false-unreach-call_false-termination.cil.c 11773961 timeout (wallclock) [out] NO 38.30/17.12
SV-COMP_Mixed_Categories/Primes_true-unreach-call.c 11773946 timeout (wallclock) [out] NO 101.10/61.83
SV-COMP_Mixed_Categories/Problem01_label00_true-unreach-call.c 11773936 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem02_label00_true-unreach-call.c 11774006 NO 259.36/111.19 NO 405.19/233.50
SV-COMP_Mixed_Categories/Problem03_label00_true-unreach-call.c 11773935 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem04_label00_true-unreach-call.c 11774010 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem05_label00_false-unreach-call.c 11773973 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem06_label00_false-unreach-call.c 11773941 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem07_label00_true-unreach-call.c 11773933 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem08_label00_true-unreach-call.c 11774013 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem09_label00_true-unreach-call.c 11773944 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem10_label00_true-unreach-call.c 11774027 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem11_label00_false-unreach-call.c 11773986 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem12_label00_false-unreach-call.c 11774021 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem13_label00_true-unreach-call.c 11773948 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem14_label00_true-unreach-call.c 11774019 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem15_label00_false-unreach-call.c 11773947 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem16_label00_false-unreach-call.c 11773968 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem17_label00_true-unreach-call.c 11773952 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem18_label00_false-unreach-call.c 11773962 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/Problem19_label00_true-unreach-call.c 11773956 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/recHanoi01_true-unreach-call_true-termination.c 11773984 YES 53.79/16.48 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/rekcba_aso_false-unreach-call.1.M1.c 11773966 MAYBE 3.85/1.92 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/rekcba_ctm_false-unreach-call.2.c 11773938 MAYBE 27.59/20.10 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/rekcba_nxt_false-unreach-call.1.M1.c 11773981 MAYBE 3.75/1.74 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/s3_clnt_1_false-unreach-call.cil.c 11773939 timeout (wallclock) [out] YES 88.83/38.26
SV-COMP_Mixed_Categories/s3_srvr_14_false-unreach-call.cil.c 11774028 MAYBE 33.41/13.72 NO 114.91/60.19
SV-COMP_Mixed_Categories/s3_srvr_1_false-unreach-call.cil.c 11773950 MAYBE 23.92/9.86 NO 81.35/37.06
SV-COMP_Mixed_Categories/sanfoundry_02_true-unreach-call_ground.c 11774022 MAYBE 81.00/37.41 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/simple-ext_1_true-valid-memsafety.c 11773976 MAYBE 29.50/15.20 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/skiplist_3lvl_true-valid-memsafety.c 11773974 MAYBE 12.62/4.53 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sll_to_dll_rev_true-unreach-call.c 11774031 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/sorting_bubblesort_true-unreach-call_ground.c 11773993 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/splice_true-unreach-call.c 11774017 MAYBE 20.97/7.76 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/standard_compare_true-unreach-call_ground.c 11773980 YES 56.95/18.79 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/standard_copy7_true-unreach-call_ground.c 11773964 YES 79.30/31.19 ERROR 230.11/218.57
SV-COMP_Mixed_Categories/standard_password_true-unreach-call_ground.c 11773989 YES 53.97/17.20 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/stateful_check_false-unreach-call.c 11773983 MAYBE 3.35/1.56 NO 14.56/6.34
SV-COMP_Mixed_Categories/sum_2x3_false-unreach-call.c 11774026 YES 13.95/4.80 YES 26.18/6.17
SV-COMP_Mixed_Categories/sum_non_eq_false-unreach-call.c 11773998 MAYBE 19.73/13.15 NO 13.65/6.63
SV-COMP_Mixed_Categories/test-0134_true-valid-memsafety.c 11774030 MAYBE 3.73/1.70 ERROR 11.17/4.99
SV-COMP_Mixed_Categories/test-0219_true-valid-memsafety.c 11774004 MAYBE 14.31/5.13 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0234_true-valid-memsafety.c 11774020 MAYBE 3.58/1.72 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0513_1_true-valid-memsafety.c 11773940 MAYBE 11.01/3.97 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test-0521_true-valid-memsafety.c 11774002 MAYBE 33.51/12.59 timeout (wallclock) [out]
SV-COMP_Mixed_Categories/test_locks_15_true-unreach-call_false-termination.c 11773997 timeout (wallclock) [out] NO 60.39/25.93
SV-COMP_Mixed_Categories/token_ring.01_false-unreach-call_false-termination.cil.c 11773992 timeout (wallclock) [out] NO 31.77/12.56
SV-COMP_Mixed_Categories/token_ring.05_false-unreach-call_false-termination.cil.c 11774014 timeout (wallclock) [out] NO 296.86/160.19
SV-COMP_Mixed_Categories/token_ring.10_false-unreach-call_false-termination.cil.c 11774009 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/token_ring.15_false-unreach-call_false-termination.cil.c 11773990 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/transmitter.01_false-unreach-call_false-termination.cil.c 11773955 timeout (wallclock) [out] NO 31.87/12.06
SV-COMP_Mixed_Categories/transmitter.06_false-unreach-call_false-termination.cil.c 11773963 timeout (wallclock) [out] NO 332.17/177.89
SV-COMP_Mixed_Categories/transmitter.11_false-unreach-call_false-termination.cil.c 11773979 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/transmitter.16_false-unreach-call_false-termination.cil.c 11773932 timeout (wallclock) [out] timeout (wallclock) [out]
SV-COMP_Mixed_Categories/tree_stack_true-valid-memsafety.c 11774000 MAYBE 59.30/37.50 ERROR 44.46/21.81
SV-COMP_Termination_Category/aaron2_true-termination.c 11773869 YES 47.66/17.00 YES 13.24/6.39
SV-COMP_Termination_Category/aaron3_true-termination.c 11773822 memout [out] YES 17.88/9.71
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 11773800 MAYBE 14.92/5.26 YES 19.32/8.80
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 11773866 YES 91.78/32.71 YES 16.08/7.40
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 11773810 YES 23.26/7.11 YES 13.44/6.47
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 11773811 MAYBE 16.41/7.85 YES 19.14/9.91
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 11773786 YES 176.42/56.53 YES 14.93/6.99
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 11773862 timeout (wallclock) [out] YES 105.29/69.89
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 11773796 YES 7.83/2.84 YES 12.32/5.85
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 11773882 YES 57.66/21.04 YES 29.56/20.42
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 11773846 YES 36.43/10.84 YES 12.43/6.14
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 11773879 timeout (wallclock) [out] YES 27.79/19.31
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 11773852 YES 14.85/5.13 YES 15.06/6.98
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 11773842 YES 29.15/9.10 YES 15.78/7.74
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 11773824 YES 15.98/5.17 YES 15.62/7.06
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 11773840 YES 10.37/3.83 YES 24.72/18.01
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 11773839 YES 24.87/10.42 YES 23.72/13.55
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 11773865 YES 18.78/5.81 YES 13.22/6.36
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 11773863 timeout (wallclock) [out] YES 14.90/7.36
SV-COMP_Termination_Category/Avery-FLOPS2006-Table1_true-termination.c 11773833 YES 23.66/8.01 YES 13.98/6.57
SV-COMP_Termination_Category/aviad_true-termination.c 11773873 YES 50.22/15.04 YES 14.67/7.69
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 11773815 timeout (wallclock) [out] NO 11.05/5.59
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 11773834 YES 67.32/18.55 YES 22.52/10.51
SV-COMP_Termination_Category/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 11773821 timeout (wallclock) [out] YES 27.97/19.17
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 11773871 memout [out] MAYBE 28.78/14.16
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 11773802 YES 64.62/18.23 YES 18.51/8.86
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 11773819 YES 95.05/27.86 YES 22.74/11.88
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 11773794 timeout (wallclock) [out] YES 15.18/7.61
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 11773832 YES 38.75/11.81 YES 12.43/5.98
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 11773829 YES 9.29/3.23 YES 60.66/23.07
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 11773844 YES 4.62/2.03 YES 12.12/5.99
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 11773864 YES 7.43/2.78 YES 12.00/6.07
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 11773816 YES 10.43/3.75 YES 13.07/6.17
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 11773795 YES 12.92/4.18 YES 15.03/7.83
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 11773848 NO 31.21/12.77 NO 12.63/6.22
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c 11773845 NO 21.30/8.34 NO 15.59/8.12
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 11773872 YES 8.89/3.32 YES 15.01/8.07
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 11773841 YES 12.79/4.16 YES 14.79/8.09
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 11773825 YES 8.77/4.02 YES 13.07/5.98
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 11773881 YES 16.67/5.26 YES 15.64/8.30
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 11773857 YES 7.73/4.10 YES 12.08/6.04
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 11773805 NO 32.91/5.21 NO 12.66/6.20
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 11773789 YES 8.77/3.19 YES 12.88/6.19
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 11773814 YES 8.92/3.21 YES 13.02/5.98
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 11773818 YES 7.30/2.81 YES 14.82/8.57
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 11773790 YES 18.52/5.86 YES 14.97/8.27
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 11773803 YES 16.52/5.56 YES 15.51/8.59
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 11773874 YES 15.66/5.26 YES 14.94/7.91
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 11773813 YES 14.56/4.73 YES 14.36/7.54
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 11773877 YES 9.45/3.37 YES 17.36/10.54
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 11773787 YES 17.51/5.64 YES 24.94/17.89
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 11773875 YES 28.65/8.44 YES 14.85/6.59
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 11773809 YES 35.12/10.58 YES 15.24/7.08
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 11773858 YES 232.12/61.69 YES 17.20/8.05
SV-COMP_Termination_Category/gcd1_true-termination.c 11773850 YES 93.81/26.63 YES 17.32/8.52
SV-COMP_Termination_Category/genady_true-termination.c 11773870 YES 16.04/10.76 YES 13.13/5.88
SV-COMP_Termination_Category/GopanReps-CAV2006-Fig1a_true-termination.c.c 11773817 YES 11.85/3.99 YES 30.12/6.69
SV-COMP_Termination_Category/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 11773806 timeout (wallclock) [out] YES 20.09/8.86
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c 11773808 YES 112.90/37.16 YES 56.40/39.18
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c 11773823 timeout (wallclock) [out] NO 12.78/5.79
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c 11773836 YES 17.85/5.52 YES 12.63/6.20
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c 11773868 YES 15.39/5.22 MAYBE 24.40/14.27
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c 11773854 YES 7.75/2.83 MAYBE 16.49/6.88
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 11773812 YES 26.16/4.24 YES 12.31/5.87
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c 11773878 YES 21.77/11.16 YES 34.06/7.79
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 11773828 YES 15.53/4.99 MAYBE 15.74/7.16
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 11773849 YES 17.93/5.57 MAYBE 18.13/7.66
SV-COMP_Termination_Category/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c 11773785 NO 425.03/109.78 NO 11.15/5.53
SV-COMP_Termination_Category/joey_false-termination.c 11773792 timeout (wallclock) [out] NO 31.66/15.06
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 11773838 YES 37.79/16.62 YES 12.49/5.82
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c 11773880 timeout (wallclock) [out] YES 20.54/10.78
SV-COMP_Termination_Category/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 11773867 YES 65.28/19.43 YES 24.84/13.41
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c 11773793 YES 20.66/6.86 YES 16.33/7.82
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c 11773861 YES 20.73/7.03 YES 19.78/11.15
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c 11773820 YES 39.56/13.59 timeout (wallclock) [out]
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c 11773826 YES 24.84/8.30 YES 60.37/39.34
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c 11773847 YES 18.35/5.71 YES 56.98/42.29
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c 11773801 YES 30.62/12.14 YES 20.20/10.53
SV-COMP_Termination_Category/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 11773860 YES 10.30/3.73 YES 13.15/6.21
SV-COMP_Termination_Category/LeikeHeizmann-WST2014-Ex9_true-termination.c 11773799 YES 6.76/2.59 YES 12.29/6.04
SV-COMP_Termination_Category/LICENSE.txt 11773804 ERROR 0.32/0.29 ERROR 8.38/3.38
SV-COMP_Termination_Category/Masse-VMCAI2014-Fig1b_true-termination.c 11773856 timeout (wallclock) [out] MAYBE 19.27/7.88
SV-COMP_Termination_Category/min_rf_true-termination.c 11773798 YES 115.09/49.90 YES 31.60/17.29
SV-COMP_Termination_Category/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c 11773843 YES 62.67/17.93 timeout (wallclock) [out]
SV-COMP_Termination_Category/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 11773853 YES 35.66/10.24 YES 14.00/6.38
SV-COMP_Termination_Category/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 11773837 YES 32.77/16.81 YES 26.41/19.54
SV-COMP_Termination_Category/README.txt 11773788 ERROR 0.30/0.25 ERROR 8.17/3.49
SV-COMP_Termination_Category/svcomp_cstrcmp_true-termination.c 11773807 YES 12.08/4.22 YES 67.08/37.08
SV-COMP_Termination_Category/svcomp_cstrcspn_true-termination.c 11773797 YES 77.00/22.12 YES 138.6/97.81
SV-COMP_Termination_Category/svcomp_cstrlen_true-termination.c 11773876 YES 7.56/2.79 YES 22.24/9.55
SV-COMP_Termination_Category/svcomp_cstrncmp_true-termination.c 11773791 YES 16.82/5.68 YES 77.51/42.62
SV-COMP_Termination_Category/svcomp_cstrpbrk_true-termination.c 11773851 YES 41.40/15.32 YES 260.14/208.52
SV-COMP_Termination_Category/svcomp_cstrspn_true-termination.c 11773830 YES 48.29/14.92 YES 259.42/205.18
SV-COMP_Termination_Category/svcomp_strchr_true-termination.c 11773835 YES 8.62/3.21 YES 24.13/10.84
SV-COMP_Termination_Category/TelAviv-Amir-Minimum_true-termination.c 11773855 timeout (wallclock) [out] YES 21.62/10.00
SV-COMP_Termination_Category/Toulouse-BranchesToLoop_true-termination.c 11773831 YES 11.91/4.18 YES 17.71/8.59
SV-COMP_Termination_Category/Toulouse-MultiBranchesToLoop_true-termination.c 11773859 YES 14.72/4.81 YES 19.60/9.04
SV-COMP_Termination_Category/UrbanMine-ESOP2014-Fig3_true-termination.c 11773827 YES 139.77/38.30 YES 18.31/8.07
Ton_Chanh_15/Ackermann_false-termination.c 11773889 MAYBE 60.44/20.35 NO 19.54/9.84
Ton_Chanh_15/Ackermann_true-termination.c 11773883 YES 41.70/14.90 timeout (wallclock) [out]
Ton_Chanh_15/Binary_Search_true-termination.c 11773886 MAYBE 36.24/13.44 NO 50.27/39.21
Ton_Chanh_15/McCarthy91_Recursion_true-termination.c 11773890 timeout (wallclock) [out] YES 47.47/25.84
Ton_Chanh_15/MutualRecursion_1a_false-termination.c 11773892 MAYBE 17.99/5.97 NO 16.45/7.22
Ton_Chanh_15/MutualRecursion_1b_true-termination.c 11773894 YES 17.37/10.44 timeout (wallclock) [out]
Ton_Chanh_15/NestedRecursion_1a_false-termination.c 11773891 MAYBE 25.12/8.61 NO 13.47/6.16
Ton_Chanh_15/NestedRecursion_1b_true-termination.c 11773885 MAYBE 26.07/14.39 YES 22.70/10.14
Ton_Chanh_15/NestedRecursion_1c_true-termination.c 11773893 YES 11.64/4.13 YES 53.05/23.90
Ton_Chanh_15/NestedRecursion_1d_true-termination.c 11773888 YES 18.80/6.01 YES 20.40/9.15
Ton_Chanh_15/NestedRecursion_2a_false-termination.c 11773887 MAYBE 56.45/26.65 NO 15.09/7.46
Ton_Chanh_15/NestedRecursion_2b_false-termination.c 11773884 MAYBE 12.83/5.02 NO 21.67/10.93
Ton_Chanh_15/NestedRecursion_2c_true-termination.c 11773895 YES 16.44/5.28 YES 42.15/21.26
AProVE_numeric/Avg_true.c 11773714 YES 45.02/14.68 YES 24.55/11.55
AProVE_numeric/Binomial_true.c 11773755 MAYBE 15.34/5.33 timeout (wallclock) [out]
AProVE_numeric/Et1_true.c 11773762 YES 27.93/12.45 YES 19.79/10.56
AProVE_numeric/Et2_true.c 11773723 YES 23.19/6.99 YES 16.63/7.61
AProVE_numeric/Et3_true.c 11773771 YES 22.86/10.27 YES 17.32/8.67
AProVE_numeric/Et4_true.c 11773731 YES 57.71/16.26 YES 36.14/24.57
AProVE_numeric/ex2.c 11773721 YES 11.18/3.84 YES 16.39/7.55
AProVE_numeric/ex3.c 11773711 YES 18.82/5.99 YES 38.41/18.32
AProVE_numeric/LeUserDefRec_true.c 11773720 YES 14.44/4.99 YES 13.25/6.16
AProVE_numeric/LogRecursive_true.c 11773742 timeout (wallclock) [out] MAYBE 95.52/29.85
AProVE_numeric/Parts_true.c 11773767 timeout (wallclock) [out] timeout (wallclock) [out]
AProVE_numeric/rec_counter1.c 11773726 YES 21.61/6.81 YES 20.44/10.81
AProVE_numeric/rec_counter3.c 11773725 YES 24.32/10.96 YES 21.84/11.44
AProVE_numeric/rec_strlen.c 11773708 YES 24.10/10.41 YES 25.04/14.77
AProVE_numeric/svcomp_a.01.c 11773710 YES 26.54/11.61 YES 14.74/6.72
AProVE_numeric/svcomp_a.04.c 11773763 YES 10.45/4.66 YES 12.62/5.93
AProVE_numeric/svcomp_a.05.c 11773777 YES 10.08/3.74 YES 12.82/6.63
AProVE_numeric/svcomp_a.06.c 11773760 YES 15.40/5.25 YES 15.52/8.25
AProVE_numeric/svcomp_a.07.c 11773745 YES 14.53/5.02 YES 13.03/6.20
AProVE_numeric/svcomp_a.08.c 11773732 YES 11.33/3.92 YES 13.24/6.04
AProVE_numeric/svcomp_a.09_assume.c 11773738 YES 11.84/4.12 YES 13.03/6.20
AProVE_numeric/svcomp_a.10.c 11773716 YES 4.69/1.96 YES 16.78/8.08
AProVE_numeric/svcomp_Ackermann01_true-unreach-call_modified_modified.c 11773717 YES 45.26/17.24 timeout (wallclock) [out]
AProVE_numeric/svcomp_Addition01_true-unreach-call_true-termination_modified.c 11773756 YES 14.03/4.77 YES 28.47/19.02
AProVE_numeric/svcomp_b.01.c 11773753 YES 9.74/3.42 YES 12.78/6.05
AProVE_numeric/svcomp_b.02.c 11773773 YES 11.97/4.14 YES 12.94/6.14
AProVE_numeric/svcomp_b.03-no-inv_assume.c 11773765 YES 10.33/3.63 YES 14.62/6.89
AProVE_numeric/svcomp_b.03_assume.c 11773712 YES 9.88/3.55 YES 12.45/5.93
AProVE_numeric/svcomp_b.04.c 11773736 YES 4.64/2.07 YES 14.00/7.84
AProVE_numeric/svcomp_b.05.c 11773733 timeout (wallclock) [out] YES 12.69/6.49
AProVE_numeric/svcomp_b.06.c 11773713 YES 12.93/4.55 YES 12.76/5.77
AProVE_numeric/svcomp_b.07.c 11773718 YES 14.49/4.94 YES 13.34/6.18
AProVE_numeric/svcomp_b.09-no-inv_assume.c 11773739 YES 5.27/2.21 YES 15.77/7.49
AProVE_numeric/svcomp_b.09_assume.c 11773746 YES 5.23/2.18 YES 14.48/6.77
AProVE_numeric/svcomp_b.10.c 11773747 YES 25.57/8.14 YES 14.14/6.70
AProVE_numeric/svcomp_b.11.c 11773758 timeout (wallclock) [out] YES 15.77/7.04
AProVE_numeric/svcomp_b.12.c 11773775 YES 20.68/6.51 YES 14.44/7.88
AProVE_numeric/svcomp_b.13.c 11773764 YES 21.13/6.85 YES 15.44/7.33
AProVE_numeric/svcomp_b.14.c 11773740 YES 14.80/4.86 YES 14.75/6.82
AProVE_numeric/svcomp_b.15.c 11773727 YES 11.21/4.20 YES 15.86/7.44
AProVE_numeric/svcomp_b.16.c 11773709 YES 20.02/6.55 YES 13.57/6.13
AProVE_numeric/svcomp_b.17.c 11773724 YES 22.26/7.13 YES 14.06/6.89
AProVE_numeric/svcomp_b.18.c 11773774 YES 13.83/4.78 YES 15.23/7.27
AProVE_numeric/svcomp_c.01-no-inv.c 11773776 YES 27.30/8.45 YES 15.50/6.89
AProVE_numeric/svcomp_c.01_assume.c 11773737 YES 24.66/12.43 YES 13.74/6.31
AProVE_numeric/svcomp_c.02.c 11773744 YES 27.97/8.72 YES 13.68/6.37
AProVE_numeric/svcomp_c.03.c 11773759 YES 27.42/8.54 YES 17.79/8.86
AProVE_numeric/svcomp_c.07.c 11773728 YES 17.86/6.07 YES 25.36/18.01
AProVE_numeric/svcomp_c.08.c 11773748 YES 25.98/8.05 YES 13.59/6.38
AProVE_numeric/svcomp_easySum.c 11773719 YES 23.13/7.78 YES 12.66/5.91
AProVE_numeric/svcomp_EvenOdd01_true-unreach-call_true-termination_modified.c 11773734 YES 14.20/4.80 YES 24.43/14.66
AProVE_numeric/svcomp_ex1.c 11773769 YES 9.50/3.42 YES 13.04/5.76
AProVE_numeric/svcomp_ex2.c 11773752 timeout (wallclock) [out] MAYBE 25.80/10.06
AProVE_numeric/svcomp_ex3a.c 11773735 YES 10.87/3.79 MAYBE 20.74/8.27
AProVE_numeric/svcomp_ex3b.c 11773715 YES 11.33/3.92 MAYBE 21.98/8.71
AProVE_numeric/svcomp_fermat.c 11773772 YES 106.05/32.09 YES 29.33/19.78
AProVE_numeric/svcomp_Fibonacci01_true-unreach-call_modified.c 11773761 YES 28.62/9.29 timeout (wallclock) [out]
AProVE_numeric/svcomp_flag.c 11773766 YES 12.45/4.27 YES 16.85/7.88
AProVE_numeric/svcomp_gcd01_true-unreach-call_true-termination_modified.c 11773750 YES 18.77/6.00 YES 23.41/13.08
AProVE_numeric/svcomp_java_AG313.c 11773743 YES 23.50/7.18 YES 13.73/6.47
AProVE_numeric/svcomp_java_Break.c 11773757 YES 7.95/2.96 YES 12.86/6.09
AProVE_numeric/svcomp_java_Continue1.c 11773754 YES 11.14/3.92 YES 13.13/6.48
AProVE_numeric/svcomp_java_LogBuiltIn.c 11773729 YES 8.08/2.99 YES 12.25/5.91
AProVE_numeric/svcomp_java_Nested.c 11773741 YES 28.32/9.06 YES 16.74/7.68
AProVE_numeric/svcomp_java_Sequence.c 11773749 YES 12.42/4.16 YES 12.66/6.25
AProVE_numeric/svcomp_MultCommutative_true-unreach-call_true-termination_modified.c 11773730 YES 28.37/8.43 YES 18.61/8.49
AProVE_numeric/svcomp_recHanoi02_true-unreach-call_true-termination_modified.c 11773768 YES 11.57/3.96 YES 15.62/7.32
AProVE_numeric/svcomp_twisted.c 11773770 YES 84.80/31.17 YES 15.55/7.01
AProVE_numeric/TerminatorRec02_true.c 11773751 YES 12.33/4.21 YES 12.53/6.02
AProVE_numeric/TwoWay_true.c 11773722 YES 17.41/5.78 YES 15.92/7.04
Di_Stefano_20/boids_true-termination.c 11773782 MAYBE 17.24/8.78 ERROR 10.35/4.79
Di_Stefano_20/flock-noarray_true-termination.c 11773783 timeout (wallclock) [out] timeout (wallclock) [out]
Di_Stefano_20/flock_true-termination.c 11773780 MAYBE 14.17/5.83 timeout (wallclock) [out]
Di_Stefano_20/formation-noarray_true-termination.c 11773784 timeout (wallclock) [out] timeout (wallclock) [out]
Di_Stefano_20/formation_true-termination.c 11773781 MAYBE 57.30/26.06 timeout (wallclock) [out]
Di_Stefano_20/majority-noarray_true-termination.c 11773779 MAYBE 44.95/16.38 YES 245.89/197.79
Di_Stefano_20/majority_true-termination.c 11773778 MAYBE 45.41/18.90 timeout (wallclock) [out]
AProVE_memory_unsafe/svcomp_add_last_unsafe.c 11773580 MAYBE 4.97/2.24 MAYBE 13.61/6.36
AProVE_memory_unsafe/svcomp_bubblesort_unsafe.c 11773560 MAYBE 5.89/2.47 MAYBE 12.01/5.60
AProVE_memory_unsafe/svcomp_bubble_sort_unsafe.c 11773559 MAYBE 5.58/2.31 MAYBE 11.85/5.77
AProVE_memory_unsafe/svcomp_count_down_unsafe.c 11773558 MAYBE 6.04/2.39 MAYBE 13.57/6.53
AProVE_memory_unsafe/svcomp_cstrcat_unsafe.c 11773562 MAYBE 4.68/2.02 MAYBE 11.32/5.47
AProVE_memory_unsafe/svcomp_cstrchr_unsafe.c 11773555 MAYBE 4.50/2.01 MAYBE 18.09/7.98
AProVE_memory_unsafe/svcomp_cstrcpy_unsafe.c 11773556 MAYBE 4.84/2.18 MAYBE 11.35/5.59
AProVE_memory_unsafe/svcomp_cstrlen_unsafe.c 11773564 MAYBE 4.73/1.99 MAYBE 14.68/6.62
AProVE_memory_unsafe/svcomp_cstrncat_unsafe.c 11773573 MAYBE 5.46/2.33 MAYBE 11.81/5.50
AProVE_memory_unsafe/svcomp_cstrncpy_unsafe.c 11773570 MAYBE 6.43/2.66 MAYBE 12.05/5.72
AProVE_memory_unsafe/svcomp_cstrpbrk_unsafe.c 11773571 MAYBE 5.23/2.27 MAYBE 17.89/8.01
AProVE_memory_unsafe/svcomp_delete_alloca_unsafe.c 11773568 MAYBE 4.95/2.09 MAYBE 11.49/5.49
AProVE_memory_unsafe/svcomp_delete_unsafe.c 11773575 MAYBE 4.59/1.96 MAYBE 11.41/5.46
AProVE_memory_unsafe/svcomp_diff_usafe.c 11773578 MAYBE 8.81/3.30 MAYBE 11.16/6.60
AProVE_memory_unsafe/svcomp_insertionsort_unsafe.c 11773563 MAYBE 10.64/2.21 MAYBE 11.87/5.44
AProVE_memory_unsafe/svcomp_insertion_sort_unsafe.c 11773565 MAYBE 5.17/2.20 MAYBE 11.99/5.64
AProVE_memory_unsafe/svcomp_java_BubbleSort_unsafe.c 11773569 MAYBE 5.57/3.16 MAYBE 11.03/5.50
AProVE_memory_unsafe/svcomp_knapsack_alloca_unsafe.c 11773554 MAYBE 24.54/12.34 MAYBE 14.66/6.57
AProVE_memory_unsafe/svcomp_knapsack_unsafe.c 11773574 MAYBE 8.04/3.02 MAYBE 12.01/5.72
AProVE_memory_unsafe/svcomp_lis_unsafe.c 11773577 MAYBE 5.72/2.28 MAYBE 16.40/7.37
AProVE_memory_unsafe/svcomp_mult_array_unsafe.c 11773566 MAYBE 6.52/2.65 MAYBE 95.95/82.71
AProVE_memory_unsafe/svcomp_reverse_array_alloca_unsafe.c 11773567 MAYBE 11.48/4.17 MAYBE 16.04/7.62
AProVE_memory_unsafe/svcomp_reverse_array_unsafe.c 11773572 MAYBE 7.06/2.93 MAYBE 14.39/6.50
AProVE_memory_unsafe/svcomp_selectionsort_unsafe.c 11773557 MAYBE 5.87/2.42 MAYBE 11.73/5.46
AProVE_memory_unsafe/svcomp_selection_sort_unsafe.c 11773579 MAYBE 5.63/2.38 MAYBE 12.03/5.88
AProVE_memory_unsafe/svcomp_stroeder1_unsafe.c 11773561 MAYBE 5.36/2.19 MAYBE 11.31/5.40
AProVE_memory_unsafe/svcomp_stroeder2_unsafe.c 11773576 MAYBE 5.83/2.60 MAYBE 11.42/5.49
AProVE_memory_alloca/svcomp_a.01-alloca.c 11773604 YES 36.93/12.18 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_a.04-alloca.c 11773661 YES 18.28/6.18 YES 37.31/24.49
AProVE_memory_alloca/svcomp_a.05-alloca.c 11773694 YES 19.03/6.60 YES 36.59/24.81
AProVE_memory_alloca/svcomp_a.06-alloca.c 11773582 YES 38.08/13.25 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_a.07-alloca.c 11773622 YES 29.95/11.38 YES 287.50/261.05
AProVE_memory_alloca/svcomp_a.08-alloca.c 11773619 YES 21.86/7.28 YES 52.60/38.74
AProVE_memory_alloca/svcomp_a.09_assume-alloca.c 11773633 YES 14.02/4.98 YES 29.75/14.30
AProVE_memory_alloca/svcomp_a.10-alloca.c 11773639 YES 5.58/2.37 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_add_last_alloca.c 11773613 MAYBE 8.59/3.43 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_array01_alloca.c 11773680 YES 88.54/33.10 YES 21.54/8.95
AProVE_memory_alloca/svcomp_array02_alloca.c 11773599 YES 213.56/118.92 YES 24.73/17.31
AProVE_memory_alloca/svcomp_array03_alloca.c 11773640 YES 287.28/130.0 YES 25.30/10.63
AProVE_memory_alloca/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c 11773658 YES 44.70/16.12 YES 49.97/32.88
AProVE_memory_alloca/svcomp_aviad_true-alloca.c 11773682 YES 66.09/21.70 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.01-alloca.c 11773688 YES 18.24/6.23 YES 37.30/24.96
AProVE_memory_alloca/svcomp_b.02-alloca.c 11773605 YES 21.85/7.50 YES 305.41/291.33
AProVE_memory_alloca/svcomp_b.03-no-inv_assume-alloca.c 11773698 YES 11.60/4.04 YES 18.32/8.18
AProVE_memory_alloca/svcomp_b.03_assume-alloca.c 11773644 YES 14.54/4.87 YES 19.33/8.79
AProVE_memory_alloca/svcomp_b.04-alloca.c 11773621 YES 5.99/2.55 YES 31.41/16.25
AProVE_memory_alloca/svcomp_b.05-alloca.c 11773581 YES 11.97/4.38 YES 18.11/8.45
AProVE_memory_alloca/svcomp_b.06-alloca.c 11773695 YES 54.96/9.10 YES 191.36/165.10
AProVE_memory_alloca/svcomp_b.07-alloca.c 11773662 YES 33.41/11.86 YES 313.05/286.16
AProVE_memory_alloca/svcomp_b.09-no-inv_assume-alloca.c 11773675 YES 6.96/3.99 YES 46.80/23.87
AProVE_memory_alloca/svcomp_b.09_assume-alloca.c 11773687 YES 6.92/3.30 YES 50.44/24.05
AProVE_memory_alloca/svcomp_b.10-alloca.c 11773647 YES 45.21/14.76 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.11-alloca.c 11773681 timeout (wallclock) [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.12-alloca.c 11773600 YES 46.88/15.26 YES 150.42/108.03
AProVE_memory_alloca/svcomp_b.13-alloca.c 11773638 YES 43.13/15.99 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.14-alloca.c 11773626 YES 22.32/7.49 YES 90.87/67.43
AProVE_memory_alloca/svcomp_b.15-alloca.c 11773588 YES 30.77/10.41 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.16-alloca.c 11773701 YES 42.24/15.56 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.17-alloca.c 11773664 YES 47.92/16.26 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_b.18-alloca.c 11773665 YES 14.38/4.78 YES 24.36/11.18
AProVE_memory_alloca/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c 11773643 YES 26.00/8.17 YES 73.41/38.34
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c 11773603 timeout (wallclock) [out] NO 19.47/8.64
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c 11773606 timeout (wallclock) [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c 11773655 timeout (wallclock) [out] NO 16.60/7.36
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c 11773595 YES 43.81/13.61 YES 242.69/185.70
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c 11773594 YES 13.28/4.66 YES 18.96/15.40
AProVE_memory_alloca/svcomp_bubblesort_alloca.c 11773651 MAYBE 162.88/114.18 YES 19.18/8.59
AProVE_memory_alloca/svcomp_c.01-no-inv-alloca.c 11773699 YES 48.49/15.38 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_c.01_assume-alloca.c 11773676 YES 32.65/10.14 YES 23.34/10.93
AProVE_memory_alloca/svcomp_c.02-alloca.c 11773696 YES 50.76/16.30 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_c.03-alloca.c 11773659 YES 53.41/18.79 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_c.07-alloca.c 11773642 YES 42.95/15.68 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_c.08-alloca.c 11773645 YES 42.69/13.75 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c 11773652 YES 14.98/4.90 YES 227.07/200.80
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c 11773654 YES 31.75/9.29 YES 31.26/14.00
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c 11773679 YES 36.60/10.93 YES 117.07/77.40
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c 11773614 YES 243.40/64.58 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_count_down_alloca.c 11773669 YES 235.24/97.89 YES 26.84/11.48
AProVE_memory_alloca/svcomp_cstrcat_alloca.c 11773634 MAYBE 10.82/3.94 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_cstrchr_true_alloca.c 11773612 YES 16.67/5.72 YES 26.25/11.67
AProVE_memory_alloca/svcomp_cstrcmp_true_alloca.c 11773631 YES 35.76/14.21 YES 60.03/30.34
AProVE_memory_alloca/svcomp_cstrcpy_alloca.c 11773611 YES 158.20/125.28 YES 40.13/21.24
AProVE_memory_alloca/svcomp_cstrcspn_true_alloca.c 11773610 YES 107.46/40.18 YES 280.28/242.77
AProVE_memory_alloca/svcomp_cstrlen_true_alloca.c 11773693 YES 14.53/5.16 YES 22.33/9.69
AProVE_memory_alloca/svcomp_cstrncat_alloca.c 11773587 MAYBE 11.52/4.20 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_cstrncmp_true_alloca.c 11773584 YES 45.08/15.27 YES 57.86/32.36
AProVE_memory_alloca/svcomp_cstrncpy_alloca.c 11773608 MAYBE 36.29/13.49 YES 42.58/18.95
AProVE_memory_alloca/svcomp_cstrpbrk_true_alloca.c 11773668 YES 79.64/28.52 YES 306.01/271.29
AProVE_memory_alloca/svcomp_cstrspn_true_alloca.c 11773689 YES 76.90/28.33 YES 170.14/123.29
AProVE_memory_alloca/svcomp_diff_alloca.c 11773585 YES 80.43/38.50 YES 78.09/35.91
AProVE_memory_alloca/svcomp_easySum-alloca.c 11773704 YES 81.94/49.10 YES 29.84/14.73
AProVE_memory_alloca/svcomp_ex1-alloca.c 11773684 YES 13.71/4.75 YES 187.38/175.20
AProVE_memory_alloca/svcomp_ex2-alloca.c 11773601 timeout (wallclock) [out] MAYBE 71.39/37.12
AProVE_memory_alloca/svcomp_ex3a-alloca.c 11773635 YES 19.81/7.73 MAYBE 32.97/12.81
AProVE_memory_alloca/svcomp_ex3b-alloca.c 11773646 YES 39.35/13.58 MAYBE 39.13/16.25
AProVE_memory_alloca/svcomp_fermat-alloca.c 11773636 YES 146.02/55.50 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_flag-alloca.c 11773690 YES 27.83/9.44 YES 183.93/137.15
AProVE_memory_alloca/svcomp_gcd1_true-alloca.c 11773629 YES 118.05/35.88 YES 52.80/29.36
AProVE_memory_alloca/svcomp_genady_true-alloca.c 11773632 YES 33.26/16.33 YES 19.13/8.87
AProVE_memory_alloca/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c 11773678 timeout (wallclock) [out] YES 270.87/202.92
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c 11773700 YES 10.05/3.70 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c 11773609 timeout (wallclock) [out] NO 47.95/21.20
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c 11773649 YES 23.24/6.91 YES 15.42/7.13
AProVE_memory_alloca/svcomp_insertionsort_alloca.c 11773617 YES 143.04/89.74 YES 26.57/11.10
AProVE_memory_alloca/svcomp_java_AG313-alloca.c 11773628 YES 36.44/12.13 YES 97.86/73.40
AProVE_memory_alloca/svcomp_java_Break-alloca.c 11773637 YES 10.56/3.66 YES 32.21/21.80
AProVE_memory_alloca/svcomp_java_BubbleSort_alloca.c 11773673 MAYBE 148.85/111.95 YES 22.40/9.77
AProVE_memory_alloca/svcomp_java_Continue1-alloca.c 11773618 YES 17.55/5.85 YES 138.71/98.81
AProVE_memory_alloca/svcomp_java_LogBuiltIn-alloca.c 11773660 YES 14.72/5.01 YES 25.09/14.41
AProVE_memory_alloca/svcomp_java_Nested-alloca.c 11773624 YES 39.55/13.77 ERROR 243.34/206.21
AProVE_memory_alloca/svcomp_java_Sequence-alloca.c 11773650 YES 18.29/5.86 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c 11773667 timeout (wallclock) [out] YES 26.92/11.48
AProVE_memory_alloca/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c 11773705 YES 68.46/21.46 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_lis_alloca.c 11773648 MAYBE 126.05/84.18 YES 96.60/52.50
AProVE_memory_alloca/svcomp_Masse_true-alloca.c 11773592 timeout (wallclock) [out] MAYBE 23.81/9.06
AProVE_memory_alloca/svcomp_min_rf_true-alloca.c 11773597 YES 130.65/56.42 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_mult_array_alloca.c 11773671 MAYBE 7.12/2.71 YES 151.97/124.58
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c 11773627 YES 73.56/30.99 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c 11773625 YES 69.08/24.05 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cbzero_alloca.c 11773593 YES 18.68/6.21 YES 22.24/10.10
AProVE_memory_alloca/svcomp_openbsd_cmemchr_alloca.c 11773663 MAYBE 22.67/7.73 YES 22.55/9.96
AProVE_memory_alloca/svcomp_openbsd_cmemrchr_alloca.c 11773692 MAYBE 25.81/8.77 MAYBE 13.77/6.33
AProVE_memory_alloca/svcomp_openbsd_cmemset_alloca.c 11773616 YES 25.92/8.62 YES 21.76/9.80
AProVE_memory_alloca/svcomp_openbsd_cstpcpy_alloca.c 11773702 YES 124.93/91.21 YES 36.90/20.32
AProVE_memory_alloca/svcomp_openbsd_cstpncpy_alloca.c 11773583 YES 95.72/49.64 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cstrcat_alloca.c 11773691 MAYBE 12.02/4.43 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cstrcmp_alloca.c 11773620 YES 39.01/16.99 YES 70.65/41.72
AProVE_memory_alloca/svcomp_openbsd_cstrcpy_alloca.c 11773686 YES 124.18/90.67 YES 69.83/18.17
AProVE_memory_alloca/svcomp_openbsd_cstrcspn_alloca.c 11773666 timeout (wallclock) [out] MAYBE 120.62/75.87
AProVE_memory_alloca/svcomp_openbsd_cstrlcpy_alloca.c 11773607 YES 59.24/21.66 YES 61.09/27.55
AProVE_memory_alloca/svcomp_openbsd_cstrlen_alloca.c 11773653 YES 14.91/5.07 YES 21.66/9.52
AProVE_memory_alloca/svcomp_openbsd_cstrncat_alloca.c 11773602 MAYBE 11.47/4.05 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_openbsd_cstrncmp_alloca.c 11773657 YES 39.75/13.72 YES 58.64/30.42
AProVE_memory_alloca/svcomp_openbsd_cstrncpy_alloca.c 11773596 YES 69.64/30.44 YES 58.59/26.79
AProVE_memory_alloca/svcomp_openbsd_cstrnlen_alloca.c 11773623 YES 23.70/7.84 ERROR 10.40/5.16
AProVE_memory_alloca/svcomp_openbsd_cstrpbrk_alloca.c 11773591 YES 56.75/20.34 YES 68.21/35.23
AProVE_memory_alloca/svcomp_openbsd_cstrspn_alloca.c 11773615 timeout (wallclock) [out] MAYBE 88.75/44.07
AProVE_memory_alloca/svcomp_openbsd_cstrstr_alloca.c 11773677 YES 244.02/92.34 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c 11773672 NO 14.24/2.82 MAYBE 27.94/10.61
AProVE_memory_alloca/svcomp_selectionsort_alloca.c 11773589 MAYBE 260.12/196.83 YES 29.39/12.50
AProVE_memory_alloca/svcomp_stroeder1_alloca.c 11773656 YES 34.11/11.43 YES 19.68/8.38
AProVE_memory_alloca/svcomp_stroeder2_alloca.c 11773630 YES 87.05/32.80 YES 21.17/9.06
AProVE_memory_alloca/svcomp_strreplace_alloca.c 11773683 YES 66.02/21.82 YES 40.55/19.85
AProVE_memory_alloca/svcomp_subseq_alloca.c 11773590 YES 63.36/20.99 YES 109.30/80.41
AProVE_memory_alloca/svcomp_substring_alloca.c 11773674 YES 77.84/30.16 YES 354.80/290.33
AProVE_memory_alloca/svcomp_TelAviv-Amir-Minimum_true-alloca.c 11773703 timeout (wallclock) [out] timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Toulouse-BranchesToLoop_true-alloca.c 11773586 YES 17.48/5.72 YES 90.06/60.70
AProVE_memory_alloca/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c 11773706 YES 18.13/5.91 YES 278.60/212.40
AProVE_memory_alloca/svcomp_twisted-alloca.c 11773670 YES 8.41/3.11 YES 317.4/285.12
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c 11773641 NO 6.57/2.56 NO 12.18/6.21
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c 11773598 YES 20.14/6.30 timeout (wallclock) [out]
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2_true-alloca.c 11773697 YES 17.00/5.33 YES 121.00/74.29
AProVE_memory_alloca/svcomp_Urban_true-alloca.c 11773707 YES 136.26/37.43 YES 66.76/31.08
AProVE_memory_alloca/svcomp_Velroyen_false-unreach-label-termination-alloca.c 11773685 NO 8.64/3.10 NO 20.32/9.06
296 313