TermComp 2020: C 41518 Job info CSV Showing results.

benchmark AProVE c Ultimate Automizer default
Ultimate/SyntaxSupportPointer01_true-termination.c 11773896 YES 6.42/2.76 YES 17.29/11.15
Ultimate/README.txt 11773897 u MAYBE 0.31/0.36 MAYBE 7.91/3.36
Ultimate/Rotation180_false-termination.c 11773898 NO 7.21/2.93 NO 12.18/5.57
Ultimate/Pure3Phase_true-termination.c 11773899 is timeout (wallclock) YES 18.96/11.08
Ultimate/NonTerminationSimple4_false-termination.c 11773900 NO 8.02/4.39 NO 12.89/6.22
Ultimate/NonTerminationSimple3_false-termination.c 11773901 NO 11.02/4.10 NO 11.99/6.25
Ultimate/Division_false-termination.c 11773902 NO 12.37/11.83 NO 12.57/7.37
Ultimate/NonTermination3_false-termination.c 11773903 u MAYBE 4.88/2.23 MAYBE 12.78/7.11
Ultimate/Madrid_false-termination.c 11773904 NO 4.78/2.29 NO 12.25/7.48
Ultimate/Mysore_true-termination.c 11773905 YES 11.72/4.28 YES 29.03/22.78
Ultimate/Cairo_true-termination.c 11773906 is YES 6.63/3.28 MAYBE 12.35/5.76
Ultimate/RecursiveNonterminating_false-termination.c 11773907 NO 14.27/5.05 NO 11.97/5.91
Ultimate/Bangalore_true-termination.c 11773908 YES 8.51/3.17 YES 13.86/6.64
Ultimate/4BitCounterPointer_true-termination.c 11773909 is YES 6.98/2.83 MAYBE 18.66/8.16
Ultimate/NonTerminationSimple9_false-termination.c 11773910 NO 10.03/4.05 NO 12.14/5.71
Ultimate/Arrays01-EquivalentConstantIndices_true-termination.c 11773911 YES 7.08/2.81 YES 15.80/7.21
Ultimate/Parallel_true-termination.c 11773912 YES 20.45/9.73 YES 13.33/7.13
Ultimate/Arrays03-ValueRestictsIndex_true-termination.c 11773913 is YES 9.61/3.63 MAYBE 13.11/6.50
Ultimate/NonTerminationSimple7_false-termination.c 11773914 NO 6.21/2.43 NO 12.37/6.50
Ultimate/Gothenburg_true-termination.c 11773915 YES 28.71/9.07 YES 21.05/12.48
Ultimate/NonTerminationSimple2_false-termination.c 11773916 NO 6.50/2.51 NO 12.04/5.91
Ultimate/NonTerminationSimple5_false-termination.c 11773917 NO 26.86/7.77 NO 14.67/7.50
Ultimate/LexIndexValue-Array_true-termination.c 11773918 u MAYBE 10.48/3.82 timeout (wallclock)
Ultimate/RecursiveMultiplication_true-termination.c 11773919 YES 16.97/5.67 YES 18.72/9.51
Ultimate/Arrays02-EquivalentConstantIndices_false-termination.c 11773920 is MAYBE 10.93/7.63 NO 13.37/7.53
Ultimate/LICENSE.txt 11773921 u MAYBE 0.32/0.35 MAYBE 8.30/3.44
Ultimate/Nyala-2lex_true-termination.c 11773922 YES 14.00/4.65 YES 16.02/9.01
Ultimate/NonTerminationSimple6_false-termination.c 11773923 NO 5.88/2.52 NO 12.13/6.07
Ultimate/NonTerminationSimple8_false-termination.c 11773924 is timeout (wallclock) NO 12.84/6.41
Ultimate/Stockholm_true-termination.c 11773925 YES 9.11/3.28 YES 14.48/7.53
Ultimate/Lobnya-Boolean-Reordered_true-termination.c 11773926 YES 7.70/2.87 YES 16.43/7.97
Ultimate/LexIndexValue-Pointer_true-termination.c 11773927 u MAYBE 4.49/2.14 timeout (wallclock)
Ultimate/NonTermination2_false-termination.c 11773928 NO 13.98/4.43 NO 13.10/6.37
Ultimate/Collatz_unknown-termination.c 11773929 u timeout (wallclock) MAYBE 11.43/5.84
Ultimate/WhileFalse_true-termination.c 11773930 YES 3.71/1.95 YES 11.14/5.24
Ultimate/WhileTrue_false-termination.c 11773931 NO 4.12/2.04 NO 11.05/5.57
SV-COMP_Mixed_Categories/transmitter.16_false-unreach-call_false-termination.cil.c 11773932 u timeout (wallclock) MAYBE 40.55/17.36
SV-COMP_Mixed_Categories/Problem07_label00_true-unreach-call.c 11773933 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/dll_of_dll_true-unreach-call.c 11773934 u MAYBE 4.64/2.05 timeout (wallclock)
SV-COMP_Mixed_Categories/Problem03_label00_true-unreach-call.c 11773935 u timeout (wallclock) MAYBE 176.74/135.40
SV-COMP_Mixed_Categories/Problem01_label00_true-unreach-call.c 11773936 u timeout (wallclock) MAYBE 34.66/14.98
SV-COMP_Mixed_Categories/cs_stateful_false-unreach-call.c 11773937 u MAYBE 6.99/3.02 timeout (wallclock)
SV-COMP_Mixed_Categories/rekcba_ctm_false-unreach-call.2.c 11773938 u MAYBE 28.45/21.36 timeout (wallclock)
SV-COMP_Mixed_Categories/s3_clnt_1_false-unreach-call.cil.c 11773939 is timeout (wallclock) YES 101.37/44.99
SV-COMP_Mixed_Categories/test-0513_1_true-valid-memsafety.c 11773940 u MAYBE 10.44/5.27 timeout (wallclock)
SV-COMP_Mixed_Categories/Problem06_label00_false-unreach-call.c 11773941 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 11773942 is timeout (wallclock) YES 14.42/6.12
SV-COMP_Mixed_Categories/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773943 u MAYBE 135.99/58.20 MAYBE 18.64/8.97
SV-COMP_Mixed_Categories/Problem09_label00_true-unreach-call.c 11773944 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/fibo_5_false-unreach-call.c 11773945 YES 24.54/8.36 YES 53.99/31.25
SV-COMP_Mixed_Categories/Primes_true-unreach-call.c 11773946 u MAYBE 397.13/154.05 MAYBE 12.96/6.28
SV-COMP_Mixed_Categories/Problem15_label00_false-unreach-call.c 11773947 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/Problem13_label00_true-unreach-call.c 11773948 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/cs_time_var_mutex_true-unreach-call.c 11773949 u MAYBE 8.01/3.52 timeout (wallclock)
SV-COMP_Mixed_Categories/s3_srvr_1_false-unreach-call.cil.c 11773950 u MAYBE 24.07/11.82 MAYBE 15.96/6.91
SV-COMP_Mixed_Categories/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 11773951 is timeout (wallclock) YES 35.48/14.38
SV-COMP_Mixed_Categories/Problem17_label00_true-unreach-call.c 11773952 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/minepump_spec1_product01_true-unreach-call.cil.c 11773953 is NO 144.69/39.31 timeout (wallclock)
SV-COMP_Mixed_Categories/merge_sort_true-unreach-call.c 11773954 u MAYBE 12.61/5.85 timeout (wallclock)
SV-COMP_Mixed_Categories/transmitter.01_false-unreach-call_false-termination.cil.c 11773955 u timeout (wallclock) MAYBE 13.92/6.44
SV-COMP_Mixed_Categories/Problem19_label00_true-unreach-call.c 11773956 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/cs_peterson_true-unreach-call.c 11773957 u MAYBE 7.47/3.51 timeout (wallclock)
SV-COMP_Mixed_Categories/id2_b2_o3_true-unreach-call.c 11773958 u MAYBE 30.51/12.12 MAYBE 12.24/7.47
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 11773959 is MAYBE 118.77/47.52 NO 16.22/6.95
SV-COMP_Mixed_Categories/list-ext_1_true-valid-memsafety.c 11773960 u MAYBE 37.08/15.66 timeout (wallclock)
SV-COMP_Mixed_Categories/pc_sfifo_1_false-unreach-call_false-termination.cil.c 11773961 u timeout (wallclock) MAYBE 12.88/7.93
SV-COMP_Mixed_Categories/Problem18_label00_false-unreach-call.c 11773962 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/transmitter.06_false-unreach-call_false-termination.cil.c 11773963 u timeout (wallclock) MAYBE 19.73/8.46
SV-COMP_Mixed_Categories/standard_copy7_true-unreach-call_ground.c 11773964 is YES 79.06/31.58 timeout (wallclock)
SV-COMP_Mixed_Categories/list_true-unreach-call.c 11773965 u MAYBE 12.11/4.60 timeout (wallclock)
SV-COMP_Mixed_Categories/rekcba_aso_false-unreach-call.1.M1.c 11773966 u MAYBE 3.95/2.36 timeout (wallclock)
SV-COMP_Mixed_Categories/bist_cell_true-unreach-call_false-termination.cil.c 11773967 u MAYBE 73.34/36.35 MAYBE 14.62/6.40
SV-COMP_Mixed_Categories/Problem16_label00_false-unreach-call.c 11773968 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11773969 u timeout (wallclock) MAYBE 16.84/7.31
SV-COMP_Mixed_Categories/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11773970 is MAYBE 45.12/14.90 NO 14.67/6.36
SV-COMP_Mixed_Categories/cs_lamport_true-unreach-call.c 11773971 u MAYBE 8.51/3.72 timeout (wallclock)
SV-COMP_Mixed_Categories/dll_extends_pointer_true-valid-memsafety.c 11773972 u MAYBE 11.12/4.04 timeout (wallclock)
SV-COMP_Mixed_Categories/Problem05_label00_false-unreach-call.c 11773973 u timeout (wallclock) MAYBE 193.27/131.38
SV-COMP_Mixed_Categories/skiplist_3lvl_true-valid-memsafety.c 11773974 u MAYBE 12.51/4.53 timeout (wallclock)
SV-COMP_Mixed_Categories/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 11773975 is MAYBE 126.96/61.89 NO 17.19/7.45
SV-COMP_Mixed_Categories/simple-ext_1_true-valid-memsafety.c 11773976 u MAYBE 30.13/10.35 timeout (wallclock)
SV-COMP_Mixed_Categories/id_i10_o10_false-unreach-call.c 11773977 is YES 11.91/4.20 MAYBE 12.17/6.09
SV-COMP_Mixed_Categories/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773978 u timeout (wallclock) MAYBE 33.66/13.99
SV-COMP_Mixed_Categories/transmitter.11_false-unreach-call_false-termination.cil.c 11773979 u timeout (wallclock) MAYBE 26.23/10.94
SV-COMP_Mixed_Categories/standard_compare_true-unreach-call_ground.c 11773980 is YES 46.84/15.98 timeout (wallclock)
SV-COMP_Mixed_Categories/rekcba_nxt_false-unreach-call.1.M1.c 11773981 u MAYBE 3.77/1.79 timeout (wallclock)
SV-COMP_Mixed_Categories/bubble_sort_linux_true-unreach-call.c 11773982 u MAYBE 3.63/1.79 timeout (wallclock)
SV-COMP_Mixed_Categories/stateful_check_false-unreach-call.c 11773983 u MAYBE 3.45/1.64 MAYBE 12.84/6.42
SV-COMP_Mixed_Categories/recHanoi01_true-unreach-call_true-termination.c 11773984 is YES 55.55/16.83 timeout (wallclock)
SV-COMP_Mixed_Categories/BallRajamani-SPIN2000-Fig1_false-unreach-call.c 11773985 is YES 36.43/16.86 MAYBE 12.68/5.91
SV-COMP_Mixed_Categories/Problem11_label00_false-unreach-call.c 11773986 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/data_structures_set_multi_proc_false-unreach-call_ground.c 11773987 is YES 158.65/72.65 timeout (wallclock)
SV-COMP_Mixed_Categories/EvenOdd01_true-unreach-call_true-termination.c 11773988 is YES 17.78/6.07 MAYBE 11.98/5.81
SV-COMP_Mixed_Categories/standard_password_true-unreach-call_ground.c 11773989 is YES 42.07/15.12 MAYBE 27.09/13.66
SV-COMP_Mixed_Categories/token_ring.15_false-unreach-call_false-termination.cil.c 11773990 u timeout (wallclock) MAYBE 38.34/17.51
SV-COMP_Mixed_Categories/diskperf_simpl1_true-unreach-call_true-termination.cil.c 11773991 is timeout (wallclock) YES 22.72/9.62
SV-COMP_Mixed_Categories/token_ring.01_false-unreach-call_false-termination.cil.c 11773992 u timeout (wallclock) MAYBE 15.01/6.49
SV-COMP_Mixed_Categories/sorting_bubblesort_true-unreach-call_ground.c 11773993 u timeout (wallclock) MAYBE 22.87/11.17
SV-COMP_Mixed_Categories/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773994 u timeout (wallclock) MAYBE 35.72/14.31
SV-COMP_Mixed_Categories/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11773995 u MAYBE 97.55/38.01 MAYBE 21.73/9.18
SV-COMP_Mixed_Categories/elevator_spec1_product01_true-unreach-call.cil.c 11773996 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/test_locks_15_true-unreach-call_false-termination.c 11773997 u timeout (wallclock) MAYBE 13.43/6.34
SV-COMP_Mixed_Categories/sum_non_eq_false-unreach-call.c 11773998 is MAYBE 26.10/7.93 NO 16.44/8.19
SV-COMP_Mixed_Categories/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 11773999 is timeout (wallclock) NO 49.43/20.17
SV-COMP_Mixed_Categories/tree_stack_true-valid-memsafety.c 11774000 u MAYBE 55.96/31.49 timeout (wallclock)
SV-COMP_Mixed_Categories/lockfree-3.0_true-valid-memsafety.c 11774001 u MAYBE 10.84/3.93 timeout (wallclock)
SV-COMP_Mixed_Categories/test-0521_true-valid-memsafety.c 11774002 u MAYBE 35.22/13.06 timeout (wallclock)
SV-COMP_Mixed_Categories/email_spec0_product05_true-unreach-call.cil.c 11774003 is YES 167.97/77.30 timeout (wallclock)
SV-COMP_Mixed_Categories/test-0219_true-valid-memsafety.c 11774004 u MAYBE 14.35/5.27 timeout (wallclock)
SV-COMP_Mixed_Categories/fibo_2calls_2_false-unreach-call.c 11774005 is YES 7.18/2.77 MAYBE 11.74/5.67
SV-COMP_Mixed_Categories/Problem02_label00_true-unreach-call.c 11774006 is NO 268.76/117.54 MAYBE 31.11/12.87
SV-COMP_Mixed_Categories/cs_fib_longer_true-unreach-call.c 11774007 u MAYBE 9.20/4.33 timeout (wallclock)
SV-COMP_Mixed_Categories/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11774008 u timeout (wallclock) MAYBE 17.48/7.33
SV-COMP_Mixed_Categories/token_ring.10_false-unreach-call_false-termination.cil.c 11774009 u timeout (wallclock) MAYBE 26.43/11.73
SV-COMP_Mixed_Categories/Problem04_label00_true-unreach-call.c 11774010 u timeout (wallclock) MAYBE 118.26/74.12
SV-COMP_Mixed_Categories/cs_dekker_true-unreach-call.c 11774011 u MAYBE 8.16/3.56 timeout (wallclock)
SV-COMP_Mixed_Categories/960521-1_1_true-valid-memsafety.c 11774012 is MAYBE 13.22/4.85 YES 59.04/38.97
SV-COMP_Mixed_Categories/Problem08_label00_true-unreach-call.c 11774013 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/token_ring.05_false-unreach-call_false-termination.cil.c 11774014 u timeout (wallclock) MAYBE 19.58/8.13
SV-COMP_Mixed_Categories/McCarthy91_false-unreach-call_false-termination.c 11774015 is timeout (wallclock) YES 155.14/133.24
SV-COMP_Mixed_Categories/Fibonacci01_true-unreach-call.c 11774016 is YES 30.76/15.55 MAYBE 12.02/5.75
SV-COMP_Mixed_Categories/splice_true-unreach-call.c 11774017 u MAYBE 18.52/7.78 timeout (wallclock)
SV-COMP_Mixed_Categories/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 11774018 is MAYBE 33.13/13.15 NO 13.46/6.25
SV-COMP_Mixed_Categories/Problem14_label00_true-unreach-call.c 11774019 u timeout (wallclock) MAYBE 181.70/148.46
SV-COMP_Mixed_Categories/test-0234_true-valid-memsafety.c 11774020 u MAYBE 3.76/1.82 timeout (wallclock)
SV-COMP_Mixed_Categories/Problem12_label00_false-unreach-call.c 11774021 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/sanfoundry_02_true-unreach-call_ground.c 11774022 u MAYBE 81.50/37.23 timeout (wallclock)
SV-COMP_Mixed_Categories/afterrec_2calls_false-unreach-call.c 11774023 YES 6.50/2.54 YES 14.20/6.66
SV-COMP_Mixed_Categories/Addition01_true-unreach-call_true-termination.c 11774024 is YES 16.15/5.43 MAYBE 12.21/6.17
SV-COMP_Mixed_Categories/gcd01_true-unreach-call_true-termination.c 11774025 YES 19.46/8.75 YES 18.53/9.42
SV-COMP_Mixed_Categories/sum_2x3_false-unreach-call.c 11774026 YES 14.39/4.90 YES 14.28/6.69
SV-COMP_Mixed_Categories/Problem10_label00_true-unreach-call.c 11774027 u timeout (wallclock) MAYBE 166.94/141.22
SV-COMP_Mixed_Categories/s3_srvr_14_false-unreach-call.cil.c 11774028 u MAYBE 34.20/14.35 MAYBE 15.55/7.38
SV-COMP_Mixed_Categories/floppy_simpl3_false-unreach-call_true-termination.cil.c 11774029 u timeout (wallclock) MAYBE 19.01/14.44
SV-COMP_Mixed_Categories/test-0134_true-valid-memsafety.c 11774030 u MAYBE 3.83/1.73 MAYBE 11.24/4.92
SV-COMP_Mixed_Categories/sll_to_dll_rev_true-unreach-call.c 11774031 u timeout (wallclock) timeout (wallclock)
SV-COMP_Mixed_Categories/cs_szymanski_true-unreach-call.c 11774032 u MAYBE 7.42/3.23 timeout (wallclock)
SV-COMP_Termination_Category/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c 11773785 NO 201.16/52.34 NO 12.22/5.64
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c 11773786 YES 162.76/54.91 YES 16.33/8.01
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c 11773787 YES 20.22/6.38 YES 25.29/19.58
SV-COMP_Termination_Category/README.txt 11773788 u MAYBE 0.30/0.32 MAYBE 8.32/3.33
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c 11773789 YES 11.70/4.27 YES 12.43/6.35
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c 11773790 YES 17.98/11.67 YES 13.89/13.43
SV-COMP_Termination_Category/svcomp_cstrncmp_true-termination.c 11773791 is YES 20.42/10.71 MAYBE 99.94/67.46
SV-COMP_Termination_Category/joey_false-termination.c 11773792 is timeout (wallclock) NO 36.20/19.20
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c 11773793 YES 22.27/10.12 YES 21.63/14.58
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c 11773794 is timeout (wallclock) YES 15.46/7.29
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c 11773795 YES 14.06/4.49 YES 13.18/6.31
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c 11773796 YES 7.75/2.96 YES 12.61/6.22
SV-COMP_Termination_Category/svcomp_cstrcspn_true-termination.c 11773797 is YES 74.44/21.21 MAYBE 86.63/58.42
SV-COMP_Termination_Category/min_rf_true-termination.c 11773798 YES 115.35/46.76 YES 58.89/46.67
SV-COMP_Termination_Category/LeikeHeizmann-WST2014-Ex9_true-termination.c 11773799 YES 6.29/2.52 YES 13.04/6.23
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c 11773800 is MAYBE 15.58/5.36 YES 22.11/12.45
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c 11773801 is YES 33.15/11.54 MAYBE 13.30/6.40
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c 11773802 is YES 82.67/23.32 MAYBE 12.11/5.82
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c 11773803 YES 17.64/5.67 YES 15.57/9.42
SV-COMP_Termination_Category/LICENSE.txt 11773804 u MAYBE 0.32/0.24 MAYBE 8.20/3.43
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c 11773805 NO 15.84/5.06 NO 13.57/6.40
SV-COMP_Termination_Category/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c 11773806 is timeout (wallclock) YES 16.34/8.28
SV-COMP_Termination_Category/svcomp_cstrcmp_true-termination.c 11773807 is YES 11.92/4.16 MAYBE 99.22/69.45
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c 11773808 YES 120.73/39.12 YES 56.55/42.05
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c 11773809 YES 34.91/10.50 YES 16.41/7.69
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c 11773810 YES 26.89/10.00 YES 14.70/6.95
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c 11773811 is MAYBE 16.50/5.98 YES 19.97/10.90
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c 11773812 YES 11.99/4.04 YES 13.49/6.51
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c 11773813 YES 11.50/4.17 YES 13.81/6.84
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c 11773814 YES 8.74/3.14 YES 13.57/6.75
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c 11773815 is timeout (wallclock) NO 12.21/5.64
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c 11773816 YES 7.64/2.93 YES 13.30/6.50
SV-COMP_Termination_Category/GopanReps-CAV2006-Fig1a_true-termination.c.c 11773817 YES 11.09/3.90 YES 15.68/7.60
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c 11773818 YES 10.73/3.98 YES 13.82/7.19
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c 11773819 is YES 101.53/38.19 MAYBE 12.21/7.88
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c 11773820 is YES 37.89/13.15 timeout (wallclock)
SV-COMP_Termination_Category/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c 11773821 is timeout (wallclock) YES 63.18/52.21
SV-COMP_Termination_Category/aaron3_true-termination.c 11773822 is timeout (wallclock) YES 98.51/88.76
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c 11773823 is timeout (wallclock) NO 12.83/6.02
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c 11773824 YES 15.37/4.96 YES 15.63/7.82
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c 11773825 YES 8.86/3.17 YES 12.80/6.29
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c 11773826 YES 25.11/8.39 YES 61.09/41.32
SV-COMP_Termination_Category/UrbanMine-ESOP2014-Fig3_true-termination.c 11773827 YES 136.56/37.87 YES 18.99/9.28
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c 11773828 is YES 17.44/5.36 MAYBE 20.31/10.23
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c 11773829 YES 8.92/3.35 YES 29.56/23.23
SV-COMP_Termination_Category/svcomp_cstrspn_true-termination.c 11773830 is YES 48.87/14.64 MAYBE 210.76/169.26
SV-COMP_Termination_Category/Toulouse-BranchesToLoop_true-termination.c 11773831 YES 12.86/4.28 YES 17.98/8.80
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c 11773832 YES 33.55/9.91 YES 13.65/6.70
SV-COMP_Termination_Category/Avery-FLOPS2006-Table1_true-termination.c 11773833 YES 25.43/8.43 YES 14.58/7.03
SV-COMP_Termination_Category/BradleyMannaSipma-CAV2005-Fig1_true-termination.c 11773834 YES 64.29/17.60 YES 22.02/11.28
SV-COMP_Termination_Category/svcomp_strchr_true-termination.c 11773835 is YES 9.56/3.53 MAYBE 20.94/10.05
SV-COMP_Termination_Category/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c 11773836 YES 20.05/6.17 YES 12.54/6.28
SV-COMP_Termination_Category/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c 11773837 YES 35.18/10.50 YES 26.70/19.01
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c 11773838 YES 27.23/7.87 YES 13.11/6.26
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c 11773839 is YES 25.94/7.68 MAYBE 11.75/5.53
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c 11773840 YES 10.86/3.80 YES 25.49/25.77
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c 11773841 YES 11.06/3.98 YES 13.50/6.30
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c 11773842 YES 28.93/8.95 YES 15.93/8.28
SV-COMP_Termination_Category/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c 11773843 is YES 64.38/18.02 timeout (wallclock)
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c 11773844 YES 4.80/2.17 YES 12.96/6.62
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c 11773845 NO 21.04/10.40 NO 12.14/5.44
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c 11773846 YES 45.46/15.28 YES 13.53/6.54
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c 11773847 YES 18.29/5.57 YES 121.84/101.50
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c 11773848 NO 28.39/8.16 NO 13.17/6.44
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c 11773849 is YES 15.98/6.53 MAYBE 21.80/11.02
SV-COMP_Termination_Category/gcd1_true-termination.c 11773850 YES 104.53/29.18 YES 18.54/9.33
SV-COMP_Termination_Category/svcomp_cstrpbrk_true-termination.c 11773851 is YES 41.79/12.97 MAYBE 212.93/171.11
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c 11773852 YES 15.60/5.18 YES 16.07/7.68
SV-COMP_Termination_Category/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c 11773853 YES 37.32/10.68 YES 14.70/7.07
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c 11773854 is YES 7.73/3.12 MAYBE 35.81/22.16
SV-COMP_Termination_Category/TelAviv-Amir-Minimum_true-termination.c 11773855 is timeout (wallclock) YES 23.09/10.75
SV-COMP_Termination_Category/Masse-VMCAI2014-Fig1b_true-termination.c 11773856 u timeout (wallclock) MAYBE 22.27/11.47
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c 11773857 YES 7.55/2.84 YES 13.12/6.58
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c 11773858 YES 228.39/59.90 YES 18.67/9.47
SV-COMP_Termination_Category/Toulouse-MultiBranchesToLoop_true-termination.c 11773859 is YES 18.00/8.71 MAYBE 12.06/5.99
SV-COMP_Termination_Category/LeikeHeizmann-TACAS2014-Ex9_true-termination.c 11773860 YES 11.52/3.92 YES 14.33/7.00
SV-COMP_Termination_Category/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c 11773861 is YES 20.89/7.01 MAYBE 14.67/6.68
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c 11773862 is timeout (wallclock) YES 143.24/102.43
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c 11773863 u timeout (wallclock) MAYBE 11.34/5.54
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c 11773864 YES 7.67/2.78 YES 12.67/6.49
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c 11773865 YES 18.78/5.77 YES 14.59/7.20
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c 11773866 YES 91.50/32.40 YES 17.21/8.54
SV-COMP_Termination_Category/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c 11773867 YES 61.59/18.40 YES 21.59/10.30
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c 11773868 is YES 15.15/5.11 MAYBE 11.86/5.57
SV-COMP_Termination_Category/aaron2_true-termination.c 11773869 YES 42.98/12.57 YES 13.18/6.78
SV-COMP_Termination_Category/genady_true-termination.c 11773870 YES 16.47/7.90 YES 12.57/6.33
SV-COMP_Termination_Category/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c 11773871 u timeout (wallclock) MAYBE 47.07/35.02
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c 11773872 YES 8.71/3.24 YES 13.19/7.24
SV-COMP_Termination_Category/aviad_true-termination.c 11773873 is YES 41.94/14.25 MAYBE 12.01/5.55
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c 11773874 YES 16.80/5.51 YES 34.14/29.41
SV-COMP_Termination_Category/CookSeeZuleger-TACAS2013-Fig1_true-termination.c 11773875 YES 33.36/11.32 YES 15.78/7.47
SV-COMP_Termination_Category/svcomp_cstrlen_true-termination.c 11773876 YES 8.00/3.02 YES 22.35/10.88
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c 11773877 YES 9.95/3.53 YES 14.55/7.81
SV-COMP_Termination_Category/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c 11773878 YES 19.97/6.77 YES 18.50/8.33
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c 11773879 is timeout (wallclock) YES 27.42/19.62
SV-COMP_Termination_Category/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c 11773880 u timeout (wallclock) MAYBE 11.79/5.64
SV-COMP_Termination_Category/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c 11773881 YES 16.74/5.35 YES 13.65/6.75
SV-COMP_Termination_Category/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c 11773882 YES 62.68/22.56 YES 30.86/21.33
Ton_Chanh_15/Ackermann_true-termination.c 11773883 is YES 41.77/14.90 timeout (wallclock)
Ton_Chanh_15/NestedRecursion_2b_false-termination.c 11773884 u MAYBE 12.61/4.68 MAYBE 12.49/6.27
Ton_Chanh_15/NestedRecursion_1b_true-termination.c 11773885 is MAYBE 26.83/11.70 YES 24.55/11.76
Ton_Chanh_15/Binary_Search_true-termination.c 11773886 is MAYBE 36.67/13.59 NO 48.86/38.42
Ton_Chanh_15/NestedRecursion_2a_false-termination.c 11773887 is MAYBE 51.75/21.92 NO 13.17/6.71
Ton_Chanh_15/NestedRecursion_1d_true-termination.c 11773888 is YES 19.07/9.35 MAYBE 11.99/5.82
Ton_Chanh_15/Ackermann_false-termination.c 11773889 is MAYBE 56.51/18.73 NO 18.40/9.08
Ton_Chanh_15/McCarthy91_Recursion_true-termination.c 11773890 is timeout (wallclock) YES 211.58/180.25
Ton_Chanh_15/NestedRecursion_1a_false-termination.c 11773891 u MAYBE 24.21/8.35 MAYBE 12.37/5.84
Ton_Chanh_15/MutualRecursion_1a_false-termination.c 11773892 is MAYBE 17.70/6.00 NO 17.05/7.89
Ton_Chanh_15/NestedRecursion_1c_true-termination.c 11773893 YES 11.88/4.10 YES 30.45/13.05
Ton_Chanh_15/MutualRecursion_1b_true-termination.c 11773894 is YES 18.20/5.89 timeout (wallclock)
Ton_Chanh_15/NestedRecursion_2c_true-termination.c 11773895 is YES 16.85/5.71 MAYBE 12.87/5.98
AProVE_numeric/rec_strlen.c 11773708 YES 24.20/14.03 YES 24.60/12.70
AProVE_numeric/svcomp_b.16.c 11773709 YES 21.65/6.79 YES 13.59/6.94
AProVE_numeric/svcomp_a.01.c 11773710 is YES 24.70/7.72 MAYBE 11.42/6.30
AProVE_numeric/ex3.c 11773711 YES 18.88/8.31 YES 47.79/27.38
AProVE_numeric/svcomp_b.03_assume.c 11773712 YES 9.89/3.52 YES 12.79/6.87
AProVE_numeric/svcomp_b.06.c 11773713 YES 14.44/8.35 YES 12.97/6.16
AProVE_numeric/Avg_true.c 11773714 YES 52.07/16.34 YES 25.35/12.19
AProVE_numeric/svcomp_ex3b.c 11773715 is YES 11.55/4.09 MAYBE 25.47/13.95
AProVE_numeric/svcomp_a.10.c 11773716 is YES 4.67/2.12 MAYBE 11.38/5.63
AProVE_numeric/svcomp_Ackermann01_true-unreach-call_modified_modified.c 11773717 is YES 48.39/17.88 timeout (wallclock)
AProVE_numeric/svcomp_b.07.c 11773718 YES 15.75/9.95 YES 13.18/6.43
AProVE_numeric/svcomp_easySum.c 11773719 YES 20.73/7.16 YES 12.40/6.33
AProVE_numeric/LeUserDefRec_true.c 11773720 YES 15.21/5.18 YES 14.13/6.65
AProVE_numeric/ex2.c 11773721 YES 11.00/3.92 YES 17.01/7.86
AProVE_numeric/TwoWay_true.c 11773722 is YES 21.36/10.40 MAYBE 13.13/6.41
AProVE_numeric/Et2_true.c 11773723 YES 24.76/8.93 YES 17.86/8.29
AProVE_numeric/svcomp_b.17.c 11773724 YES 23.11/7.43 YES 14.67/7.55
AProVE_numeric/rec_counter3.c 11773725 YES 24.20/10.50 YES 18.32/10.23
AProVE_numeric/rec_counter1.c 11773726 YES 22.34/7.04 YES 17.51/8.59
AProVE_numeric/svcomp_b.15.c 11773727 is YES 15.76/9.20 MAYBE 11.18/5.55
AProVE_numeric/svcomp_c.07.c 11773728 YES 19.75/12.87 YES 25.64/18.53
AProVE_numeric/svcomp_java_LogBuiltIn.c 11773729 YES 8.41/3.16 YES 12.67/6.48
AProVE_numeric/svcomp_MultCommutative_true-unreach-call_true-termination_modified.c 11773730 YES 25.87/7.89 YES 19.46/9.69
AProVE_numeric/Et4_true.c 11773731 YES 55.00/15.33 YES 34.98/22.52
AProVE_numeric/svcomp_a.08.c 11773732 YES 11.03/3.99 YES 14.09/7.29
AProVE_numeric/svcomp_b.05.c 11773733 is timeout (wallclock) YES 12.95/6.23
AProVE_numeric/svcomp_EvenOdd01_true-unreach-call_true-termination_modified.c 11773734 is YES 15.05/5.15 MAYBE 11.46/5.71
AProVE_numeric/svcomp_ex3a.c 11773735 is YES 16.77/5.71 MAYBE 25.25/13.90
AProVE_numeric/svcomp_b.04.c 11773736 YES 4.80/2.12 YES 20.26/13.51
AProVE_numeric/svcomp_c.01_assume.c 11773737 YES 24.25/7.31 YES 13.37/6.95
AProVE_numeric/svcomp_a.09_assume.c 11773738 YES 9.23/3.23 YES 13.43/6.65
AProVE_numeric/svcomp_b.09-no-inv_assume.c 11773739 YES 5.05/2.16 YES 17.95/8.45
AProVE_numeric/svcomp_b.14.c 11773740 is YES 10.44/3.59 MAYBE 11.80/5.69
AProVE_numeric/svcomp_java_Nested.c 11773741 is YES 26.76/11.60 MAYBE 11.69/5.56
AProVE_numeric/LogRecursive_true.c 11773742 u timeout (wallclock) MAYBE 39.88/25.75
AProVE_numeric/svcomp_java_AG313.c 11773743 YES 23.94/7.36 YES 14.69/7.33
AProVE_numeric/svcomp_c.02.c 11773744 YES 31.79/11.41 YES 14.26/6.84
AProVE_numeric/svcomp_a.07.c 11773745 YES 14.73/5.00 YES 12.88/6.40
AProVE_numeric/svcomp_b.09_assume.c 11773746 is YES 5.23/2.16 MAYBE 11.96/5.72
AProVE_numeric/svcomp_b.10.c 11773747 YES 24.95/8.00 YES 15.68/12.97
AProVE_numeric/svcomp_c.08.c 11773748 YES 26.80/8.37 YES 14.52/7.07
AProVE_numeric/svcomp_java_Sequence.c 11773749 YES 11.49/3.93 YES 13.84/6.86
AProVE_numeric/svcomp_gcd01_true-unreach-call_true-termination_modified.c 11773750 YES 19.03/6.02 YES 18.48/9.50
AProVE_numeric/TerminatorRec02_true.c 11773751 YES 12.10/7.66 YES 13.29/6.49
AProVE_numeric/svcomp_ex2.c 11773752 u timeout (wallclock) MAYBE 31.97/18.41
AProVE_numeric/svcomp_b.01.c 11773753 YES 9.29/3.45 YES 13.25/6.39
AProVE_numeric/svcomp_java_Continue1.c 11773754 YES 11.88/4.13 YES 13.02/6.42
AProVE_numeric/Binomial_true.c 11773755 u MAYBE 14.86/7.12 timeout (wallclock)
AProVE_numeric/svcomp_Addition01_true-unreach-call_true-termination_modified.c 11773756 is YES 14.36/4.88 MAYBE 12.01/6.92
AProVE_numeric/svcomp_java_Break.c 11773757 YES 8.06/2.95 YES 13.10/6.31
AProVE_numeric/svcomp_b.11.c 11773758 is timeout (wallclock) YES 15.98/7.86
AProVE_numeric/svcomp_c.03.c 11773759 YES 27.58/8.63 YES 18.79/9.41
AProVE_numeric/svcomp_a.06.c 11773760 YES 19.36/10.81 YES 15.03/8.75
AProVE_numeric/svcomp_Fibonacci01_true-unreach-call_modified.c 11773761 is YES 28.45/9.25 MAYBE 11.95/5.65
AProVE_numeric/Et1_true.c 11773762 YES 29.56/12.29 YES 15.83/7.76
AProVE_numeric/svcomp_a.04.c 11773763 YES 9.45/3.44 YES 13.38/6.26
AProVE_numeric/svcomp_b.13.c 11773764 YES 24.37/7.64 YES 15.58/7.66
AProVE_numeric/svcomp_b.03-no-inv_assume.c 11773765 YES 9.96/3.55 YES 14.61/6.86
AProVE_numeric/svcomp_flag.c 11773766 YES 12.11/4.32 YES 16.51/8.13
AProVE_numeric/Parts_true.c 11773767 u timeout (wallclock) timeout (wallclock)
AProVE_numeric/svcomp_recHanoi02_true-unreach-call_true-termination_modified.c 11773768 YES 14.78/8.37 YES 16.37/8.35
AProVE_numeric/svcomp_ex1.c 11773769 YES 8.94/3.29 YES 13.12/6.61
AProVE_numeric/svcomp_twisted.c 11773770 is YES 85.93/26.57 MAYBE 12.43/5.88
AProVE_numeric/Et3_true.c 11773771 YES 27.23/8.34 YES 16.33/7.79
AProVE_numeric/svcomp_fermat.c 11773772 YES 95.11/29.89 YES 205.88/197.09
AProVE_numeric/svcomp_b.02.c 11773773 YES 11.39/3.98 YES 13.43/6.44
AProVE_numeric/svcomp_b.18.c 11773774 is YES 11.16/4.43 MAYBE 11.32/7.40
AProVE_numeric/svcomp_b.12.c 11773775 YES 21.94/8.90 YES 14.88/8.44
AProVE_numeric/svcomp_c.01-no-inv.c 11773776 YES 28.51/8.72 YES 16.53/7.68
AProVE_numeric/svcomp_a.05.c 11773777 YES 9.75/3.57 YES 12.85/6.56
Di_Stefano_20/majority_true-termination.c 11773778 u MAYBE 48.03/19.57 timeout (wallclock)
Di_Stefano_20/majority-noarray_true-termination.c 11773779 u MAYBE 42.56/14.82 MAYBE 25.76/10.52
Di_Stefano_20/flock_true-termination.c 11773780 u MAYBE 13.93/5.60 timeout (wallclock)
Di_Stefano_20/formation_true-termination.c 11773781 u MAYBE 60.23/26.36 timeout (wallclock)
Di_Stefano_20/boids_true-termination.c 11773782 u MAYBE 16.09/13.18 MAYBE 10.21/4.49
Di_Stefano_20/flock-noarray_true-termination.c 11773783 u timeout (wallclock) timeout (wallclock)
Di_Stefano_20/formation-noarray_true-termination.c 11773784 u timeout (wallclock) MAYBE 35.30/14.10
AProVE_memory_unsafe/svcomp_knapsack_alloca_unsafe.c 11773554 u MAYBE 21.24/8.26 MAYBE 13.52/6.41
AProVE_memory_unsafe/svcomp_cstrchr_unsafe.c 11773555 u MAYBE 4.82/2.06 MAYBE 17.73/9.15
AProVE_memory_unsafe/svcomp_cstrcpy_unsafe.c 11773556 u MAYBE 4.93/2.16 MAYBE 12.02/5.59
AProVE_memory_unsafe/svcomp_selectionsort_unsafe.c 11773557 u MAYBE 5.93/2.49 MAYBE 12.03/6.00
AProVE_memory_unsafe/svcomp_count_down_unsafe.c 11773558 u MAYBE 5.92/2.50 MAYBE 12.84/6.08
AProVE_memory_unsafe/svcomp_bubble_sort_unsafe.c 11773559 u MAYBE 5.32/2.34 MAYBE 11.89/5.53
AProVE_memory_unsafe/svcomp_bubblesort_unsafe.c 11773560 u MAYBE 5.96/2.39 MAYBE 11.47/6.00
AProVE_memory_unsafe/svcomp_stroeder1_unsafe.c 11773561 u MAYBE 5.08/2.20 MAYBE 11.99/5.53
AProVE_memory_unsafe/svcomp_cstrcat_unsafe.c 11773562 u MAYBE 4.74/2.13 MAYBE 11.54/5.53
AProVE_memory_unsafe/svcomp_insertionsort_unsafe.c 11773563 u MAYBE 5.10/2.19 MAYBE 11.96/5.45
AProVE_memory_unsafe/svcomp_cstrlen_unsafe.c 11773564 u MAYBE 4.63/2.00 MAYBE 14.13/6.38
AProVE_memory_unsafe/svcomp_insertion_sort_unsafe.c 11773565 u MAYBE 5.24/2.28 MAYBE 11.50/5.65
AProVE_memory_unsafe/svcomp_mult_array_unsafe.c 11773566 u MAYBE 6.23/2.63 MAYBE 17.56/8.31
AProVE_memory_unsafe/svcomp_reverse_array_alloca_unsafe.c 11773567 u MAYBE 10.68/3.92 MAYBE 15.70/7.43
AProVE_memory_unsafe/svcomp_delete_alloca_unsafe.c 11773568 u MAYBE 4.55/2.06 MAYBE 12.15/5.60
AProVE_memory_unsafe/svcomp_java_BubbleSort_unsafe.c 11773569 u MAYBE 5.44/2.41 MAYBE 12.04/5.60
AProVE_memory_unsafe/svcomp_cstrncpy_unsafe.c 11773570 u MAYBE 6.05/2.47 MAYBE 12.37/6.41
AProVE_memory_unsafe/svcomp_cstrpbrk_unsafe.c 11773571 u MAYBE 5.21/2.22 MAYBE 18.00/8.37
AProVE_memory_unsafe/svcomp_reverse_array_unsafe.c 11773572 u MAYBE 6.82/2.85 MAYBE 14.79/7.40
AProVE_memory_unsafe/svcomp_cstrncat_unsafe.c 11773573 u MAYBE 5.41/2.35 MAYBE 11.96/5.64
AProVE_memory_unsafe/svcomp_knapsack_unsafe.c 11773574 u MAYBE 8.34/7.49 MAYBE 12.72/5.77
AProVE_memory_unsafe/svcomp_delete_unsafe.c 11773575 u MAYBE 4.52/1.96 MAYBE 11.05/5.57
AProVE_memory_unsafe/svcomp_stroeder2_unsafe.c 11773576 u MAYBE 5.18/2.34 MAYBE 11.71/5.54
AProVE_memory_unsafe/svcomp_lis_unsafe.c 11773577 u MAYBE 5.66/2.39 MAYBE 18.28/8.69
AProVE_memory_unsafe/svcomp_diff_usafe.c 11773578 u MAYBE 8.59/3.33 MAYBE 12.74/5.61
AProVE_memory_unsafe/svcomp_selection_sort_unsafe.c 11773579 u MAYBE 5.73/2.46 MAYBE 12.09/5.51
AProVE_memory_unsafe/svcomp_add_last_unsafe.c 11773580 u MAYBE 5.10/2.33 MAYBE 13.49/6.14
AProVE_memory_alloca/svcomp_b.05-alloca.c 11773581 is YES 12.39/4.34 MAYBE 14.41/6.68
AProVE_memory_alloca/svcomp_a.06-alloca.c 11773582 is YES 35.31/11.83 MAYBE 17.54/7.69
AProVE_memory_alloca/svcomp_openbsd_cstpncpy_alloca.c 11773583 is YES 98.22/52.04 MAYBE 163.19/110.52
AProVE_memory_alloca/svcomp_cstrncmp_true_alloca.c 11773584 is YES 45.55/18.50 MAYBE 40.36/19.47
AProVE_memory_alloca/svcomp_diff_alloca.c 11773585 is YES 91.41/40.20 MAYBE 40.08/20.27
AProVE_memory_alloca/svcomp_Toulouse-BranchesToLoop_true-alloca.c 11773586 is YES 16.56/5.37 MAYBE 16.81/7.17
AProVE_memory_alloca/svcomp_cstrncat_alloca.c 11773587 u MAYBE 11.84/7.65 timeout (wallclock)
AProVE_memory_alloca/svcomp_b.15-alloca.c 11773588 is YES 27.67/9.32 MAYBE 17.50/7.68
AProVE_memory_alloca/svcomp_selectionsort_alloca.c 11773589 u MAYBE 264.23/200.39 MAYBE 24.77/16.94
AProVE_memory_alloca/svcomp_subseq_alloca.c 11773590 is YES 63.79/20.79 MAYBE 39.33/19.29
AProVE_memory_alloca/svcomp_openbsd_cstrpbrk_alloca.c 11773591 is YES 58.24/20.00 MAYBE 52.02/30.72
AProVE_memory_alloca/svcomp_Masse_true-alloca.c 11773592 u timeout (wallclock) MAYBE 35.59/20.12
AProVE_memory_alloca/svcomp_openbsd_cbzero_alloca.c 11773593 YES 26.00/10.80 YES 20.63/10.25
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Introduction_true-alloca.c 11773594 is YES 11.92/4.26 MAYBE 14.62/6.58
AProVE_memory_alloca/svcomp_BrockschmidtCookFuhs-2013CAV-Fig1_true-alloca.c 11773595 is YES 38.80/11.77 MAYBE 15.60/7.16
AProVE_memory_alloca/svcomp_openbsd_cstrncpy_alloca.c 11773596 is YES 76.65/31.75 MAYBE 38.48/19.26
AProVE_memory_alloca/svcomp_min_rf_true-alloca.c 11773597 is YES 130.34/55.22 MAYBE 17.98/7.95
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2-modified1000_true-alloca.c 11773598 is YES 20.27/6.31 MAYBE 14.96/6.64
AProVE_memory_alloca/svcomp_array02_alloca.c 11773599 is YES 242.23/129.06 MAYBE 22.49/13.56
AProVE_memory_alloca/svcomp_b.12-alloca.c 11773600 is YES 43.70/16.93 MAYBE 16.78/7.33
AProVE_memory_alloca/svcomp_ex2-alloca.c 11773601 u timeout (wallclock) MAYBE 20.04/8.72
AProVE_memory_alloca/svcomp_openbsd_cstrncat_alloca.c 11773602 u MAYBE 11.48/4.20 timeout (wallclock)
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c 11773603 u timeout (wallclock) MAYBE 18.36/8.12
AProVE_memory_alloca/svcomp_a.01-alloca.c 11773604 is YES 39.49/13.22 MAYBE 16.27/7.46
AProVE_memory_alloca/svcomp_b.02-alloca.c 11773605 is YES 22.17/7.54 MAYBE 15.83/7.20
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005CAV-Fig1_true-alloca.c 11773606 u timeout (wallclock) MAYBE 16.83/7.45
AProVE_memory_alloca/svcomp_openbsd_cstrlcpy_alloca.c 11773607 is YES 64.15/23.05 MAYBE 49.48/25.42
AProVE_memory_alloca/svcomp_cstrncpy_alloca.c 11773608 u MAYBE 37.07/13.49 MAYBE 40.18/18.59
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig2_false-unreach-label-termination-alloca.c 11773609 u timeout (wallclock) MAYBE 22.62/10.18
AProVE_memory_alloca/svcomp_cstrcspn_true_alloca.c 11773610 is YES 109.14/39.73 MAYBE 47.94/24.89
AProVE_memory_alloca/svcomp_cstrcpy_alloca.c 11773611 is YES 160.56/132.23 MAYBE 29.96/17.92
AProVE_memory_alloca/svcomp_cstrchr_true_alloca.c 11773612 is YES 17.44/5.87 MAYBE 21.02/10.16
AProVE_memory_alloca/svcomp_add_last_alloca.c 11773613 u MAYBE 7.88/3.16 timeout (wallclock)
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7b_true-alloca.c 11773614 is YES 107.25/29.88 MAYBE 16.34/12.11
AProVE_memory_alloca/svcomp_openbsd_cstrspn_alloca.c 11773615 u timeout (wallclock) MAYBE 48.01/28.59
AProVE_memory_alloca/svcomp_openbsd_cmemset_alloca.c 11773616 is YES 26.92/8.90 MAYBE 18.57/9.17
AProVE_memory_alloca/svcomp_insertionsort_alloca.c 11773617 is YES 143.44/89.10 MAYBE 19.76/9.71
AProVE_memory_alloca/svcomp_java_Continue1-alloca.c 11773618 is YES 25.07/11.19 MAYBE 15.05/6.68
AProVE_memory_alloca/svcomp_a.08-alloca.c 11773619 is YES 22.97/7.87 MAYBE 16.05/7.37
AProVE_memory_alloca/svcomp_openbsd_cstrcmp_alloca.c 11773620 is YES 33.39/11.13 MAYBE 38.20/19.41
AProVE_memory_alloca/svcomp_b.04-alloca.c 11773621 is YES 6.43/2.62 MAYBE 17.02/7.41
AProVE_memory_alloca/svcomp_a.07-alloca.c 11773622 is YES 38.58/16.57 MAYBE 17.01/7.67
AProVE_memory_alloca/svcomp_openbsd_cstrnlen_alloca.c 11773623 is YES 23.42/7.87 MAYBE 10.20/4.67
AProVE_memory_alloca/svcomp_java_Nested-alloca.c 11773624 is YES 39.95/13.70 MAYBE 15.94/7.05
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig8_true-alloca.c 11773625 is YES 62.60/24.08 MAYBE 24.47/9.95
AProVE_memory_alloca/svcomp_b.14-alloca.c 11773626 is YES 27.50/9.34 MAYBE 15.80/7.27
AProVE_memory_alloca/svcomp_NoriSharma-2013FSE-Fig7_true-alloca.c 11773627 is YES 64.78/30.38 MAYBE 22.96/10.04
AProVE_memory_alloca/svcomp_java_AG313-alloca.c 11773628 is YES 41.41/13.46 MAYBE 16.26/7.41
AProVE_memory_alloca/svcomp_gcd1_true-alloca.c 11773629 is YES 114.55/34.98 MAYBE 17.81/7.83
AProVE_memory_alloca/svcomp_stroeder2_alloca.c 11773630 is YES 86.00/32.56 MAYBE 17.13/8.16
AProVE_memory_alloca/svcomp_cstrcmp_true_alloca.c 11773631 is YES 35.67/14.66 MAYBE 38.80/20.09
AProVE_memory_alloca/svcomp_genady_true-alloca.c 11773632 is YES 33.37/11.42 MAYBE 14.57/6.58
AProVE_memory_alloca/svcomp_a.09_assume-alloca.c 11773633 is YES 14.82/4.95 MAYBE 16.84/7.61
AProVE_memory_alloca/svcomp_cstrcat_alloca.c 11773634 u MAYBE 10.99/4.16 timeout (wallclock)
AProVE_memory_alloca/svcomp_ex3a-alloca.c 11773635 is YES 28.05/11.92 MAYBE 14.58/6.63
AProVE_memory_alloca/svcomp_fermat-alloca.c 11773636 is YES 141.96/53.45 MAYBE 20.42/9.26
AProVE_memory_alloca/svcomp_java_Break-alloca.c 11773637 is YES 10.73/3.76 MAYBE 14.83/6.66
AProVE_memory_alloca/svcomp_b.13-alloca.c 11773638 is YES 43.10/15.64 MAYBE 19.05/8.01
AProVE_memory_alloca/svcomp_a.10-alloca.c 11773639 is YES 5.79/2.59 MAYBE 15.68/7.20
AProVE_memory_alloca/svcomp_array03_alloca.c 11773640 is YES 222.25/111.70 MAYBE 17.33/8.19
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig1_false-unreach-label-termination-alloca.c 11773641 NO 7.03/3.39 NO 12.85/6.15
AProVE_memory_alloca/svcomp_c.07-alloca.c 11773642 is YES 45.94/16.49 MAYBE 19.68/8.46
AProVE_memory_alloca/svcomp_Ben-Amram-2010LMCS-Ex2.3_true-alloca.c 11773643 is YES 26.69/8.59 MAYBE 16.62/7.85
AProVE_memory_alloca/svcomp_b.03_assume-alloca.c 11773644 is YES 14.09/4.80 MAYBE 15.66/6.82
AProVE_memory_alloca/svcomp_c.08-alloca.c 11773645 is YES 38.24/13.37 MAYBE 15.93/7.23
AProVE_memory_alloca/svcomp_ex3b-alloca.c 11773646 is YES 24.09/7.99 MAYBE 15.76/7.10
AProVE_memory_alloca/svcomp_b.10-alloca.c 11773647 is YES 42.92/14.57 MAYBE 15.73/7.33
AProVE_memory_alloca/svcomp_lis_alloca.c 11773648 u MAYBE 145.50/88.73 MAYBE 42.10/20.22
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig3_true-alloca.c 11773649 YES 25.37/7.46 YES 16.18/7.56
AProVE_memory_alloca/svcomp_java_Sequence-alloca.c 11773650 is YES 17.56/5.88 MAYBE 18.26/8.65
AProVE_memory_alloca/svcomp_bubblesort_alloca.c 11773651 is MAYBE 163.80/114.52 YES 22.06/9.82
AProVE_memory_alloca/svcomp_ChenFlurMukhopadhyay-2012SAS-Fig1_true-alloca.c 11773652 is YES 15.27/5.11 MAYBE 16.38/7.34
AProVE_memory_alloca/svcomp_openbsd_cstrlen_alloca.c 11773653 is YES 14.93/5.21 MAYBE 21.42/10.39
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig3_true-alloca.c 11773654 is YES 30.84/8.99 MAYBE 14.63/6.64
AProVE_memory_alloca/svcomp_BradleyMannaSipma-2005ICALP-Fig1_true-alloca.c 11773655 u timeout (wallclock) MAYBE 14.63/6.85
AProVE_memory_alloca/svcomp_stroeder1_alloca.c 11773656 is YES 34.16/11.33 MAYBE 15.61/7.27
AProVE_memory_alloca/svcomp_openbsd_cstrncmp_alloca.c 11773657 is YES 45.26/15.66 MAYBE 37.30/19.15
AProVE_memory_alloca/svcomp_Avery-2006FLOPS-Tabel1_true-alloca.c 11773658 is YES 48.28/17.15 MAYBE 18.97/15.41
AProVE_memory_alloca/svcomp_c.03-alloca.c 11773659 is YES 46.72/17.79 MAYBE 18.29/7.83
AProVE_memory_alloca/svcomp_java_LogBuiltIn-alloca.c 11773660 is YES 14.13/11.33 MAYBE 14.82/6.60
AProVE_memory_alloca/svcomp_a.04-alloca.c 11773661 is YES 19.24/6.66 MAYBE 16.10/7.17
AProVE_memory_alloca/svcomp_b.07-alloca.c 11773662 is YES 41.63/20.27 MAYBE 17.83/7.54
AProVE_memory_alloca/svcomp_openbsd_cmemchr_alloca.c 11773663 u MAYBE 22.47/7.79 MAYBE 18.26/9.28
AProVE_memory_alloca/svcomp_b.17-alloca.c 11773664 is YES 44.88/16.10 MAYBE 18.18/8.08
AProVE_memory_alloca/svcomp_b.18-alloca.c 11773665 is YES 16.31/5.41 MAYBE 14.89/7.02
AProVE_memory_alloca/svcomp_openbsd_cstrcspn_alloca.c 11773666 u timeout (wallclock) MAYBE 61.54/37.70
AProVE_memory_alloca/svcomp_KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1_true-alloca.c 11773667 u timeout (wallclock) MAYBE 15.81/7.01
AProVE_memory_alloca/svcomp_cstrpbrk_true_alloca.c 11773668 is YES 70.64/26.62 MAYBE 106.69/80.40
AProVE_memory_alloca/svcomp_count_down_alloca.c 11773669 YES 241.31/98.23 YES 32.85/16.38
AProVE_memory_alloca/svcomp_twisted-alloca.c 11773670 is YES 8.23/3.16 MAYBE 18.80/8.05
AProVE_memory_alloca/svcomp_mult_array_alloca.c 11773671 u MAYBE 7.03/2.76 MAYBE 59.63/49.84
AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c 11773672 is NO 6.84/2.74 MAYBE 31.44/17.08
AProVE_memory_alloca/svcomp_java_BubbleSort_alloca.c 11773673 u MAYBE 150.36/108.80 MAYBE 18.39/8.70
AProVE_memory_alloca/svcomp_substring_alloca.c 11773674 is YES 73.74/29.36 timeout (wallclock)
AProVE_memory_alloca/svcomp_b.09-no-inv_assume-alloca.c 11773675 is YES 7.02/5.09 MAYBE 16.79/7.39
AProVE_memory_alloca/svcomp_c.01_assume-alloca.c 11773676 YES 32.62/10.15 YES 24.86/12.27
AProVE_memory_alloca/svcomp_openbsd_cstrstr_alloca.c 11773677 is YES 247.28/92.93 MAYBE 262.36/205.00
AProVE_memory_alloca/svcomp_GulwaniJainKoskinen-2009PLDI-Fig1_true-alloca.c 11773678 u timeout (wallclock) MAYBE 16.81/7.36
AProVE_memory_alloca/svcomp_CookSeeZuleger-2013TACAS-Fig7a_true-alloca.c 11773679 is YES 34.66/10.20 MAYBE 16.34/7.27
AProVE_memory_alloca/svcomp_array01_alloca.c 11773680 is YES 90.11/32.68 MAYBE 16.17/8.01
AProVE_memory_alloca/svcomp_b.11-alloca.c 11773681 u timeout (wallclock) MAYBE 16.62/7.53
AProVE_memory_alloca/svcomp_aviad_true-alloca.c 11773682 is YES 70.93/22.70 MAYBE 16.97/7.43
AProVE_memory_alloca/svcomp_strreplace_alloca.c 11773683 is YES 69.47/23.87 MAYBE 44.28/30.40
AProVE_memory_alloca/svcomp_ex1-alloca.c 11773684 is YES 16.95/9.08 MAYBE 16.19/8.36
AProVE_memory_alloca/svcomp_Velroyen_false-unreach-label-termination-alloca.c 11773685 is NO 11.04/3.77 MAYBE 14.95/7.11
AProVE_memory_alloca/svcomp_openbsd_cstrcpy_alloca.c 11773686 is YES 127.70/92.45 MAYBE 31.73/23.04
AProVE_memory_alloca/svcomp_b.09_assume-alloca.c 11773687 is YES 7.02/2.78 MAYBE 16.80/8.89
AProVE_memory_alloca/svcomp_b.01-alloca.c 11773688 is YES 18.40/6.27 MAYBE 16.10/7.01
AProVE_memory_alloca/svcomp_cstrspn_true_alloca.c 11773689 is YES 80.06/28.97 MAYBE 146.03/120.28
AProVE_memory_alloca/svcomp_flag-alloca.c 11773690 is YES 26.51/8.98 MAYBE 17.59/7.71
AProVE_memory_alloca/svcomp_openbsd_cstrcat_alloca.c 11773691 u MAYBE 10.86/5.08 timeout (wallclock)
AProVE_memory_alloca/svcomp_openbsd_cmemrchr_alloca.c 11773692 u MAYBE 25.56/8.82 MAYBE 14.46/6.54
AProVE_memory_alloca/svcomp_cstrlen_true_alloca.c 11773693 is YES 20.81/11.07 MAYBE 19.25/9.54
AProVE_memory_alloca/svcomp_a.05-alloca.c 11773694 is YES 19.90/6.73 MAYBE 15.68/6.99
AProVE_memory_alloca/svcomp_b.06-alloca.c 11773695 is YES 29.38/10.21 MAYBE 15.53/7.16
AProVE_memory_alloca/svcomp_c.02-alloca.c 11773696 is YES 52.56/20.07 MAYBE 16.26/7.36
AProVE_memory_alloca/svcomp_Urban-2013WST-Fig2_true-alloca.c 11773697 is YES 17.19/5.46 MAYBE 15.13/6.87
AProVE_memory_alloca/svcomp_b.03-no-inv_assume-alloca.c 11773698 YES 12.56/4.37 YES 19.99/9.16
AProVE_memory_alloca/svcomp_c.01-no-inv-alloca.c 11773699 is YES 44.58/14.32 MAYBE 16.66/7.35
AProVE_memory_alloca/svcomp_HarrisLalNoriRajamani-2010SAS-Fig1_true-alloca.c 11773700 is YES 9.96/3.83 MAYBE 24.39/10.56
AProVE_memory_alloca/svcomp_b.16-alloca.c 11773701 is YES 39.58/12.82 MAYBE 16.70/7.30
AProVE_memory_alloca/svcomp_openbsd_cstpcpy_alloca.c 11773702 is YES 126.64/94.98 MAYBE 36.66/22.50
AProVE_memory_alloca/svcomp_TelAviv-Amir-Minimum_true-alloca.c 11773703 u timeout (wallclock) MAYBE 15.28/7.05
AProVE_memory_alloca/svcomp_easySum-alloca.c 11773704 YES 83.20/49.82 YES 24.01/11.26
AProVE_memory_alloca/svcomp_LarrazOliverasRodriguez-CarbonellRubio-2013FMCAD-Fig1_true-alloca.c 11773705 is YES 69.29/21.65 MAYBE 17.75/8.05
AProVE_memory_alloca/svcomp_Toulouse-MultiBranchesToLoop_true-alloca.c 11773706 is YES 19.32/7.34 MAYBE 27.31/11.65
AProVE_memory_alloca/svcomp_Urban_true-alloca.c 11773707 is YES 125.45/35.13 MAYBE 15.27/6.90
296 182