BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-constarray.xml name: svcomp19-constarray run sets: Bitvector.ReachSafety32, Default.ReachSafety32 date: Fri, 2018-11-23 09:54:49 CET tool: ULTIMATE Automizer 0.1.23-61f43111 tool executable: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py options: parallel runs: 15 resource limits: - memory: 8000.0 MB - time: 240 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ Bitvector.ReachSafety32 Run set 1 of 2 with options '-tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i TIMEOUT 240.23 211.10 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT 240.61 222.75 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT 240.52 223.36 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT 240.74 213.76 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT 240.66 216.63 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT 240.86 213.03 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT 240.38 231.04 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT 240.33 232.06 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT 240.44 229.95 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT 240.42 229.78 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT 240.44 229.56 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT 240.43 228.42 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT 240.43 229.46 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT 240.52 228.51 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT 240.47 227.57 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT 240.47 227.41 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT 240.41 232.15 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT 240.46 231.36 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT 240.42 229.82 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT 240.49 228.28 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT 240.42 227.83 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT 240.51 226.60 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT 240.48 226.11 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT 240.57 224.87 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT 240.62 223.89 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT 240.62 224.44 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT 240.46 226.07 None array-examples/standard_running_false-unreach-call.i TIMEOUT 240.97 205.12 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TRUE 16.40 9.95 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT 240.21 184.11 None array-examples/relax_true-unreach-call.i TIMEOUT 240.63 204.29 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT 241.52 222.87 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT 240.26 213.67 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 19.83 13.08 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT 240.65 223.89 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 8.73 5.16 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT 240.85 215.58 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT 240.73 218.14 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT 240.38 229.73 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT 240.68 221.44 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT 240.35 231.37 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT 240.32 232.28 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT 240.39 231.18 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT 240.41 230.39 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT 240.38 229.53 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT 240.40 230.26 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT 240.41 228.09 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT 240.47 227.90 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT 240.45 227.36 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT 240.47 228.29 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT 240.44 227.08 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT 240.43 227.90 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT 240.40 230.03 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT 240.90 219.45 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT 240.41 232.69 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT 240.35 231.29 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT 240.43 229.74 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT 240.46 228.06 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT 240.58 227.55 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT 240.58 226.86 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT 240.59 225.97 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT 240.62 225.89 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT 240.66 224.47 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT 240.59 223.72 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT 240.56 224.05 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT 240.43 231.62 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT 240.40 229.83 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT 240.41 230.28 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT 240.32 231.19 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT 240.89 220.23 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT 241.05 225.46 None array-examples/standard_running_true-unreach-call.i TIMEOUT 241.01 207.32 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TIMEOUT 240.55 229.09 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT 240.36 232.03 None array-examples/standard_strcmp_true-unreach-call_ground.i TIMEOUT 240.36 224.82 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT 240.78 221.06 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT 240.86 220.32 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT 240.49 223.58 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT 240.54 223.98 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT 240.45 228.81 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT 240.43 229.91 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT 240.36 232.02 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT 240.36 232.19 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT 240.38 231.86 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT 240.36 231.85 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT 240.34 231.97 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT 240.53 226.84 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT 240.37 232.01 None array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.56 228.47 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT 240.51 224.02 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT 240.45 224.60 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.94 215.21 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT 240.50 222.93 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.99 213.92 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT 241.17 206.15 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT 240.53 225.80 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT 240.53 223.19 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT 240.54 219.95 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT 240.53 221.81 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TRUE 140.24 121.60 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT 240.45 224.34 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT 240.63 216.73 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT 240.61 217.02 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT 240.49 223.14 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT 240.48 223.91 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT 240.60 206.44 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 54.42 43.54 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i TIMEOUT 240.44 228.65 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT 240.51 225.22 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT 241.31 210.94 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT 240.82 211.10 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 80.22 67.51 None reducercommutativity/avg05_true-unreach-call_true-termination.i TIMEOUT 240.41 231.31 None reducercommutativity/avg10_true-unreach-call_true-termination.i TIMEOUT 240.43 231.39 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT 240.45 229.62 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT 240.50 227.15 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT 240.56 222.63 None reducercommutativity/avg_true-unreach-call_true-termination.i TIMEOUT 240.54 232.30 None reducercommutativity/max05_true-unreach-call_true-termination.i TIMEOUT 240.48 228.34 None reducercommutativity/max10_true-unreach-call_true-termination.i TIMEOUT 240.52 225.64 None reducercommutativity/max20_true-unreach-call.i TIMEOUT 240.42 229.71 None reducercommutativity/max40_true-unreach-call.i TIMEOUT 240.41 227.75 None reducercommutativity/max60_true-unreach-call.i TIMEOUT 240.56 221.13 None reducercommutativity/max_true-unreach-call_true-termination.i TIMEOUT 240.48 230.08 None reducercommutativity/sep05_true-unreach-call_true-termination.i TIMEOUT 240.60 222.87 None reducercommutativity/sep10_true-unreach-call.i TIMEOUT 240.92 216.21 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT 240.41 231.10 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT 240.44 228.11 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT 240.53 222.21 None reducercommutativity/sep_true-unreach-call_true-termination.i TIMEOUT 240.67 224.31 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT 240.38 232.65 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT 240.46 231.67 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT 240.50 230.03 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT 240.49 228.29 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT 240.52 222.34 None reducercommutativity/sum_true-unreach-call_true-termination.i TIMEOUT 240.61 226.11 None array-tiling/mlceu_false-unreach-call.i TIMEOUT 241.45 217.66 None array-tiling/skippedu_false-unreach-call.i FALSE 19.15 12.68 None array-tiling/mbpr2_true-unreach-call.i TIMEOUT 240.66 222.50 None array-tiling/mbpr3_true-unreach-call.i TIMEOUT 240.72 223.60 None array-tiling/mbpr4_true-unreach-call.i TIMEOUT 241.05 217.22 None array-tiling/mbpr5_true-unreach-call.i TIMEOUT 240.95 216.75 None array-tiling/nr2_true-unreach-call.i TIMEOUT 240.89 221.96 None array-tiling/nr3_true-unreach-call.i TIMEOUT 240.60 227.09 None array-tiling/nr4_true-unreach-call.i TIMEOUT 240.81 225.69 None array-tiling/nr5_true-unreach-call.i TIMEOUT 240.48 226.86 None array-tiling/pnr2_true-unreach-call.i TIMEOUT 240.62 225.15 None array-tiling/pnr3_true-unreach-call.i TIMEOUT 240.14 223.09 None array-tiling/pnr4_true-unreach-call.i TIMEOUT 240.34 221.53 None array-tiling/pnr5_true-unreach-call.i TIMEOUT 240.77 223.43 None array-tiling/poly1_true-unreach-call.i ERROR: EXCEPTION 26.51 20.83 None array-tiling/poly2_true-unreach-call.i TRUE 17.43 11.72 None array-tiling/pr2_true-unreach-call.i TIMEOUT 241.68 219.57 None array-tiling/pr3_true-unreach-call.i TIMEOUT 240.23 214.66 None array-tiling/pr4_true-unreach-call.i TIMEOUT 240.36 215.77 None array-tiling/pr5_true-unreach-call.i TIMEOUT 240.87 211.48 None array-tiling/revcpyswp2_true-unreach-call.i TIMEOUT 240.45 229.35 None array-tiling/rew_true-unreach-call.i TIMEOUT 240.52 224.98 None array-tiling/rewnif_true-unreach-call.i TIMEOUT 241.13 215.85 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT 240.49 227.67 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT 240.59 232.96 None array-tiling/rewrev_true-unreach-call.i TIMEOUT 240.39 222.64 None array-tiling/skipped_true-unreach-call.i TIMEOUT 241.65 218.34 None array-tiling/tcpy_true-unreach-call.i TIMEOUT 240.29 233.84 None array-programs/copysome1_false-unreach-call.i TIMEOUT 240.54 222.15 None array-programs/copysome2_false-unreach-call.i TIMEOUT 240.58 219.57 None array-programs/copysome1_true-unreach-call.i TIMEOUT 240.52 221.91 None array-programs/copysome2_true-unreach-call.i TIMEOUT 240.61 220.27 None array-crafted/bAnd1_true-unreach-call.i TIMEOUT 240.91 218.66 None array-crafted/bAnd2_true-unreach-call.i TIMEOUT 240.93 219.55 None array-crafted/bAnd3_true-unreach-call.i TIMEOUT 240.88 219.64 None array-crafted/bAnd4_true-unreach-call.i TIMEOUT 240.93 219.37 None array-crafted/bAnd5_true-unreach-call.i TIMEOUT 240.44 227.60 None array-crafted/bor1_true-unreach-call.i TIMEOUT 240.91 218.93 None array-crafted/bor2_true-unreach-call.i TIMEOUT 240.89 220.24 None array-crafted/bor3_true-unreach-call.i TIMEOUT 240.93 219.12 None array-crafted/bor4_true-unreach-call.i TIMEOUT 240.93 218.87 None array-crafted/bor5_true-unreach-call.i TIMEOUT 240.43 226.31 None array-crafted/mapavg1_true-unreach-call.i TIMEOUT 240.97 219.83 None array-crafted/mapavg2_true-unreach-call.i TIMEOUT 240.92 220.22 None array-crafted/mapavg3_true-unreach-call.i TIMEOUT 240.88 221.56 None array-crafted/mapavg4_true-unreach-call.i TIMEOUT 240.96 220.27 None array-crafted/mapavg5_true-unreach-call.i TIMEOUT 240.35 234.24 None array-crafted/mapsum1_true-unreach-call.i TIMEOUT 240.89 219.67 None array-crafted/mapsum2_true-unreach-call.i TIMEOUT 240.87 220.88 None array-crafted/mapsum3_true-unreach-call.i TIMEOUT 240.89 220.32 None array-crafted/mapsum4_true-unreach-call.i TIMEOUT 240.91 220.19 None array-crafted/mapsum5_true-unreach-call.i TIMEOUT 240.36 229.41 None array-crafted/xor1_true-unreach-call.i TIMEOUT 240.90 218.78 None array-crafted/xor2_true-unreach-call.i TIMEOUT 240.89 220.57 None array-crafted/xor3_true-unreach-call.i TIMEOUT 240.90 220.36 None array-crafted/xor4_true-unreach-call.i TIMEOUT 240.89 219.74 None array-crafted/xor5_true-unreach-call.i TIMEOUT 240.57 224.92 None array-crafted/zero_sum1_true-unreach-call.c TIMEOUT 240.57 224.79 None array-crafted/zero_sum2_true-unreach-call.c TIMEOUT 240.50 222.98 None array-crafted/zero_sum3_true-unreach-call.c TIMEOUT 240.54 224.74 None array-crafted/zero_sum4_true-unreach-call.c TIMEOUT 240.61 222.65 None array-crafted/zero_sum5_true-unreach-call.c TIMEOUT 240.63 222.25 None array-crafted/zero_sum_const1_true-unreach-call.c TIMEOUT 240.56 220.17 None array-crafted/zero_sum_const2_true-unreach-call.c TIMEOUT 240.59 222.88 None array-crafted/zero_sum_const3_true-unreach-call.c TIMEOUT 240.64 222.18 None array-crafted/zero_sum_const4_true-unreach-call.c TIMEOUT 240.81 220.84 None array-crafted/zero_sum_const5_true-unreach-call.c TIMEOUT 240.72 223.13 None array-crafted/zero_sum_const_m2_true-unreach-call.c TIMEOUT 240.92 225.38 None array-crafted/zero_sum_const_m3_true-unreach-call.c TIMEOUT 240.48 226.73 None array-crafted/zero_sum_const_m4_true-unreach-call.c TIMEOUT 240.70 225.29 None array-crafted/zero_sum_const_m5_true-unreach-call.c TIMEOUT 240.40 229.77 None array-crafted/zero_sum_m2_true-unreach-call.c TIMEOUT 240.77 226.51 None array-crafted/zero_sum_m3_true-unreach-call.c TIMEOUT 241.12 229.12 None array-crafted/zero_sum_m4_true-unreach-call.c TIMEOUT 240.41 229.40 None array-crafted/zero_sum_m5_true-unreach-call.c TIMEOUT 240.53 230.40 None array-multidimensional/add-2-n-u_true-unreach-call.i TIMEOUT 240.69 218.70 None array-multidimensional/add-3-n-u_true-unreach-call.i TIMEOUT 240.83 222.85 None array-multidimensional/copy-2-u_true-unreach-call.i TIMEOUT 240.69 218.01 None array-multidimensional/copy-3-n-u_true-unreach-call.i TIMEOUT 240.72 222.71 None array-multidimensional/copy-partial-2-n-u_true-unreach-call.i TIMEOUT 240.70 216.12 None array-multidimensional/copy-partial-3-u_true-unreach-call.i TRUE 46.55 37.08 None array-multidimensional/diff-2-n-u_true-unreach-call.i TIMEOUT 240.84 218.78 None array-multidimensional/diff-3-n-u_true-unreach-call.i TIMEOUT 241.07 222.83 None array-multidimensional/init-2-n-u_true-unreach-call.i TIMEOUT 240.39 230.39 None array-multidimensional/init-3-u_true-unreach-call.i TIMEOUT 240.45 229.83 None array-multidimensional/init-4-n-u_true-unreach-call.i TIMEOUT 240.48 227.52 None array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i ERROR: EXCEPTION 13.73 8.63 None array-multidimensional/init-non-constant-3-u_true-unreach-call.i TIMEOUT 240.47 229.76 None array-multidimensional/max-2-u_true-unreach-call.i TIMEOUT 240.66 219.45 None array-multidimensional/max-3-n-u_true-unreach-call.i TIMEOUT 240.63 221.07 None array-multidimensional/min-2-u_true-unreach-call.i TIMEOUT 240.68 218.88 None array-multidimensional/min-3-n-u_true-unreach-call.i TIMEOUT 240.53 222.82 None array-multidimensional/rev-2-n-u_true-unreach-call.i TIMEOUT 240.78 219.55 None array-multidimensional/rev-3-u_true-unreach-call.i TIMEOUT 240.65 223.77 None array-multidimensional/transpose-u_true-unreach-call.i TIMEOUT 240.56 221.87 None reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.47 2.38 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.55 192.86 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.62 189.46 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.42 194.36 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 108.78 75.51 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.83 191.45 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.65 193.61 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.66 190.38 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.49 196.19 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 61.29 40.53 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 80.94 53.12 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 44.25 27.31 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 42.83 26.67 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 44.86 27.42 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 43.36 26.60 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 18.10 11.11 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TIMEOUT 240.23 203.40 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c FALSE 158.16 126.43 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 68.66 45.50 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 78.01 53.66 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 36.56 22.54 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 34.14 21.64 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 12.89 7.51 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 185.78 152.34 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 202.40 168.04 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 194.66 159.95 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 200.84 165.58 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 229.46 189.20 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 25.89 16.06 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 16.16 10.09 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 196.43 155.69 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 231.02 189.83 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 178.04 140.14 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT 240.23 202.57 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT 241.00 209.40 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT 240.90 205.34 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 18.30 11.33 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 17.90 11.14 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.70 215.59 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.59 214.82 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.62 214.38 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.78 216.02 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.90 213.20 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.85 211.91 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 32.80 19.60 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 39.10 24.69 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 57.20 37.83 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 75.96 57.73 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 175.36 152.83 None ntdrivers/cdaudio_false-unreach-call.i.cil.c TIMEOUT 240.95 216.73 None ntdrivers/diskperf_false-unreach-call.i.cil.c ERROR: TYPE ERROR 10.75 5.68 None ntdrivers/floppy_false-unreach-call.i.cil.c TIMEOUT 240.91 215.97 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c TIMEOUT 240.15 217.94 None ntdrivers/parport_false-unreach-call.i.cil.c ERROR: TYPE ERROR 13.82 7.58 None ntdrivers/cdaudio_true-unreach-call.i.cil.c TIMEOUT 240.47 223.08 None ntdrivers/diskperf_true-unreach-call.i.cil.c ERROR: TYPE ERROR 10.97 6.20 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c TIMEOUT 240.61 189.02 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c TIMEOUT 240.84 216.35 None ntdrivers/parport_true-unreach-call.i.cil.c ERROR: TYPE ERROR 14.13 7.60 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT 240.80 215.76 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c FALSE 217.19 191.43 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c FALSE 226.94 200.48 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c FALSE 226.81 200.82 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c FALSE 71.56 54.08 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c FALSE 58.18 43.84 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c FALSE 59.78 45.00 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c FALSE 53.16 39.85 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT 241.22 216.65 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c ERROR: EXCEPTION 133.23 107.72 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT 240.90 216.79 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c ERROR: EXCEPTION 144.68 116.61 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT 240.49 216.50 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT 240.74 217.27 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT 240.22 217.96 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT 240.69 209.38 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT 241.04 216.74 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT 240.89 217.22 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT 241.03 217.97 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT 241.00 212.81 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT 241.02 212.72 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT 241.00 215.57 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT 241.05 212.63 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT 240.50 213.42 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.91 212.93 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT 240.92 211.88 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT 240.88 211.58 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT 240.35 206.16 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT 240.92 210.18 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT 240.90 209.37 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT 240.89 211.11 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT 241.24 209.64 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT 240.99 209.99 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT 240.52 206.87 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT 241.00 206.13 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT 240.99 210.63 None heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 10.00 5.68 None heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 9.06 5.26 None heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 9.25 5.35 None heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.65 4.98 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 10.10 6.05 None heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 10.28 6.39 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.25 5.81 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 41.76 31.78 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.64 5.49 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.06 5.23 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.76 5.18 None heap-manipulation/tree_true-unreach-call.i ERROR: EXCEPTION 10.08 6.09 None list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i FALSE 15.54 9.21 None list-properties/list_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 100.66 86.35 None list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i FALSE 18.06 11.24 None list-properties/list_search_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 127.57 114.03 None list-properties/simple_false-unreach-call_false-valid-memcleanup.i FALSE 16.34 10.06 None list-properties/splice_false-unreach-call_false-valid-memcleanup.i FALSE 18.95 11.56 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 96.94 85.48 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 188.89 173.77 None list-properties/list_search_true-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 168.47 151.85 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 79.05 66.06 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 209.72 196.20 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.46 226.86 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 112.38 96.44 None ldv-regression/1_3_true-termination.c_false-unreach-call.i FALSE 13.43 7.99 None ldv-regression/alt_test_true-termination.c_false-unreach-call.i FALSE 15.64 9.16 None ldv-regression/callfpointer_true-termination.c_false-unreach-call.i FALSE 8.00 4.75 None ldv-regression/fo_test_true-termination.c_false-unreach-call.i UNKNOWN: OverapproxCex 9.16 5.33 None ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i FALSE 12.09 7.20 None ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i FALSE 12.40 7.26 None ldv-regression/recursive_list_true-termination.c_false-unreach-call.i FALSE 9.40 5.51 None ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i FALSE 14.24 8.51 None ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i FALSE 99.72 75.27 None ldv-regression/stateful_check_false-unreach-call_false-termination.i FALSE 19.22 12.17 None ldv-regression/test_while_int_true-termination.c_false-unreach-call.i FALSE 14.29 8.62 None ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i FALSE 12.01 7.16 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i TRUE 11.46 6.88 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i TRUE 9.47 5.68 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i TRUE 11.09 6.55 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i TRUE 9.03 5.53 None ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i TIMEOUT 240.77 229.07 None ldv-regression/just_assert_true-termination.c_true-unreach-call.i TRUE 8.13 4.99 None ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i TRUE 13.97 8.50 None ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i TRUE 14.03 8.42 None ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i TRUE 9.33 5.56 None ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i TRUE 10.42 6.14 None ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i TRUE 13.45 7.95 None ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i TRUE 12.79 7.83 None ldv-regression/nested_structure_true-termination.c_true-unreach-call.i TRUE 13.24 7.90 None ldv-regression/nested_structure_true-unreach-call_true-termination.i TRUE 13.77 8.49 None ldv-regression/oomInt_true-termination.c_true-unreach-call.i TRUE 12.62 7.69 None ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i TRUE 11.43 6.86 None ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i TRUE 15.31 9.49 None ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i TRUE 119.35 91.97 None ldv-regression/rule60_list_true-termination.c_true-unreach-call.i TRUE 17.82 11.10 None ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.31 3.76 None ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i TRUE 9.49 5.72 None ldv-regression/test_address_true-termination.c_true-unreach-call.i TRUE 12.98 7.34 None ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i TRUE 10.28 6.11 None ldv-regression/test_malloc-1_true-unreach-call_true-termination.i TRUE 11.36 6.65 None ldv-regression/test_malloc-2_true-unreach-call_true-termination.i TRUE 11.53 6.61 None ldv-regression/test_overflow_true-termination.c_true-unreach-call.i TRUE 11.54 6.47 None ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i TRUE 9.87 5.99 None ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i TRUE 10.86 6.33 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i TRUE 9.75 5.80 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i TRUE 9.89 5.80 None ldv-regression/test_union_true-termination.c_true-unreach-call.i TRUE 9.16 5.43 None ldv-regression/test_union_true-termination.c_true-unreach-call_1.i TRUE 9.50 5.68 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i TRUE 9.32 5.64 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i TRUE 10.05 6.00 None ldv-regression/test02_false-unreach-call_true-termination.c FALSE 8.04 4.73 None ldv-regression/test06_false-unreach-call_true-termination.c FALSE 14.21 8.73 None ldv-regression/test08_false-unreach-call_true-termination.c FALSE 8.53 5.23 None ldv-regression/test12_false-unreach-call_true-termination.c FALSE 8.28 4.96 None ldv-regression/test21_false-unreach-call_true-termination.c FALSE 9.17 5.41 None ldv-regression/test22_false-unreach-call.c FALSE 21.85 14.02 None ldv-regression/test23_false-unreach-call.c FALSE 156.05 138.47 None ldv-regression/test24_false-unreach-call.c FALSE 43.81 35.58 None ldv-regression/test25_false-unreach-call_true-termination.c FALSE 105.54 93.66 None ldv-regression/test26_false-unreach-call_true-termination.c FALSE 8.66 5.10 None ldv-regression/test27_false-unreach-call_true-termination.c FALSE 40.13 33.12 None ldv-regression/test28_false-unreach-call_true-termination.c FALSE 12.67 7.42 None ldv-regression/test29_false-unreach-call_true-termination.c FALSE 12.60 7.38 None ldv-regression/test30_false-unreach-call_true-termination.c FALSE 9.53 5.47 None ldv-regression/test01_true-unreach-call_true-termination.c TRUE 9.85 5.88 None ldv-regression/test03_true-unreach-call_true-termination.c TRUE 11.85 6.95 None ldv-regression/test04_true-unreach-call_true-termination.c TRUE 12.92 7.55 None ldv-regression/test05_true-unreach-call_true-termination.c TRUE 90.69 82.51 None ldv-regression/test07_true-unreach-call_true-termination.c TRUE 15.10 9.21 None ldv-regression/test09_true-unreach-call_true-termination.c TRUE 15.40 9.58 None ldv-regression/test10_true-unreach-call_true-termination.c TIMEOUT 240.34 232.21 None ldv-regression/test11_true-unreach-call_true-termination.c TRUE 17.19 10.98 None ldv-regression/test13_true-unreach-call_true-termination.c TRUE 11.33 6.65 None ldv-regression/test14_true-unreach-call_true-termination.c TRUE 16.24 10.13 None ldv-regression/test15_true-unreach-call_true-termination.c TRUE 13.35 7.83 None ldv-regression/test16_true-unreach-call_true-termination.c TRUE 14.10 8.47 None ldv-regression/test17_true-unreach-call_true-termination.c TRUE 9.85 5.90 None ldv-regression/test18_true-unreach-call_true-termination.c TRUE 19.56 13.52 None ldv-regression/test19_true-unreach-call_true-termination.c TRUE 14.16 8.67 None ldv-regression/test20_true-unreach-call_true-termination.c TRUE 9.94 5.98 None ldv-regression/test21_true-unreach-call_true-termination.c TRUE 24.45 16.73 None ldv-regression/test22_true-unreach-call.c TRUE 107.70 92.57 None ldv-regression/test23_true-unreach-call.c TIMEOUT 240.67 221.54 None ldv-regression/test24_true-unreach-call_true-termination.c TRUE 43.40 34.22 None ldv-regression/test25_true-unreach-call.c TRUE 89.28 79.98 None ldv-regression/test26_true-unreach-call_true-termination.c TRUE 13.34 8.09 None ldv-regression/test27_true-unreach-call_true-termination.c TIMEOUT 240.40 230.13 None ldv-regression/test28_true-unreach-call_true-termination.c TRUE 13.41 8.03 None ldv-regression/test29_true-unreach-call_true-termination.c TRUE 14.63 8.68 None ldv-regression/test30_true-unreach-call_true-termination.c TRUE 19.12 12.44 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i TIMEOUT 240.56 208.76 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i TIMEOUT 240.97 211.29 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i TIMEOUT 240.93 213.26 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i TRUE 39.61 23.35 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i TRUE 44.83 25.28 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i TRUE 40.50 24.00 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i TRUE 39.70 23.39 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i TRUE 42.90 24.77 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i TRUE 40.13 23.86 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i TRUE 41.47 24.06 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i TRUE 39.94 23.65 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i TRUE 40.60 23.88 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i TRUE 40.04 23.68 None forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.98 4.60 None forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.10 4.76 None forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.01 4.73 None forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.86 4.61 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.98 4.72 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.12 4.79 None forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 14.44 8.35 None forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.50 4.89 None forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.09 4.69 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.37 4.82 None forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.87 4.57 None forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.29 4.83 None forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.76 4.69 None forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.51 4.82 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.34 4.87 None forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.26 4.77 None forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 12.19 7.00 None forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.92 5.10 None forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.66 4.98 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.50 4.91 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.23 4.77 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.38 4.83 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.35 4.81 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.23 4.73 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.05 4.77 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 39.82 31.82 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 35.78 27.52 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.93 4.58 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.06 4.74 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.56 4.95 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.20 4.83 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.59 4.91 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.83 5.04 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.02 4.70 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.60 4.87 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.34 4.88 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 140.90 129.61 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 151.32 138.64 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.64 4.98 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.70 4.59 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i FALSE 13.18 7.46 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 174.27 156.14 None list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i FALSE 11.52 6.70 None list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i ERROR: EXCEPTION 109.80 93.53 None list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i ERROR: EXCEPTION 125.54 107.82 None list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i FALSE 23.90 16.10 None list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i TIMEOUT 240.45 225.79 None list-ext2-properties/simple_search_value_false-unreach-call.i TIMEOUT 241.00 215.60 None list-ext2-properties/simple_search_value_true-unreach-call.i TIMEOUT 241.07 214.41 None ldv-sets/test_add_false-unreach-call_true-termination.i FALSE 28.12 19.15 None ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i ERROR: EXCEPTION 39.21 28.18 None ldv-sets/test_mutex_double_unlock_false-unreach-call.i TIMEOUT 240.88 213.47 None ldv-sets/test_mutex_unbounded_false-unreach-call.i TIMEOUT 240.71 225.38 None ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i TIMEOUT 241.07 215.23 None ldv-sets/test_add_true-unreach-call_true-termination.i TIMEOUT 240.46 228.78 None ldv-sets/test_mutex_true-unreach-call.i TIMEOUT 240.86 212.37 None ldv-sets/test_mutex_unbounded_true-unreach-call.i TIMEOUT 240.54 225.64 None list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.85 4.61 None list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.26 4.77 None list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.67 5.80 None list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.90 5.89 None list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.50 4.86 None list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.50 4.89 None list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.53 225.48 None list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.65 223.43 None list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.61 221.12 None list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.44 226.44 None list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 228.43 None list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.41 229.03 None list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.50 226.07 None list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.42 229.72 None list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.47 227.31 None list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.53 227.11 None list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.53 226.25 None list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 157.37 144.79 None list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 21.53 14.22 None list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 227.96 None list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.50 5.01 None list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.67 4.99 None list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.21 4.75 None list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.54 4.91 None list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.50 4.85 None list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.38 4.85 None list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.52 224.44 None list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.68 221.61 None list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.54 227.08 None list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.40 229.11 None list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.41 229.00 None list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.38 230.15 None list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.44 228.30 None list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.49 229.43 None list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.79 227.24 None list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.48 229.13 None list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 228.25 211.69 None list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.39 229.82 None list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.49 227.57 None list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.43 228.87 None heap-data/calendar_true-unreach-call.i ERROR: EXCEPTION 110.11 97.06 None heap-data/cart_true-unreach-call.i ERROR: EXCEPTION 186.07 172.46 None heap-data/hash_fun_true-unreach-call.i TIMEOUT 240.80 225.82 None heap-data/min_max_true-unreach-call.i TIMEOUT 240.71 221.26 None heap-data/packet_filter_true-unreach-call.i ERROR: EXCEPTION 108.81 100.34 None heap-data/process_queue_true-unreach-call.i ERROR: EXCEPTION 67.58 58.67 None heap-data/quick_sort_split_true-unreach-call.i TRUE 18.33 12.11 None heap-data/running_example_true-unreach-call.i TIMEOUT 240.77 226.86 None heap-data/shared_mem1_true-unreach-call.i TIMEOUT 240.40 230.42 None heap-data/shared_mem2_true-unreach-call.i ERROR: EXCEPTION 89.28 79.82 None list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i FALSE 72.29 59.80 None list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i FALSE 43.44 33.34 None list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.14 215.55 None list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.69 217.72 None list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.08 4.78 None list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.68 226.42 None list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.54 4.98 None list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.33 210.89 None list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.61 215.02 None list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.51 222.28 None loops/array_false-unreach-call_true-termination.i FALSE 10.67 6.45 None loops/bubble_sort_false-unreach-call.i FALSE 26.34 17.59 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.74 4.75 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT 240.78 213.68 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 15.06 9.28 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT 240.42 228.28 None loops/invert_string_false-unreach-call_true-termination.i FALSE 188.36 174.55 None loops/linear_search_false-unreach-call.i TIMEOUT 241.12 218.09 None loops/ludcmp_false-unreach-call.i TIMEOUT 240.90 221.96 None loops/matrix_false-unreach-call_true-termination.i FALSE 14.65 9.10 None loops/n.c24_false-unreach-call.i ERROR: EXCEPTION 6.65 3.84 None loops/nec11_false-unreach-call_false-termination.i FALSE 8.96 5.39 None loops/nec20_false-unreach-call_true-termination.i FALSE 12.19 7.26 None loops/s3_false-unreach-call.i ERROR: EXCEPTION 224.65 194.17 None loops/string_false-unreach-call_true-termination.i FALSE 27.11 18.08 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 37.83 28.78 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 23.32 16.40 None loops/sum01_false-unreach-call_true-termination.i FALSE 66.23 54.96 None loops/sum03_false-unreach-call_true-termination.i FALSE 24.46 16.27 None loops/sum04_false-unreach-call_true-termination.i FALSE 15.75 9.92 None loops/sum_array_false-unreach-call.i FALSE 13.68 8.10 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 9.64 5.74 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 9.48 5.61 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 10.59 6.22 None loops/trex01_false-unreach-call_true-termination.i FALSE 10.26 5.96 None loops/trex02_false-unreach-call_true-termination.i FALSE 9.44 5.52 None loops/trex03_false-unreach-call_true-termination.i FALSE 9.75 5.77 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 17.94 11.20 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i TIMEOUT 240.82 215.83 None loops/vogal_false-unreach-call.i ERROR: EXCEPTION 185.43 164.28 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 9.63 5.73 None loops/array_true-unreach-call_true-termination.i TRUE 17.75 11.63 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 9.22 5.49 None loops/count_up_down_true-unreach-call_true-termination.i TIMEOUT 240.56 224.09 None loops/eureka_01_true-unreach-call.i TIMEOUT 240.51 224.92 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT 240.87 218.95 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.33 6.15 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 10.05 5.96 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT 240.60 228.74 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT 240.43 229.68 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT 240.37 219.93 None loops/lu.cmp_true-unreach-call.i TIMEOUT 240.88 222.67 None loops/matrix_true-unreach-call_true-termination.i ERROR: EXCEPTION 12.60 7.72 None loops/n.c11_true-unreach-call_false-termination.i TRUE 13.78 8.33 None loops/n.c40_true-unreach-call_true-termination.i TRUE 16.38 9.53 None loops/nec40_true-unreach-call_true-termination.i TRUE 16.01 9.58 None loops/string_true-unreach-call_true-termination.i TRUE 21.82 14.40 None loops/sum01_true-unreach-call_true-termination.i TIMEOUT 240.70 225.07 None loops/sum03_true-unreach-call_false-termination.i TRUE 14.37 8.69 None loops/sum04_true-unreach-call_true-termination.i TRUE 19.52 13.14 None loops/sum_array_true-unreach-call.i TIMEOUT 240.48 228.88 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 13.17 7.82 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 12.72 7.59 None loops/trex01_true-unreach-call_true-termination.i TRUE 19.83 12.98 None loops/trex02_true-unreach-call_true-termination.i TRUE 11.76 6.91 None loops/trex03_true-unreach-call_true-termination.i TRUE 11.96 6.95 None loops/trex04_true-unreach-call_false-termination.i TRUE 11.34 6.84 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 19.58 12.83 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 18.97 11.90 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 12.97 7.46 None loops/vogal_true-unreach-call.i ERROR: EXCEPTION 113.11 94.67 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.34 6.14 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 10.08 6.01 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 11.67 6.95 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT 240.37 232.10 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT 240.38 231.96 None loop-acceleration/array_false-unreach-call3_true-termination.i ERROR: EXCEPTION 7.70 4.53 None loop-acceleration/const_false-unreach-call1.i TIMEOUT 240.72 222.35 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT 240.65 219.19 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT 240.91 211.34 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 8.07 4.84 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT 241.16 215.65 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT 240.54 220.36 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 9.54 5.68 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT 240.90 220.79 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 8.01 4.86 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.89 4.73 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT 240.78 226.17 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 13.18 8.01 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 13.43 8.16 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 25.94 19.53 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT 240.41 231.81 None loop-acceleration/array_true-unreach-call3_true-termination.i ERROR: EXCEPTION 6.92 4.22 None loop-acceleration/array_true-unreach-call4_true-termination.i ERROR: EXCEPTION 7.12 4.37 None loop-acceleration/const_true-unreach-call1.i TRUE 10.35 6.27 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT 241.10 220.39 None loop-acceleration/diamond_true-unreach-call2.i TRUE 31.13 22.34 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT 240.98 210.41 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 10.28 6.14 None loop-acceleration/nested_true-unreach-call1.i TRUE 35.97 24.45 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT 240.63 227.09 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT 240.53 222.50 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 13.36 8.25 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT 240.80 221.45 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 10.24 6.11 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 12.43 7.51 None loop-acceleration/simple_true-unreach-call4.i TRUE 11.59 7.09 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 65.46 59.25 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 13.33 8.25 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 9.73 5.77 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT 240.61 224.30 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT 240.54 223.81 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT 240.52 223.09 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 37.75 30.95 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 19.56 13.82 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 23.19 17.45 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c ERROR: EXCEPTION 28.24 22.72 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c ERROR: EXCEPTION 29.23 23.59 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 14.65 9.25 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TIMEOUT 240.51 226.35 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TIMEOUT 240.38 170.32 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TIMEOUT 240.12 202.02 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 55.44 42.29 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TIMEOUT 240.52 202.94 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT 240.84 211.66 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT 240.84 212.00 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT 240.97 225.59 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT 240.67 223.20 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 147.23 125.21 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 26.03 17.35 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TIMEOUT 240.90 217.51 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 190.97 152.54 None loop-invgen/nested9_true-unreach-call_true-termination.i TIMEOUT 240.90 209.65 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TIMEOUT 240.08 200.02 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT 240.97 206.62 None loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i TIMEOUT 240.84 221.97 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT 240.75 214.45 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.21 204.45 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 241.01 207.92 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.70 202.84 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TIMEOUT 240.40 202.74 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TIMEOUT 240.22 204.23 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TIMEOUT 240.22 204.37 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TIMEOUT 240.30 205.17 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TIMEOUT 240.72 213.34 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TIMEOUT 240.39 215.57 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 77.56 62.68 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TIMEOUT 240.29 233.91 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TIMEOUT 240.56 228.12 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 21.15 15.64 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TIMEOUT 240.60 224.99 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 11.66 7.08 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 17.19 11.11 None loop-lit/ddlm2013_true-unreach-call.i TRUE 41.54 35.51 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TIMEOUT 240.61 221.71 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 34.50 24.62 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT 240.82 209.90 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TIMEOUT 240.41 230.12 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TIMEOUT 240.55 230.65 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TIMEOUT 240.40 230.66 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TIMEOUT 240.65 223.98 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT 240.98 221.17 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 9.52 5.64 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TIMEOUT 240.95 218.68 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TIMEOUT 240.10 209.31 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TIMEOUT 240.34 233.33 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TIMEOUT 240.35 233.60 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TIMEOUT 240.36 232.44 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TIMEOUT 240.36 230.58 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 14.67 9.16 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 13.57 8.13 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT 241.04 222.13 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT 240.53 231.34 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT 240.47 224.71 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT 240.39 230.44 None loop-new/half_true-unreach-call_true-termination.i TIMEOUT 240.60 224.19 None loop-new/nested_true-unreach-call_true-termination.i TIMEOUT 240.81 217.83 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TIMEOUT 240.37 230.96 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.50 231.73 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.37 231.41 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.78 3.82 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.53 3.78 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.70 3.74 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.22 3.59 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c TRUE 85.20 72.71 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TRUE 86.86 74.02 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c TIMEOUT 240.96 222.64 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c TIMEOUT 241.00 227.07 None loop-industry-pattern/mod3_true-unreach-call.c TIMEOUT 240.29 234.44 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TIMEOUT 240.25 235.17 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TIMEOUT 240.27 234.97 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TIMEOUT 240.31 235.05 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT 240.39 203.19 None loop-industry-pattern/ofuf_1_true-unreach-call.c TRUE 66.52 45.47 None loop-industry-pattern/ofuf_2_true-unreach-call.c TRUE 76.52 53.01 None loop-industry-pattern/ofuf_3_true-unreach-call.c TRUE 76.16 54.07 None loop-industry-pattern/ofuf_4_true-unreach-call.c TRUE 66.45 47.74 None loop-industry-pattern/ofuf_5_true-unreach-call.c TRUE 62.94 43.13 None loops/heavy_true-unreach-call.c TRUE 26.37 15.27 None loops/compact_false-unreach-call.c TIMEOUT 240.55 220.75 None loops/heavy_false-unreach-call.c TIMEOUT 240.55 221.67 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT 240.59 222.40 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT 241.11 215.50 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT 240.54 219.12 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT 240.50 225.69 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT 240.48 226.25 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT 241.08 220.72 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT 240.97 221.59 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT 240.54 221.31 None loops-crafted-1/nested3_true-unreach-call.c TIMEOUT 240.81 219.64 None loops-crafted-1/nested5_true-unreach-call.c TRUE 19.55 12.56 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.96 7.18 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.33 6.73 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.43 6.82 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.24 6.15 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 13.01 7.77 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.21 7.31 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.96 7.58 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 36793.29 7009.49 - Default.ReachSafety32 Run set 2 of 2 with options '-tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i TIMEOUT 241.00 180.45 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT 241.12 180.32 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT 241.22 182.77 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT 240.13 181.92 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT 240.44 180.40 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT 240.84 191.83 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT 240.89 210.93 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT 240.65 216.34 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT 240.65 218.45 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT 240.74 217.21 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT 240.70 216.41 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT 240.78 218.42 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT 240.73 218.75 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT 240.99 216.28 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT 241.00 215.31 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT 240.56 220.52 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT 240.52 204.12 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT 240.83 210.81 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT 240.66 216.35 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT 241.01 215.60 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT 240.58 220.79 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT 240.87 214.21 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT 240.92 216.38 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT 240.74 215.20 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT 240.90 216.29 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT 241.03 182.35 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT 240.61 218.42 None array-examples/standard_running_false-unreach-call.i TIMEOUT 240.64 217.88 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TRUE 15.25 9.29 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT 240.96 206.00 None array-examples/relax_true-unreach-call.i TIMEOUT 240.65 202.68 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT 240.93 177.30 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT 240.37 230.34 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 15.09 9.25 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT 240.13 174.98 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 7.75 4.72 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT 240.77 214.28 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT 240.09 180.58 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT 240.25 196.65 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT 240.64 224.61 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT 240.98 208.52 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT 240.95 214.44 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT 241.06 219.28 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT 240.62 218.63 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT 240.34 213.19 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT 240.77 213.38 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT 240.64 218.04 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT 241.14 214.19 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT 240.85 215.17 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT 240.60 218.23 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT 240.73 217.37 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT 240.58 218.60 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT 240.63 218.10 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT 241.09 186.31 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT 240.27 204.25 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT 240.80 213.74 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT 240.71 216.01 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT 240.83 216.30 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT 240.72 220.13 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT 240.69 216.53 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT 240.62 216.05 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT 240.84 215.49 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT 240.82 217.10 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT 241.20 179.77 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT 241.15 178.28 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT 241.01 205.01 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT 240.31 196.55 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT 240.54 195.22 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT 240.77 218.13 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT 240.60 225.74 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT 240.53 224.53 None array-examples/standard_running_true-unreach-call.i TIMEOUT 240.59 219.25 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 24.47 15.98 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT 240.21 198.47 None array-examples/standard_strcmp_true-unreach-call_ground.i TIMEOUT 240.43 226.34 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT 240.80 215.10 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT 240.64 223.57 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT 241.75 210.87 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT 240.86 207.79 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT 240.96 203.33 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT 241.00 201.86 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT 240.94 200.51 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT 241.13 203.86 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT 240.94 202.78 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT 241.50 202.49 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT 241.13 203.14 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT 242.06 219.30 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT 241.14 209.15 None array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c TRUE 30.65 20.84 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT 240.31 190.59 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT 240.49 223.43 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 241.17 186.29 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT 240.47 223.20 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 241.12 192.20 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT 240.87 202.38 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT 240.76 211.26 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT 240.78 210.65 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT 240.48 222.99 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT 240.48 223.01 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TRUE 35.22 22.61 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT 240.45 224.63 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT 240.58 217.51 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT 240.57 220.26 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT 240.45 226.10 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT 240.50 222.52 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT 241.09 187.11 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 36.65 22.80 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i FALSE 75.04 54.53 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT 241.01 194.15 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT 240.81 188.26 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT 240.73 220.98 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 30.29 19.24 None reducercommutativity/avg05_true-unreach-call_true-termination.i ERROR: EXCEPTION 52.46 30.76 None reducercommutativity/avg10_true-unreach-call_true-termination.i ERROR: EXCEPTION 97.81 62.83 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT 242.00 171.36 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT 241.11 197.17 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT 240.45 185.77 None reducercommutativity/avg_true-unreach-call_true-termination.i TIMEOUT 240.34 233.72 None reducercommutativity/max05_true-unreach-call_true-termination.i ERROR: EXCEPTION 35.84 21.68 None reducercommutativity/max10_true-unreach-call_true-termination.i ERROR: EXCEPTION 71.83 44.92 None reducercommutativity/max20_true-unreach-call.i TIMEOUT 241.29 187.17 None reducercommutativity/max40_true-unreach-call.i TIMEOUT 241.15 191.66 None reducercommutativity/max60_true-unreach-call.i TIMEOUT 240.68 187.69 None reducercommutativity/max_true-unreach-call_true-termination.i ERROR: EXCEPTION 19.31 11.55 None reducercommutativity/sep05_true-unreach-call_true-termination.i ERROR: EXCEPTION 42.40 26.88 None reducercommutativity/sep10_true-unreach-call.i ERROR: EXCEPTION 92.29 59.18 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT 240.58 176.71 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT 240.28 186.97 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT 240.45 190.95 None reducercommutativity/sep_true-unreach-call_true-termination.i ERROR: EXCEPTION 27.03 16.61 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT 240.49 225.37 None reducercommutativity/sum10_true-unreach-call_true-termination.i ERROR: EXCEPTION 75.64 46.51 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT 241.08 184.03 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT 240.89 193.48 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT 241.55 196.40 None reducercommutativity/sum_true-unreach-call_true-termination.i TIMEOUT 240.49 225.52 None array-tiling/mlceu_false-unreach-call.i TIMEOUT 240.98 202.64 None array-tiling/skippedu_false-unreach-call.i FALSE 18.49 11.41 None array-tiling/mbpr2_true-unreach-call.i ERROR: EXCEPTION 28.94 19.01 None array-tiling/mbpr3_true-unreach-call.i TIMEOUT 240.50 205.81 None array-tiling/mbpr4_true-unreach-call.i TIMEOUT 240.35 201.31 None array-tiling/mbpr5_true-unreach-call.i TIMEOUT 240.82 209.21 None array-tiling/nr2_true-unreach-call.i TIMEOUT 240.60 222.81 None array-tiling/nr3_true-unreach-call.i TIMEOUT 240.71 219.86 None array-tiling/nr4_true-unreach-call.i ERROR: EXCEPTION 43.96 31.19 None array-tiling/nr5_true-unreach-call.i ERROR: EXCEPTION 44.35 31.98 None array-tiling/pnr2_true-unreach-call.i TIMEOUT 240.59 219.68 None array-tiling/pnr3_true-unreach-call.i TIMEOUT 240.70 212.21 None array-tiling/pnr4_true-unreach-call.i TIMEOUT 240.47 204.68 None array-tiling/pnr5_true-unreach-call.i TIMEOUT 240.76 216.94 None array-tiling/poly1_true-unreach-call.i TIMEOUT 240.53 209.72 None array-tiling/poly2_true-unreach-call.i TIMEOUT 240.32 231.44 None array-tiling/pr2_true-unreach-call.i TIMEOUT 241.17 199.80 None array-tiling/pr3_true-unreach-call.i TIMEOUT 240.69 193.74 None array-tiling/pr4_true-unreach-call.i TIMEOUT 240.67 195.42 None array-tiling/pr5_true-unreach-call.i TIMEOUT 240.52 195.83 None array-tiling/revcpyswp2_true-unreach-call.i ERROR: EXCEPTION 76.37 60.22 None array-tiling/rew_true-unreach-call.i TIMEOUT 240.74 216.66 None array-tiling/rewnif_true-unreach-call.i TIMEOUT 240.24 196.36 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT 241.24 195.66 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT 240.72 195.60 None array-tiling/rewrev_true-unreach-call.i ERROR: EXCEPTION 25.34 17.63 None array-tiling/skipped_true-unreach-call.i TIMEOUT 240.23 197.67 None array-tiling/tcpy_true-unreach-call.i TIMEOUT 240.52 228.11 None array-programs/copysome1_false-unreach-call.i TIMEOUT 241.01 225.39 None array-programs/copysome2_false-unreach-call.i TIMEOUT 240.89 206.32 None array-programs/copysome1_true-unreach-call.i TIMEOUT 240.90 225.97 None array-programs/copysome2_true-unreach-call.i TIMEOUT 240.97 204.99 None array-crafted/bAnd1_true-unreach-call.i TIMEOUT 240.43 194.67 None array-crafted/bAnd2_true-unreach-call.i TIMEOUT 241.07 195.05 None array-crafted/bAnd3_true-unreach-call.i TIMEOUT 241.08 196.33 None array-crafted/bAnd4_true-unreach-call.i TIMEOUT 240.53 193.46 None array-crafted/bAnd5_true-unreach-call.i UNKNOWN: OverapproxCex 14.90 8.81 None array-crafted/bor1_true-unreach-call.i TIMEOUT 241.12 195.25 None array-crafted/bor2_true-unreach-call.i TIMEOUT 241.13 194.79 None array-crafted/bor3_true-unreach-call.i TIMEOUT 240.42 194.50 None array-crafted/bor4_true-unreach-call.i TIMEOUT 240.34 194.56 None array-crafted/bor5_true-unreach-call.i UNKNOWN: OverapproxCex 14.24 8.50 None array-crafted/mapavg1_true-unreach-call.i TIMEOUT 240.05 189.72 None array-crafted/mapavg2_true-unreach-call.i TIMEOUT 240.24 188.25 None array-crafted/mapavg3_true-unreach-call.i TIMEOUT 240.40 196.21 None array-crafted/mapavg4_true-unreach-call.i TIMEOUT 240.26 190.89 None array-crafted/mapavg5_true-unreach-call.i TIMEOUT 240.63 226.21 None array-crafted/mapsum1_true-unreach-call.i TIMEOUT 241.30 195.57 None array-crafted/mapsum2_true-unreach-call.i TIMEOUT 241.22 195.31 None array-crafted/mapsum3_true-unreach-call.i TIMEOUT 240.33 198.37 None array-crafted/mapsum4_true-unreach-call.i TIMEOUT 240.28 197.83 None array-crafted/mapsum5_true-unreach-call.i TIMEOUT 240.39 230.67 None array-crafted/xor1_true-unreach-call.i TIMEOUT 240.54 189.79 None array-crafted/xor2_true-unreach-call.i TIMEOUT 241.42 195.10 None array-crafted/xor3_true-unreach-call.i TIMEOUT 240.59 196.69 None array-crafted/xor4_true-unreach-call.i TIMEOUT 240.50 191.36 None array-crafted/xor5_true-unreach-call.i UNKNOWN: OverapproxCex 15.57 9.31 None array-crafted/zero_sum1_true-unreach-call.c TIMEOUT 240.35 203.86 None array-crafted/zero_sum2_true-unreach-call.c TIMEOUT 240.18 201.88 None array-crafted/zero_sum3_true-unreach-call.c TIMEOUT 240.90 197.82 None array-crafted/zero_sum4_true-unreach-call.c TIMEOUT 240.30 201.02 None array-crafted/zero_sum5_true-unreach-call.c TIMEOUT 240.76 195.77 None array-crafted/zero_sum_const1_true-unreach-call.c TIMEOUT 240.56 197.67 None array-crafted/zero_sum_const2_true-unreach-call.c TIMEOUT 240.73 199.42 None array-crafted/zero_sum_const3_true-unreach-call.c ERROR: EXCEPTION 177.91 141.18 None array-crafted/zero_sum_const4_true-unreach-call.c TIMEOUT 240.61 200.00 None array-crafted/zero_sum_const5_true-unreach-call.c TIMEOUT 240.70 200.89 None array-crafted/zero_sum_const_m2_true-unreach-call.c TIMEOUT 240.42 202.90 None array-crafted/zero_sum_const_m3_true-unreach-call.c ERROR: EXCEPTION 222.29 184.18 None array-crafted/zero_sum_const_m4_true-unreach-call.c TIMEOUT 240.11 204.75 None array-crafted/zero_sum_const_m5_true-unreach-call.c TIMEOUT 241.04 205.56 None array-crafted/zero_sum_m2_true-unreach-call.c TIMEOUT 240.09 203.42 None array-crafted/zero_sum_m3_true-unreach-call.c TIMEOUT 240.08 205.25 None array-crafted/zero_sum_m4_true-unreach-call.c TIMEOUT 240.32 205.02 None array-crafted/zero_sum_m5_true-unreach-call.c TIMEOUT 241.04 209.00 None array-multidimensional/add-2-n-u_true-unreach-call.i ERROR: EXCEPTION 20.84 13.28 None array-multidimensional/add-3-n-u_true-unreach-call.i TIMEOUT 240.35 229.78 None array-multidimensional/copy-2-u_true-unreach-call.i ERROR: EXCEPTION 18.97 12.05 None array-multidimensional/copy-3-n-u_true-unreach-call.i TIMEOUT 240.38 230.42 None array-multidimensional/copy-partial-2-n-u_true-unreach-call.i ERROR: EXCEPTION 26.65 17.35 None array-multidimensional/copy-partial-3-u_true-unreach-call.i TRUE 24.22 14.87 None array-multidimensional/diff-2-n-u_true-unreach-call.i TIMEOUT 240.39 230.74 None array-multidimensional/diff-3-n-u_true-unreach-call.i TIMEOUT 240.38 229.88 None array-multidimensional/init-2-n-u_true-unreach-call.i TIMEOUT 240.49 223.41 None array-multidimensional/init-3-u_true-unreach-call.i TIMEOUT 240.51 222.03 None array-multidimensional/init-4-n-u_true-unreach-call.i ERROR: EXCEPTION 22.33 13.86 None array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i ERROR: EXCEPTION 12.96 7.92 None array-multidimensional/init-non-constant-3-u_true-unreach-call.i TIMEOUT 240.88 222.01 None array-multidimensional/max-2-u_true-unreach-call.i TIMEOUT 240.51 222.37 None array-multidimensional/max-3-n-u_true-unreach-call.i ERROR: EXCEPTION 24.95 16.09 None array-multidimensional/min-2-u_true-unreach-call.i TIMEOUT 240.96 221.28 None array-multidimensional/min-3-n-u_true-unreach-call.i ERROR: EXCEPTION 26.11 16.85 None array-multidimensional/rev-2-n-u_true-unreach-call.i ERROR: EXCEPTION 19.75 12.56 None array-multidimensional/rev-3-u_true-unreach-call.i TIMEOUT 240.38 229.80 None array-multidimensional/transpose-u_true-unreach-call.i TIMEOUT 240.31 232.03 None reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.20 2.24 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.56 191.73 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.67 190.46 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.86 192.75 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 100.19 65.44 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.11 182.19 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.09 181.71 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 241.06 186.25 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.84 187.76 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 82.20 53.73 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 77.55 49.14 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 40.48 25.10 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 43.87 26.60 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 48.50 29.02 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 43.06 26.31 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 36.31 23.01 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TIMEOUT 240.08 201.92 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TIMEOUT 240.54 196.41 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 179.89 143.52 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 149.43 118.14 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 76.95 51.06 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 77.27 51.13 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 12.25 7.14 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TIMEOUT 240.06 199.49 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TIMEOUT 240.16 201.09 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TIMEOUT 240.27 199.79 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TIMEOUT 241.05 199.68 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TIMEOUT 240.92 192.08 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 26.79 16.44 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 14.65 9.18 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TIMEOUT 240.80 191.73 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TIMEOUT 241.01 190.04 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TIMEOUT 240.60 195.40 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT 241.14 190.67 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT 240.94 195.19 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT 240.35 192.23 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 17.03 10.57 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 17.37 10.59 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.86 214.77 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.62 213.77 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.59 216.25 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.79 211.27 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.65 211.79 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.65 214.80 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 29.32 17.43 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 42.09 25.34 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 51.97 34.31 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 74.47 55.58 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 159.39 136.64 None ntdrivers/cdaudio_false-unreach-call.i.cil.c TIMEOUT 241.01 210.19 None ntdrivers/diskperf_false-unreach-call.i.cil.c TIMEOUT 240.31 206.28 None ntdrivers/floppy_false-unreach-call.i.cil.c TIMEOUT 241.11 206.89 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c TIMEOUT 240.79 221.13 None ntdrivers/parport_false-unreach-call.i.cil.c TIMEOUT 240.43 196.44 None ntdrivers/cdaudio_true-unreach-call.i.cil.c TIMEOUT 240.91 213.40 None ntdrivers/diskperf_true-unreach-call.i.cil.c TIMEOUT 241.68 199.30 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c TIMEOUT 240.41 193.54 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c TIMEOUT 241.09 208.02 None ntdrivers/parport_true-unreach-call.i.cil.c TIMEOUT 240.33 196.55 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 144.39 107.42 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 116.77 81.67 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 121.03 84.48 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 125.93 86.73 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 143.96 104.03 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 133.67 98.30 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 133.69 97.75 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 138.17 99.99 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT 240.74 190.64 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT 240.07 194.80 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT 240.86 189.09 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT 240.13 194.76 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT 240.75 189.20 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 190.40 144.60 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT 240.71 191.86 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT 240.08 195.38 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT 240.69 188.04 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT 240.79 188.35 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT 240.62 191.02 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT 240.28 192.61 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT 241.24 191.96 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT 240.70 190.41 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT 240.22 193.11 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT 241.07 190.69 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.30 193.15 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT 240.36 191.29 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT 240.30 193.38 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT 240.57 193.82 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT 240.54 193.09 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT 240.70 191.03 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT 240.12 195.20 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT 240.38 194.05 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT 240.26 196.66 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT 240.68 191.22 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT 240.74 189.79 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT 240.38 193.62 None heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 10.03 5.71 None heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 9.18 5.22 None heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.94 5.19 None heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.07 4.65 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 9.28 5.30 None heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.79 5.09 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 10.03 5.80 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.92 211.12 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.17 5.20 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.76 5.07 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.88 4.71 None heap-manipulation/tree_true-unreach-call.i ERROR: EXCEPTION 9.38 5.36 None list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i FALSE 14.20 8.27 None list-properties/list_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 22.73 14.24 None list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i FALSE 15.96 9.50 None list-properties/list_search_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 21.48 13.15 None list-properties/simple_false-unreach-call_false-valid-memcleanup.i FALSE 15.73 9.21 None list-properties/splice_false-unreach-call_false-valid-memcleanup.i FALSE 17.14 10.33 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.41 12.35 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 24.40 15.60 None list-properties/list_search_true-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 28.35 17.51 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 22.88 14.53 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.90 12.16 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.87 11.54 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 26.87 17.44 None ldv-regression/1_3_true-termination.c_false-unreach-call.i FALSE 12.33 7.30 None ldv-regression/alt_test_true-termination.c_false-unreach-call.i FALSE 15.71 9.03 None ldv-regression/callfpointer_true-termination.c_false-unreach-call.i FALSE 8.18 4.92 None ldv-regression/fo_test_true-termination.c_false-unreach-call.i UNKNOWN: OverapproxCex 9.31 5.45 None ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i FALSE 10.19 6.06 None ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i FALSE 10.39 6.19 None ldv-regression/recursive_list_true-termination.c_false-unreach-call.i FALSE 8.64 5.10 None ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i FALSE 12.56 7.47 None ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i FALSE 70.46 48.55 None ldv-regression/stateful_check_false-unreach-call_false-termination.i FALSE 20.45 12.66 None ldv-regression/test_while_int_true-termination.c_false-unreach-call.i FALSE 13.14 7.88 None ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i FALSE 10.70 6.37 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i TRUE 10.82 6.37 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i TRUE 9.46 5.66 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i TRUE 9.96 5.94 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i TRUE 9.48 5.64 None ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i ERROR: EXCEPTION 59.04 40.98 None ldv-regression/just_assert_true-termination.c_true-unreach-call.i TRUE 8.02 4.93 None ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i TRUE 12.33 7.37 None ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i TRUE 12.84 7.65 None ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i TRUE 9.48 5.64 None ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i TRUE 9.51 5.75 None ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i TRUE 9.93 5.82 None ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i TRUE 10.56 6.28 None ldv-regression/nested_structure_true-termination.c_true-unreach-call.i TRUE 9.91 5.83 None ldv-regression/nested_structure_true-unreach-call_true-termination.i TRUE 10.50 6.15 None ldv-regression/oomInt_true-termination.c_true-unreach-call.i TRUE 11.20 6.63 None ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i TRUE 10.23 6.17 None ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i TRUE 13.72 8.28 None ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i TRUE 56.43 40.46 None ldv-regression/rule60_list_true-termination.c_true-unreach-call.i ERROR: EXCEPTION 10.52 6.16 None ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i TRUE 10.10 5.97 None ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i TRUE 9.00 5.36 None ldv-regression/test_address_true-termination.c_true-unreach-call.i TRUE 12.44 7.28 None ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i TRUE 10.16 6.09 None ldv-regression/test_malloc-1_true-unreach-call_true-termination.i TRUE 10.66 6.23 None ldv-regression/test_malloc-2_true-unreach-call_true-termination.i TRUE 11.13 6.46 None ldv-regression/test_overflow_true-termination.c_true-unreach-call.i TRUE 10.96 6.36 None ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i TRUE 9.34 5.64 None ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i TRUE 10.11 6.08 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i TRUE 9.56 5.69 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i TRUE 9.83 5.84 None ldv-regression/test_union_true-termination.c_true-unreach-call.i TRUE 9.26 5.45 None ldv-regression/test_union_true-termination.c_true-unreach-call_1.i TRUE 9.09 5.49 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i TRUE 9.03 5.38 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i TRUE 8.81 5.31 None ldv-regression/test02_false-unreach-call_true-termination.c FALSE 7.61 4.71 None ldv-regression/test06_false-unreach-call_true-termination.c FALSE 11.97 6.98 None ldv-regression/test08_false-unreach-call_true-termination.c FALSE 8.84 5.25 None ldv-regression/test12_false-unreach-call_true-termination.c FALSE 8.43 4.97 None ldv-regression/test21_false-unreach-call_true-termination.c FALSE 9.42 5.43 None ldv-regression/test22_false-unreach-call.c FALSE 19.82 12.27 None ldv-regression/test23_false-unreach-call.c FALSE 89.61 66.79 None ldv-regression/test24_false-unreach-call.c FALSE 66.34 46.01 None ldv-regression/test25_false-unreach-call_true-termination.c FALSE 56.69 37.92 None ldv-regression/test26_false-unreach-call_true-termination.c FALSE 8.63 5.04 None ldv-regression/test27_false-unreach-call_true-termination.c FALSE 56.68 44.19 None ldv-regression/test28_false-unreach-call_true-termination.c FALSE 12.67 7.53 None ldv-regression/test29_false-unreach-call_true-termination.c FALSE 12.28 7.23 None ldv-regression/test30_false-unreach-call_true-termination.c FALSE 8.91 5.31 None ldv-regression/test01_true-unreach-call_true-termination.c TRUE 9.49 5.62 None ldv-regression/test03_true-unreach-call_true-termination.c TRUE 10.44 6.42 None ldv-regression/test04_true-unreach-call_true-termination.c TRUE 10.42 6.51 None ldv-regression/test05_true-unreach-call_true-termination.c TRUE 14.65 8.98 None ldv-regression/test07_true-unreach-call_true-termination.c TRUE 13.34 8.12 None ldv-regression/test09_true-unreach-call_true-termination.c TRUE 13.39 8.10 None ldv-regression/test10_true-unreach-call_true-termination.c TRUE 18.33 11.52 None ldv-regression/test11_true-unreach-call_true-termination.c TRUE 13.71 8.08 None ldv-regression/test13_true-unreach-call_true-termination.c TRUE 10.41 6.10 None ldv-regression/test14_true-unreach-call_true-termination.c TRUE 11.99 7.12 None ldv-regression/test15_true-unreach-call_true-termination.c TRUE 9.79 5.92 None ldv-regression/test16_true-unreach-call_true-termination.c TRUE 11.87 6.93 None ldv-regression/test17_true-unreach-call_true-termination.c TRUE 10.00 6.03 None ldv-regression/test18_true-unreach-call_true-termination.c TRUE 12.17 7.27 None ldv-regression/test19_true-unreach-call_true-termination.c TRUE 12.63 7.50 None ldv-regression/test20_true-unreach-call_true-termination.c TRUE 9.91 5.92 None ldv-regression/test21_true-unreach-call_true-termination.c TRUE 13.70 8.34 None ldv-regression/test22_true-unreach-call.c TRUE 53.15 38.13 None ldv-regression/test23_true-unreach-call.c ERROR: EXCEPTION 49.22 33.84 None ldv-regression/test24_true-unreach-call_true-termination.c TRUE 61.97 52.99 None ldv-regression/test25_true-unreach-call.c TRUE 95.82 84.79 None ldv-regression/test26_true-unreach-call_true-termination.c TRUE 12.42 7.46 None ldv-regression/test27_true-unreach-call_true-termination.c TRUE 150.78 131.99 None ldv-regression/test28_true-unreach-call_true-termination.c TRUE 13.73 8.16 None ldv-regression/test29_true-unreach-call_true-termination.c TRUE 13.35 7.93 None ldv-regression/test30_true-unreach-call_true-termination.c TRUE 14.65 9.07 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i TIMEOUT 240.26 181.71 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i TIMEOUT 240.87 176.33 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i UNKNOWN: OverapproxCex 234.05 175.38 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i TRUE 36.83 20.76 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i TRUE 33.87 19.31 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i TRUE 38.38 21.22 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i TRUE 35.71 20.46 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i TRUE 35.24 19.92 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i TRUE 35.78 20.34 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i TRUE 34.11 19.29 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i TRUE 38.12 21.26 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i TRUE 36.69 20.47 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i TRUE 34.62 20.03 None forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.87 4.61 None forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.11 4.77 None forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.23 4.80 None forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.28 4.76 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 7.94 4.66 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 8.42 4.83 None forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 12.44 7.10 None forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.26 4.86 None forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.94 4.64 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.20 4.84 None forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.11 4.75 None forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.32 4.87 None forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.21 4.76 None forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.16 4.78 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 8.06 4.72 None forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.93 4.62 None forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 12.91 7.33 None forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 7.97 4.62 None forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 8.29 4.78 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.10 4.77 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.26 4.73 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.10 4.94 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.52 4.83 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.94 4.65 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.37 4.83 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 195.65 186.04 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.57 7.32 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.03 4.78 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.05 4.73 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.31 4.79 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.44 4.95 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.81 4.83 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.22 4.76 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.32 5.02 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.91 4.68 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.41 4.84 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.54 16.46 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 13.03 7.40 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.25 4.83 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.06 5.05 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i FALSE 11.80 6.89 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 19.84 12.38 None list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i FALSE 11.43 6.54 None list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i ERROR: EXCEPTION 29.62 18.84 None list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i ERROR: EXCEPTION 28.98 18.57 None list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i FALSE 17.57 10.26 None list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i ERROR: EXCEPTION 21.07 12.91 None list-ext2-properties/simple_search_value_false-unreach-call.i ERROR: EXCEPTION 192.17 160.52 None list-ext2-properties/simple_search_value_true-unreach-call.i ERROR: EXCEPTION 176.38 144.45 None ldv-sets/test_add_false-unreach-call_true-termination.i FALSE 23.00 14.01 None ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i ERROR: EXCEPTION 43.13 29.26 None ldv-sets/test_mutex_double_unlock_false-unreach-call.i ERROR: EXCEPTION 47.21 32.70 None ldv-sets/test_mutex_unbounded_false-unreach-call.i TIMEOUT 240.48 225.75 None ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i ERROR: EXCEPTION 47.27 33.25 None ldv-sets/test_add_true-unreach-call_true-termination.i ERROR: EXCEPTION 38.26 26.68 None ldv-sets/test_mutex_true-unreach-call.i ERROR: EXCEPTION 46.83 32.19 None ldv-sets/test_mutex_unbounded_true-unreach-call.i TIMEOUT 240.43 224.19 None list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.30 4.73 None list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.99 4.64 None list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 9.13 5.18 None list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.89 5.14 None list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.66 4.52 None list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.07 4.70 None list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 148.44 135.30 None list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.48 227.92 None list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.75 14.97 None list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.24 15.41 None list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.53 227.08 None list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 156.18 142.72 None list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 226.52 None list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.56 224.06 None list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.43 228.45 None list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 153.21 140.12 None list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 127.44 110.20 None list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 20.54 12.29 None list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 13.11 7.69 None list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 23.84 14.68 None list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.44 4.87 None list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.40 4.86 None list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.88 4.62 None list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.55 4.57 None list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.88 4.70 None list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 7.91 4.61 None list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 75.41 54.91 None list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.35 229.41 None list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 23.67 14.40 None list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.63 14.91 None list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.47 225.56 None list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.57 225.37 None list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 186.65 173.36 None list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.60 226.29 None list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 70.14 57.70 None list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 67.17 55.07 None list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 166.00 145.79 None list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i TRUE 63.72 50.57 None list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 22.25 13.47 None list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 23.81 14.68 None heap-data/calendar_true-unreach-call.i ERROR: EXCEPTION 13.48 7.76 None heap-data/cart_true-unreach-call.i ERROR: EXCEPTION 14.91 8.80 None heap-data/hash_fun_true-unreach-call.i ERROR: EXCEPTION 52.78 39.54 None heap-data/min_max_true-unreach-call.i ERROR: EXCEPTION 12.74 7.42 None heap-data/packet_filter_true-unreach-call.i ERROR: EXCEPTION 127.34 112.31 None heap-data/process_queue_true-unreach-call.i ERROR: EXCEPTION 19.53 12.30 None heap-data/quick_sort_split_true-unreach-call.i TRUE 13.92 8.11 None heap-data/running_example_true-unreach-call.i TIMEOUT 240.62 222.77 None heap-data/shared_mem1_true-unreach-call.i TIMEOUT 240.35 232.47 None heap-data/shared_mem2_true-unreach-call.i ERROR: EXCEPTION 17.96 11.48 None list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i FALSE 33.58 22.71 None list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i FALSE 22.71 14.17 None list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i FALSE 58.02 39.19 None list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.29 209.63 None list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.08 4.66 None list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 32.80 21.53 None list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 8.28 4.81 None list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.95 207.57 None list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 227.88 None list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.83 205.69 None loops/array_false-unreach-call_true-termination.i FALSE 11.39 6.77 None loops/bubble_sort_false-unreach-call.i FALSE 22.85 13.86 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.85 4.74 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT 240.71 197.79 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 14.44 8.81 None loops/insertion_sort_false-unreach-call_true-termination.i ERROR: EXCEPTION 28.79 19.34 None loops/invert_string_false-unreach-call_true-termination.i FALSE 42.41 30.57 None loops/linear_search_false-unreach-call.i ERROR: EXCEPTION 56.73 39.79 None loops/ludcmp_false-unreach-call.i UNKNOWN: OverapproxCex 58.67 40.39 None loops/matrix_false-unreach-call_true-termination.i FALSE 15.10 8.87 None loops/n.c24_false-unreach-call.i ERROR: EXCEPTION 8.07 4.76 None loops/nec11_false-unreach-call_false-termination.i FALSE 9.53 5.58 None loops/nec20_false-unreach-call_true-termination.i FALSE 10.48 6.25 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 150.32 109.51 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 20.52 12.62 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 25.56 16.30 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 17.49 11.08 None loops/sum01_false-unreach-call_true-termination.i FALSE 26.13 16.99 None loops/sum03_false-unreach-call_true-termination.i TIMEOUT 240.46 228.09 None loops/sum04_false-unreach-call_true-termination.i FALSE 14.20 8.79 None loops/sum_array_false-unreach-call.i FALSE 13.58 8.00 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 9.46 5.61 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 9.31 5.49 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 9.57 5.81 None loops/trex01_false-unreach-call_true-termination.i FALSE 9.77 5.76 None loops/trex02_false-unreach-call_true-termination.i FALSE 9.64 5.76 None loops/trex03_false-unreach-call_true-termination.i FALSE 9.30 5.52 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 15.83 9.67 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 43.19 27.47 None loops/vogal_false-unreach-call.i TIMEOUT 240.58 196.89 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 8.99 5.50 None loops/array_true-unreach-call_true-termination.i TRUE 17.64 10.81 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 9.18 5.55 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 21.90 14.33 None loops/eureka_01_true-unreach-call.i TIMEOUT 240.71 211.98 None loops/eureka_05_true-unreach-call_true-termination.i ERROR: EXCEPTION 182.88 163.17 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 9.92 5.96 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 9.52 5.76 None loops/insertion_sort_true-unreach-call_true-termination.i ERROR: EXCEPTION 27.75 17.98 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT 241.05 215.81 None loops/linear_sea.ch_true-unreach-call.i ERROR: EXCEPTION 101.15 81.66 None loops/lu.cmp_true-unreach-call.i TRUE 45.34 29.08 None loops/matrix_true-unreach-call_true-termination.i TRUE 23.23 15.97 None loops/n.c11_true-unreach-call_false-termination.i TRUE 17.77 11.17 None loops/n.c40_true-unreach-call_true-termination.i TRUE 16.59 9.64 None loops/nec40_true-unreach-call_true-termination.i TRUE 16.77 9.85 None loops/string_true-unreach-call_true-termination.i TRUE 20.89 13.18 None loops/sum01_true-unreach-call_true-termination.i TRUE 16.16 10.22 None loops/sum03_true-unreach-call_false-termination.i TRUE 13.04 8.58 None loops/sum04_true-unreach-call_true-termination.i TRUE 21.75 13.75 None loops/sum_array_true-unreach-call.i TIMEOUT 240.94 215.68 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 12.65 7.65 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 11.40 6.84 None loops/trex01_true-unreach-call_true-termination.i TRUE 11.76 6.95 None loops/trex02_true-unreach-call_true-termination.i TRUE 10.88 6.54 None loops/trex03_true-unreach-call_true-termination.i TRUE 10.28 6.01 None loops/trex04_true-unreach-call_false-termination.i TRUE 10.42 6.35 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 16.97 10.40 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 14.61 8.81 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 10.84 6.47 None loops/vogal_true-unreach-call.i ERROR: EXCEPTION 158.88 129.26 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 9.55 5.80 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 9.88 5.95 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 10.90 6.51 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT 240.62 196.20 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT 240.87 206.25 None loop-acceleration/array_false-unreach-call3_true-termination.i ERROR: EXCEPTION 6.70 4.15 None loop-acceleration/const_false-unreach-call1.i TIMEOUT 241.11 211.55 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT 240.26 204.52 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT 240.81 213.93 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 8.08 4.78 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT 240.65 214.24 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT 240.54 221.83 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 9.05 5.49 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT 240.97 217.55 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 8.26 4.87 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 8.10 4.88 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT 240.64 223.10 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 16.03 9.91 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 15.85 9.87 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 19.53 13.58 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT 241.42 206.10 None loop-acceleration/array_true-unreach-call3_true-termination.i ERROR: EXCEPTION 6.63 3.96 None loop-acceleration/array_true-unreach-call4_true-termination.i ERROR: EXCEPTION 6.49 3.94 None loop-acceleration/const_true-unreach-call1.i TRUE 13.18 8.03 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT 240.80 212.42 None loop-acceleration/diamond_true-unreach-call2.i TIMEOUT 240.53 223.05 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT 240.72 214.35 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 10.19 6.09 None loop-acceleration/nested_true-unreach-call1.i TRUE 158.65 127.81 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT 240.67 223.97 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT 240.52 224.08 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 21.75 17.11 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT 240.86 218.56 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 9.80 5.87 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 10.28 6.21 None loop-acceleration/simple_true-unreach-call4.i TRUE 16.24 11.53 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 48.31 38.47 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 14.10 8.68 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 9.70 5.76 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT 240.83 212.13 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT 240.78 219.91 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT 241.03 210.18 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 57.52 49.03 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 10.18 6.04 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 15.99 11.05 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c TRUE 67.40 54.51 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c TRUE 69.25 58.77 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 13.37 8.07 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 16.66 10.42 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 16.55 10.56 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 32.80 22.21 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 27.42 18.09 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 23.11 14.92 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT 241.09 181.83 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT 241.13 181.67 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT 241.08 191.83 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 144.26 107.87 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 11.97 7.30 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 20.19 12.58 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 10.68 6.45 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 22.45 14.34 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 23.29 15.02 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 50.52 35.32 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT 240.96 187.81 None loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i TIMEOUT 241.70 188.91 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT 240.29 178.57 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TRUE 47.04 30.02 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TRUE 57.65 36.99 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TRUE 54.93 36.10 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TRUE 102.71 74.28 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TRUE 117.49 83.30 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TRUE 43.59 28.82 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TRUE 42.04 27.25 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TRUE 31.38 19.20 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TRUE 31.39 19.26 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 12.95 7.85 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 14.10 8.55 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 17.58 11.33 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 15.46 9.56 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 15.48 9.55 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 15.14 9.16 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 11.99 7.02 None loop-lit/ddlm2013_true-unreach-call.i TRUE 22.73 14.58 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 219.59 159.46 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 14.80 9.31 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT 240.06 178.85 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 12.63 7.48 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 14.20 8.69 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 18.85 12.03 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 18.91 12.19 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT 241.00 222.39 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 9.80 6.00 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TIMEOUT (TRUE) 240.52 177.94 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TIMEOUT 240.11 185.99 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TRUE 11.15 6.80 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TRUE 11.36 6.82 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TRUE 13.48 8.04 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TRUE 16.12 10.06 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 13.04 7.85 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 13.79 8.58 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT 241.18 183.36 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT 240.62 197.17 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT 240.28 182.24 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT 240.77 198.57 None loop-new/half_true-unreach-call_true-termination.i TRUE 27.99 18.36 None loop-new/nested_true-unreach-call_true-termination.i TIMEOUT 241.03 202.47 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TIMEOUT 240.70 196.57 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.63 197.06 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.74 197.16 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.24 3.65 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 5.55 3.41 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.18 3.60 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.29 3.63 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c OUT OF MEMORY 220.48 134.41 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TRUE 26.49 16.92 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c TRUE 57.52 39.21 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c TRUE 107.33 82.52 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 26.85 20.83 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TRUE 17.23 12.11 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TRUE 19.49 14.31 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TRUE 16.09 10.62 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT 240.06 198.40 None loop-industry-pattern/ofuf_1_true-unreach-call.c TRUE 22.74 13.38 None loop-industry-pattern/ofuf_2_true-unreach-call.c TRUE 20.83 12.34 None loop-industry-pattern/ofuf_3_true-unreach-call.c TRUE 21.22 12.57 None loop-industry-pattern/ofuf_4_true-unreach-call.c TRUE 23.60 13.79 None loop-industry-pattern/ofuf_5_true-unreach-call.c TRUE 22.43 13.26 None loops/heavy_true-unreach-call.c TRUE 38.06 22.00 None loops/compact_false-unreach-call.c TIMEOUT 240.48 223.84 None loops/heavy_false-unreach-call.c TIMEOUT 241.24 195.96 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT 240.55 222.45 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT 240.90 216.47 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT 241.01 180.06 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT 240.46 224.24 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT 240.49 222.08 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT 240.61 218.83 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT 240.56 223.67 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT 240.56 222.30 None loops-crafted-1/nested3_true-unreach-call.c TIMEOUT 240.83 212.25 None loops-crafted-1/nested5_true-unreach-call.c TRUE 56.90 49.14 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c FALSE 8.82 5.19 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.28 6.76 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.33 6.25 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.29 6.20 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.62 6.39 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.98 6.43 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 17.20 12.66 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 59150.80 5300.67 - Statistics: 1550 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1550