BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-mempurity-32-notaipan-lbe.xml name: equality-cav18-mempurity-32-notaipan-lbe run sets: AutomizerCamel_Seq.32bitMem, AbsInt_Seq.32bitMem, AbsInt_imprecise_Seq.32bitMem, AbsInt_Seq_Inl.32bitMem, AbsInt_imprecise_Seq_Inl.32bitMem, AbsInt_SS.32bitMem, AbsInt_imprecise_SS.32bitMem, AbsInt_LFB.32bitMem, AbsInt_imprecise_LFB.32bitMem date: Sat, 2018-01-27 22:47:09 CET tool: ULTIMATE Automizer 0.1.23-d63d1fb5 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv parallel runs: 2 resource limits: - memory: 6000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: monteverdi os: Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1 cpu: Intel Core i7-2600 CPU @ 3.40GHz - cores: 8 - max frequency: 3800.0 MHz - turbo boost enabled: True ram: 25257.209855999998 MB ------------------------------------------------------------ AutomizerCamel_Seq.32bitMem Run set 1 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i TIMEOUT (FALSE(valid-memtrack)) 91.69 75.38 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 5.74 3.15 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 5.68 3.15 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 6.18 3.35 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 5.82 3.20 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 5.94 3.21 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 5.87 3.17 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 5.78 3.14 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 5.61 3.08 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 5.75 3.13 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 5.65 3.13 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 5.88 3.17 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 5.64 3.13 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 6.29 3.36 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 6.15 3.33 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 5.73 3.13 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 5.80 3.20 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 5.71 3.09 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 5.68 3.10 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 5.57 3.04 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 5.76 3.18 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 6.02 3.24 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 5.72 3.13 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 5.98 3.25 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 6.25 3.40 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 5.62 3.05 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 6.05 3.23 None array-examples/standard_running_false-unreach-call.i TRUE 5.55 3.43 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TIMEOUT (FALSE(valid-memtrack)) 91.61 53.66 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT (FALSE(valid-memtrack)) 91.45 53.05 None array-examples/relax_true-unreach-call.i FALSE(valid-memtrack) 22.01 13.13 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 5.78 3.16 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 5.93 3.20 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 5.73 3.14 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 5.48 3.04 None array-examples/sanfoundry_43_true-unreach-call_ground.i TIMEOUT (FALSE(valid-memtrack)) 90.71 69.00 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 5.94 3.21 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 6.40 3.44 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 5.66 3.10 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 5.91 3.16 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 6.07 3.29 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 5.64 3.07 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 6.27 3.33 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 6.26 3.38 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 6.24 3.38 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 5.75 3.38 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 6.03 3.33 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 6.35 3.47 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 6.28 3.40 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 5.62 3.10 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 5.73 3.26 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 5.98 3.29 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 5.82 3.15 None array-examples/standard_find_true-unreach-call_ground.i TRUE 5.86 3.16 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 5.59 3.02 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 5.59 3.09 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 5.94 3.21 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 5.91 3.18 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 5.86 3.20 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 5.62 3.09 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 5.88 3.18 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 5.74 3.12 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 5.94 3.22 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 5.50 3.04 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 5.59 3.08 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 5.62 3.09 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 5.96 3.18 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 5.60 3.05 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 5.66 3.08 None array-examples/standard_password_true-unreach-call_ground.i TRUE 5.26 2.92 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 5.75 3.09 None array-examples/standard_running_true-unreach-call.i TRUE 5.74 3.08 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 5.52 3.03 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 5.50 3.01 None array-examples/standard_strcmp_true-unreach-call_ground.i FALSE(valid-memtrack) 10.80 5.79 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 5.28 2.95 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 5.62 3.05 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 5.84 3.16 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 5.98 3.18 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 5.84 3.16 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 5.33 2.93 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 5.78 3.15 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.02 3.25 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 5.95 3.20 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 5.70 3.14 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 5.60 3.07 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.06 3.23 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 5.51 3.03 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 5.68 3.12 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.27 82.28 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 5.86 3.16 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.15 80.80 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 8.13 4.49 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 92.32 53.54 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 5.63 3.05 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 5.96 3.19 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.28 82.33 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.40 74.51 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TIMEOUT (ERROR (143)) 96.44 68.96 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 90.36 77.94 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.59 73.93 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.62 74.24 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.48 75.07 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.44 74.03 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 8.60 4.73 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE(valid-memtrack) 32.84 17.86 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 95.75 76.33 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT (ERROR (143)) 95.89 74.21 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT (ERROR (143)) 95.63 77.89 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT (ERROR (143)) 96.27 85.60 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE(valid-memtrack) 14.50 7.80 None reducercommutativity/avg05_true-unreach-call_true-termination.i FALSE(valid-memtrack) 26.24 13.84 None reducercommutativity/avg10_true-unreach-call_true-termination.i FALSE(valid-memtrack) 53.69 28.25 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 90.84 57.58 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 91.21 60.03 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 91.32 60.12 None reducercommutativity/avg_true-unreach-call_true-termination.i FALSE(valid-memtrack) 11.78 6.29 None reducercommutativity/max05_true-unreach-call_true-termination.i FALSE(valid-memtrack) 27.00 14.24 None reducercommutativity/max10_true-unreach-call_true-termination.i FALSE(valid-memtrack) 54.80 29.27 None reducercommutativity/max20_true-unreach-call.i TIMEOUT (ERROR (143)) 96.10 62.73 None reducercommutativity/max40_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 91.04 55.84 None reducercommutativity/max60_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 90.79 55.43 None reducercommutativity/max_true-unreach-call_true-termination.i FALSE(valid-memtrack) 12.79 6.85 None reducercommutativity/sep05_true-unreach-call_true-termination.i FALSE(valid-memtrack) 27.32 14.39 None reducercommutativity/sep10_true-unreach-call.i FALSE(valid-memtrack) 52.58 28.31 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 91.19 56.96 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 94.91 62.78 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT (ERROR (143)) 96.04 62.73 None reducercommutativity/sep_true-unreach-call_true-termination.i FALSE(valid-memtrack) 12.60 6.88 None reducercommutativity/sum05_true-unreach-call_true-termination.i FALSE(valid-memtrack) 27.05 14.35 None reducercommutativity/sum10_true-unreach-call_true-termination.i FALSE(valid-memtrack) 48.42 26.20 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT (FALSE(valid-memtrack)) 92.95 57.62 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT (ERROR (143)) 95.51 65.17 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT (ERROR (143)) 96.01 60.13 None reducercommutativity/sum_true-unreach-call_true-termination.i FALSE(valid-memtrack) 13.49 7.36 None array-tiling/mlceu_false-unreach-call.i TRUE 6.50 3.60 None array-tiling/skippedu_false-unreach-call.i TRUE 6.06 3.39 None array-tiling/mbpr2_true-unreach-call.i TRUE 6.21 3.41 None array-tiling/mbpr3_true-unreach-call.i TRUE 6.79 3.85 None array-tiling/mbpr4_true-unreach-call.i TRUE 6.67 3.68 None array-tiling/mbpr5_true-unreach-call.i TRUE 7.25 4.06 None array-tiling/nr2_true-unreach-call.i TRUE 6.52 3.68 None array-tiling/nr3_true-unreach-call.i TRUE 6.87 3.81 None array-tiling/nr4_true-unreach-call.i TRUE 6.56 3.60 None array-tiling/nr5_true-unreach-call.i TRUE 6.55 3.57 None array-tiling/pnr2_true-unreach-call.i TRUE 6.22 3.44 None array-tiling/pnr3_true-unreach-call.i TRUE 6.08 3.37 None array-tiling/pnr4_true-unreach-call.i TRUE 6.28 3.44 None array-tiling/pnr5_true-unreach-call.i TRUE 6.59 3.67 None array-tiling/poly1_true-unreach-call.i TRUE 5.88 3.21 None array-tiling/poly2_true-unreach-call.i TRUE 5.86 3.29 None array-tiling/pr2_true-unreach-call.i TRUE 5.94 3.32 None array-tiling/pr3_true-unreach-call.i TRUE 6.35 3.68 None array-tiling/pr4_true-unreach-call.i TRUE 6.01 3.40 None array-tiling/pr5_true-unreach-call.i TRUE 6.16 3.51 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 6.16 3.58 None array-tiling/rew_true-unreach-call.i TRUE 6.57 3.54 None array-tiling/rewnif_true-unreach-call.i TRUE 6.10 3.41 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.19 3.55 None array-tiling/rewnifrev_true-unreach-call.i TRUE 5.88 3.26 None array-tiling/rewrev_true-unreach-call.i TRUE 6.09 3.29 None array-tiling/skipped_true-unreach-call.i TRUE 6.38 3.51 None array-tiling/tcpy_true-unreach-call.i TRUE 6.06 3.51 None array-programs/copysome1_false-unreach-call.i TRUE 6.04 3.54 None array-programs/copysome2_false-unreach-call.i TRUE 5.98 3.30 None array-programs/copysome1_true-unreach-call.i TRUE 6.57 3.53 None array-programs/copysome2_true-unreach-call.i TRUE 6.41 3.67 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.85 6.58 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.58 5.69 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 11.06 6.05 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.13 5.31 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.86 6.02 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.86 5.38 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.10 5.57 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 10.79 5.88 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 7.78 4.22 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 9.03 5.02 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 7.78 4.54 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 7.79 4.31 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 7.87 4.27 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 7.57 4.11 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 8.32 4.47 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 8.32 4.89 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 8.38 4.60 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 8.44 4.79 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 7.88 4.30 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 7.76 4.21 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 7.37 4.08 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 8.90 4.89 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 7.75 4.34 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 7.82 4.33 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 7.71 4.30 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 8.71 4.69 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 8.61 4.71 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 6.86 4.08 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 6.78 3.60 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 7.87 4.49 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 8.14 4.68 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 8.31 4.45 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 8.50 4.65 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 8.46 5.11 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 7.83 4.50 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.36 3.83 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.63 3.86 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.25 3.58 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.51 3.68 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.43 3.63 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.70 3.65 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.66 3.62 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.36 3.49 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.26 3.50 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.79 3.76 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.65 4.19 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.19 3.62 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.32 3.43 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 5.97 3.21 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.73 3.37 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.30 3.37 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.43 2.99 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.60 3.51 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.19 3.64 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.88 3.15 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.25 4.26 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.62 3.48 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.45 3.58 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c FALSE(valid-memtrack) 33.96 20.30 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c FALSE(valid-memtrack) 36.42 21.68 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c FALSE(valid-memtrack) 34.98 20.18 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c FALSE(valid-memtrack) 36.48 21.29 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c FALSE(valid-memtrack) 22.45 12.73 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c FALSE(valid-memtrack) 20.07 12.57 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c FALSE(valid-memtrack) 21.28 12.63 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c FALSE(valid-memtrack) 18.55 10.75 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c FALSE(valid-memtrack) 19.05 10.92 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c FALSE(valid-memtrack) 21.65 12.22 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c FALSE(valid-memtrack) 21.78 12.19 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c FALSE(valid-memtrack) 21.90 12.40 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c FALSE(valid-memtrack) 23.84 13.72 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c FALSE(valid-memtrack) 23.28 13.30 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c FALSE(valid-memtrack) 22.79 12.83 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c FALSE(valid-memtrack) 22.28 13.41 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c FALSE(valid-memtrack) 23.21 13.87 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c FALSE(valid-memtrack) 22.59 13.10 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c FALSE(valid-memtrack) 21.37 13.50 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c FALSE(valid-memtrack) 35.36 20.42 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c FALSE(valid-memtrack) 34.23 19.99 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c FALSE(valid-memtrack) 41.74 23.71 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c FALSE(valid-memtrack) 36.42 21.02 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.14 11.91 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c FALSE(valid-memtrack) 18.38 10.57 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.36 11.93 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c FALSE(valid-memtrack) 20.56 11.68 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c FALSE(valid-memtrack) 22.10 12.45 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.81 12.19 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.76 12.26 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.65 12.26 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c FALSE(valid-memtrack) 20.04 11.31 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.41 12.04 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.23 12.07 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.46 12.00 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c FALSE(valid-memtrack) 21.26 11.81 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 4601.30 1774.84 - AbsInt_Seq.32bitMem Run set 2 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 16.51 8.54 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.24 4.10 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.28 3.96 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 8.38 4.50 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 8.14 4.30 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.44 3.91 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 6.71 3.63 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 8.19 4.41 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 8.29 4.36 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 8.67 4.71 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 9.61 5.01 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 10.05 5.28 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 10.43 5.45 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 10.39 5.53 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 10.36 5.51 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 6.78 3.66 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 6.48 3.49 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 6.71 3.60 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 6.48 3.46 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 7.10 3.81 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 6.83 3.72 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 6.98 3.86 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 7.53 3.97 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 7.11 3.87 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 7.41 3.95 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 6.70 3.57 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 8.74 4.63 None array-examples/standard_running_false-unreach-call.i TRUE 7.16 3.84 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 16.94 8.77 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 17.49 9.04 None array-examples/relax_true-unreach-call.i unknown 21.30 11.04 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 7.38 3.99 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.63 4.11 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 6.53 3.49 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 6.80 3.63 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 8.79 4.66 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.11 3.85 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 8.35 4.44 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 7.71 4.08 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 6.88 3.66 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 7.59 4.04 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 8.18 4.37 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 8.34 4.46 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 9.18 4.87 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 9.52 5.02 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 10.04 5.26 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 9.89 5.24 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 10.25 5.44 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 10.75 5.63 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 6.88 3.68 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 6.94 3.72 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 6.94 3.75 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 7.55 4.02 None array-examples/standard_find_true-unreach-call_ground.i TRUE 6.93 3.68 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 6.51 3.54 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 6.71 3.62 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 6.73 3.60 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 6.85 3.71 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 6.96 3.73 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 7.29 3.92 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.35 3.99 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 6.94 3.78 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.53 4.04 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.88 3.68 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 6.73 3.65 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.29 3.42 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 8.48 4.47 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 7.92 4.30 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 8.60 4.53 None array-examples/standard_password_true-unreach-call_ground.i TRUE 6.79 3.63 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 5.87 3.24 None array-examples/standard_running_true-unreach-call.i TRUE 6.70 3.64 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.35 3.44 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.46 3.52 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 8.57 4.51 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 7.42 4.02 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 7.77 4.08 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 6.59 3.53 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.53 3.51 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.70 3.58 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.23 3.41 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 5.96 3.22 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.53 3.51 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.74 3.59 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.38 3.48 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 5.99 3.25 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.23 3.39 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.01 3.25 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.88 3.74 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.28 82.64 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 7.74 4.08 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.16 79.25 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 9.75 5.58 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 19.88 10.23 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.33 3.47 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 6.95 3.80 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.13 81.78 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.39 77.17 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 23.68 12.50 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 91.37 78.98 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.37 74.90 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.59 74.93 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.22 77.84 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.36 75.92 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 6.62 3.62 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 15.39 8.11 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 17.97 9.42 None reducercommutativity/rangesum20_false-unreach-call.i unknown 18.37 9.68 None reducercommutativity/rangesum40_false-unreach-call.i unknown 19.00 9.95 None reducercommutativity/rangesum60_false-unreach-call.i unknown 18.80 9.95 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 19.81 10.31 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 14.44 7.65 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 10.16 5.37 None reducercommutativity/avg20_true-unreach-call.i unknown 10.63 5.57 None reducercommutativity/avg40_true-unreach-call.i unknown 10.21 5.38 None reducercommutativity/avg60_true-unreach-call.i unknown 10.21 5.41 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 8.04 4.32 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 11.69 6.11 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 11.74 6.14 None reducercommutativity/max20_true-unreach-call.i unknown 11.38 5.98 None reducercommutativity/max40_true-unreach-call.i unknown 11.44 6.03 None reducercommutativity/max60_true-unreach-call.i unknown 11.70 6.10 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 9.08 4.82 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 10.16 5.36 None reducercommutativity/sep10_true-unreach-call.i unknown 10.42 5.48 None reducercommutativity/sep20_true-unreach-call.i unknown 10.51 5.56 None reducercommutativity/sep40_true-unreach-call.i unknown 10.39 5.47 None reducercommutativity/sep60_true-unreach-call.i unknown 10.44 5.45 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 8.28 4.42 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 10.15 5.34 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 10.37 5.42 None reducercommutativity/sum20_true-unreach-call.i unknown 10.18 5.45 None reducercommutativity/sum40_true-unreach-call.i unknown 10.29 5.37 None reducercommutativity/sum60_true-unreach-call.i unknown 10.18 5.40 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 8.00 4.47 None array-tiling/mlceu_false-unreach-call.i TRUE 6.74 3.65 None array-tiling/skippedu_false-unreach-call.i TRUE 6.59 3.58 None array-tiling/mbpr2_true-unreach-call.i TRUE 6.97 3.77 None array-tiling/mbpr3_true-unreach-call.i TRUE 7.71 4.09 None array-tiling/mbpr4_true-unreach-call.i TRUE 7.82 4.18 None array-tiling/mbpr5_true-unreach-call.i TRUE 8.07 4.37 None array-tiling/nr2_true-unreach-call.i TRUE 7.38 3.93 None array-tiling/nr3_true-unreach-call.i TRUE 7.11 3.90 None array-tiling/nr4_true-unreach-call.i TRUE 7.03 3.78 None array-tiling/nr5_true-unreach-call.i TRUE 6.98 3.79 None array-tiling/pnr2_true-unreach-call.i TRUE 7.05 3.80 None array-tiling/pnr3_true-unreach-call.i TRUE 7.64 4.06 None array-tiling/pnr4_true-unreach-call.i TRUE 7.47 4.03 None array-tiling/pnr5_true-unreach-call.i TRUE 7.95 4.27 None array-tiling/poly1_true-unreach-call.i TRUE 6.34 3.41 None array-tiling/poly2_true-unreach-call.i TRUE 6.65 3.58 None array-tiling/pr2_true-unreach-call.i TRUE 6.96 3.80 None array-tiling/pr3_true-unreach-call.i TRUE 7.51 4.06 None array-tiling/pr4_true-unreach-call.i TRUE 8.38 4.50 None array-tiling/pr5_true-unreach-call.i TRUE 9.81 5.18 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 8.46 4.53 None array-tiling/rew_true-unreach-call.i TRUE 6.73 3.60 None array-tiling/rewnif_true-unreach-call.i TRUE 6.73 3.58 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.18 3.40 None array-tiling/rewnifrev_true-unreach-call.i TRUE 6.36 3.48 None array-tiling/rewrev_true-unreach-call.i TRUE 6.47 3.47 None array-tiling/skipped_true-unreach-call.i TRUE 6.47 3.53 None array-tiling/tcpy_true-unreach-call.i TRUE 7.07 3.82 None array-programs/copysome1_false-unreach-call.i TRUE 7.57 4.05 None array-programs/copysome2_false-unreach-call.i TRUE 8.27 4.37 None array-programs/copysome1_true-unreach-call.i TRUE 7.41 3.98 None array-programs/copysome2_true-unreach-call.i TRUE 7.89 4.24 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.16 65.39 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.25 67.73 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.06 67.71 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 39.69 22.45 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.56 65.66 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.64 66.71 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.20 66.62 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 95.12 68.42 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 30.69 16.32 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 40.22 22.93 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 24.79 13.84 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 26.53 15.82 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 31.38 19.60 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 26.73 14.94 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 36.98 22.16 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 27.89 16.25 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 35.82 22.98 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 32.69 19.56 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 33.00 18.82 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 27.76 15.31 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 26.94 15.38 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 34.76 20.41 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 24.98 13.98 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 30.14 17.50 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 33.02 19.85 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 26.52 14.79 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 26.91 15.20 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 8.60 4.61 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 7.27 3.98 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 26.54 15.10 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 26.05 14.78 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 25.47 14.65 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 30.57 18.79 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 26.96 15.87 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 27.90 16.35 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.24 5.98 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.31 6.41 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.36 5.01 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.94 5.26 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.15 5.52 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.93 5.74 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.35 5.98 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.09 6.35 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.42 3.97 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.79 4.17 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.00 4.26 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.26 4.47 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.98 4.79 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 5.79 3.18 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.61 3.06 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 5.60 3.07 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.31 2.90 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.29 3.35 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 5.87 3.24 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.64 3.07 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.11 3.79 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.17 3.27 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.56 3.49 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.13 71.61 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.41 73.22 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.19 71.27 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.12 74.28 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.81 71.53 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.08 70.91 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.35 70.55 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.10 72.17 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.10 70.40 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.18 70.55 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.03 71.81 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.59 69.08 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.13 69.70 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.99 68.13 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.92 71.34 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.60 71.67 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.82 69.16 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.95 69.91 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.45 71.24 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.98 72.14 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.87 70.96 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.87 70.45 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.97 69.69 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.08 69.28 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.77 71.28 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.48 70.33 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.61 69.22 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.78 70.92 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.25 67.90 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.33 70.94 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.77 71.26 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.16 71.78 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.03 69.56 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.77 73.65 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.40 68.69 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.08 71.14 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 7124.65 2534.61 - AbsInt_imprecise_Seq.32bitMem Run set 3 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 9.91 5.30 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.04 3.80 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 6.75 3.67 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 8.00 4.29 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 7.90 4.22 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.53 3.97 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 6.48 3.51 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 7.18 3.88 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 7.26 3.91 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 7.41 3.99 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 7.62 4.09 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 7.83 4.18 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 7.89 4.21 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 8.16 4.35 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 8.66 4.59 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 6.58 3.51 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 6.42 3.51 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 6.27 3.47 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 6.47 3.51 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 6.60 3.69 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 6.96 3.74 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 6.95 3.76 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 6.94 3.79 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 7.06 3.81 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 7.20 3.90 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 6.84 3.69 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 7.83 4.22 None array-examples/standard_running_false-unreach-call.i TRUE 6.63 3.58 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 10.80 5.69 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 11.03 5.82 None array-examples/relax_true-unreach-call.i unknown 12.00 6.29 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 7.71 4.16 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.89 4.25 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 6.64 3.83 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 7.09 3.92 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 7.00 4.24 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 8.08 4.47 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 8.60 4.68 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 8.10 4.45 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 6.85 3.73 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 7.52 4.02 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 7.01 3.81 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 7.49 4.14 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 7.74 4.20 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 8.27 4.38 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 7.61 4.11 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 7.93 4.27 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 8.31 4.38 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 8.05 4.32 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 6.61 3.55 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 6.60 3.59 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 6.82 3.64 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 6.50 3.89 None array-examples/standard_find_true-unreach-call_ground.i TRUE 6.50 3.52 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 6.53 3.50 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 6.87 3.65 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 6.82 3.66 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 6.47 3.46 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 7.11 3.84 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 7.09 3.76 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.02 3.92 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.05 3.79 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.22 3.87 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.76 3.67 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 7.48 3.95 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.37 3.44 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 7.06 3.80 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 7.46 3.96 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 7.31 3.89 None array-examples/standard_password_true-unreach-call_ground.i TRUE 6.77 3.56 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 6.33 3.43 None array-examples/standard_running_true-unreach-call.i TRUE 6.72 3.61 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.08 3.35 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.61 3.52 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 7.43 3.99 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 6.24 3.36 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 6.87 3.73 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 6.02 3.37 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.71 3.59 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.23 3.36 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.13 3.34 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.33 3.35 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.21 3.40 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.57 3.45 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.33 3.44 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 6.32 3.37 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.22 3.37 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.22 3.33 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.62 3.58 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.26 82.12 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 7.10 3.74 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.18 78.89 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 9.38 5.10 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 9.63 5.09 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.53 3.51 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 6.70 3.56 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.14 81.89 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.39 76.43 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 11.02 5.88 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 90.40 77.91 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.30 76.05 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.40 77.16 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 91.19 80.06 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.29 76.51 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 6.72 3.68 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 10.89 5.74 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 15.88 8.40 None reducercommutativity/rangesum20_false-unreach-call.i unknown 16.11 8.59 None reducercommutativity/rangesum40_false-unreach-call.i unknown 15.94 8.55 None reducercommutativity/rangesum60_false-unreach-call.i unknown 16.53 8.85 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 17.48 9.17 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 13.87 7.51 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 13.92 7.60 None reducercommutativity/avg20_true-unreach-call.i unknown 10.33 5.59 None reducercommutativity/avg40_true-unreach-call.i unknown 8.31 4.46 None reducercommutativity/avg60_true-unreach-call.i unknown 8.56 4.55 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 7.82 4.20 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 9.51 4.97 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 9.12 4.89 None reducercommutativity/max20_true-unreach-call.i unknown 9.11 4.85 None reducercommutativity/max40_true-unreach-call.i unknown 9.44 4.99 None reducercommutativity/max60_true-unreach-call.i unknown 9.47 5.07 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 8.43 4.47 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 8.25 4.48 None reducercommutativity/sep10_true-unreach-call.i unknown 8.35 4.48 None reducercommutativity/sep20_true-unreach-call.i unknown 8.54 4.50 None reducercommutativity/sep40_true-unreach-call.i unknown 8.46 4.47 None reducercommutativity/sep60_true-unreach-call.i unknown 8.58 4.58 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 7.75 4.14 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 8.28 4.42 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 8.31 4.42 None reducercommutativity/sum20_true-unreach-call.i unknown 8.45 4.53 None reducercommutativity/sum40_true-unreach-call.i unknown 8.36 4.45 None reducercommutativity/sum60_true-unreach-call.i unknown 8.45 4.45 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 7.44 4.03 None array-tiling/mlceu_false-unreach-call.i TRUE 6.32 3.41 None array-tiling/skippedu_false-unreach-call.i TRUE 6.47 3.48 None array-tiling/mbpr2_true-unreach-call.i TRUE 6.86 3.71 None array-tiling/mbpr3_true-unreach-call.i TRUE 6.79 3.71 None array-tiling/mbpr4_true-unreach-call.i TRUE 7.71 4.13 None array-tiling/mbpr5_true-unreach-call.i TRUE 7.87 4.16 None array-tiling/nr2_true-unreach-call.i TRUE 6.93 3.71 None array-tiling/nr3_true-unreach-call.i TRUE 7.26 3.82 None array-tiling/nr4_true-unreach-call.i TRUE 6.66 3.57 None array-tiling/nr5_true-unreach-call.i TRUE 7.08 3.83 None array-tiling/pnr2_true-unreach-call.i TRUE 6.64 3.63 None array-tiling/pnr3_true-unreach-call.i TRUE 7.07 3.76 None array-tiling/pnr4_true-unreach-call.i TRUE 7.21 3.86 None array-tiling/pnr5_true-unreach-call.i TRUE 7.54 4.06 None array-tiling/poly1_true-unreach-call.i TRUE 6.32 3.44 None array-tiling/poly2_true-unreach-call.i TRUE 6.58 3.60 None array-tiling/pr2_true-unreach-call.i TRUE 7.05 3.77 None array-tiling/pr3_true-unreach-call.i TRUE 7.81 4.26 None array-tiling/pr4_true-unreach-call.i TRUE 7.97 4.27 None array-tiling/pr5_true-unreach-call.i TRUE 8.78 4.71 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 6.69 3.61 None array-tiling/rew_true-unreach-call.i TRUE 6.39 3.54 None array-tiling/rewnif_true-unreach-call.i TRUE 6.12 3.37 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 5.98 3.25 None array-tiling/rewnifrev_true-unreach-call.i TRUE 6.55 3.52 None array-tiling/rewrev_true-unreach-call.i TRUE 6.79 3.66 None array-tiling/skipped_true-unreach-call.i TRUE 6.27 3.46 None array-tiling/tcpy_true-unreach-call.i TRUE 6.32 3.48 None array-programs/copysome1_false-unreach-call.i TRUE 6.92 3.73 None array-programs/copysome2_false-unreach-call.i TRUE 6.86 3.72 None array-programs/copysome1_true-unreach-call.i TRUE 6.72 3.62 None array-programs/copysome2_true-unreach-call.i TRUE 7.15 3.84 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.08 68.99 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.96 64.12 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 94.85 69.07 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 41.35 23.15 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.86 65.53 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.91 64.50 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.41 65.35 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.37 65.69 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 29.99 15.96 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 40.82 22.86 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 25.83 14.25 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 27.54 16.43 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 33.84 20.05 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 29.78 15.80 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 34.88 21.51 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 27.59 16.31 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 36.79 23.18 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 31.83 19.22 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 30.86 18.26 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 27.67 15.19 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 26.15 15.09 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 31.91 19.32 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 27.81 14.74 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 29.92 17.17 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 30.87 19.12 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 26.72 14.74 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 24.55 14.36 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 8.65 4.60 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 7.49 4.06 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 25.78 14.90 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 26.05 14.84 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 27.87 15.36 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 31.06 19.00 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 27.51 16.07 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 27.20 16.18 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.38 5.99 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.05 6.38 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.18 4.92 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.71 5.16 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.54 5.50 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.99 5.75 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.40 6.04 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.81 6.25 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.94 3.78 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.56 4.07 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.04 4.28 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.30 4.51 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.78 4.67 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 6.39 3.37 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.62 3.03 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 5.93 3.17 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.53 3.08 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.04 3.37 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 5.99 3.24 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.49 3.01 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.11 3.77 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 5.65 3.10 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 5.97 3.22 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 50.10 31.33 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 55.32 35.38 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 59.00 37.53 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 58.89 37.79 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown 54.65 31.93 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown 52.08 31.07 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown 49.78 30.31 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown 54.55 32.50 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 62.94 37.77 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 53.53 32.82 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 54.55 33.24 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 59.16 35.50 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 53.29 32.48 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown 53.46 32.78 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 53.49 32.80 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown 60.58 35.75 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 56.88 34.25 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 57.77 34.77 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 59.80 35.88 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 54.20 33.57 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 56.21 35.90 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 71.72 42.10 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 55.38 35.58 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 56.08 34.61 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 55.75 33.25 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 55.60 35.03 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 56.18 33.81 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 58.78 34.97 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 57.04 34.76 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 54.89 33.01 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 52.64 32.58 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 54.68 33.91 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 58.56 34.30 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 59.20 35.76 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 56.33 35.28 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 58.24 35.46 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 5704.36 1840.63 - AbsInt_Seq_Inl.32bitMem Run set 4 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationCInline.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 43.03 26.89 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.15 4.03 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.07 3.88 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 8.88 4.74 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 8.29 4.44 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.45 4.00 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 6.83 3.71 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 7.97 4.24 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 8.59 4.53 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 8.71 4.67 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 9.27 4.90 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 9.40 5.00 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 9.49 5.04 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 10.39 5.46 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 10.30 5.43 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 6.91 3.71 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 6.63 3.56 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 6.31 3.39 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 6.55 3.55 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 6.80 3.65 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 6.82 3.69 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 7.05 3.84 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 7.47 4.03 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 7.16 3.89 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 7.35 3.97 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 6.92 3.69 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 8.69 4.64 None array-examples/standard_running_false-unreach-call.i TRUE 6.49 3.51 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TIMEOUT (ERROR (143)) 91.16 69.86 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.50 69.08 None array-examples/relax_true-unreach-call.i unknown 34.91 19.72 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 7.56 4.03 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.62 4.12 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 6.59 3.57 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 7.16 3.81 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 13.95 7.28 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.09 3.85 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 8.43 4.48 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 8.35 4.47 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 7.21 4.02 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 7.21 3.87 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 8.04 4.28 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 8.42 4.44 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 8.75 4.65 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 8.86 4.68 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 9.45 4.99 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 9.53 5.04 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 9.68 5.17 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 10.34 5.48 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 6.93 3.74 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 6.84 3.70 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 6.58 3.58 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 6.72 3.63 None array-examples/standard_find_true-unreach-call_ground.i TRUE 7.06 3.80 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 6.00 3.23 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 6.58 3.54 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 6.82 3.61 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 6.87 3.73 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 7.08 3.75 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 6.87 3.76 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.24 3.89 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.11 3.87 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.29 3.95 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.54 3.52 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 6.45 3.47 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.41 3.46 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 8.79 4.61 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 8.15 4.33 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 8.12 4.37 None array-examples/standard_password_true-unreach-call_ground.i TRUE 7.41 3.94 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 5.96 3.28 None array-examples/standard_running_true-unreach-call.i TRUE 6.87 3.71 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.25 3.34 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.94 3.74 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 24.88 12.79 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 7.09 3.94 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 7.56 4.05 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 6.79 3.65 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.15 3.35 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.42 3.48 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.55 3.51 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.17 3.36 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.66 3.57 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.33 3.39 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.38 3.44 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 6.22 3.36 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.64 3.58 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.25 3.40 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.15 3.34 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.33 79.61 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 6.99 3.80 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.16 79.77 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 10.03 5.47 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT (ERROR (143)) 92.40 70.86 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.52 3.52 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 7.60 4.10 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.22 78.67 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.72 70.41 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 61.38 37.15 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 90.90 69.79 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.85 67.79 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.91 69.59 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.65 70.67 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.70 70.29 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 6.49 3.55 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i TIMEOUT 91.32 60.26 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 68.70 46.99 None reducercommutativity/rangesum20_false-unreach-call.i unknown 73.38 49.31 None reducercommutativity/rangesum40_false-unreach-call.i unknown 71.39 48.34 None reducercommutativity/rangesum60_false-unreach-call.i unknown 71.57 48.16 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 72.92 50.30 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 15.19 7.95 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 15.16 7.89 None reducercommutativity/avg20_true-unreach-call.i unknown 14.56 7.61 None reducercommutativity/avg40_true-unreach-call.i unknown 15.28 7.86 None reducercommutativity/avg60_true-unreach-call.i unknown 15.09 7.95 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 11.37 5.98 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 16.18 8.46 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 16.34 8.45 None reducercommutativity/max20_true-unreach-call.i unknown 17.05 8.80 None reducercommutativity/max40_true-unreach-call.i unknown 16.75 8.65 None reducercommutativity/max60_true-unreach-call.i unknown 16.17 8.41 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 11.99 6.32 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 16.91 8.80 None reducercommutativity/sep10_true-unreach-call.i unknown 17.84 9.18 None reducercommutativity/sep20_true-unreach-call.i unknown 17.38 9.00 None reducercommutativity/sep40_true-unreach-call.i unknown 17.22 8.87 None reducercommutativity/sep60_true-unreach-call.i unknown 16.62 8.65 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 11.21 5.83 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 14.80 7.71 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 14.70 7.63 None reducercommutativity/sum20_true-unreach-call.i unknown 15.66 8.04 None reducercommutativity/sum40_true-unreach-call.i unknown 14.58 7.50 None reducercommutativity/sum60_true-unreach-call.i unknown 15.03 7.84 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 11.36 5.94 None array-tiling/mlceu_false-unreach-call.i TRUE 6.41 3.47 None array-tiling/skippedu_false-unreach-call.i TRUE 6.40 3.50 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.25 3.90 None array-tiling/mbpr3_true-unreach-call.i TRUE 7.29 3.95 None array-tiling/mbpr4_true-unreach-call.i TRUE 7.85 4.25 None array-tiling/mbpr5_true-unreach-call.i TRUE 8.44 4.53 None array-tiling/nr2_true-unreach-call.i TRUE 7.07 3.72 None array-tiling/nr3_true-unreach-call.i TRUE 7.42 3.93 None array-tiling/nr4_true-unreach-call.i TRUE 6.82 3.69 None array-tiling/nr5_true-unreach-call.i TRUE 7.45 3.92 None array-tiling/pnr2_true-unreach-call.i TRUE 6.71 3.61 None array-tiling/pnr3_true-unreach-call.i TRUE 7.64 4.00 None array-tiling/pnr4_true-unreach-call.i TRUE 7.55 4.05 None array-tiling/pnr5_true-unreach-call.i TRUE 7.87 4.20 None array-tiling/poly1_true-unreach-call.i TRUE 6.31 3.36 None array-tiling/poly2_true-unreach-call.i TRUE 6.22 3.41 None array-tiling/pr2_true-unreach-call.i TRUE 6.70 3.62 None array-tiling/pr3_true-unreach-call.i TRUE 6.86 3.72 None array-tiling/pr4_true-unreach-call.i TRUE 7.10 3.84 None array-tiling/pr5_true-unreach-call.i TRUE 9.57 5.07 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 8.64 4.56 None array-tiling/rew_true-unreach-call.i TRUE 6.71 3.60 None array-tiling/rewnif_true-unreach-call.i TRUE 6.36 3.43 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.25 3.37 None array-tiling/rewnifrev_true-unreach-call.i TRUE 6.33 3.62 None array-tiling/rewrev_true-unreach-call.i TRUE 6.78 3.65 None array-tiling/skipped_true-unreach-call.i TRUE 6.92 3.61 None array-tiling/tcpy_true-unreach-call.i TRUE 7.13 3.80 None array-programs/copysome1_false-unreach-call.i TRUE 7.19 3.83 None array-programs/copysome2_false-unreach-call.i TRUE 7.89 4.18 None array-programs/copysome1_true-unreach-call.i TRUE 7.21 3.92 None array-programs/copysome2_true-unreach-call.i TRUE 7.84 4.25 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.23 66.91 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.88 69.38 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.20 67.56 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 41.32 24.22 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.57 67.34 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.71 66.40 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.98 68.29 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.64 64.79 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 27.09 14.21 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 42.68 24.86 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 25.10 13.36 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 30.32 16.45 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 29.70 18.13 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 26.37 15.09 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 31.38 19.21 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 28.16 15.65 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 35.94 21.78 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 30.69 17.97 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 27.68 16.22 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 25.61 14.04 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 24.08 13.44 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 29.98 17.17 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 23.46 12.80 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 26.35 15.03 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 29.30 17.88 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 25.80 14.96 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 25.70 14.20 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 8.47 4.56 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 7.90 4.24 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 24.61 13.53 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 22.96 13.14 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 23.85 13.19 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 30.14 17.34 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 25.65 14.64 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 25.60 14.49 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.28 5.96 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.76 6.26 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.44 5.01 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.79 5.15 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.33 5.44 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.33 5.92 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.53 6.08 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.20 6.43 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.15 3.87 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.64 4.06 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.99 4.22 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.23 4.40 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.55 4.58 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 5.96 3.26 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.73 3.09 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 5.91 3.22 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.58 3.00 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.37 3.36 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.26 3.36 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.67 3.05 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.16 3.80 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.16 3.33 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.50 3.47 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.92 69.05 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.21 68.93 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.24 66.20 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.05 68.14 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.14 66.00 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.25 67.81 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.30 67.57 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.26 62.25 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.64 64.87 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.37 67.45 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.20 64.13 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.97 67.30 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.58 66.92 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.22 67.78 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.36 66.85 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.19 64.41 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.62 65.46 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.35 67.83 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.18 65.93 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.38 64.78 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.24 65.07 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.23 67.56 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.31 65.18 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.11 66.41 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.72 65.63 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.16 66.73 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.94 60.64 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.62 60.73 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.26 68.33 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.33 67.55 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.17 67.11 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.31 67.66 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.03 67.31 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.30 67.78 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.27 66.36 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.06 66.86 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 7827.61 2687.52 - AbsInt_imprecise_Seq_Inl.32bitMem Run set 5 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationCInline.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 9.65 5.35 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.17 3.85 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.21 3.85 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 7.99 4.32 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 8.05 4.34 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.11 3.83 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 6.52 3.55 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 7.34 3.92 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 7.43 3.93 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 7.44 4.04 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 7.72 4.11 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 7.58 4.10 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 7.86 4.21 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 8.06 4.30 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 8.26 4.40 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 6.81 3.62 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 6.43 3.50 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 6.57 3.62 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 6.36 3.45 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 6.91 3.70 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 6.80 3.71 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 7.11 3.83 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 6.95 3.74 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 7.17 3.88 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 7.43 4.00 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 6.58 3.58 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 7.70 4.12 None array-examples/standard_running_false-unreach-call.i TRUE 6.63 3.58 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 12.36 6.40 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 10.35 5.49 None array-examples/relax_true-unreach-call.i unknown 12.72 6.86 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 7.39 3.98 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.65 4.10 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 6.32 3.51 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 6.96 3.70 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 7.25 3.91 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 6.86 3.73 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 8.14 4.35 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 7.84 4.14 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 6.95 3.73 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 6.68 4.82 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 7.37 5.66 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 8.18 4.38 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 8.68 5.01 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 8.22 4.77 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 8.58 4.66 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 8.07 4.60 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 9.10 4.96 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 8.76 4.99 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 7.11 4.17 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 7.45 4.04 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 7.18 4.18 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 7.05 4.25 None array-examples/standard_find_true-unreach-call_ground.i TRUE 7.64 4.47 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 6.64 3.82 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 7.15 3.94 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 7.32 3.95 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 6.77 4.02 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 7.11 3.88 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 7.66 4.27 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.77 4.37 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.77 4.23 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.86 4.20 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.81 3.72 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 6.86 3.65 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.32 3.45 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 7.62 4.01 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 7.72 4.33 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 7.55 4.08 None array-examples/standard_password_true-unreach-call_ground.i TRUE 7.40 4.38 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 6.37 3.70 None array-examples/standard_running_true-unreach-call.i TRUE 6.62 3.76 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.07 3.45 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.74 3.57 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 8.48 4.74 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 6.92 3.83 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 7.25 3.91 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 7.04 3.76 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.92 3.66 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.71 3.94 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.73 3.67 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.14 3.35 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.89 3.71 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 7.13 3.81 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.50 3.90 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 7.00 5.43 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 7.37 3.96 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 7.10 4.01 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.77 3.90 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 90.37 76.48 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 6.84 3.85 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.20 78.79 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 10.47 5.75 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 11.18 5.97 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 7.16 3.81 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 6.50 3.57 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.25 79.31 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.72 72.90 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 12.47 10.08 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 90.50 74.91 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.66 71.13 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.74 73.52 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.60 72.36 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.49 72.79 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 7.05 3.89 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 12.90 6.91 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 12.80 6.95 None reducercommutativity/rangesum20_false-unreach-call.i unknown 17.57 9.35 None reducercommutativity/rangesum40_false-unreach-call.i unknown 19.77 10.44 None reducercommutativity/rangesum60_false-unreach-call.i unknown 20.06 10.73 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 20.99 11.57 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 16.07 8.55 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 11.77 6.43 None reducercommutativity/avg20_true-unreach-call.i unknown 9.72 5.60 None reducercommutativity/avg40_true-unreach-call.i unknown 9.58 5.30 None reducercommutativity/avg60_true-unreach-call.i unknown 8.55 4.77 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 8.06 4.40 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 10.20 5.44 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 10.43 5.56 None reducercommutativity/max20_true-unreach-call.i unknown 10.53 5.60 None reducercommutativity/max40_true-unreach-call.i unknown 9.77 5.34 None reducercommutativity/max60_true-unreach-call.i unknown 10.01 5.44 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 8.74 4.66 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 10.24 5.47 None reducercommutativity/sep10_true-unreach-call.i unknown 9.77 5.22 None reducercommutativity/sep20_true-unreach-call.i unknown 9.47 5.32 None reducercommutativity/sep40_true-unreach-call.i unknown 9.33 5.01 None reducercommutativity/sep60_true-unreach-call.i unknown 9.91 5.31 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 8.37 4.61 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 9.09 4.92 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 9.14 4.90 None reducercommutativity/sum20_true-unreach-call.i unknown 8.54 4.74 None reducercommutativity/sum40_true-unreach-call.i unknown 8.76 4.79 None reducercommutativity/sum60_true-unreach-call.i unknown 9.11 5.15 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 8.23 4.74 None array-tiling/mlceu_false-unreach-call.i TRUE 6.36 3.53 None array-tiling/skippedu_false-unreach-call.i TRUE 6.59 3.70 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.16 4.11 None array-tiling/mbpr3_true-unreach-call.i TRUE 7.12 4.02 None array-tiling/mbpr4_true-unreach-call.i TRUE 7.56 4.04 None array-tiling/mbpr5_true-unreach-call.i TRUE 7.86 4.14 None array-tiling/nr2_true-unreach-call.i TRUE 6.84 3.75 None array-tiling/nr3_true-unreach-call.i TRUE 6.97 3.80 None array-tiling/nr4_true-unreach-call.i TRUE 7.19 4.00 None array-tiling/nr5_true-unreach-call.i TRUE 7.18 3.93 None array-tiling/pnr2_true-unreach-call.i TRUE 7.46 4.10 None array-tiling/pnr3_true-unreach-call.i TRUE 6.92 3.80 None array-tiling/pnr4_true-unreach-call.i TRUE 7.34 4.02 None array-tiling/pnr5_true-unreach-call.i TRUE 7.73 4.37 None array-tiling/poly1_true-unreach-call.i TRUE 6.33 4.03 None array-tiling/poly2_true-unreach-call.i TRUE 6.62 3.77 None array-tiling/pr2_true-unreach-call.i TRUE 6.85 3.69 None array-tiling/pr3_true-unreach-call.i TRUE 7.53 3.96 None array-tiling/pr4_true-unreach-call.i TRUE 7.31 4.02 None array-tiling/pr5_true-unreach-call.i TRUE 9.04 4.92 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 7.13 4.01 None array-tiling/rew_true-unreach-call.i TRUE 6.56 3.57 None array-tiling/rewnif_true-unreach-call.i TRUE 6.61 3.56 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.62 3.57 None array-tiling/rewnifrev_true-unreach-call.i TRUE 6.72 3.66 None array-tiling/rewrev_true-unreach-call.i TRUE 6.89 3.76 None array-tiling/skipped_true-unreach-call.i TRUE 6.92 3.76 None array-tiling/tcpy_true-unreach-call.i TRUE 6.38 3.54 None array-programs/copysome1_false-unreach-call.i TRUE 7.06 3.86 None array-programs/copysome2_false-unreach-call.i TRUE 7.25 4.15 None array-programs/copysome1_true-unreach-call.i TRUE 6.90 3.75 None array-programs/copysome2_true-unreach-call.i TRUE 7.42 4.03 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.51 67.26 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 92.55 66.58 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.49 65.12 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 38.44 23.63 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.47 67.71 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.03 69.13 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.04 63.33 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.28 64.79 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 27.26 14.17 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 42.31 24.58 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 22.83 12.61 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 25.31 14.84 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 27.80 17.31 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 26.49 15.20 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 30.55 18.81 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 24.90 14.64 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 33.72 21.10 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 29.98 17.92 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 27.98 16.30 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 24.21 13.74 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 26.90 14.23 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 27.46 16.48 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 23.08 12.90 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 27.60 15.41 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 27.52 17.01 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 25.70 14.90 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 24.91 13.83 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 8.15 4.42 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 8.09 4.34 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 25.98 14.12 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 23.55 13.18 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 24.88 13.81 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 29.42 17.32 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 25.19 14.45 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 26.77 14.89 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.20 5.88 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.72 6.19 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.53 5.06 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.18 5.32 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.27 5.40 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.84 5.69 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.39 5.98 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.97 6.32 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.10 3.88 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.55 4.05 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.76 4.16 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.28 4.43 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.95 4.73 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 5.98 3.22 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.66 3.06 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 5.88 3.20 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.54 2.96 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 5.78 3.14 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.00 3.24 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.70 3.09 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.13 3.81 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 5.95 3.21 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 5.77 3.16 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 53.96 35.37 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 62.24 40.50 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 68.27 43.71 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 62.67 40.87 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown 57.54 34.45 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown 55.45 34.23 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown 55.17 34.24 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown 57.38 35.23 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 60.20 37.48 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 59.67 35.99 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 57.18 35.36 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 55.85 34.92 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 57.73 35.10 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown 60.52 37.49 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 62.84 40.01 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown 63.70 38.89 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 63.10 38.99 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 63.20 39.21 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 60.20 38.25 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 62.70 40.74 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 66.34 43.56 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 69.58 45.41 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 64.31 42.84 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 61.49 40.84 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 56.59 35.28 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 66.98 40.84 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 60.93 36.79 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 59.69 37.47 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 59.47 37.15 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 58.99 37.42 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 63.19 39.24 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 68.22 42.04 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 68.90 41.53 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 65.40 41.92 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 64.76 41.55 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 67.50 43.45 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 5 done 5885.44 1912.87 - AbsInt_SS.32bitMem Run set 6 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 20.34 10.67 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.87 4.62 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.92 4.46 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 9.65 5.32 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 9.18 5.09 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 8.19 4.42 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 7.86 4.39 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 10.02 5.34 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 10.43 5.58 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 11.39 5.96 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 11.12 5.91 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 11.30 6.17 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 11.91 6.52 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 12.35 6.60 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 13.01 7.06 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 7.58 4.29 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 7.20 4.03 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 7.48 4.03 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 7.56 4.06 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 7.64 4.22 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 7.49 4.28 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 8.28 4.42 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 8.25 4.65 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 8.20 4.59 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 8.29 4.60 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 7.84 4.30 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 9.70 5.31 None array-examples/standard_running_false-unreach-call.i TRUE 7.38 4.07 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 19.91 10.38 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 19.27 9.90 None array-examples/relax_true-unreach-call.i unknown 27.09 13.98 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 8.61 4.69 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 8.52 4.74 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 7.43 3.97 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 8.00 4.26 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 9.69 5.10 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.57 4.17 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 9.25 4.93 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 9.94 5.24 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 8.01 4.37 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 8.51 4.69 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 9.31 4.98 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 9.79 5.23 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 10.08 5.47 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 11.47 6.12 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 11.67 6.23 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 11.88 6.36 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 12.60 6.67 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 12.82 6.87 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 7.63 4.24 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 8.02 4.39 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 7.60 4.21 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 8.07 4.65 None array-examples/standard_find_true-unreach-call_ground.i TRUE 7.96 4.42 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 7.37 4.28 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 7.48 4.21 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 7.51 4.53 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 7.88 4.46 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 8.01 4.76 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 8.27 4.62 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 8.10 4.71 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 8.04 4.75 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 8.63 4.86 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 7.80 4.42 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 7.36 4.27 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.81 3.91 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 10.41 5.71 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 9.44 5.26 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 9.52 5.24 None array-examples/standard_password_true-unreach-call_ground.i TRUE 8.42 4.67 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 7.22 4.22 None array-examples/standard_running_true-unreach-call.i TRUE 7.44 4.15 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.93 3.92 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 7.35 4.18 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 9.23 5.09 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 7.71 4.54 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 8.32 4.70 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 7.28 4.13 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 7.23 4.03 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.80 3.83 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.95 3.96 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.93 3.89 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.61 3.81 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.93 3.87 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 7.18 4.16 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 7.39 4.05 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 7.27 4.03 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 7.12 4.01 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.89 3.93 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i OUT OF MEMORY 38.93 21.07 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 8.13 4.66 None array-industry-pattern/array_range_init_false-unreach-call.i OUT OF MEMORY 36.99 20.26 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 9.28 8.06 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 23.47 12.29 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 7.07 3.97 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 7.93 4.45 None array-industry-pattern/array_of_struct_break_true-unreach-call.i KILLED BY SIGNAL 9 37.08 26.58 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i OUT OF MEMORY 39.99 28.53 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 22.66 22.60 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i OUT OF MEMORY 46.07 29.28 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i OUT OF MEMORY 48.95 26.38 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i OUT OF MEMORY 52.13 30.28 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i OUT OF MEMORY 47.31 24.73 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i OUT OF MEMORY 43.20 25.63 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 7.60 4.21 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 13.98 7.67 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 13.42 7.40 None reducercommutativity/rangesum20_false-unreach-call.i unknown 12.88 9.30 None reducercommutativity/rangesum40_false-unreach-call.i unknown 13.07 6.87 None reducercommutativity/rangesum60_false-unreach-call.i unknown 13.24 6.93 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 12.76 6.76 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 11.73 6.18 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 11.54 6.11 None reducercommutativity/avg20_true-unreach-call.i unknown 11.75 6.11 None reducercommutativity/avg40_true-unreach-call.i unknown 12.09 6.34 None reducercommutativity/avg60_true-unreach-call.i unknown 11.90 6.27 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 9.17 4.91 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 13.51 7.16 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 13.77 7.11 None reducercommutativity/max20_true-unreach-call.i unknown 13.72 7.18 None reducercommutativity/max40_true-unreach-call.i unknown 13.38 7.13 None reducercommutativity/max60_true-unreach-call.i unknown 13.09 7.10 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 10.02 5.47 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 12.10 6.68 None reducercommutativity/sep10_true-unreach-call.i unknown 12.35 6.60 None reducercommutativity/sep20_true-unreach-call.i unknown 12.63 6.67 None reducercommutativity/sep40_true-unreach-call.i unknown 12.37 6.58 None reducercommutativity/sep60_true-unreach-call.i unknown 12.65 6.65 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 9.73 5.21 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 11.85 6.24 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 11.75 6.20 None reducercommutativity/sum20_true-unreach-call.i unknown 11.66 6.26 None reducercommutativity/sum40_true-unreach-call.i unknown 11.70 6.26 None reducercommutativity/sum60_true-unreach-call.i unknown 12.48 6.70 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 9.04 4.92 None array-tiling/mlceu_false-unreach-call.i TRUE 7.47 4.15 None array-tiling/skippedu_false-unreach-call.i TRUE 7.62 4.21 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.74 4.31 None array-tiling/mbpr3_true-unreach-call.i TRUE 8.35 4.54 None array-tiling/mbpr4_true-unreach-call.i TRUE 9.14 4.87 None array-tiling/mbpr5_true-unreach-call.i TRUE 9.90 5.32 None array-tiling/nr2_true-unreach-call.i TRUE 7.74 4.38 None array-tiling/nr3_true-unreach-call.i TRUE 7.82 4.32 None array-tiling/nr4_true-unreach-call.i TRUE 7.77 4.32 None array-tiling/nr5_true-unreach-call.i TRUE 8.25 4.49 None array-tiling/pnr2_true-unreach-call.i TRUE 8.07 4.47 None array-tiling/pnr3_true-unreach-call.i TRUE 8.62 4.71 None array-tiling/pnr4_true-unreach-call.i TRUE 8.57 4.78 None array-tiling/pnr5_true-unreach-call.i TRUE 9.43 5.05 None array-tiling/poly1_true-unreach-call.i TRUE 6.68 3.81 None array-tiling/poly2_true-unreach-call.i TRUE 6.95 3.97 None array-tiling/pr2_true-unreach-call.i TRUE 7.91 4.35 None array-tiling/pr3_true-unreach-call.i TRUE 7.99 4.60 None array-tiling/pr4_true-unreach-call.i TRUE 8.48 4.69 None array-tiling/pr5_true-unreach-call.i TRUE 9.84 5.50 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 10.02 5.47 None array-tiling/rew_true-unreach-call.i TRUE 7.42 4.36 None array-tiling/rewnif_true-unreach-call.i TRUE 7.00 4.11 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 7.02 4.08 None array-tiling/rewnifrev_true-unreach-call.i TRUE 7.42 4.09 None array-tiling/rewrev_true-unreach-call.i TRUE 7.87 4.38 None array-tiling/skipped_true-unreach-call.i TRUE 7.50 4.28 None array-tiling/tcpy_true-unreach-call.i TRUE 7.89 4.55 None array-programs/copysome1_false-unreach-call.i TRUE 8.63 4.88 None array-programs/copysome2_false-unreach-call.i TRUE 9.45 5.22 None array-programs/copysome1_true-unreach-call.i TRUE 8.97 4.96 None array-programs/copysome2_true-unreach-call.i TRUE 9.74 5.38 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.87 66.00 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 94.99 67.29 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.07 64.36 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 49.39 28.68 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.21 66.31 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.35 65.37 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.43 66.25 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.83 64.46 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.50 20.36 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 46.34 26.67 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 32.80 19.61 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 30.70 17.61 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 38.16 23.64 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 30.74 18.27 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 48.44 31.07 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 35.89 22.44 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 56.30 38.26 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 44.04 29.11 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 38.16 23.68 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 36.94 22.23 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 39.82 24.18 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 49.75 31.68 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 37.26 20.76 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 30.05 17.83 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 38.37 23.98 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 29.57 17.49 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 37.86 22.68 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 9.23 4.94 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 8.18 4.43 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 39.77 23.53 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 37.58 23.06 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 37.40 23.41 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 47.10 31.20 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 40.14 25.08 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 43.54 26.71 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.42 8.31 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 17.20 9.23 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.80 6.91 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.16 7.16 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.93 7.46 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 14.95 7.96 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.65 8.54 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 17.86 9.52 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.66 4.77 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.47 5.17 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.06 5.43 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.26 5.63 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.90 6.92 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 6.76 3.74 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 6.43 3.48 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.14 3.45 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 6.05 3.30 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.46 3.54 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.36 3.60 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 6.36 3.46 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.45 4.07 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.02 3.37 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.58 3.70 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.65 68.31 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.50 70.92 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.65 71.53 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.96 71.45 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.03 70.74 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.60 71.25 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.83 70.85 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.67 71.19 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.53 69.91 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.05 68.86 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.85 69.30 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.53 69.82 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.61 67.44 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.30 70.35 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.73 68.72 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.25 72.38 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.40 67.68 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.19 70.85 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.68 67.29 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.78 70.52 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.72 71.19 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.32 73.21 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.17 71.17 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.07 66.96 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.15 67.33 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.31 68.65 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.50 68.91 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.95 69.91 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.32 69.60 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.36 70.54 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.76 69.57 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.14 71.53 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.25 70.42 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 94.30 71.75 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.93 68.99 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.22 70.38 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 6 done 7147.41 2448.45 - AbsInt_imprecise_SS.32bitMem Run set 7 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise_SS.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 11.30 6.76 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.70 4.54 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.78 4.40 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 10.11 5.40 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 9.53 5.14 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.99 4.45 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 8.13 4.49 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 8.07 4.46 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 8.53 4.61 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 8.58 4.78 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 8.81 4.79 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 8.80 4.95 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 9.06 4.94 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 9.47 5.18 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 9.51 5.29 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 7.71 4.33 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 7.27 4.12 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 7.68 4.28 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 7.38 4.14 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 7.94 4.33 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 8.16 4.45 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 8.09 4.45 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 7.92 4.38 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 7.90 4.36 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 8.03 4.40 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 7.34 3.92 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 8.34 4.62 None array-examples/standard_running_false-unreach-call.i TRUE 7.25 4.02 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 12.87 6.90 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 12.23 6.51 None array-examples/relax_true-unreach-call.i unknown 13.91 7.44 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 8.53 4.69 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 8.75 4.81 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 7.57 4.13 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 7.55 4.20 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 7.46 4.14 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.46 4.28 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 9.63 5.17 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 8.15 4.52 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 7.42 4.17 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 7.79 4.38 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 8.39 4.65 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 8.28 4.61 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 8.31 4.68 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 8.77 4.76 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 8.59 4.90 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 8.94 4.87 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 9.67 5.26 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 9.65 5.29 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 7.11 3.99 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 8.15 4.44 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 7.56 4.18 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 7.26 3.97 None array-examples/standard_find_true-unreach-call_ground.i TRUE 7.55 4.19 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 7.25 3.99 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 7.62 4.14 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 7.44 4.12 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 7.56 4.21 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 8.11 4.39 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 7.89 4.33 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.79 4.30 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.62 4.57 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 8.01 4.43 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.85 3.93 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 7.52 4.07 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 7.01 3.86 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 8.78 4.66 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 8.23 4.60 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 8.12 4.54 None array-examples/standard_password_true-unreach-call_ground.i TRUE 7.29 4.07 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 7.04 3.90 None array-examples/standard_running_true-unreach-call.i TRUE 7.66 4.16 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.78 3.79 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.99 3.97 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 8.49 4.65 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 7.82 4.32 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 7.67 4.34 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 6.80 3.91 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.66 3.73 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 7.34 3.93 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 7.00 3.88 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.92 3.77 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 7.12 4.09 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.84 3.96 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 7.14 4.09 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 6.97 3.92 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.99 3.88 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.95 3.83 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.88 3.84 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i KILLED BY SIGNAL 9 36.33 24.06 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 7.21 4.08 None array-industry-pattern/array_range_init_false-unreach-call.i OUT OF MEMORY 35.01 23.86 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 7.63 15.70 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 11.22 10.25 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.77 3.84 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 7.38 4.07 None array-industry-pattern/array_of_struct_break_true-unreach-call.i KILLED BY SIGNAL 9 34.12 21.26 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i OUT OF MEMORY 40.98 24.87 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 10.03 16.74 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i OUT OF MEMORY 44.91 28.69 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i ERROR (1) 28.96 15.40 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i OUT OF MEMORY 48.35 31.30 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i KILLED BY SIGNAL 9 35.91 22.07 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i OUT OF MEMORY 42.54 32.58 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 6.94 8.54 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 11.65 6.42 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 12.51 6.70 None reducercommutativity/rangesum20_false-unreach-call.i unknown 11.49 8.28 None reducercommutativity/rangesum40_false-unreach-call.i unknown 11.53 12.98 None reducercommutativity/rangesum60_false-unreach-call.i unknown 11.84 8.32 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 11.55 6.21 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 9.63 5.23 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 9.36 5.24 None reducercommutativity/avg20_true-unreach-call.i unknown 9.84 5.31 None reducercommutativity/avg40_true-unreach-call.i unknown 9.54 5.27 None reducercommutativity/avg60_true-unreach-call.i unknown 9.60 5.20 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 8.77 4.82 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 10.99 5.95 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 10.89 5.85 None reducercommutativity/max20_true-unreach-call.i unknown 10.91 5.86 None reducercommutativity/max40_true-unreach-call.i unknown 11.15 6.05 None reducercommutativity/max60_true-unreach-call.i unknown 11.01 5.99 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 9.70 5.30 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 10.04 5.46 None reducercommutativity/sep10_true-unreach-call.i unknown 9.77 5.42 None reducercommutativity/sep20_true-unreach-call.i unknown 9.73 5.34 None reducercommutativity/sep40_true-unreach-call.i unknown 9.56 5.23 None reducercommutativity/sep60_true-unreach-call.i unknown 9.82 5.32 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 8.83 4.93 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 9.40 5.21 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 9.53 5.17 None reducercommutativity/sum20_true-unreach-call.i unknown 9.66 5.33 None reducercommutativity/sum40_true-unreach-call.i unknown 9.36 5.18 None reducercommutativity/sum60_true-unreach-call.i unknown 9.81 5.31 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 8.45 4.68 None array-tiling/mlceu_false-unreach-call.i TRUE 7.31 4.05 None array-tiling/skippedu_false-unreach-call.i TRUE 7.61 4.10 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.48 4.20 None array-tiling/mbpr3_true-unreach-call.i TRUE 8.23 4.56 None array-tiling/mbpr4_true-unreach-call.i TRUE 8.60 4.67 None array-tiling/mbpr5_true-unreach-call.i TRUE 8.73 4.86 None array-tiling/nr2_true-unreach-call.i TRUE 7.75 4.31 None array-tiling/nr3_true-unreach-call.i TRUE 7.76 4.27 None array-tiling/nr4_true-unreach-call.i TRUE 7.80 4.27 None array-tiling/nr5_true-unreach-call.i TRUE 7.58 4.49 None array-tiling/pnr2_true-unreach-call.i TRUE 8.36 4.81 None array-tiling/pnr3_true-unreach-call.i TRUE 8.42 4.68 None array-tiling/pnr4_true-unreach-call.i TRUE 8.82 4.97 None array-tiling/pnr5_true-unreach-call.i TRUE 8.76 4.85 None array-tiling/poly1_true-unreach-call.i TRUE 6.90 3.90 None array-tiling/poly2_true-unreach-call.i TRUE 7.62 4.32 None array-tiling/pr2_true-unreach-call.i TRUE 7.41 4.26 None array-tiling/pr3_true-unreach-call.i TRUE 8.22 4.64 None array-tiling/pr4_true-unreach-call.i TRUE 8.66 4.80 None array-tiling/pr5_true-unreach-call.i TRUE 9.16 4.90 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 7.65 4.24 None array-tiling/rew_true-unreach-call.i TRUE 7.32 4.07 None array-tiling/rewnif_true-unreach-call.i TRUE 7.17 3.91 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.69 3.73 None array-tiling/rewnifrev_true-unreach-call.i TRUE 7.38 4.04 None array-tiling/rewrev_true-unreach-call.i TRUE 7.08 3.98 None array-tiling/skipped_true-unreach-call.i TRUE 7.34 4.11 None array-tiling/tcpy_true-unreach-call.i TRUE 7.04 4.05 None array-programs/copysome1_false-unreach-call.i TRUE 7.98 4.36 None array-programs/copysome2_false-unreach-call.i TRUE 7.84 4.37 None array-programs/copysome1_true-unreach-call.i TRUE 8.16 4.45 None array-programs/copysome2_true-unreach-call.i TRUE 8.17 4.44 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 92.55 64.11 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.34 65.00 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.43 62.02 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 47.57 27.63 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 65.85 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.24 65.00 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.19 64.96 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.24 64.72 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 36.74 20.60 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 48.57 27.92 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 31.32 19.36 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 31.69 18.40 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 38.59 24.71 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 29.48 17.63 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 48.23 30.82 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 36.60 22.49 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 56.17 38.09 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 49.71 31.03 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 40.22 24.63 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 36.88 22.43 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 35.17 23.03 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 52.70 33.02 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 33.10 20.08 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 29.29 17.72 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 36.70 23.52 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 29.53 17.68 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 36.26 22.58 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 9.55 5.12 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 8.00 4.45 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 36.34 22.88 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 35.82 22.42 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 35.84 22.41 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 48.35 30.95 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 39.61 24.74 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 39.98 25.43 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.02 7.97 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TRUE 17.36 9.21 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.14 7.26 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.46 7.26 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 13.66 7.24 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.02 8.07 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.74 8.27 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 17.79 9.41 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.31 4.59 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.07 5.03 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.35 5.07 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.23 5.69 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.22 6.55 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 6.68 3.61 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 6.26 3.39 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.16 3.35 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.86 3.23 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.57 3.63 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.61 3.57 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 6.16 3.38 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.31 3.95 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.36 3.47 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.28 3.47 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 62.09 37.80 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 45.89 27.91 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 50.68 29.33 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 47.02 28.51 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown 67.36 42.57 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown 68.50 45.24 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown 68.65 44.64 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown 65.93 41.04 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 77.42 52.09 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 69.43 47.21 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 74.09 48.71 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 76.59 49.34 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 76.60 48.17 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown 74.15 48.86 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 75.30 49.28 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown 74.13 48.18 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 78.19 51.46 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 76.45 49.45 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 77.41 50.66 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 62.24 38.14 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 59.78 32.34 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 47.45 27.99 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 44.35 27.09 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 72.25 46.41 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 68.59 45.42 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 80.47 53.33 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 77.04 50.08 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 73.36 48.84 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 79.08 50.66 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 76.45 49.27 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 74.38 49.23 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 75.73 50.88 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 72.82 48.66 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 73.09 49.27 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 78.64 52.69 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 77.42 50.64 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 7 done 6087.39 1952.27 - AbsInt_LFB.32bitMem Run set 8 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_LFB.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 15.96 8.70 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 7.82 4.25 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.79 4.33 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 8.94 4.99 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 8.70 4.74 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.55 4.24 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 7.73 4.20 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 8.85 4.83 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 8.93 4.81 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 9.07 4.98 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 9.39 5.31 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 9.89 5.37 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 9.99 5.37 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 10.49 5.69 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 11.26 6.02 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 7.35 4.19 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 7.05 3.81 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 7.33 4.06 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 7.42 4.01 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 7.41 4.13 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 7.81 4.22 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 7.96 4.42 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 8.05 4.49 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 8.01 4.71 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 8.04 4.54 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 7.20 3.94 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 8.30 4.62 None array-examples/standard_running_false-unreach-call.i TRUE 7.28 4.11 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 17.96 9.45 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 17.75 9.32 None array-examples/relax_true-unreach-call.i unknown 21.03 11.13 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 7.87 4.35 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.34 4.17 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 7.18 3.96 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 6.95 4.00 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 9.18 4.91 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.38 4.20 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 9.03 4.91 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 9.14 4.93 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 7.15 4.07 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 8.29 4.54 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 8.54 4.63 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 8.93 4.85 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 9.27 5.14 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 9.30 5.15 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 9.43 5.16 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 9.87 5.44 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 10.30 5.57 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 10.80 5.93 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 7.39 4.15 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 7.49 4.03 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 7.47 4.16 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 8.38 4.49 None array-examples/standard_find_true-unreach-call_ground.i TRUE 7.70 4.34 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 7.18 3.84 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 7.27 3.99 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 7.29 3.98 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 7.63 4.16 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 7.68 4.36 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 8.00 4.39 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 7.71 4.36 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.79 4.18 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.41 4.19 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.81 3.75 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 6.76 3.78 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.29 3.63 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 7.02 3.88 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 7.92 4.47 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 8.06 4.45 None array-examples/standard_password_true-unreach-call_ground.i TRUE 7.10 3.99 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 6.30 3.60 None array-examples/standard_running_true-unreach-call.i TRUE 7.11 4.03 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.42 3.58 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 7.66 4.72 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 9.37 5.05 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 8.24 4.80 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 8.12 4.49 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 7.11 4.15 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.49 3.84 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.70 3.80 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.68 3.84 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.21 3.71 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.38 3.70 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.55 3.71 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.28 3.75 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 6.31 3.85 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.55 3.93 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.26 3.44 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.55 4.07 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.32 82.46 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 7.59 6.48 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.17 79.37 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 11.20 6.37 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 20.29 10.60 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.69 3.86 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 7.71 4.22 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.09 82.14 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.39 77.49 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 26.70 14.01 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 91.36 79.35 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.44 74.52 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.53 75.38 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.24 77.75 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 91.24 77.03 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 7.85 4.24 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 15.54 8.41 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 20.71 11.25 None reducercommutativity/rangesum20_false-unreach-call.i unknown 20.51 11.26 None reducercommutativity/rangesum40_false-unreach-call.i unknown 20.88 11.29 None reducercommutativity/rangesum60_false-unreach-call.i unknown 20.83 11.10 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 20.07 10.94 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 11.65 6.90 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 11.95 6.90 None reducercommutativity/avg20_true-unreach-call.i unknown 11.79 6.45 None reducercommutativity/avg40_true-unreach-call.i unknown 11.50 6.36 None reducercommutativity/avg60_true-unreach-call.i unknown 11.48 6.23 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 9.24 5.10 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 11.88 6.81 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 12.39 7.10 None reducercommutativity/max20_true-unreach-call.i unknown 11.61 6.52 None reducercommutativity/max40_true-unreach-call.i unknown 12.47 7.13 None reducercommutativity/max60_true-unreach-call.i unknown 11.85 6.75 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 10.37 5.81 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 11.07 6.07 None reducercommutativity/sep10_true-unreach-call.i unknown 11.40 6.27 None reducercommutativity/sep20_true-unreach-call.i unknown 12.05 6.63 None reducercommutativity/sep40_true-unreach-call.i unknown 12.60 7.06 None reducercommutativity/sep60_true-unreach-call.i unknown 11.59 6.74 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 9.20 5.33 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 10.92 5.95 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 11.06 5.86 None reducercommutativity/sum20_true-unreach-call.i unknown 11.69 6.25 None reducercommutativity/sum40_true-unreach-call.i unknown 11.30 6.18 None reducercommutativity/sum60_true-unreach-call.i unknown 11.94 6.82 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 10.30 6.25 None array-tiling/mlceu_false-unreach-call.i TRUE 7.31 3.95 None array-tiling/skippedu_false-unreach-call.i TRUE 7.12 4.28 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.58 4.32 None array-tiling/mbpr3_true-unreach-call.i TRUE 7.96 4.34 None array-tiling/mbpr4_true-unreach-call.i TRUE 8.73 4.87 None array-tiling/mbpr5_true-unreach-call.i TRUE 9.29 5.17 None array-tiling/nr2_true-unreach-call.i TRUE 7.93 4.58 None array-tiling/nr3_true-unreach-call.i TRUE 8.08 5.14 None array-tiling/nr4_true-unreach-call.i TRUE 8.42 4.86 None array-tiling/nr5_true-unreach-call.i TRUE 8.27 4.86 None array-tiling/pnr2_true-unreach-call.i TRUE 8.19 4.59 None array-tiling/pnr3_true-unreach-call.i TRUE 9.50 5.18 None array-tiling/pnr4_true-unreach-call.i TRUE 16.31 8.77 None array-tiling/pnr5_true-unreach-call.i TRUE 34.08 18.60 None array-tiling/poly1_true-unreach-call.i TRUE 7.04 3.91 None array-tiling/poly2_true-unreach-call.i TRUE 7.05 4.00 None array-tiling/pr2_true-unreach-call.i TRUE 8.11 4.45 None array-tiling/pr3_true-unreach-call.i TRUE 9.39 5.01 None array-tiling/pr4_true-unreach-call.i TRUE 14.68 7.71 None array-tiling/pr5_true-unreach-call.i TRUE 24.56 14.74 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 9.30 5.16 None array-tiling/rew_true-unreach-call.i TRUE 7.36 4.06 None array-tiling/rewnif_true-unreach-call.i TRUE 6.97 3.83 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.68 3.92 None array-tiling/rewnifrev_true-unreach-call.i TRUE 7.37 4.03 None array-tiling/rewrev_true-unreach-call.i TRUE 7.67 4.09 None array-tiling/skipped_true-unreach-call.i TRUE 7.04 4.08 None array-tiling/tcpy_true-unreach-call.i TRUE 7.86 5.06 None array-programs/copysome1_false-unreach-call.i TRUE 8.03 4.55 None array-programs/copysome2_false-unreach-call.i TRUE 8.61 4.88 None array-programs/copysome1_true-unreach-call.i TRUE 8.24 4.64 None array-programs/copysome2_true-unreach-call.i TRUE 8.54 4.73 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 74.23 50.93 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.27 66.74 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.50 66.98 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 33.89 17.82 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 89.67 60.74 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.19 68.70 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.12 67.18 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.23 65.56 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 19.62 10.52 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 33.21 17.40 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 31.31 17.09 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 26.70 14.41 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 28.87 16.66 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 29.68 15.71 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 50.30 29.35 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 26.15 15.69 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 34.74 20.89 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 29.12 16.98 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 33.78 19.41 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 29.04 16.35 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 27.36 14.67 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 37.37 22.28 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 30.43 16.44 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 27.04 14.60 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 27.69 16.32 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 26.72 14.87 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 27.96 15.81 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 9.98 5.44 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 8.76 4.85 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 26.22 14.64 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 26.91 15.61 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 29.32 16.35 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 31.08 19.53 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 29.30 16.19 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 29.37 16.39 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.10 83.56 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.79 74.82 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 93.06 86.70 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.83 91.32 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.96 88.27 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.03 85.57 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.99 86.99 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.17 76.30 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.68 11.21 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 9.46 5.05 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 12.57 6.85 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 18.08 11.08 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 43.93 31.78 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 6.89 3.81 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 6.29 5.56 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.46 3.82 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.80 3.25 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.76 3.68 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.62 3.56 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 6.26 3.38 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.79 4.26 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.40 3.68 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.43 3.48 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.32 74.24 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.61 77.86 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.43 77.56 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.66 74.64 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.83 76.74 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.85 67.92 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.92 73.60 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.35 69.36 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.91 75.90 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.28 70.21 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.68 73.73 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.21 72.93 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 94.82 79.04 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.17 76.25 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.17 71.76 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.43 80.60 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.15 72.76 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.00 73.69 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.37 73.51 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.23 74.47 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.08 76.72 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.56 72.81 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.50 72.44 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.95 76.96 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.21 88.67 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.91 78.93 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.12 70.72 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.45 71.67 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.78 79.66 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.92 72.58 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.15 72.89 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.22 72.57 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.71 77.28 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.76 76.09 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.65 67.38 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.14 74.23 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 8 done 7973.98 2998.60 - AbsInt_imprecise_LFB.32bitMem Run set 9 of 9 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise_LFB.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i unknown 11.69 21.66 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TRUE 8.61 20.57 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TRUE 7.69 4.14 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TRUE 8.31 4.54 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TRUE 8.46 4.64 None array-examples/standard_allDiff2_false-unreach-call_ground.i TRUE 7.25 4.00 None array-examples/standard_copy1_false-unreach-call_ground.i TRUE 7.01 3.96 None array-examples/standard_copy2_false-unreach-call_ground.i TRUE 7.61 4.16 None array-examples/standard_copy3_false-unreach-call_ground.i TRUE 7.78 4.15 None array-examples/standard_copy4_false-unreach-call_ground.i TRUE 7.40 4.06 None array-examples/standard_copy5_false-unreach-call_ground.i TRUE 7.29 4.00 None array-examples/standard_copy6_false-unreach-call_ground.i TRUE 7.89 4.22 None array-examples/standard_copy7_false-unreach-call_ground.i TRUE 8.11 4.37 None array-examples/standard_copy8_false-unreach-call_ground.i TRUE 8.05 4.35 None array-examples/standard_copy9_false-unreach-call_ground.i TRUE 8.71 4.59 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TRUE 6.61 3.55 None array-examples/standard_init1_false-unreach-call_ground.i TRUE 6.75 3.59 None array-examples/standard_init2_false-unreach-call_ground.i TRUE 6.90 3.67 None array-examples/standard_init3_false-unreach-call_ground.i TRUE 6.61 3.89 None array-examples/standard_init4_false-unreach-call_ground.i TRUE 6.89 3.75 None array-examples/standard_init5_false-unreach-call_ground.i TRUE 6.76 3.83 None array-examples/standard_init6_false-unreach-call_ground.i TRUE 7.06 3.77 None array-examples/standard_init7_false-unreach-call_ground.i TRUE 7.09 3.91 None array-examples/standard_init8_false-unreach-call_ground.i TRUE 6.87 3.92 None array-examples/standard_init9_false-unreach-call_ground.i TRUE 7.11 3.90 None array-examples/standard_minInArray_false-unreach-call_ground.i TRUE 6.62 4.09 None array-examples/standard_partition_false-unreach-call_ground.i TRUE 7.22 3.87 None array-examples/standard_running_false-unreach-call.i TRUE 6.69 3.67 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 11.36 5.97 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 11.22 5.91 None array-examples/relax_true-unreach-call.i unknown 11.76 6.29 None array-examples/sanfoundry_02_true-unreach-call_ground.i TRUE 6.91 3.81 None array-examples/sanfoundry_10_true-unreach-call_ground.i TRUE 7.06 3.86 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 6.21 3.50 None array-examples/sanfoundry_27_true-unreach-call_ground.i TRUE 6.64 3.60 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 7.14 3.86 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TRUE 7.16 3.86 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TRUE 8.04 4.39 None array-examples/standard_compareModified_true-unreach-call_ground.i TRUE 7.45 4.11 None array-examples/standard_compare_true-unreach-call_ground.i TRUE 6.56 3.59 None array-examples/standard_copy1_true-unreach-call_ground.i TRUE 6.63 3.69 None array-examples/standard_copy2_true-unreach-call_ground.i TRUE 7.05 3.84 None array-examples/standard_copy3_true-unreach-call_ground.i TRUE 7.23 4.01 None array-examples/standard_copy4_true-unreach-call_ground.i TRUE 7.43 4.08 None array-examples/standard_copy5_true-unreach-call_ground.i TRUE 7.86 4.27 None array-examples/standard_copy6_true-unreach-call_ground.i TRUE 7.98 4.27 None array-examples/standard_copy7_true-unreach-call_ground.i TRUE 8.11 4.33 None array-examples/standard_copy8_true-unreach-call_ground.i TRUE 8.06 4.39 None array-examples/standard_copy9_true-unreach-call_ground.i TRUE 8.53 4.60 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TRUE 7.19 3.79 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TRUE 6.63 3.75 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TRUE 7.04 3.78 None array-examples/standard_copyInit_true-unreach-call_ground.i TRUE 6.47 3.54 None array-examples/standard_find_true-unreach-call_ground.i TRUE 6.75 3.81 None array-examples/standard_init1_true-unreach-call_ground.i TRUE 6.24 3.43 None array-examples/standard_init2_true-unreach-call_ground.i TRUE 6.67 3.55 None array-examples/standard_init3_true-unreach-call_ground.i TRUE 6.62 3.64 None array-examples/standard_init4_true-unreach-call_ground.i TRUE 6.65 3.65 None array-examples/standard_init5_true-unreach-call_ground.i TRUE 6.65 3.63 None array-examples/standard_init6_true-unreach-call_ground.i TRUE 7.05 3.86 None array-examples/standard_init7_true-unreach-call_ground.i TRUE 6.95 3.84 None array-examples/standard_init8_true-unreach-call_ground.i TRUE 7.57 4.00 None array-examples/standard_init9_true-unreach-call_ground.i TRUE 7.38 4.01 None array-examples/standard_maxInArray_true-unreach-call_ground.i TRUE 6.68 3.56 None array-examples/standard_minInArray_true-unreach-call_ground.i TRUE 7.45 3.92 None array-examples/standard_palindrome_true-unreach-call_ground.i TRUE 6.26 3.46 None array-examples/standard_partial_init_true-unreach-call_ground.i TRUE 6.92 3.76 None array-examples/standard_partition_original_true-unreach-call_ground.i TRUE 7.42 3.96 None array-examples/standard_partition_true-unreach-call_ground.i TRUE 7.25 4.00 None array-examples/standard_password_true-unreach-call_ground.i TRUE 7.02 3.79 None array-examples/standard_reverse_true-unreach-call_ground.i TRUE 6.75 3.59 None array-examples/standard_running_true-unreach-call.i TRUE 7.30 3.88 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 6.19 3.42 None array-examples/standard_seq_init_true-unreach-call_ground.i TRUE 6.57 3.52 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 7.45 4.09 None array-examples/standard_strcpy_original_true-unreach-call.i TRUE 7.05 3.77 None array-examples/standard_strcpy_true-unreach-call_ground.i TRUE 6.77 3.64 None array-examples/standard_two_index_01_true-unreach-call.i TRUE 6.15 3.40 None array-examples/standard_two_index_02_true-unreach-call.i TRUE 6.64 3.57 None array-examples/standard_two_index_03_true-unreach-call.i TRUE 6.26 3.49 None array-examples/standard_two_index_04_true-unreach-call.i TRUE 6.72 3.63 None array-examples/standard_two_index_05_true-unreach-call.i TRUE 6.15 3.43 None array-examples/standard_two_index_06_true-unreach-call.i TRUE 6.35 3.48 None array-examples/standard_two_index_07_true-unreach-call.i TRUE 6.58 3.52 None array-examples/standard_two_index_08_true-unreach-call.i TRUE 6.23 3.47 None array-examples/standard_two_index_09_true-unreach-call.i TRUE 6.24 3.39 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TRUE 6.13 3.44 None array-examples/standard_vector_difference_true-unreach-call_ground.i TRUE 6.46 3.55 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TRUE 6.10 3.39 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i TIMEOUT (ERROR (143)) 91.26 83.63 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TRUE 6.80 3.77 None array-industry-pattern/array_range_init_false-unreach-call.i TIMEOUT (ERROR (143)) 91.16 79.81 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TRUE 7.39 9.95 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 10.03 9.12 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TRUE 6.46 3.63 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TRUE 6.32 3.50 None array-industry-pattern/array_of_struct_break_true-unreach-call.i TIMEOUT (ERROR (143)) 91.12 81.48 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.40 77.37 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 10.04 5.72 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i TIMEOUT (ERROR (143)) 90.38 78.07 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.30 76.61 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.42 75.99 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i TIMEOUT (ERROR (143)) 91.21 80.13 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.30 76.52 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TRUE 6.87 3.68 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 10.69 5.79 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 14.47 7.98 None reducercommutativity/rangesum20_false-unreach-call.i unknown 14.45 8.04 None reducercommutativity/rangesum40_false-unreach-call.i unknown 14.98 8.07 None reducercommutativity/rangesum60_false-unreach-call.i unknown 15.49 8.25 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 15.59 8.33 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 14.48 7.79 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 14.09 7.60 None reducercommutativity/avg20_true-unreach-call.i unknown 11.54 6.27 None reducercommutativity/avg40_true-unreach-call.i unknown 8.12 4.38 None reducercommutativity/avg60_true-unreach-call.i unknown 8.65 4.58 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 7.85 4.24 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 9.11 4.88 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 8.71 4.76 None reducercommutativity/max20_true-unreach-call.i unknown 9.25 5.01 None reducercommutativity/max40_true-unreach-call.i unknown 9.61 5.28 None reducercommutativity/max60_true-unreach-call.i unknown 9.24 5.21 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 8.55 4.66 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 9.09 4.89 None reducercommutativity/sep10_true-unreach-call.i unknown 9.18 4.95 None reducercommutativity/sep20_true-unreach-call.i unknown 8.65 4.63 None reducercommutativity/sep40_true-unreach-call.i unknown 8.73 4.73 None reducercommutativity/sep60_true-unreach-call.i unknown 8.61 12.14 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 8.16 10.05 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 8.72 4.88 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 8.46 4.87 None reducercommutativity/sum20_true-unreach-call.i unknown 8.59 4.94 None reducercommutativity/sum40_true-unreach-call.i unknown 8.14 4.90 None reducercommutativity/sum60_true-unreach-call.i unknown 8.61 4.77 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 8.13 4.39 None array-tiling/mlceu_false-unreach-call.i TRUE 6.42 3.59 None array-tiling/skippedu_false-unreach-call.i TRUE 6.78 3.80 None array-tiling/mbpr2_true-unreach-call.i TRUE 7.08 3.92 None array-tiling/mbpr3_true-unreach-call.i TRUE 7.38 4.11 None array-tiling/mbpr4_true-unreach-call.i TRUE 7.77 4.36 None array-tiling/mbpr5_true-unreach-call.i TRUE 8.11 4.45 None array-tiling/nr2_true-unreach-call.i TRUE 7.02 3.87 None array-tiling/nr3_true-unreach-call.i TRUE 7.19 3.90 None array-tiling/nr4_true-unreach-call.i TRUE 7.33 4.13 None array-tiling/nr5_true-unreach-call.i TRUE 7.07 3.83 None array-tiling/pnr2_true-unreach-call.i TRUE 6.84 3.89 None array-tiling/pnr3_true-unreach-call.i TRUE 7.34 4.10 None array-tiling/pnr4_true-unreach-call.i TRUE 7.46 4.20 None array-tiling/pnr5_true-unreach-call.i TRUE 8.05 4.37 None array-tiling/poly1_true-unreach-call.i TRUE 6.24 3.54 None array-tiling/poly2_true-unreach-call.i TRUE 6.66 3.70 None array-tiling/pr2_true-unreach-call.i TRUE 7.14 3.99 None array-tiling/pr3_true-unreach-call.i TRUE 7.44 4.19 None array-tiling/pr4_true-unreach-call.i TRUE 7.68 4.18 None array-tiling/pr5_true-unreach-call.i TRUE 7.65 4.18 None array-tiling/revcpyswp2_true-unreach-call.i TRUE 7.15 3.82 None array-tiling/rew_true-unreach-call.i TRUE 6.70 3.88 None array-tiling/rewnif_true-unreach-call.i TRUE 6.26 3.54 None array-tiling/rewnifrev2_true-unreach-call.i TRUE 6.37 3.57 None array-tiling/rewnifrev_true-unreach-call.i TRUE 6.64 3.80 None array-tiling/rewrev_true-unreach-call.i TRUE 6.67 3.76 None array-tiling/skipped_true-unreach-call.i TRUE 6.82 3.83 None array-tiling/tcpy_true-unreach-call.i TRUE 6.87 3.72 None array-programs/copysome1_false-unreach-call.i TRUE 7.27 4.02 None array-programs/copysome2_false-unreach-call.i TRUE 7.37 3.95 None array-programs/copysome1_true-unreach-call.i TRUE 7.42 4.01 None array-programs/copysome2_true-unreach-call.i TRUE 7.25 4.00 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 71.68 49.28 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.15 67.50 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.73 78.17 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 29.90 15.95 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 72.48 50.71 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.35 66.39 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.73 67.17 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.42 64.31 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 18.27 9.59 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 28.64 15.59 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c TRUE 27.08 15.25 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c TRUE 24.04 13.28 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c TRUE 27.35 15.31 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c TRUE 24.53 13.45 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c TRUE 39.30 24.55 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TRUE 25.14 14.34 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c TRUE 33.14 19.83 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c TRUE 26.68 15.94 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c TRUE 33.22 18.65 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c TRUE 27.17 15.25 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c TRUE 24.91 13.72 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c TRUE 34.24 20.34 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TRUE 26.38 15.13 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TRUE 25.00 13.63 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TRUE 27.85 15.48 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TRUE 25.23 13.60 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TRUE 25.84 14.79 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 9.24 5.03 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 7.72 4.31 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TRUE 26.16 14.36 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TRUE 26.86 15.00 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TRUE 26.40 15.01 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TRUE 30.67 17.59 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TRUE 28.52 15.94 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TRUE 27.77 15.55 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.11 83.54 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.63 78.29 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 90.73 83.30 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.85 90.43 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.95 87.47 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.01 85.21 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 96.40 83.10 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 95.75 76.15 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.79 10.05 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.23 10.54 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.84 6.66 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 17.54 10.86 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 37.42 26.99 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 6.38 3.74 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 5.74 3.48 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 6.26 3.69 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 5.49 3.12 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 6.26 3.67 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 6.41 3.53 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 5.74 3.35 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 7.18 4.15 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 6.50 3.70 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 6.54 3.67 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unknown 43.83 24.38 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unknown 54.43 30.65 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unknown 42.71 23.87 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unknown 49.85 28.85 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unknown 47.91 26.81 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unknown 45.39 25.95 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unknown 51.24 29.24 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unknown 47.03 25.80 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unknown 58.04 33.10 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unknown 56.81 31.38 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unknown 53.00 30.45 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unknown 53.20 30.05 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unknown 51.08 29.06 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unknown 55.10 31.25 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unknown 47.53 28.21 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unknown 51.37 29.82 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unknown 53.87 30.53 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unknown 48.97 29.18 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unknown 58.50 32.46 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unknown 43.87 25.45 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unknown 52.25 29.20 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unknown 44.46 24.61 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unknown 50.40 29.54 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c unknown 51.63 30.18 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c unknown 44.75 25.77 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unknown 53.18 30.90 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unknown 48.74 28.63 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unknown 57.77 31.29 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unknown 56.85 31.23 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unknown 54.56 31.60 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unknown 54.44 30.87 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unknown 51.26 30.01 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unknown 52.11 29.43 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unknown 51.90 29.43 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unknown 57.96 32.90 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unknown 57.25 31.63 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 9 done 6147.85 2085.27 - Statistics: 2349 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 2349