BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-constarray.xml name: svcomp19-constarray run sets: Bitvector.ReachSafety32, Default.ReachSafety32 date: Sun, 2018-11-18 20:34:43 CET tool: ULTIMATE Automizer 0.1.23-18e5b2df 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/AutomizerC.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 241.22 209.61 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT 240.57 221.36 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT 240.56 220.67 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT 240.75 211.55 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT 240.75 214.15 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT 240.90 205.44 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT 240.41 230.18 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT 240.39 229.74 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT 240.53 229.29 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT 240.46 229.26 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT 240.40 229.11 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT 240.47 228.58 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT 240.42 228.24 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT 240.45 227.71 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT 240.47 226.78 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT 240.47 226.15 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT 240.47 232.41 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT 240.44 230.02 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT 240.43 228.20 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT 240.58 225.33 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT 240.57 224.81 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT 240.53 225.58 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT 240.56 222.20 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT 240.58 221.29 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT 240.62 221.96 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT 240.62 221.16 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT 240.49 225.84 None array-examples/standard_running_false-unreach-call.i TIMEOUT 240.88 207.66 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TRUE 15.97 9.87 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT 241.12 186.71 None array-examples/relax_true-unreach-call.i TIMEOUT 240.57 206.11 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT 240.59 221.88 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT 240.76 214.58 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 19.81 13.23 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT 240.67 221.08 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 8.48 5.08 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT 240.75 216.76 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT 240.66 217.19 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT 240.41 228.64 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT 240.73 218.44 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT 240.34 230.93 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT 240.42 230.26 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT 240.43 228.88 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT 240.45 228.97 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT 240.45 228.88 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT 240.50 227.83 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT 240.45 227.22 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT 240.43 227.50 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT 240.45 226.76 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT 240.48 225.51 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT 240.51 224.16 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT 240.52 225.16 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT 240.40 229.42 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT 240.98 218.87 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT 240.38 231.82 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT 240.41 228.74 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT 240.43 228.51 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT 240.52 225.12 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT 240.54 224.61 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT 240.51 224.42 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT 240.63 223.33 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT 240.59 221.57 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT 240.59 220.82 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT 240.66 221.29 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT 240.68 219.89 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT 240.43 230.93 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT 240.41 229.69 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT 240.39 229.68 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT 240.35 231.47 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT 240.77 218.36 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT 241.21 224.41 None array-examples/standard_running_true-unreach-call.i TIMEOUT 240.95 205.10 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TIMEOUT 240.69 228.91 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT 240.38 231.31 None array-examples/standard_strcmp_true-unreach-call_ground.i TIMEOUT 241.02 226.21 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT 240.92 219.36 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT 240.96 218.23 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT 240.50 223.55 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT 240.56 223.49 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT 240.43 227.81 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT 240.43 228.52 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT 240.45 228.17 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT 240.38 229.55 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT 240.47 229.57 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT 240.47 229.91 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT 240.38 228.62 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT 240.63 224.82 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT 240.36 231.36 None array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.48 228.83 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT 240.54 223.44 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT 240.59 221.04 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.96 213.74 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT 240.81 214.12 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.93 213.99 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT 241.06 206.16 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT 240.55 224.20 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT 240.65 222.51 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT 240.60 222.24 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT 240.65 223.22 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TIMEOUT 240.53 227.25 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT 240.55 224.24 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT 240.83 220.59 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT 240.87 220.90 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT 240.42 228.37 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT 240.54 221.71 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT 240.94 209.40 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 50.44 39.74 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i TIMEOUT 240.50 226.74 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT 240.56 224.05 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT 240.21 205.92 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT 240.30 212.36 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 84.59 72.48 None reducercommutativity/avg05_true-unreach-call_true-termination.i TIMEOUT 240.39 231.66 None reducercommutativity/avg10_true-unreach-call_true-termination.i TIMEOUT 240.49 229.94 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT 240.35 231.37 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT 240.41 229.16 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT 240.45 228.73 None reducercommutativity/avg_true-unreach-call_true-termination.i TIMEOUT 240.41 232.12 None reducercommutativity/max05_true-unreach-call_true-termination.i TIMEOUT 240.59 220.95 None reducercommutativity/max10_true-unreach-call_true-termination.i TIMEOUT 240.23 215.51 None reducercommutativity/max20_true-unreach-call.i TIMEOUT 240.82 213.03 None reducercommutativity/max40_true-unreach-call.i TIMEOUT 240.46 226.32 None reducercommutativity/max60_true-unreach-call.i TIMEOUT 240.55 219.38 None reducercommutativity/max_true-unreach-call_true-termination.i TIMEOUT 240.91 220.98 None reducercommutativity/sep05_true-unreach-call_true-termination.i TIMEOUT 241.04 218.27 None reducercommutativity/sep10_true-unreach-call.i TIMEOUT 241.41 214.25 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT 240.90 213.19 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT 240.49 225.89 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT 240.54 220.99 None reducercommutativity/sep_true-unreach-call_true-termination.i TIMEOUT 240.90 220.13 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT 240.46 228.33 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT 240.44 231.13 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT 240.55 223.60 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT 240.76 230.05 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT 240.49 229.41 None reducercommutativity/sum_true-unreach-call_true-termination.i TIMEOUT 240.58 225.63 None array-tiling/mlceu_false-unreach-call.i TIMEOUT 240.76 218.21 None array-tiling/skippedu_false-unreach-call.i FALSE 18.48 12.19 None array-tiling/mbpr2_true-unreach-call.i TIMEOUT 240.68 223.30 None array-tiling/mbpr3_true-unreach-call.i TIMEOUT 240.84 222.17 None array-tiling/mbpr4_true-unreach-call.i TIMEOUT 241.15 224.20 None array-tiling/mbpr5_true-unreach-call.i TIMEOUT 241.00 217.87 None array-tiling/nr2_true-unreach-call.i TIMEOUT 240.66 225.73 None array-tiling/nr3_true-unreach-call.i TIMEOUT 240.88 222.30 None array-tiling/nr4_true-unreach-call.i TIMEOUT 240.42 225.43 None array-tiling/nr5_true-unreach-call.i TIMEOUT 240.52 224.53 None array-tiling/pnr2_true-unreach-call.i TIMEOUT 240.70 226.57 None array-tiling/pnr3_true-unreach-call.i TIMEOUT 240.62 225.48 None array-tiling/pnr4_true-unreach-call.i TIMEOUT 240.90 220.53 None array-tiling/pnr5_true-unreach-call.i TIMEOUT 240.61 224.08 None array-tiling/poly1_true-unreach-call.i TIMEOUT 240.47 229.23 None array-tiling/poly2_true-unreach-call.i TRUE 17.47 11.55 None array-tiling/pr2_true-unreach-call.i TIMEOUT 240.94 210.72 None array-tiling/pr3_true-unreach-call.i TIMEOUT 240.69 213.40 None array-tiling/pr4_true-unreach-call.i TIMEOUT 240.33 216.45 None array-tiling/pr5_true-unreach-call.i TIMEOUT 241.12 214.19 None array-tiling/revcpyswp2_true-unreach-call.i TIMEOUT 240.40 229.03 None array-tiling/rew_true-unreach-call.i TIMEOUT 240.56 224.96 None array-tiling/rewnif_true-unreach-call.i TIMEOUT 240.98 216.09 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT 240.47 227.48 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT 240.47 232.67 None array-tiling/rewrev_true-unreach-call.i TIMEOUT 240.72 221.77 None array-tiling/skipped_true-unreach-call.i TIMEOUT 240.38 214.62 None array-tiling/tcpy_true-unreach-call.i TIMEOUT 240.44 233.33 None array-programs/copysome1_false-unreach-call.i TIMEOUT 240.45 227.04 None array-programs/copysome2_false-unreach-call.i TIMEOUT 240.49 224.38 None array-programs/copysome1_true-unreach-call.i TIMEOUT 240.48 227.53 None array-programs/copysome2_true-unreach-call.i TIMEOUT 240.49 224.71 None array-crafted/bAnd1_true-unreach-call.i TIMEOUT 240.44 229.06 None array-crafted/bAnd2_true-unreach-call.i TIMEOUT 240.39 229.74 None array-crafted/bAnd3_true-unreach-call.i TIMEOUT 240.44 230.26 None array-crafted/bAnd4_true-unreach-call.i TIMEOUT 240.38 229.71 None array-crafted/bAnd5_true-unreach-call.i TIMEOUT 240.53 226.33 None array-crafted/bor1_true-unreach-call.i TIMEOUT 240.41 229.62 None array-crafted/bor2_true-unreach-call.i TIMEOUT 240.41 229.78 None array-crafted/bor3_true-unreach-call.i TIMEOUT 240.42 229.91 None array-crafted/bor4_true-unreach-call.i TIMEOUT 240.41 229.67 None array-crafted/bor5_true-unreach-call.i TIMEOUT 240.51 226.26 None array-crafted/mapavg1_true-unreach-call.i TIMEOUT 240.40 229.97 None array-crafted/mapavg2_true-unreach-call.i TIMEOUT 240.45 229.61 None array-crafted/mapavg3_true-unreach-call.i TIMEOUT 240.48 229.52 None array-crafted/mapavg4_true-unreach-call.i TIMEOUT 240.44 230.02 None array-crafted/mapavg5_true-unreach-call.i TIMEOUT 240.37 233.37 None array-crafted/mapsum1_true-unreach-call.i TIMEOUT 240.45 229.93 None array-crafted/mapsum2_true-unreach-call.i TIMEOUT 240.38 229.87 None array-crafted/mapsum3_true-unreach-call.i TIMEOUT 240.38 230.94 None array-crafted/mapsum4_true-unreach-call.i TIMEOUT 240.37 230.11 None array-crafted/mapsum5_true-unreach-call.i TIMEOUT 240.73 227.92 None array-crafted/xor1_true-unreach-call.i TIMEOUT 240.38 230.13 None array-crafted/xor2_true-unreach-call.i TIMEOUT 240.41 230.35 None array-crafted/xor3_true-unreach-call.i TIMEOUT 240.40 229.44 None array-crafted/xor4_true-unreach-call.i TIMEOUT 240.51 228.76 None array-crafted/xor5_true-unreach-call.i TIMEOUT 240.49 226.27 None array-crafted/zero_sum1_true-unreach-call.c TIMEOUT 240.52 222.95 None array-crafted/zero_sum2_true-unreach-call.c TIMEOUT 240.57 221.58 None array-crafted/zero_sum3_true-unreach-call.c TIMEOUT 240.60 221.74 None array-crafted/zero_sum4_true-unreach-call.c TIMEOUT 240.67 222.42 None array-crafted/zero_sum5_true-unreach-call.c TIMEOUT 240.85 220.89 None array-crafted/zero_sum_const1_true-unreach-call.c TIMEOUT 240.74 222.05 None array-crafted/zero_sum_const2_true-unreach-call.c TIMEOUT 240.67 221.80 None array-crafted/zero_sum_const3_true-unreach-call.c TIMEOUT 240.85 221.64 None array-crafted/zero_sum_const4_true-unreach-call.c TIMEOUT 241.25 221.60 None array-crafted/zero_sum_const5_true-unreach-call.c TIMEOUT 240.83 220.08 None array-crafted/zero_sum_const_m2_true-unreach-call.c TIMEOUT 241.46 224.83 None array-crafted/zero_sum_const_m3_true-unreach-call.c TIMEOUT 240.62 225.42 None array-crafted/zero_sum_const_m4_true-unreach-call.c TIMEOUT 240.76 225.45 None array-crafted/zero_sum_const_m5_true-unreach-call.c TIMEOUT 240.89 226.78 None array-crafted/zero_sum_m2_true-unreach-call.c TIMEOUT 240.87 229.13 None array-crafted/zero_sum_m3_true-unreach-call.c TIMEOUT 240.44 229.73 None array-crafted/zero_sum_m4_true-unreach-call.c TIMEOUT 240.43 230.07 None array-crafted/zero_sum_m5_true-unreach-call.c TIMEOUT 240.54 230.07 None array-multidimensional/add-2-n-u_true-unreach-call.i TIMEOUT 240.69 218.64 None array-multidimensional/add-3-n-u_true-unreach-call.i TIMEOUT 240.70 220.01 None array-multidimensional/copy-2-u_true-unreach-call.i TIMEOUT 240.61 222.05 None array-multidimensional/copy-3-n-u_true-unreach-call.i TIMEOUT 240.68 220.05 None array-multidimensional/copy-partial-2-n-u_true-unreach-call.i TIMEOUT 240.69 218.13 None array-multidimensional/copy-partial-3-u_true-unreach-call.i TRUE 52.91 42.64 None array-multidimensional/diff-2-n-u_true-unreach-call.i TIMEOUT 241.04 217.16 None array-multidimensional/diff-3-n-u_true-unreach-call.i TIMEOUT 240.66 220.39 None array-multidimensional/init-2-n-u_true-unreach-call.i TIMEOUT 240.38 229.90 None array-multidimensional/init-3-u_true-unreach-call.i TIMEOUT 240.43 229.56 None array-multidimensional/init-4-n-u_true-unreach-call.i TIMEOUT 240.48 226.00 None array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i ERROR: EXCEPTION 13.76 8.93 None array-multidimensional/init-non-constant-3-u_true-unreach-call.i TIMEOUT 240.46 229.10 None array-multidimensional/max-2-u_true-unreach-call.i TIMEOUT 240.68 217.62 None array-multidimensional/max-3-n-u_true-unreach-call.i TIMEOUT 240.66 218.60 None array-multidimensional/min-2-u_true-unreach-call.i TIMEOUT 240.69 217.15 None array-multidimensional/min-3-n-u_true-unreach-call.i TIMEOUT 240.59 219.30 None array-multidimensional/rev-2-n-u_true-unreach-call.i TIMEOUT 240.72 220.42 None array-multidimensional/rev-3-u_true-unreach-call.i TIMEOUT 240.70 219.86 None array-multidimensional/transpose-u_true-unreach-call.i TIMEOUT 240.75 216.57 None reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.29 2.34 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 241.06 192.48 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.51 189.82 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.64 190.71 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 106.82 74.08 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.55 192.26 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.52 194.55 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.72 189.28 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.69 186.99 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 58.12 39.08 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 79.26 52.03 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 43.50 26.98 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 42.00 26.21 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 42.00 26.32 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 40.92 25.91 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 17.87 10.92 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TIMEOUT 240.93 205.65 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c FALSE 124.36 94.68 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 63.73 43.44 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 77.55 53.76 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 33.38 21.00 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 35.95 22.31 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 12.02 7.08 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 190.32 156.36 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TIMEOUT 241.63 203.23 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TIMEOUT 240.21 201.43 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 206.44 171.16 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 199.57 155.30 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 29.80 18.11 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 15.67 9.96 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TIMEOUT 241.06 203.77 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TIMEOUT 241.10 200.48 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 209.69 169.09 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT 240.42 200.05 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT 240.79 209.34 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT 240.91 207.19 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 17.85 11.02 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 18.13 11.34 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.62 217.28 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.60 215.32 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.71 214.79 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.63 216.58 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.80 212.61 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.14 211.03 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 30.26 18.25 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 38.96 24.03 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 55.72 36.36 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 86.24 65.63 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 214.00 189.69 None ntdrivers/cdaudio_false-unreach-call.i.cil.c TIMEOUT 240.95 210.37 None ntdrivers/diskperf_false-unreach-call.i.cil.c ERROR: TYPE ERROR 11.40 6.41 None ntdrivers/floppy_false-unreach-call.i.cil.c TIMEOUT 240.94 209.83 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c TIMEOUT 241.28 217.53 None ntdrivers/parport_false-unreach-call.i.cil.c ERROR: TYPE ERROR 15.60 8.21 None ntdrivers/cdaudio_true-unreach-call.i.cil.c TIMEOUT 241.01 213.93 None ntdrivers/diskperf_true-unreach-call.i.cil.c ERROR: TYPE ERROR 12.05 6.76 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c TIMEOUT 242.06 182.97 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c TIMEOUT 241.21 207.07 None ntdrivers/parport_true-unreach-call.i.cil.c ERROR: TYPE ERROR 15.22 8.32 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT 240.96 210.04 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c FALSE 189.15 164.13 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c FALSE 173.12 148.76 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c FALSE 172.23 147.42 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c FALSE 62.50 45.46 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c FALSE 87.13 67.16 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c FALSE 52.56 37.51 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c FALSE 52.57 37.57 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT 240.84 214.52 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT 240.61 214.14 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT 240.81 215.75 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT 240.72 211.86 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT 240.80 214.79 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c FALSE 106.24 83.02 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT 240.88 214.42 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT 240.76 210.30 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT 240.75 216.20 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT 240.86 215.05 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT 240.81 215.87 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT 241.41 207.95 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.82 210.08 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT 240.87 210.95 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT 240.90 210.12 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT 240.95 208.61 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.88 209.57 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT 241.08 203.57 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT 241.05 209.24 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT 240.20 203.89 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT 240.95 206.45 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT 240.82 207.72 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT 240.98 208.35 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT 240.46 201.13 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT 240.99 208.45 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT 240.30 202.48 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT 240.19 200.65 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT 240.70 200.10 None heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.69 226.18 None heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.59 218.60 None heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i FALSE 52.09 38.98 None heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.38 230.78 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 169.66 157.15 None heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 196.95 184.56 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.39 227.36 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 47.04 35.47 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 220.02 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.87 211.21 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 101.22 88.66 None heap-manipulation/tree_true-unreach-call.i TIMEOUT 240.37 230.52 None list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i FALSE 16.93 9.83 None list-properties/list_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.42 226.40 None list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i FALSE 18.55 11.33 None list-properties/list_search_false-unreach-call_false-valid-memcleanup.i FALSE 179.61 162.06 None list-properties/simple_false-unreach-call_false-valid-memcleanup.i FALSE 17.32 10.46 None list-properties/splice_false-unreach-call_false-valid-memcleanup.i FALSE 17.35 10.18 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 226.95 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.72 219.68 None list-properties/list_search_true-unreach-call_false-valid-memcleanup.i TIMEOUT 240.68 218.96 None list-properties/list_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.59 221.75 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 226.51 211.02 None list-properties/simple_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.73 222.51 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 68.67 54.54 None ldv-regression/1_3_true-termination.c_false-unreach-call.i FALSE 13.52 7.99 None ldv-regression/alt_test_true-termination.c_false-unreach-call.i FALSE 15.97 9.23 None ldv-regression/callfpointer_true-termination.c_false-unreach-call.i FALSE 7.46 4.50 None ldv-regression/fo_test_true-termination.c_false-unreach-call.i UNKNOWN: OverapproxCex 13.11 7.31 None ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i FALSE 11.03 6.56 None ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i FALSE 12.10 7.10 None ldv-regression/recursive_list_true-termination.c_false-unreach-call.i FALSE 8.46 5.08 None ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i FALSE 12.22 7.38 None ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i FALSE 89.86 67.12 None ldv-regression/stateful_check_false-unreach-call_false-termination.i FALSE 31.99 19.52 None ldv-regression/test_while_int_true-termination.c_false-unreach-call.i FALSE 13.55 8.13 None ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i FALSE 11.88 7.07 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i TRUE 12.04 7.07 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i TRUE 9.18 5.53 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i TRUE 10.85 6.40 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i TRUE 9.31 5.58 None ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i TIMEOUT 240.55 223.63 None ldv-regression/just_assert_true-termination.c_true-unreach-call.i TRUE 8.24 4.91 None ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i TRUE 13.28 8.07 None ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i TRUE 14.00 8.33 None ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i TRUE 9.23 5.58 None ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i TRUE 10.06 5.90 None ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i TRUE 10.30 6.17 None ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i TRUE 11.82 6.99 None ldv-regression/nested_structure_true-termination.c_true-unreach-call.i TRUE 10.15 6.07 None ldv-regression/nested_structure_true-unreach-call_true-termination.i TRUE 11.51 6.81 None ldv-regression/oomInt_true-termination.c_true-unreach-call.i TRUE 13.26 7.80 None ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i TRUE 11.63 6.95 None ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i TRUE 14.87 9.02 None ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i TRUE 72.39 56.83 None ldv-regression/rule60_list_true-termination.c_true-unreach-call.i TRUE 17.70 10.99 None ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.72 3.77 None ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i TRUE 9.48 5.65 None ldv-regression/test_address_true-termination.c_true-unreach-call.i TRUE 12.70 7.36 None ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i TRUE 10.23 6.05 None ldv-regression/test_malloc-1_true-unreach-call_true-termination.i TRUE 12.20 6.96 None ldv-regression/test_malloc-2_true-unreach-call_true-termination.i TRUE 11.83 6.94 None ldv-regression/test_overflow_true-termination.c_true-unreach-call.i TRUE 12.70 7.11 None ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i TRUE 10.42 6.14 None ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i TRUE 10.32 6.12 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i TRUE 9.17 5.53 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i TRUE 9.73 5.72 None ldv-regression/test_union_true-termination.c_true-unreach-call.i TRUE 8.85 5.36 None ldv-regression/test_union_true-termination.c_true-unreach-call_1.i TRUE 9.33 5.59 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i TRUE 9.48 5.60 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i TRUE 9.24 5.59 None ldv-regression/test02_false-unreach-call_true-termination.c FALSE 7.38 4.52 None ldv-regression/test06_false-unreach-call_true-termination.c FALSE 12.28 7.06 None ldv-regression/test08_false-unreach-call_true-termination.c FALSE 8.50 5.01 None ldv-regression/test12_false-unreach-call_true-termination.c FALSE 8.17 4.85 None ldv-regression/test21_false-unreach-call_true-termination.c FALSE 8.68 5.17 None ldv-regression/test22_false-unreach-call.c FALSE 20.89 13.73 None ldv-regression/test23_false-unreach-call.c TIMEOUT 240.73 221.87 None ldv-regression/test24_false-unreach-call.c FALSE 45.84 37.86 None ldv-regression/test25_false-unreach-call_true-termination.c FALSE 84.58 73.14 None ldv-regression/test26_false-unreach-call_true-termination.c FALSE 8.42 5.01 None ldv-regression/test27_false-unreach-call_true-termination.c FALSE 26.75 20.02 None ldv-regression/test28_false-unreach-call_true-termination.c FALSE 12.10 7.23 None ldv-regression/test29_false-unreach-call_true-termination.c FALSE 14.03 8.28 None ldv-regression/test30_false-unreach-call_true-termination.c FALSE 8.58 5.15 None ldv-regression/test01_true-unreach-call_true-termination.c TRUE 9.49 5.67 None ldv-regression/test03_true-unreach-call_true-termination.c TRUE 11.74 6.91 None ldv-regression/test04_true-unreach-call_true-termination.c TRUE 12.23 7.15 None ldv-regression/test05_true-unreach-call_true-termination.c TRUE 18.50 11.79 None ldv-regression/test07_true-unreach-call_true-termination.c TRUE 14.49 8.94 None ldv-regression/test09_true-unreach-call_true-termination.c TRUE 15.82 9.73 None ldv-regression/test10_true-unreach-call_true-termination.c TRUE 50.84 41.99 None ldv-regression/test11_true-unreach-call_true-termination.c TRUE 22.24 15.70 None ldv-regression/test13_true-unreach-call_true-termination.c TRUE 10.93 6.48 None ldv-regression/test14_true-unreach-call_true-termination.c TRUE 14.57 9.08 None ldv-regression/test15_true-unreach-call_true-termination.c TRUE 12.89 7.72 None ldv-regression/test16_true-unreach-call_true-termination.c TRUE 13.81 8.31 None ldv-regression/test17_true-unreach-call_true-termination.c TRUE 9.95 5.96 None ldv-regression/test18_true-unreach-call_true-termination.c TRUE 18.63 12.86 None ldv-regression/test19_true-unreach-call_true-termination.c TRUE 27.53 20.47 None ldv-regression/test20_true-unreach-call_true-termination.c TRUE 10.26 6.20 None ldv-regression/test21_true-unreach-call_true-termination.c TRUE 24.13 16.51 None ldv-regression/test22_true-unreach-call.c TRUE 237.94 223.47 None ldv-regression/test23_true-unreach-call.c TIMEOUT 240.63 220.49 None ldv-regression/test24_true-unreach-call_true-termination.c TRUE 41.33 31.73 None ldv-regression/test25_true-unreach-call.c TRUE 87.24 77.31 None ldv-regression/test26_true-unreach-call_true-termination.c TRUE 14.22 8.69 None ldv-regression/test27_true-unreach-call_true-termination.c TIMEOUT 240.66 226.41 None ldv-regression/test28_true-unreach-call_true-termination.c TRUE 13.22 7.86 None ldv-regression/test29_true-unreach-call_true-termination.c TRUE 12.92 7.71 None ldv-regression/test30_true-unreach-call_true-termination.c TRUE 25.07 17.96 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 20.34 10.75 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.87 11.04 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 18.71 10.14 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.96 10.16 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.76 10.00 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.86 10.11 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.84 10.62 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.04 10.24 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.95 10.24 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.60 10.46 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.97 10.20 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.26 10.28 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 22.16 12.14 None forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i FALSE 55.50 39.90 None forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i FALSE 17.42 10.29 None forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i FALSE 13.88 7.78 None forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 176.53 157.31 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE 91.13 80.88 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 82.51 71.87 None forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 14.41 8.05 None forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i FALSE 19.47 11.61 None forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i FALSE 24.48 16.52 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i TIMEOUT 240.76 215.13 None forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.99 216.95 None forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i FALSE 16.82 9.78 None forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i FALSE 13.15 7.44 None forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 76.65 61.05 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE 40.68 31.64 None forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.60 225.66 None forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 13.73 7.68 None forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.62 223.51 None forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i FALSE 16.79 9.74 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.57 216.00 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.47 226.29 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.45 227.14 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.67 219.75 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.73 225.36 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 71.87 61.84 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.04 227.10 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.44 228.10 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.51 223.61 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.64 227.49 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.81 214.15 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.69 220.95 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.56 228.97 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.45 227.36 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.54 222.10 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.66 222.66 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.57 225.65 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 223.17 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i TIMEOUT 240.72 221.25 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.73 221.38 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.82 224.84 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i FALSE 12.98 7.44 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i TIMEOUT 240.72 220.72 None list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i FALSE 11.99 6.76 None list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i TIMEOUT 240.54 224.87 None list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i TIMEOUT 240.78 217.05 None list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i FALSE 15.90 9.42 None list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i TIMEOUT 240.48 225.34 None list-ext2-properties/simple_search_value_false-unreach-call.i ERROR: EXCEPTION 53.49 41.97 None list-ext2-properties/simple_search_value_true-unreach-call.i ERROR: EXCEPTION 54.33 42.89 None ldv-sets/test_add_false-unreach-call_true-termination.i unknown 7.27 4.03 None ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 6.77 3.91 None ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 7.29 4.09 None ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 6.95 3.97 None ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 7.30 4.14 None ldv-sets/test_add_true-unreach-call_true-termination.i unknown 7.13 3.94 None ldv-sets/test_mutex_true-unreach-call.i unknown 7.42 4.09 None ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 7.26 4.13 None list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.39 229.92 None list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.49 230.24 None list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.45 229.10 None list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.43 229.12 None list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.39 231.55 None list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.59 226.91 None list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.50 225.01 None list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.08 218.38 None list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.15 221.98 None list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.62 224.85 None list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT (ERROR: EXCEPTION) 240.25 226.13 None list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.60 227.83 None list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 222.38 None list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.56 229.59 None list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.47 227.44 None list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 203.02 192.47 None list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.51 224.00 None list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.74 223.11 None list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 21.27 13.36 None list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.55 224.71 None list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.43 229.02 None list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.41 229.25 None list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.47 226.26 None list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.68 228.06 None list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.57 225.90 None list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.57 225.66 None list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.54 224.42 None list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.62 225.59 None list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 223.16 None list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.49 227.17 None list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.42 228.89 None list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.51 227.17 None list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.43 228.48 None list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 230.09 217.73 None list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.53 224.64 None list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.65 225.36 None list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.12 216.51 None list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i TRUE 111.92 98.11 None list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.42 228.16 None list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.44 228.26 None heap-data/calendar_true-unreach-call.i TIMEOUT 240.96 218.76 None heap-data/cart_true-unreach-call.i TIMEOUT 240.70 224.65 None heap-data/hash_fun_true-unreach-call.i TIMEOUT 240.58 226.95 None heap-data/min_max_true-unreach-call.i TIMEOUT 240.55 220.98 None heap-data/packet_filter_true-unreach-call.i TIMEOUT 240.46 227.34 None heap-data/process_queue_true-unreach-call.i TIMEOUT 240.58 225.16 None heap-data/quick_sort_split_true-unreach-call.i TRUE 14.79 8.64 None heap-data/running_example_true-unreach-call.i TIMEOUT 240.54 222.95 None heap-data/shared_mem1_true-unreach-call.i ERROR: EXCEPTION 211.07 201.64 None heap-data/shared_mem2_true-unreach-call.i TRUE 98.91 87.22 None list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i FALSE 39.09 28.70 None list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i FALSE 47.47 36.04 None list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i FALSE 166.15 138.58 None list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.70 217.45 None list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.35 231.10 None list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.93 219.51 None list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.71 225.08 None list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.44 214.27 None list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.78 200.43 None list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.81 216.25 None loops/array_false-unreach-call_true-termination.i FALSE 10.41 6.09 None loops/bubble_sort_false-unreach-call.i FALSE 24.26 15.32 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 9.03 5.42 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT 240.49 225.63 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 15.15 9.20 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT 240.43 228.07 None loops/invert_string_false-unreach-call_true-termination.i FALSE 170.87 158.26 None loops/linear_search_false-unreach-call.i TIMEOUT 240.65 221.49 None loops/ludcmp_false-unreach-call.i TRUE 140.41 128.00 None loops/matrix_false-unreach-call_true-termination.i FALSE 14.54 9.08 None loops/n.c24_false-unreach-call.i TIMEOUT 240.09 204.66 None loops/nec11_false-unreach-call_false-termination.i FALSE 9.53 5.59 None loops/nec20_false-unreach-call_true-termination.i FALSE 12.37 7.37 None loops/s3_false-unreach-call.i TIMEOUT 240.88 210.39 None loops/string_false-unreach-call_true-termination.i FALSE 24.59 16.52 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 30.25 21.98 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 25.56 18.47 None loops/sum01_false-unreach-call_true-termination.i FALSE 65.98 55.14 None loops/sum03_false-unreach-call_true-termination.i FALSE 24.56 16.42 None loops/sum04_false-unreach-call_true-termination.i FALSE 15.10 9.34 None loops/sum_array_false-unreach-call.i FALSE 13.00 7.78 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 9.79 5.73 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 9.30 5.52 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 10.27 6.13 None loops/trex01_false-unreach-call_true-termination.i FALSE 9.98 5.90 None loops/trex02_false-unreach-call_true-termination.i FALSE 9.75 5.75 None loops/trex03_false-unreach-call_true-termination.i FALSE 9.23 5.55 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 17.28 10.85 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 222.36 196.38 None loops/vogal_false-unreach-call.i TIMEOUT 240.71 215.51 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 9.28 5.54 None loops/array_true-unreach-call_true-termination.i TRUE 18.56 12.17 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 9.22 5.60 None loops/count_up_down_true-unreach-call_true-termination.i TIMEOUT 240.62 223.65 None loops/eureka_01_true-unreach-call.i TIMEOUT 240.67 223.12 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT 240.62 223.73 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.14 6.06 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 10.78 6.30 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT 240.47 226.95 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT 240.43 229.94 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT 240.77 220.96 None loops/lu.cmp_true-unreach-call.i TRUE 106.69 95.15 None loops/matrix_true-unreach-call_true-termination.i ERROR: EXCEPTION 12.89 7.88 None loops/n.c11_true-unreach-call_false-termination.i TRUE 12.71 7.74 None loops/n.c40_true-unreach-call_true-termination.i TRUE 26.82 21.34 None loops/nec40_true-unreach-call_true-termination.i TRUE 30.33 24.41 None loops/string_true-unreach-call_true-termination.i TRUE 22.93 14.96 None loops/sum01_true-unreach-call_true-termination.i TIMEOUT 240.64 224.14 None loops/sum03_true-unreach-call_false-termination.i TRUE 14.77 8.98 None loops/sum04_true-unreach-call_true-termination.i TRUE 20.75 13.69 None loops/sum_array_true-unreach-call.i TIMEOUT 240.49 227.91 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 12.37 7.46 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 11.71 7.04 None loops/trex01_true-unreach-call_true-termination.i TRUE 20.01 13.03 None loops/trex02_true-unreach-call_true-termination.i TRUE 10.93 6.56 None loops/trex03_true-unreach-call_true-termination.i TRUE 11.63 6.79 None loops/trex04_true-unreach-call_false-termination.i TRUE 11.22 6.76 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 20.06 13.07 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 18.49 11.61 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 11.26 6.76 None loops/vogal_true-unreach-call.i TIMEOUT 240.61 219.07 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.38 6.18 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 9.95 5.99 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 11.42 6.78 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT 240.36 231.47 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT 240.36 231.18 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT 240.44 226.24 None loop-acceleration/const_false-unreach-call1.i TIMEOUT 240.73 221.84 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT 240.71 215.67 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT 241.19 209.74 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 8.72 5.21 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT 240.80 214.39 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT 240.57 221.49 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 9.34 5.69 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT 241.03 221.60 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 8.91 5.40 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 8.91 5.35 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT 240.96 225.36 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 13.31 8.19 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 13.21 8.08 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 26.03 19.76 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT 240.35 231.11 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 30.92 21.84 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT 240.42 228.43 None loop-acceleration/const_true-unreach-call1.i TRUE 11.46 6.80 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT 241.12 218.72 None loop-acceleration/diamond_true-unreach-call2.i TRUE 32.08 23.23 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT 240.98 210.71 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 10.52 6.21 None loop-acceleration/nested_true-unreach-call1.i TRUE 37.09 25.23 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT 240.53 226.40 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT 240.58 220.45 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 12.95 7.89 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT 241.03 221.50 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 9.85 5.95 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 12.08 7.34 None loop-acceleration/simple_true-unreach-call4.i TRUE 12.01 7.28 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 75.87 69.37 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 13.41 8.53 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 10.08 5.89 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT 240.50 223.06 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT 240.49 223.60 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT 240.62 221.70 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 36.36 29.82 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 17.66 12.34 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 23.27 17.80 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c ERROR: EXCEPTION 27.37 22.22 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c TRUE 34.88 28.40 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 13.55 8.57 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TIMEOUT 240.48 226.88 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 48.48 35.40 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TIMEOUT 240.17 200.20 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 56.48 44.11 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TIMEOUT 240.09 205.20 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT 241.02 203.61 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT 240.26 201.66 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT 240.64 225.49 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT 240.30 231.72 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 152.52 131.76 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 26.78 17.97 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TIMEOUT 241.02 216.25 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 156.73 122.04 None loop-invgen/nested9_true-unreach-call_true-termination.i TIMEOUT 240.97 206.32 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TIMEOUT 240.10 199.26 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT 240.16 199.60 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT 240.61 221.64 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT 241.08 206.70 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.09 206.93 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.15 206.53 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.41 205.92 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TIMEOUT 240.62 204.94 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TIMEOUT 240.17 203.01 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TIMEOUT 240.27 205.19 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TIMEOUT 240.35 205.96 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TIMEOUT 241.02 215.13 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TIMEOUT 240.43 213.83 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 75.72 61.37 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TIMEOUT 240.28 234.24 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TIMEOUT 240.50 227.73 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 21.63 15.69 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TIMEOUT 240.84 223.69 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 12.08 7.25 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 18.11 11.70 None loop-lit/ddlm2013_true-unreach-call.i TRUE 38.42 32.26 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TIMEOUT 240.66 219.44 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 35.24 24.91 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT 240.80 213.51 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TIMEOUT 240.50 230.43 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TIMEOUT 240.45 230.16 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TIMEOUT 240.45 229.45 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TIMEOUT 240.77 224.23 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT 240.16 216.86 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 9.83 5.84 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TIMEOUT 240.94 218.42 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TIMEOUT 240.04 209.88 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TIMEOUT 240.32 233.58 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TIMEOUT 240.30 233.61 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TIMEOUT 240.35 231.92 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TIMEOUT 240.37 231.03 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 14.75 9.41 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 12.72 7.78 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT 240.96 221.80 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT 240.39 231.26 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT 240.55 223.95 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT 240.48 229.98 None loop-new/half_true-unreach-call_true-termination.i TIMEOUT 240.57 225.16 None loop-new/nested_true-unreach-call_true-termination.i TIMEOUT 240.95 215.57 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TIMEOUT 240.37 231.25 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.48 231.43 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.38 231.05 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 5.99 3.55 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.61 3.78 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.73 3.82 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.55 3.75 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c TIMEOUT 240.53 226.80 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TIMEOUT 240.42 229.37 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c TIMEOUT 240.66 225.84 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c TIMEOUT 240.58 227.80 None loop-industry-pattern/mod3_true-unreach-call.c TIMEOUT 240.52 234.46 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TIMEOUT 240.25 235.01 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TIMEOUT 240.28 234.54 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TIMEOUT 240.35 234.65 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT 240.18 209.32 None loop-industry-pattern/ofuf_1_true-unreach-call.c TRUE 146.06 125.18 None loop-industry-pattern/ofuf_2_true-unreach-call.c TRUE 115.99 96.65 None loop-industry-pattern/ofuf_3_true-unreach-call.c TRUE 119.89 99.31 None loop-industry-pattern/ofuf_4_true-unreach-call.c TRUE 129.97 110.44 None loop-industry-pattern/ofuf_5_true-unreach-call.c TRUE 124.92 106.03 None loops/heavy_true-unreach-call.c TRUE 11.37 6.53 None loops/compact_false-unreach-call.c TIMEOUT 240.53 227.94 None loops/heavy_false-unreach-call.c TIMEOUT 240.38 231.67 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT 240.52 220.44 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT 241.11 216.98 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT 240.63 216.49 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT 240.49 225.23 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT 240.51 224.68 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT 240.40 220.12 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT 241.04 218.76 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT 240.56 222.00 None loops-crafted-1/nested3_true-unreach-call.c TIMEOUT 240.59 221.26 None loops-crafted-1/nested5_true-unreach-call.c TRUE 16.89 10.73 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.98 7.71 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.25 6.58 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.40 6.66 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.50 6.31 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 13.10 7.76 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.92 7.57 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.20 7.32 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 35133.86 7702.89 - Default.ReachSafety32 Run set 2 of 2 with options '-tc ../../../trunk/examples/toolchains/AutomizerC.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.05 180.10 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT 240.14 175.31 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT 241.18 177.37 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT 240.14 180.81 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT 240.17 182.03 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT 240.83 191.29 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT 240.96 205.61 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT 241.04 216.98 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT 240.62 216.32 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT 240.73 216.02 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT 240.72 215.15 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT 241.01 211.86 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT 241.10 211.41 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT 241.03 210.31 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT 240.76 215.41 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT 240.66 216.54 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT 240.89 206.83 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT 240.62 216.79 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT 240.59 218.27 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT 240.71 218.02 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT 240.66 220.47 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT 240.40 216.49 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT 240.68 220.55 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT 240.78 218.58 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT 240.58 219.49 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT 241.03 182.95 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT 240.73 213.25 None array-examples/standard_running_false-unreach-call.i TIMEOUT 240.62 217.76 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TRUE 15.57 9.56 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT 241.10 202.56 None array-examples/relax_true-unreach-call.i TIMEOUT 240.74 204.89 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT 241.12 181.39 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT 240.55 220.81 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 15.47 9.49 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT 241.23 178.76 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 8.00 4.77 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT 241.01 209.32 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT 240.22 179.53 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT 241.08 197.60 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT 240.59 218.59 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT 240.87 205.25 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT 240.46 207.03 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT 241.02 208.85 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT 240.98 211.00 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT 240.73 213.53 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT 240.89 206.95 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT 240.81 213.57 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT 241.03 209.08 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT 241.42 214.26 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT 240.63 219.40 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT 240.92 217.03 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT 240.84 217.70 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT 240.76 217.10 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT 240.72 179.42 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT 240.27 203.54 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT 240.66 211.69 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT 240.57 218.88 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT 240.62 220.78 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT 241.14 217.67 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT 241.26 221.91 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT 240.57 221.81 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT 240.86 220.13 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT 240.54 221.93 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT 241.04 180.72 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT 241.11 178.99 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT 240.83 206.29 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT 241.10 195.61 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT 241.03 199.86 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT 241.36 219.84 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT 240.61 216.95 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT 240.50 227.70 None array-examples/standard_running_true-unreach-call.i TIMEOUT 240.57 219.38 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 25.66 16.77 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT 240.13 199.63 None array-examples/standard_strcmp_true-unreach-call_ground.i TIMEOUT 240.71 220.41 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT 240.90 213.56 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT 240.65 220.80 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT 240.60 207.11 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT 240.80 209.68 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT 240.82 207.32 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT 240.96 206.10 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT 240.82 208.96 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT 240.80 207.98 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT 240.93 206.09 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT 240.92 205.79 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT 240.93 207.20 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT 240.97 215.28 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT 240.96 205.90 None array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c TRUE 30.58 20.97 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT 240.37 183.64 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT 240.12 187.60 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.33 188.59 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT 240.85 204.53 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT 240.39 191.02 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT 241.12 177.91 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT 240.78 209.69 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT 240.33 231.74 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT 241.17 190.50 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT 240.75 214.76 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TRUE 23.95 15.15 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT 240.88 213.57 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT 240.45 230.30 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT 240.77 214.95 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT 240.89 209.09 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT 241.12 197.05 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT 240.82 190.18 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 77.24 61.33 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i FALSE 78.66 58.16 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT 240.99 192.41 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT 241.02 196.81 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT 241.10 192.67 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 30.52 19.18 None reducercommutativity/avg05_true-unreach-call_true-termination.i TIMEOUT 240.52 223.28 None reducercommutativity/avg10_true-unreach-call_true-termination.i ERROR: EXCEPTION 98.60 61.54 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT 240.38 190.10 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT 240.14 187.93 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT 241.17 189.98 None reducercommutativity/avg_true-unreach-call_true-termination.i TIMEOUT 240.36 232.85 None reducercommutativity/max05_true-unreach-call_true-termination.i ERROR: EXCEPTION 42.49 25.81 None reducercommutativity/max10_true-unreach-call_true-termination.i ERROR: EXCEPTION 77.09 49.50 None reducercommutativity/max20_true-unreach-call.i TIMEOUT 240.33 187.61 None reducercommutativity/max40_true-unreach-call.i TIMEOUT 241.28 193.02 None reducercommutativity/max60_true-unreach-call.i TIMEOUT 240.80 182.53 None reducercommutativity/max_true-unreach-call_true-termination.i ERROR: EXCEPTION 22.26 13.54 None reducercommutativity/sep05_true-unreach-call_true-termination.i ERROR: EXCEPTION 46.62 28.61 None reducercommutativity/sep10_true-unreach-call.i ERROR: EXCEPTION 101.30 63.59 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT 241.29 187.68 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT 241.10 188.74 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT 240.62 188.53 None reducercommutativity/sep_true-unreach-call_true-termination.i ERROR: EXCEPTION 28.33 17.45 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT 240.46 225.10 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT 240.80 208.81 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT 241.94 175.09 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT 241.23 193.18 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT 241.24 190.41 None reducercommutativity/sum_true-unreach-call_true-termination.i ERROR: EXCEPTION 23.14 13.62 None array-tiling/mlceu_false-unreach-call.i TIMEOUT 240.73 208.26 None array-tiling/skippedu_false-unreach-call.i FALSE 17.34 10.86 None array-tiling/mbpr2_true-unreach-call.i ERROR: EXCEPTION 16.25 9.79 None array-tiling/mbpr3_true-unreach-call.i ERROR: EXCEPTION 47.95 33.87 None array-tiling/mbpr4_true-unreach-call.i TIMEOUT 240.59 203.57 None array-tiling/mbpr5_true-unreach-call.i ERROR: EXCEPTION 201.92 168.10 None array-tiling/nr2_true-unreach-call.i ERROR: EXCEPTION 53.27 40.34 None array-tiling/nr3_true-unreach-call.i ERROR: EXCEPTION 50.50 37.19 None array-tiling/nr4_true-unreach-call.i TIMEOUT 240.76 214.27 None array-tiling/nr5_true-unreach-call.i ERROR: EXCEPTION 45.90 32.26 None array-tiling/pnr2_true-unreach-call.i TIMEOUT 241.53 209.11 None array-tiling/pnr3_true-unreach-call.i TIMEOUT 241.08 201.35 None array-tiling/pnr4_true-unreach-call.i TIMEOUT 241.15 212.25 None array-tiling/pnr5_true-unreach-call.i TIMEOUT 240.71 216.41 None array-tiling/poly1_true-unreach-call.i TIMEOUT 240.70 212.48 None array-tiling/poly2_true-unreach-call.i TIMEOUT 240.35 231.44 None array-tiling/pr2_true-unreach-call.i TIMEOUT 240.88 201.88 None array-tiling/pr3_true-unreach-call.i TIMEOUT 240.83 204.61 None array-tiling/pr4_true-unreach-call.i TIMEOUT 240.84 190.61 None array-tiling/pr5_true-unreach-call.i TIMEOUT 240.93 195.73 None array-tiling/revcpyswp2_true-unreach-call.i ERROR: EXCEPTION 63.55 46.85 None array-tiling/rew_true-unreach-call.i TIMEOUT 240.41 209.50 None array-tiling/rewnif_true-unreach-call.i TIMEOUT 240.89 207.69 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT 241.11 201.16 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT 240.41 198.61 None array-tiling/rewrev_true-unreach-call.i TIMEOUT 240.59 222.84 None array-tiling/skipped_true-unreach-call.i TIMEOUT 240.35 203.94 None array-tiling/tcpy_true-unreach-call.i TIMEOUT 240.53 227.24 None array-programs/copysome1_false-unreach-call.i TIMEOUT 240.68 216.11 None array-programs/copysome2_false-unreach-call.i TIMEOUT 240.66 220.98 None array-programs/copysome1_true-unreach-call.i TIMEOUT 240.80 218.76 None array-programs/copysome2_true-unreach-call.i TIMEOUT 240.68 222.41 None array-crafted/bAnd1_true-unreach-call.i TIMEOUT 240.36 194.54 None array-crafted/bAnd2_true-unreach-call.i TIMEOUT 240.23 197.31 None array-crafted/bAnd3_true-unreach-call.i TIMEOUT 240.77 193.66 None array-crafted/bAnd4_true-unreach-call.i TIMEOUT 240.79 195.01 None array-crafted/bAnd5_true-unreach-call.i UNKNOWN: OverapproxCex 16.30 9.58 None array-crafted/bor1_true-unreach-call.i TIMEOUT 241.67 197.46 None array-crafted/bor2_true-unreach-call.i TIMEOUT 240.24 188.62 None array-crafted/bor3_true-unreach-call.i TIMEOUT 240.59 188.20 None array-crafted/bor4_true-unreach-call.i TIMEOUT 241.40 192.56 None array-crafted/bor5_true-unreach-call.i UNKNOWN: OverapproxCex 15.45 9.16 None array-crafted/mapavg1_true-unreach-call.i TIMEOUT 240.76 187.26 None array-crafted/mapavg2_true-unreach-call.i TIMEOUT 240.51 186.94 None array-crafted/mapavg3_true-unreach-call.i TIMEOUT 241.66 191.40 None array-crafted/mapavg4_true-unreach-call.i TIMEOUT 241.21 194.45 None array-crafted/mapavg5_true-unreach-call.i TIMEOUT 240.34 230.96 None array-crafted/mapsum1_true-unreach-call.i TIMEOUT 240.75 189.44 None array-crafted/mapsum2_true-unreach-call.i TIMEOUT 241.23 191.07 None array-crafted/mapsum3_true-unreach-call.i TIMEOUT 240.21 191.62 None array-crafted/mapsum4_true-unreach-call.i TIMEOUT 240.59 188.56 None array-crafted/mapsum5_true-unreach-call.i ERROR: EXCEPTION 19.71 11.75 None array-crafted/xor1_true-unreach-call.i TIMEOUT 240.46 189.77 None array-crafted/xor2_true-unreach-call.i TIMEOUT 240.77 187.00 None array-crafted/xor3_true-unreach-call.i TIMEOUT 241.48 191.36 None array-crafted/xor4_true-unreach-call.i TIMEOUT 240.36 195.30 None array-crafted/xor5_true-unreach-call.i UNKNOWN: OverapproxCex 15.37 9.18 None array-crafted/zero_sum1_true-unreach-call.c TIMEOUT 240.31 200.09 None array-crafted/zero_sum2_true-unreach-call.c TIMEOUT 240.27 199.28 None array-crafted/zero_sum3_true-unreach-call.c TIMEOUT 240.25 201.24 None array-crafted/zero_sum4_true-unreach-call.c TIMEOUT 240.39 199.29 None array-crafted/zero_sum5_true-unreach-call.c TIMEOUT 240.56 198.50 None array-crafted/zero_sum_const1_true-unreach-call.c ERROR: EXCEPTION 32.35 21.51 None array-crafted/zero_sum_const2_true-unreach-call.c TIMEOUT 240.62 198.53 None array-crafted/zero_sum_const3_true-unreach-call.c TIMEOUT 240.47 198.94 None array-crafted/zero_sum_const4_true-unreach-call.c TIMEOUT 240.52 195.94 None array-crafted/zero_sum_const5_true-unreach-call.c TIMEOUT 240.42 193.79 None array-crafted/zero_sum_const_m2_true-unreach-call.c TIMEOUT 240.29 202.55 None array-crafted/zero_sum_const_m3_true-unreach-call.c TIMEOUT 240.38 202.60 None array-crafted/zero_sum_const_m4_true-unreach-call.c TIMEOUT 240.30 202.65 None array-crafted/zero_sum_const_m5_true-unreach-call.c TIMEOUT 241.08 205.76 None array-crafted/zero_sum_m2_true-unreach-call.c TIMEOUT 241.13 206.48 None array-crafted/zero_sum_m3_true-unreach-call.c TIMEOUT 241.10 206.14 None array-crafted/zero_sum_m4_true-unreach-call.c TIMEOUT 240.45 203.62 None array-crafted/zero_sum_m5_true-unreach-call.c TIMEOUT 241.05 207.31 None array-multidimensional/add-2-n-u_true-unreach-call.i TIMEOUT 240.49 224.07 None array-multidimensional/add-3-n-u_true-unreach-call.i TIMEOUT 240.40 228.70 None array-multidimensional/copy-2-u_true-unreach-call.i TIMEOUT 240.54 221.63 None array-multidimensional/copy-3-n-u_true-unreach-call.i TIMEOUT 240.38 228.68 None array-multidimensional/copy-partial-2-n-u_true-unreach-call.i TIMEOUT 240.47 223.07 None array-multidimensional/copy-partial-3-u_true-unreach-call.i TRUE 24.07 15.04 None array-multidimensional/diff-2-n-u_true-unreach-call.i TIMEOUT 240.37 229.68 None array-multidimensional/diff-3-n-u_true-unreach-call.i TIMEOUT 240.37 229.53 None array-multidimensional/init-2-n-u_true-unreach-call.i TIMEOUT 240.52 227.07 None array-multidimensional/init-3-u_true-unreach-call.i TIMEOUT 240.32 232.24 None array-multidimensional/init-4-n-u_true-unreach-call.i TIMEOUT 240.48 224.01 None array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i ERROR: EXCEPTION 13.87 8.53 None array-multidimensional/init-non-constant-3-u_true-unreach-call.i TIMEOUT 240.34 231.04 None array-multidimensional/max-2-u_true-unreach-call.i TIMEOUT 240.50 222.94 None array-multidimensional/max-3-n-u_true-unreach-call.i ERROR: EXCEPTION 28.91 18.39 None array-multidimensional/min-2-u_true-unreach-call.i TIMEOUT 240.53 222.34 None array-multidimensional/min-3-n-u_true-unreach-call.i ERROR: EXCEPTION 29.01 18.67 None array-multidimensional/rev-2-n-u_true-unreach-call.i ERROR: EXCEPTION 22.15 14.16 None array-multidimensional/rev-3-u_true-unreach-call.i TIMEOUT 240.37 229.55 None array-multidimensional/transpose-u_true-unreach-call.i TIMEOUT 240.32 231.36 None reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.24 2.29 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.83 187.36 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.88 188.52 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.91 192.64 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 101.12 65.95 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.69 190.93 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.12 185.21 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 241.35 191.46 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT 240.68 189.23 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 81.95 54.19 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 74.20 48.05 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 40.10 24.73 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 53.00 33.44 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 60.79 37.04 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 55.84 34.52 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 36.04 23.19 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TIMEOUT 241.03 201.67 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TIMEOUT 240.13 200.78 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 182.92 145.50 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 143.97 113.14 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 81.59 54.18 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 79.11 54.14 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 12.03 7.03 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TIMEOUT 241.31 203.90 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TIMEOUT 241.22 202.94 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TIMEOUT 240.86 203.70 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TIMEOUT 240.90 204.35 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TIMEOUT 240.82 193.19 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 26.19 15.94 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 15.68 9.71 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TIMEOUT 240.99 202.88 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TIMEOUT 240.71 194.02 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TIMEOUT 241.07 192.54 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT 240.25 196.61 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT 240.50 197.06 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT 240.34 193.47 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 16.64 10.27 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 17.29 10.68 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.88 213.73 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.62 214.23 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.80 213.58 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.62 214.64 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.83 210.95 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT 240.73 212.07 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 30.09 17.78 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 37.28 22.73 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 48.21 32.35 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 82.47 62.26 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 199.47 172.62 None ntdrivers/cdaudio_false-unreach-call.i.cil.c TIMEOUT 241.20 179.95 None ntdrivers/diskperf_false-unreach-call.i.cil.c FALSE 167.22 117.52 None ntdrivers/floppy_false-unreach-call.i.cil.c TIMEOUT 240.41 187.53 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c TIMEOUT 240.95 182.33 None ntdrivers/parport_false-unreach-call.i.cil.c TIMEOUT 240.77 186.62 None ntdrivers/cdaudio_true-unreach-call.i.cil.c TIMEOUT 241.21 190.58 None ntdrivers/diskperf_true-unreach-call.i.cil.c TIMEOUT 240.52 217.71 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c TIMEOUT 241.41 183.01 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c TIMEOUT 240.51 190.28 None ntdrivers/parport_true-unreach-call.i.cil.c TIMEOUT 240.82 181.23 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 202.02 161.55 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 135.87 103.93 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 140.96 106.54 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 143.85 111.27 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 113.13 83.32 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 107.18 79.52 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 109.96 82.29 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 111.66 81.45 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT 240.56 194.88 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT 240.33 197.16 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT 240.69 193.40 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT 240.17 198.62 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT 240.61 196.72 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 137.29 103.51 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT 240.68 194.01 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT 240.47 196.51 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT 240.73 192.30 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT 240.60 192.19 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT 240.72 195.91 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT 240.71 192.29 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.90 190.05 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT 240.97 191.39 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT 241.08 187.45 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT 240.59 195.35 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT 240.71 194.99 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT 240.70 191.38 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT 240.11 198.80 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT 240.74 190.11 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT 241.10 201.40 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT 240.53 194.43 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT 240.35 198.65 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT 240.67 194.01 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT 240.44 196.08 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT 240.56 195.80 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT 240.73 196.89 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT 241.28 192.68 None heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 127.05 94.30 None heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i TIMEOUT 240.40 200.39 None heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i FALSE 30.96 19.59 None heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i FALSE 199.89 175.84 None heap-manipulation/tree_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 19.00 11.52 None heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 19.35 11.87 None heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 133.73 100.11 None heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i TIMEOUT 241.57 198.54 None heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.21 199.46 None heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 49.52 32.45 None heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 27.11 17.52 None heap-manipulation/tree_true-unreach-call.i ERROR: EXCEPTION 34.19 23.54 None list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i FALSE 14.70 8.48 None list-properties/list_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 23.31 14.88 None list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i FALSE 15.02 9.13 None list-properties/list_search_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 21.40 13.34 None list-properties/simple_false-unreach-call_false-valid-memcleanup.i FALSE 15.23 9.08 None list-properties/splice_false-unreach-call_false-valid-memcleanup.i FALSE 16.68 9.82 None list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.79 12.29 None list-properties/list_flag_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 24.75 15.76 None list-properties/list_search_true-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 29.59 18.25 None list-properties/list_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 23.09 14.57 None list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 20.41 12.73 None list-properties/simple_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.64 11.45 None list-properties/splice_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 27.34 17.77 None ldv-regression/1_3_true-termination.c_false-unreach-call.i FALSE 12.28 7.25 None ldv-regression/alt_test_true-termination.c_false-unreach-call.i FALSE 15.16 8.69 None ldv-regression/callfpointer_true-termination.c_false-unreach-call.i FALSE 7.65 4.67 None ldv-regression/fo_test_true-termination.c_false-unreach-call.i UNKNOWN: OverapproxCex 12.31 6.98 None ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i FALSE 10.80 6.46 None ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i FALSE 10.03 6.05 None ldv-regression/recursive_list_true-termination.c_false-unreach-call.i FALSE 8.62 5.06 None ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i FALSE 12.74 7.50 None ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i FALSE 69.74 48.02 None ldv-regression/stateful_check_false-unreach-call_false-termination.i FALSE 24.04 14.66 None ldv-regression/test_while_int_true-termination.c_false-unreach-call.i FALSE 12.85 7.63 None ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i FALSE 11.31 6.78 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i TRUE 10.84 6.31 None ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i TRUE 9.24 5.47 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i TRUE 9.69 5.83 None ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i TRUE 9.32 5.61 None ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i ERROR: EXCEPTION 29.18 17.74 None ldv-regression/just_assert_true-termination.c_true-unreach-call.i TRUE 8.32 4.99 None ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i TRUE 11.92 7.16 None ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i TRUE 12.06 7.30 None ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i TRUE 9.20 5.47 None ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i TRUE 10.06 6.03 None ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i TRUE 9.76 5.77 None ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i TRUE 10.77 6.32 None ldv-regression/nested_structure_true-termination.c_true-unreach-call.i TRUE 9.49 5.63 None ldv-regression/nested_structure_true-unreach-call_true-termination.i TRUE 10.48 6.24 None ldv-regression/oomInt_true-termination.c_true-unreach-call.i TRUE 11.12 6.64 None ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i TRUE 9.58 5.81 None ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i TRUE 13.61 8.18 None ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i TRUE 57.19 40.91 None ldv-regression/rule60_list_true-termination.c_true-unreach-call.i ERROR: EXCEPTION 11.47 6.44 None ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i TRUE 10.82 6.23 None ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i TRUE 8.99 5.40 None ldv-regression/test_address_true-termination.c_true-unreach-call.i TRUE 11.54 6.78 None ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i TRUE 10.03 5.95 None ldv-regression/test_malloc-1_true-unreach-call_true-termination.i TRUE 11.17 6.45 None ldv-regression/test_malloc-2_true-unreach-call_true-termination.i TRUE 11.28 6.54 None ldv-regression/test_overflow_true-termination.c_true-unreach-call.i TRUE 12.15 6.84 None ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i TRUE 9.96 6.01 None ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i TRUE 9.57 5.73 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i TRUE 9.58 5.69 None ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i TRUE 9.38 5.53 None ldv-regression/test_union_true-termination.c_true-unreach-call.i TRUE 8.99 5.43 None ldv-regression/test_union_true-termination.c_true-unreach-call_1.i TRUE 9.00 5.40 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i TRUE 8.52 5.12 None ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i TRUE 8.92 5.27 None ldv-regression/test02_false-unreach-call_true-termination.c FALSE 7.60 4.64 None ldv-regression/test06_false-unreach-call_true-termination.c FALSE 10.53 6.33 None ldv-regression/test08_false-unreach-call_true-termination.c FALSE 8.31 4.95 None ldv-regression/test12_false-unreach-call_true-termination.c FALSE 7.88 4.83 None ldv-regression/test21_false-unreach-call_true-termination.c FALSE 8.45 5.07 None ldv-regression/test22_false-unreach-call.c FALSE 19.34 12.46 None ldv-regression/test23_false-unreach-call.c FALSE 57.09 41.00 None ldv-regression/test24_false-unreach-call.c FALSE 73.08 52.60 None ldv-regression/test25_false-unreach-call_true-termination.c FALSE 45.26 29.25 None ldv-regression/test26_false-unreach-call_true-termination.c FALSE 7.84 4.77 None ldv-regression/test27_false-unreach-call_true-termination.c FALSE 33.67 22.62 None ldv-regression/test28_false-unreach-call_true-termination.c FALSE 12.07 7.21 None ldv-regression/test29_false-unreach-call_true-termination.c FALSE 12.58 7.36 None ldv-regression/test30_false-unreach-call_true-termination.c FALSE 8.34 5.05 None ldv-regression/test01_true-unreach-call_true-termination.c TRUE 8.91 5.33 None ldv-regression/test03_true-unreach-call_true-termination.c TRUE 10.64 6.36 None ldv-regression/test04_true-unreach-call_true-termination.c TRUE 10.63 6.30 None ldv-regression/test05_true-unreach-call_true-termination.c TRUE 14.21 8.72 None ldv-regression/test07_true-unreach-call_true-termination.c TRUE 12.77 7.82 None ldv-regression/test09_true-unreach-call_true-termination.c TRUE 12.92 7.92 None ldv-regression/test10_true-unreach-call_true-termination.c TRUE 14.22 8.54 None ldv-regression/test11_true-unreach-call_true-termination.c TRUE 12.61 7.46 None ldv-regression/test13_true-unreach-call_true-termination.c TRUE 10.44 6.16 None ldv-regression/test14_true-unreach-call_true-termination.c TRUE 11.94 7.13 None ldv-regression/test15_true-unreach-call_true-termination.c TRUE 10.09 6.10 None ldv-regression/test16_true-unreach-call_true-termination.c TRUE 11.43 6.78 None ldv-regression/test17_true-unreach-call_true-termination.c TRUE 9.57 5.76 None ldv-regression/test18_true-unreach-call_true-termination.c TRUE 12.20 7.27 None ldv-regression/test19_true-unreach-call_true-termination.c TRUE 12.11 7.19 None ldv-regression/test20_true-unreach-call_true-termination.c TRUE 9.82 5.78 None ldv-regression/test21_true-unreach-call_true-termination.c TRUE 13.66 8.26 None ldv-regression/test22_true-unreach-call.c TRUE 43.03 29.84 None ldv-regression/test23_true-unreach-call.c TRUE 229.37 213.27 None ldv-regression/test24_true-unreach-call_true-termination.c TRUE 56.67 47.03 None ldv-regression/test25_true-unreach-call.c TRUE 84.84 74.51 None ldv-regression/test26_true-unreach-call_true-termination.c TRUE 12.06 7.31 None ldv-regression/test27_true-unreach-call_true-termination.c TRUE 105.43 86.97 None ldv-regression/test28_true-unreach-call_true-termination.c TRUE 13.44 7.97 None ldv-regression/test29_true-unreach-call_true-termination.c TRUE 13.03 7.74 None ldv-regression/test30_true-unreach-call_true-termination.c TRUE 15.01 9.38 None ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 19.38 10.38 None ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 18.26 10.27 None ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 18.36 9.79 None ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.81 10.04 None ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 17.92 9.59 None ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.09 9.69 None ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.23 9.77 None ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.60 9.99 None ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.33 9.89 None ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 19.26 10.24 None ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.03 9.68 None ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 17.32 9.24 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 18.26 9.80 None forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 31.20 19.63 None forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i FALSE 13.56 7.90 None forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i FALSE 12.93 7.36 None forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i TIMEOUT 241.11 210.53 None forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE 24.74 15.25 None forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i FALSE 66.88 48.78 None forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 12.62 7.17 None forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i FALSE 16.30 9.90 None forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i FALSE 17.60 10.62 None forester-heap/sll-01_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 30.81 19.30 None forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 19.13 11.54 None forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i FALSE 13.88 8.01 None forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i FALSE 11.96 6.83 None forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 123.13 91.64 None forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i FALSE 23.08 14.34 None forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i FALSE 50.50 36.25 None forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i FALSE 13.06 7.41 None forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i ERROR: EXCEPTION 18.55 11.18 None forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i FALSE 15.30 8.96 None forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 29.00 18.09 None forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 14.73 8.70 None forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 119.76 96.89 None forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.05 209.67 None forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 82.62 65.18 None forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT 241.09 209.47 None forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 33.71 21.88 None forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.74 7.26 None forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 17.76 10.69 None forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 16.90 10.26 None forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 29.36 18.41 None forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 18.67 11.32 None forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 14.52 8.48 None forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 121.50 99.34 None forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 127.50 96.06 None forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.02 15.83 None forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.85 205.81 None forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 29.85 19.47 None forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i ERROR: EXCEPTION 12.91 7.39 None forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 17.32 10.32 None forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 16.53 10.05 None list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i FALSE 12.55 7.16 None list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i ERROR: EXCEPTION 20.58 12.71 None list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i FALSE 11.08 6.40 None list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i ERROR: EXCEPTION 28.70 18.30 None list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i ERROR: EXCEPTION 27.88 17.55 None list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i FALSE 17.12 10.27 None list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i ERROR: EXCEPTION 21.06 12.77 None list-ext2-properties/simple_search_value_false-unreach-call.i ERROR: EXCEPTION 123.13 98.12 None list-ext2-properties/simple_search_value_true-unreach-call.i TIMEOUT 240.74 212.68 None ldv-sets/test_add_false-unreach-call_true-termination.i unknown 7.36 4.17 None ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 6.75 3.80 None ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 7.25 4.03 None ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 7.34 4.15 None ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 6.70 3.83 None ldv-sets/test_add_true-unreach-call_true-termination.i unknown 7.06 3.96 None ldv-sets/test_mutex_true-unreach-call.i unknown 7.40 4.13 None ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 7.29 4.08 None list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 38.85 28.13 None list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 61.66 49.57 None list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 20.36 12.21 None list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 21.99 13.10 None list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 20.69 12.52 None list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 47.18 35.97 None list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 159.46 146.95 None list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.45 227.03 None list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 23.05 14.11 None list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.93 15.03 None list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.46 225.18 None list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 201.71 188.83 None list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.58 220.54 None list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 223.95 None list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 38.13 27.37 None list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.52 227.39 None list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 99.75 85.36 None list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.81 16.00 None list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 14.93 8.62 None list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.61 15.82 None list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.71 218.25 None list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.51 224.41 None list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.80 222.20 None list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.52 225.88 None list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.15 214.67 None list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 181.84 159.61 None list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i TRUE 65.52 47.89 None list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.44 227.58 None list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 25.47 15.34 None list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.03 14.57 None list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.58 225.32 None list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 101.60 90.45 None list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 44.06 34.15 None list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.14 218.24 None list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 207.32 184.46 None list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.63 227.95 None list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 55.30 40.87 None list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i TRUE 60.27 47.06 None list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 23.78 14.46 None list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 24.91 15.25 None heap-data/calendar_true-unreach-call.i ERROR: EXCEPTION 12.97 7.44 None heap-data/cart_true-unreach-call.i ERROR: EXCEPTION 15.04 8.93 None heap-data/hash_fun_true-unreach-call.i TIMEOUT 240.96 214.53 None heap-data/min_max_true-unreach-call.i ERROR: EXCEPTION 13.24 7.60 None heap-data/packet_filter_true-unreach-call.i TIMEOUT 240.67 219.51 None heap-data/process_queue_true-unreach-call.i ERROR: EXCEPTION 17.80 10.98 None heap-data/quick_sort_split_true-unreach-call.i TRUE 13.56 7.86 None heap-data/running_example_true-unreach-call.i TIMEOUT 240.49 225.27 None heap-data/shared_mem1_true-unreach-call.i ERROR: EXCEPTION 76.60 65.25 None heap-data/shared_mem2_true-unreach-call.i TIMEOUT 240.60 224.20 None list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i FALSE 31.00 19.12 None list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i FALSE 27.08 17.40 None list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i FALSE 115.48 91.02 None list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i TIMEOUT 241.93 205.78 None list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 22.31 13.83 None list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 29.76 18.96 None list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i ERROR: EXCEPTION 22.94 14.01 None list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.78 201.30 None list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.75 200.80 None list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i TIMEOUT 240.78 210.11 None loops/array_false-unreach-call_true-termination.i FALSE 10.93 6.47 None loops/bubble_sort_false-unreach-call.i FALSE 23.03 13.76 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 9.01 5.32 None loops/eureka_01_false-unreach-call_true-termination.i ERROR: EXCEPTION 33.98 21.57 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 14.45 8.75 None loops/insertion_sort_false-unreach-call_true-termination.i ERROR: EXCEPTION 31.22 20.79 None loops/invert_string_false-unreach-call_true-termination.i FALSE 43.27 31.16 None loops/linear_search_false-unreach-call.i ERROR: EXCEPTION 43.16 28.00 None loops/ludcmp_false-unreach-call.i UNKNOWN: OverapproxCex 25.47 15.87 None loops/matrix_false-unreach-call_true-termination.i FALSE 14.50 8.63 None loops/n.c24_false-unreach-call.i TIMEOUT 241.17 188.07 None loops/nec11_false-unreach-call_false-termination.i FALSE 9.31 5.47 None loops/nec20_false-unreach-call_true-termination.i FALSE 10.04 6.05 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 169.07 128.14 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 20.08 12.46 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 26.95 17.26 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 19.72 12.36 None loops/sum01_false-unreach-call_true-termination.i FALSE 25.57 16.38 None loops/sum03_false-unreach-call_true-termination.i FALSE 212.57 199.44 None loops/sum04_false-unreach-call_true-termination.i FALSE 14.85 9.13 None loops/sum_array_false-unreach-call.i FALSE 13.68 7.91 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 9.30 5.53 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 9.16 5.44 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 9.95 5.99 None loops/trex01_false-unreach-call_true-termination.i FALSE 9.69 5.89 None loops/trex02_false-unreach-call_true-termination.i FALSE 9.11 5.39 None loops/trex03_false-unreach-call_true-termination.i FALSE 9.44 5.55 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 16.05 9.78 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 39.67 24.97 None loops/vogal_false-unreach-call.i ERROR: EXCEPTION 121.41 91.59 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 9.57 5.60 None loops/array_true-unreach-call_true-termination.i TRUE 17.56 10.82 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 9.36 5.60 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 19.61 11.96 None loops/eureka_01_true-unreach-call.i TIMEOUT 241.07 196.42 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT 240.88 211.60 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.59 6.24 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 10.17 6.09 None loops/insertion_sort_true-unreach-call_true-termination.i ERROR: EXCEPTION 29.16 19.26 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT 240.82 217.20 None loops/linear_sea.ch_true-unreach-call.i ERROR: EXCEPTION 58.88 44.62 None loops/lu.cmp_true-unreach-call.i TRUE 24.82 15.38 None loops/matrix_true-unreach-call_true-termination.i TRUE 24.46 17.13 None loops/n.c11_true-unreach-call_false-termination.i TRUE 18.94 11.80 None loops/n.c40_true-unreach-call_true-termination.i TRUE 12.59 7.32 None loops/nec40_true-unreach-call_true-termination.i TRUE 13.59 7.92 None loops/string_true-unreach-call_true-termination.i TRUE 21.59 13.48 None loops/sum01_true-unreach-call_true-termination.i TRUE 16.91 10.74 None loops/sum03_true-unreach-call_false-termination.i TRUE 11.96 8.05 None loops/sum04_true-unreach-call_true-termination.i TRUE 22.75 14.33 None loops/sum_array_true-unreach-call.i TIMEOUT 240.37 211.67 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 12.45 7.52 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 11.54 6.84 None loops/trex01_true-unreach-call_true-termination.i TRUE 11.51 6.86 None loops/trex02_true-unreach-call_true-termination.i TRUE 11.14 6.53 None loops/trex03_true-unreach-call_true-termination.i TRUE 10.39 6.26 None loops/trex04_true-unreach-call_false-termination.i TRUE 11.48 6.75 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 16.31 9.98 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 15.09 9.11 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 10.56 6.32 None loops/vogal_true-unreach-call.i ERROR: EXCEPTION 69.30 47.08 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 10.60 6.31 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 9.42 5.69 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 10.86 6.47 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT 240.34 198.03 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT 240.23 198.51 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT 241.14 194.94 None loop-acceleration/const_false-unreach-call1.i TIMEOUT 240.49 213.86 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT 241.10 201.12 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT 240.87 209.08 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 8.55 5.17 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT 241.10 203.13 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT 240.66 217.06 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 8.63 5.27 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT 240.46 224.32 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 8.74 5.40 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 9.11 5.35 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT 240.48 225.56 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 17.68 10.71 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 16.44 10.23 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 19.70 13.57 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT 241.27 202.43 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 18.65 11.60 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT 240.99 197.35 None loop-acceleration/const_true-unreach-call1.i TRUE 14.40 8.83 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT 240.85 212.75 None loop-acceleration/diamond_true-unreach-call2.i TIMEOUT 240.50 223.53 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT 241.03 216.49 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 10.29 6.12 None loop-acceleration/nested_true-unreach-call1.i TRUE 53.57 45.81 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT 240.56 226.04 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT 240.74 217.82 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 17.58 12.96 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT 240.45 224.70 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 9.12 5.52 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 13.03 8.47 None loop-acceleration/simple_true-unreach-call4.i TRUE 16.90 11.74 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 45.88 35.96 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 15.36 9.32 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 9.91 5.91 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT 240.40 229.89 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT 240.48 226.56 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT 240.91 215.84 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 58.96 50.52 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 9.80 5.82 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 17.30 11.92 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c TRUE 68.89 56.62 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c TRUE 59.69 49.45 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 12.96 7.80 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 16.68 10.43 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 15.01 9.47 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 33.00 22.44 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 27.16 17.91 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 23.13 15.09 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT 240.40 179.33 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT 240.68 176.88 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT 240.82 191.58 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 235.44 192.04 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 12.39 7.46 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 20.34 12.68 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 11.25 6.60 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 22.77 14.58 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 23.72 15.61 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 48.91 34.38 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT 241.13 187.22 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT 240.74 186.79 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT 240.37 179.73 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TRUE 45.02 29.08 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TRUE 61.24 39.03 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TRUE 55.46 36.16 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TRUE 104.69 75.27 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TRUE 113.28 77.89 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TRUE 47.31 30.81 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TRUE 41.59 26.77 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TRUE 32.97 19.91 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TRUE 31.78 19.64 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 12.75 7.72 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 13.44 8.19 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 17.90 11.65 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 16.25 10.00 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 15.57 9.68 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 14.55 8.99 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 11.36 6.81 None loop-lit/ddlm2013_true-unreach-call.i TRUE 21.30 13.01 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 234.66 173.34 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 15.51 9.67 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT 240.94 181.03 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 12.61 7.56 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 14.02 8.52 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 18.94 12.13 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 19.33 12.54 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT 241.01 217.63 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 9.61 5.70 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TRUE 239.75 177.38 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TIMEOUT 241.38 188.61 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TRUE 11.70 7.01 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TRUE 11.66 6.88 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TRUE 12.66 7.68 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TRUE 15.65 9.67 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 13.02 8.04 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 14.21 8.73 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT 240.30 173.62 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT 240.97 193.20 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT 241.03 182.81 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT 240.82 197.97 None loop-new/half_true-unreach-call_true-termination.i TRUE 27.88 18.33 None loop-new/nested_true-unreach-call_true-termination.i TIMEOUT 241.07 200.89 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TIMEOUT 240.58 198.72 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TIMEOUT 240.69 198.93 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TIMEOUT 240.66 199.08 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.73 3.85 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.59 3.77 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.44 3.73 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.51 3.73 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c TIMEOUT 240.45 227.76 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TIMEOUT 240.43 228.39 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c TIMEOUT 240.64 216.37 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c ERROR: EXCEPTION 61.37 33.49 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 28.76 21.80 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TRUE 17.71 12.28 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TRUE 16.98 11.65 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TRUE 18.04 12.99 None loop-industry-pattern/nested_true-unreach-call.c TRUE 197.91 148.68 None loop-industry-pattern/ofuf_1_true-unreach-call.c TRUE 25.21 15.47 None loop-industry-pattern/ofuf_2_true-unreach-call.c TRUE 22.15 13.67 None loop-industry-pattern/ofuf_3_true-unreach-call.c TRUE 22.84 14.06 None loop-industry-pattern/ofuf_4_true-unreach-call.c TRUE 23.05 14.46 None loop-industry-pattern/ofuf_5_true-unreach-call.c TRUE 24.42 14.93 None loops/heavy_true-unreach-call.c TRUE 25.61 14.96 None loops/compact_false-unreach-call.c TIMEOUT 240.34 215.66 None loops/heavy_false-unreach-call.c TIMEOUT 240.98 201.72 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT 240.57 219.74 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT 240.81 216.03 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT 240.99 190.20 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT 240.51 222.74 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT 240.72 220.95 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT 240.67 219.49 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT 240.57 222.70 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT 240.58 219.48 None loops-crafted-1/nested3_true-unreach-call.c TIMEOUT 240.67 221.83 None loops-crafted-1/nested5_true-unreach-call.c TRUE 65.34 57.70 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c FALSE 8.38 5.01 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 11.25 6.75 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.40 6.24 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.31 6.01 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.47 6.28 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.43 6.19 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 14.92 10.44 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 58846.63 5526.12 - Statistics: 1550 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1550