BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-reach-heapsep-32.xml name: equality-cav18-reach-heapsep-32 run sets: Automizer.32bitMem, AutomizerHeapSep.32bitMem, HeapSep.32bitMem date: Mon, 2018-01-29 22:36:05 CET tool: ULTIMATE Automizer 0.1.23-1cceb4a9 tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv resource limits: - memory: 6000.0 MB - time: 90 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 6000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: alex_server os: Linux-4.14.13-1-ARCH-x86_64-with-arch cpu: Intel Xeon CPU E3-1225 v3 @ 3.20GHz - cores: 4 - max frequency: 3600.0 MHz - turbo boost enabled: True ram: 8272.576512 MB ------------------------------------------------------------ Automizer.32bitMem Run set 1 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-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 TIMEOUT (ERROR (143)) 90.93 69.94 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT (ERROR: EXCEPTION) 90.94 67.87 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 91.24 68.74 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT (ERROR (143)) 90.93 67.06 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.21 69.40 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.35 73.12 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.07 70.52 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.05 69.19 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.11 69.98 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.34 69.68 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.14 66.36 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.90 69.37 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.12 68.12 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.91 69.09 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.86 70.43 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.86 69.46 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.55 69.97 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.75 70.03 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.57 72.15 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.89 76.05 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.90 71.62 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.99 75.56 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.80 72.47 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 93.64 76.11 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.80 74.44 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.05 69.26 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.82 84.89 None array-examples/standard_running_false-unreach-call.i TIMEOUT (ERROR (143)) 91.32 76.51 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i TRUE 5.83 3.28 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.17 74.10 None array-examples/relax_true-unreach-call.i TIMEOUT (ERROR (143)) 91.27 85.83 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.64 69.45 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.13 86.71 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 5.87 3.33 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.24 69.85 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 3.27 1.81 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.71 67.71 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.64 69.50 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.79 90.63 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.30 65.78 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.80 74.31 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.42 67.75 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.61 70.58 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.81 70.71 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.77 70.59 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.12 69.05 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.97 70.35 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.63 69.52 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.09 69.11 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 91.09 67.85 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.37 73.57 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.06 68.05 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.23 68.04 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.27 67.42 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.86 69.09 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.81 69.38 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.89 73.02 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.19 71.34 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.89 71.62 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.84 77.51 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.69 71.70 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.63 74.61 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.66 74.94 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.00 69.52 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.08 69.07 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 96.57 76.16 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.92 76.81 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.78 79.99 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.11 87.54 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.28 68.62 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.78 76.30 None array-examples/standard_running_true-unreach-call.i TIMEOUT (ERROR (143)) 90.56 77.21 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 5.72 3.24 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.55 87.01 None array-examples/standard_strcmp_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.06 69.25 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT (ERROR (143)) 91.05 69.09 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.87 65.55 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT (ERROR (143)) 91.81 87.27 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT (ERROR (143)) 91.51 85.55 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT (ERROR (143)) 91.33 84.62 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT (ERROR (143)) 91.13 84.10 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT (ERROR (143)) 91.35 84.12 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT (ERROR (143)) 90.37 76.99 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT (ERROR (143)) 90.36 78.52 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT (ERROR (143)) 92.95 77.81 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT (ERROR (143)) 91.99 77.30 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT (ERROR (143)) 90.74 73.49 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.24 86.75 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.39 69.22 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i OUT OF MEMORY 25.08 13.62 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT (ERROR: EXCEPTION) 90.85 72.62 None array-industry-pattern/array_range_init_false-unreach-call.i OUT OF MEMORY 22.60 12.28 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.25 66.95 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i TIMEOUT (ERROR (143)) 91.05 66.08 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.31 66.08 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.47 82.08 None array-industry-pattern/array_of_struct_break_true-unreach-call.i ERROR: EXCEPTION 41.48 21.97 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i ERROR: EXCEPTION 50.64 26.68 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TRUE 10.01 5.90 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i ERROR: EXCEPTION 45.18 23.94 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i OUT OF MEMORY 33.58 17.89 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i ERROR: EXCEPTION 61.81 32.44 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i OUT OF MEMORY 26.69 14.28 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i OUT OF MEMORY 26.97 14.50 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.32 65.66 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 12.44 7.12 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 96.25 85.47 None reducercommutativity/rangesum20_false-unreach-call.i TIMEOUT (ERROR (143)) 95.70 80.41 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT (ERROR (143)) 92.64 80.04 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT (ERROR (143)) 96.11 89.23 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 16.13 9.92 None reducercommutativity/avg05_true-unreach-call_true-termination.i ERROR: EXCEPTION 41.41 27.52 None reducercommutativity/avg10_true-unreach-call_true-termination.i TIMEOUT (ERROR: EXCEPTION) 90.75 73.01 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT (ERROR (143)) 93.03 71.56 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.67 72.67 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT (ERROR (143)) 96.03 73.81 None reducercommutativity/avg_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.44 88.54 None reducercommutativity/max05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.72 79.38 None reducercommutativity/max10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 94.26 73.38 None reducercommutativity/max20_true-unreach-call.i TIMEOUT (ERROR (143)) 95.48 74.35 None reducercommutativity/max40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.94 70.71 None reducercommutativity/max60_true-unreach-call.i TIMEOUT (ERROR (143)) 91.12 69.10 None reducercommutativity/max_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 92.14 84.26 None reducercommutativity/sep05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.99 75.49 None reducercommutativity/sep10_true-unreach-call.i TIMEOUT (ERROR (143)) 90.46 60.51 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT (ERROR: EXCEPTION) 91.25 69.24 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.79 72.08 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT (ERROR (143)) 92.41 73.90 None reducercommutativity/sep_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.27 72.18 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.44 75.87 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT (ERROR: EXCEPTION) 90.49 71.82 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT (ERROR (143)) 94.22 71.84 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT (ERROR (143)) 93.03 71.65 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT (ERROR (143)) 95.58 75.75 None reducercommutativity/sum_true-unreach-call_true-termination.i TIMEOUT (ERROR: EXCEPTION) 91.03 84.95 None array-tiling/mlceu_false-unreach-call.i TIMEOUT (ERROR (143)) 92.74 85.03 None array-tiling/skippedu_false-unreach-call.i FALSE 4.36 2.47 None array-tiling/mbpr2_true-unreach-call.i ERROR: EXCEPTION 4.78 2.73 None array-tiling/mbpr3_true-unreach-call.i ERROR: EXCEPTION 5.69 3.26 None array-tiling/mbpr4_true-unreach-call.i ERROR: EXCEPTION 5.50 3.10 None array-tiling/mbpr5_true-unreach-call.i ERROR: EXCEPTION 6.32 3.57 None array-tiling/nr2_true-unreach-call.i ERROR: EXCEPTION 10.27 6.04 None array-tiling/nr3_true-unreach-call.i TIMEOUT (ERROR (143)) 92.47 84.78 None array-tiling/nr4_true-unreach-call.i TIMEOUT (ERROR (143)) 91.06 81.28 None array-tiling/nr5_true-unreach-call.i TIMEOUT (ERROR (143)) 91.44 82.12 None array-tiling/pnr2_true-unreach-call.i ERROR: EXCEPTION 4.26 2.42 None array-tiling/pnr3_true-unreach-call.i ERROR: EXCEPTION 5.13 2.83 None array-tiling/pnr4_true-unreach-call.i ERROR: EXCEPTION 4.99 2.78 None array-tiling/pnr5_true-unreach-call.i ERROR: EXCEPTION 4.95 2.73 None array-tiling/poly1_true-unreach-call.i TIMEOUT (ERROR (143)) 91.76 85.84 None array-tiling/poly2_true-unreach-call.i TIMEOUT (ERROR (143)) 90.77 87.05 None array-tiling/pr2_true-unreach-call.i ERROR: EXCEPTION 4.23 2.39 None array-tiling/pr3_true-unreach-call.i ERROR: EXCEPTION 4.74 2.69 None array-tiling/pr4_true-unreach-call.i ERROR: EXCEPTION 4.85 2.69 None array-tiling/pr5_true-unreach-call.i ERROR: EXCEPTION 5.27 2.99 None array-tiling/revcpyswp2_true-unreach-call.i TIMEOUT (ERROR (143)) 91.09 72.64 None array-tiling/rew_true-unreach-call.i TIMEOUT (ERROR (143)) 90.69 78.36 None array-tiling/rewnif_true-unreach-call.i TIMEOUT (ERROR (143)) 90.88 77.09 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT (ERROR (143)) 91.17 75.01 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT (ERROR (143)) 90.75 76.92 None array-tiling/rewrev_true-unreach-call.i TIMEOUT (ERROR (143)) 90.44 77.75 None array-tiling/skipped_true-unreach-call.i ERROR: EXCEPTION 7.19 4.18 None array-tiling/tcpy_true-unreach-call.i ERROR: EXCEPTION 5.72 3.19 None array-programs/copysome1_false-unreach-call.i TIMEOUT (ERROR (143)) 92.29 77.02 None array-programs/copysome2_false-unreach-call.i TIMEOUT (ERROR (143)) 90.60 69.93 None array-programs/copysome1_true-unreach-call.i TIMEOUT (ERROR (143)) 94.11 78.19 None array-programs/copysome2_true-unreach-call.i TIMEOUT (ERROR (143)) 91.04 69.48 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 69.58 42.44 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 52.28 30.79 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 63.13 37.33 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 22.48 12.74 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.67 58.57 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.06 58.21 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 79.54 51.76 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 91.53 55.15 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 25.67 14.49 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 28.17 16.18 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 15.52 8.72 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 14.46 8.06 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 15.40 8.58 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 15.68 8.74 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 7.69 4.55 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 91.30 65.02 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c FALSE 47.03 26.47 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 23.60 13.60 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 15.20 8.50 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 11.86 6.54 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 14.08 7.51 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 5.95 3.36 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 92.90 62.18 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 90.56 66.30 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR: EXCEPTION) 91.12 62.01 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 90.24 65.16 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.89 63.29 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 6.81 3.91 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 4.96 2.84 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 91.70 65.46 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.31 63.38 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.82 65.18 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.79 61.86 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.30 64.42 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.30 63.55 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 4.53 2.55 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 4.08 2.32 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.53 8.13 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 22.37 12.52 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 36.50 21.98 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 72.70 46.12 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 91.07 58.54 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 93.75 59.39 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.38 2.95 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.18 3.47 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.20 3.89 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.84 4.68 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 10.56 5.62 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 3.13 1.70 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 2.59 1.44 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 2.98 1.65 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 2.62 1.45 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 2.92 1.58 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 2.87 1.59 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 2.76 1.48 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 3.17 1.70 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 2.92 1.57 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 2.99 1.63 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 57.62 36.07 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 44.73 26.45 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 40.95 24.78 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 40.16 24.29 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 69.92 49.77 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 63.01 42.42 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 63.12 43.84 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c UNKNOWN: OverapproxCex 61.43 42.18 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.99 68.25 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.14 64.65 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.26 68.03 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.33 64.74 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.13 68.19 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (UNKNOWN: OverapproxCex) 91.33 61.86 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.00 66.59 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.94 62.87 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.21 68.48 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.89 69.63 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.99 66.98 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.19 63.69 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.65 65.48 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.47 63.79 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.08 66.05 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.91 68.74 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.82 64.43 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR: EXCEPTION) 90.96 68.11 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR: EXCEPTION) 91.21 67.74 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR: EXCEPTION) 90.18 65.97 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.48 68.31 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.33 65.21 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.26 65.85 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.47 67.07 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.14 68.23 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.08 68.95 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.50 67.30 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR: EXCEPTION) 90.93 68.60 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 12965.50 14012.88 - AutomizerHeapSep.32bitMem Run set 2 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-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 TIMEOUT (ERROR (143)) 91.54 60.32 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i TIMEOUT (ERROR (143)) 90.86 69.16 None array-examples/sorting_bubblesort_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.88 69.57 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i TIMEOUT (ERROR (143)) 91.23 66.77 None array-examples/sorting_selectionsort_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.49 69.89 None array-examples/standard_allDiff2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.09 74.20 None array-examples/standard_copy1_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.14 69.71 None array-examples/standard_copy2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.22 67.13 None array-examples/standard_copy3_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.46 66.65 None array-examples/standard_copy4_false-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 91.14 68.64 None array-examples/standard_copy5_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.01 70.13 None array-examples/standard_copy6_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.85 69.57 None array-examples/standard_copy7_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.09 67.94 None array-examples/standard_copy8_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.14 67.11 None array-examples/standard_copy9_false-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.85 69.79 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.89 69.56 None array-examples/standard_init1_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.02 66.25 None array-examples/standard_init2_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.26 71.95 None array-examples/standard_init3_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.63 72.20 None array-examples/standard_init4_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.87 76.02 None array-examples/standard_init5_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.45 70.19 None array-examples/standard_init6_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.85 76.76 None array-examples/standard_init7_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.65 73.88 None array-examples/standard_init8_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.78 75.54 None array-examples/standard_init9_false-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.81 75.17 None array-examples/standard_minInArray_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.03 68.76 None array-examples/standard_partition_false-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.68 86.12 None array-examples/standard_running_false-unreach-call.i TIMEOUT (ERROR (143)) 91.39 75.57 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i FALSE 22.89 12.19 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.06 62.25 None array-examples/relax_true-unreach-call.i TIMEOUT (ERROR (143)) 90.78 74.40 None array-examples/sanfoundry_02_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 91.25 71.82 None array-examples/sanfoundry_10_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.27 85.63 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i TRUE 5.77 3.19 None array-examples/sanfoundry_27_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.95 72.34 None array-examples/sanfoundry_43_true-unreach-call_ground.i TRUE 9.37 4.90 None array-examples/sorting_bubblesort_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.92 67.80 None array-examples/sorting_selectionsort_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.04 66.65 None array-examples/standard_compareModified_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.18 88.17 None array-examples/standard_compare_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.22 68.09 None array-examples/standard_copy1_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.56 75.98 None array-examples/standard_copy2_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.23 69.95 None array-examples/standard_copy3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.65 72.13 None array-examples/standard_copy4_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.83 71.19 None array-examples/standard_copy5_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.89 70.69 None array-examples/standard_copy6_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.21 67.56 None array-examples/standard_copy7_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.81 64.78 None array-examples/standard_copy8_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.25 69.20 None array-examples/standard_copy9_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.90 69.07 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.90 71.09 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.66 66.52 None array-examples/standard_copyInitSum_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.83 69.67 None array-examples/standard_copyInit_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.87 68.63 None array-examples/standard_find_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.04 67.34 None array-examples/standard_init1_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.06 67.50 None array-examples/standard_init2_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.84 70.21 None array-examples/standard_init3_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.64 71.94 None array-examples/standard_init4_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.62 69.15 None array-examples/standard_init5_true-unreach-call_ground.i TIMEOUT (ERROR: EXCEPTION) 90.99 71.88 None array-examples/standard_init6_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 95.83 76.95 None array-examples/standard_init7_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.45 71.38 None array-examples/standard_init8_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 96.02 75.74 None array-examples/standard_init9_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.64 73.74 None array-examples/standard_maxInArray_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.42 63.95 None array-examples/standard_minInArray_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.12 69.35 None array-examples/standard_palindrome_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.13 68.78 None array-examples/standard_partial_init_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.45 74.74 None array-examples/standard_partition_original_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.46 86.00 None array-examples/standard_partition_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 92.07 88.55 None array-examples/standard_password_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.79 67.24 None array-examples/standard_reverse_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.98 75.94 None array-examples/standard_running_true-unreach-call.i TIMEOUT (ERROR (143)) 90.69 78.49 None array-examples/standard_sentinel_true-unreach-call_true-termination.i TRUE 5.87 3.35 None array-examples/standard_seq_init_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 91.52 87.84 None array-examples/standard_strcmp_true-unreach-call_ground.i FALSE 10.90 5.67 None array-examples/standard_strcpy_original_true-unreach-call.i TIMEOUT (ERROR (143)) 91.03 68.76 None array-examples/standard_strcpy_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 90.09 66.05 None array-examples/standard_two_index_01_true-unreach-call.i TIMEOUT (ERROR (143)) 90.91 86.35 None array-examples/standard_two_index_02_true-unreach-call.i TIMEOUT (ERROR (143)) 91.33 85.13 None array-examples/standard_two_index_03_true-unreach-call.i TIMEOUT (ERROR (143)) 91.26 84.51 None array-examples/standard_two_index_04_true-unreach-call.i TIMEOUT (ERROR (143)) 91.40 84.01 None array-examples/standard_two_index_05_true-unreach-call.i TIMEOUT (ERROR (143)) 92.39 84.12 None array-examples/standard_two_index_06_true-unreach-call.i TIMEOUT (ERROR (143)) 91.78 79.16 None array-examples/standard_two_index_07_true-unreach-call.i TIMEOUT (ERROR (143)) 93.04 78.10 None array-examples/standard_two_index_08_true-unreach-call.i TIMEOUT (ERROR (143)) 91.14 77.18 None array-examples/standard_two_index_09_true-unreach-call.i TIMEOUT (ERROR (143)) 91.80 80.39 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i TIMEOUT (ERROR (143)) 91.75 75.25 None array-examples/standard_vector_difference_true-unreach-call_ground.i TIMEOUT (ERROR (143)) 93.22 89.26 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.05 70.08 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i ERROR: EXCEPTION 44.99 23.72 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.24 70.86 None array-industry-pattern/array_range_init_false-unreach-call.i OUT OF MEMORY 21.00 11.59 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.11 70.67 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i FALSE 34.56 22.48 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.28 66.31 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.22 86.89 None array-industry-pattern/array_of_struct_break_true-unreach-call.i OUT OF MEMORY 22.23 12.02 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i OUT OF MEMORY 27.97 15.15 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i TIMEOUT (ERROR (143)) 90.44 67.63 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i OUT OF MEMORY 25.74 13.82 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i OUT OF MEMORY 32.55 17.48 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i OUT OF MEMORY 31.67 17.06 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i OUT OF MEMORY 26.28 14.06 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i ERROR: EXCEPTION 51.81 27.35 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.27 68.86 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i FALSE 23.09 12.24 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i FALSE 29.95 16.94 None reducercommutativity/rangesum20_false-unreach-call.i FALSE 56.31 38.27 None reducercommutativity/rangesum40_false-unreach-call.i TIMEOUT (ERROR (143)) 90.94 68.77 None reducercommutativity/rangesum60_false-unreach-call.i TIMEOUT (ERROR (143)) 90.92 69.73 None reducercommutativity/rangesum_false-unreach-call_true-termination.i FALSE 20.33 11.15 None reducercommutativity/avg05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.69 79.15 None reducercommutativity/avg10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.53 79.32 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.80 78.14 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.72 79.06 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT (ERROR (143)) 91.04 78.55 None reducercommutativity/avg_true-unreach-call_true-termination.i FALSE 33.33 23.32 None reducercommutativity/max05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.46 76.35 None reducercommutativity/max10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.33 78.31 None reducercommutativity/max20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.44 77.99 None reducercommutativity/max40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.59 77.98 None reducercommutativity/max60_true-unreach-call.i TIMEOUT (ERROR (143)) 91.04 76.21 None reducercommutativity/max_true-unreach-call_true-termination.i FALSE 38.06 26.79 None reducercommutativity/sep05_true-unreach-call_true-termination.i FALSE 71.32 56.17 None reducercommutativity/sep10_true-unreach-call.i FALSE 80.87 63.19 None reducercommutativity/sep20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.24 72.29 None reducercommutativity/sep40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.39 71.32 None reducercommutativity/sep60_true-unreach-call.i TIMEOUT (ERROR (143)) 91.36 68.29 None reducercommutativity/sep_true-unreach-call_true-termination.i FALSE 29.13 19.97 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.33 77.77 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.38 76.78 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.80 78.51 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.28 78.19 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT (ERROR (143)) 90.72 77.14 None reducercommutativity/sum_true-unreach-call_true-termination.i FALSE 34.52 23.29 None array-tiling/mlceu_false-unreach-call.i TIMEOUT (ERROR (143)) 91.65 83.23 None array-tiling/skippedu_false-unreach-call.i FALSE 4.17 2.34 None array-tiling/mbpr2_true-unreach-call.i ERROR: EXCEPTION 4.53 2.59 None array-tiling/mbpr3_true-unreach-call.i ERROR: EXCEPTION 5.49 3.08 None array-tiling/mbpr4_true-unreach-call.i ERROR: EXCEPTION 5.62 3.14 None array-tiling/mbpr5_true-unreach-call.i ERROR: EXCEPTION 5.98 3.31 None array-tiling/nr2_true-unreach-call.i ERROR: EXCEPTION 10.70 6.41 None array-tiling/nr3_true-unreach-call.i TIMEOUT (ERROR (143)) 91.71 83.95 None array-tiling/nr4_true-unreach-call.i TIMEOUT (ERROR (143)) 90.30 80.14 None array-tiling/nr5_true-unreach-call.i TIMEOUT (ERROR (143)) 90.47 78.35 None array-tiling/pnr2_true-unreach-call.i ERROR: EXCEPTION 4.23 2.33 None array-tiling/pnr3_true-unreach-call.i ERROR: EXCEPTION 4.99 2.75 None array-tiling/pnr4_true-unreach-call.i ERROR: EXCEPTION 4.86 2.74 None array-tiling/pnr5_true-unreach-call.i ERROR: EXCEPTION 5.04 2.80 None array-tiling/poly1_true-unreach-call.i TIMEOUT (ERROR (143)) 93.74 87.40 None array-tiling/poly2_true-unreach-call.i TIMEOUT (ERROR (143)) 92.30 89.11 None array-tiling/pr2_true-unreach-call.i ERROR: EXCEPTION 4.22 2.35 None array-tiling/pr3_true-unreach-call.i ERROR: EXCEPTION 4.68 2.64 None array-tiling/pr4_true-unreach-call.i ERROR: EXCEPTION 4.74 2.61 None array-tiling/pr5_true-unreach-call.i ERROR: EXCEPTION 4.78 2.68 None array-tiling/revcpyswp2_true-unreach-call.i TIMEOUT (ERROR (143)) 91.34 73.60 None array-tiling/rew_true-unreach-call.i TIMEOUT (ERROR (143)) 90.24 80.71 None array-tiling/rewnif_true-unreach-call.i TIMEOUT (ERROR (143)) 90.82 79.13 None array-tiling/rewnifrev2_true-unreach-call.i TIMEOUT (ERROR (143)) 90.79 76.58 None array-tiling/rewnifrev_true-unreach-call.i TIMEOUT (ERROR (143)) 92.62 80.01 None array-tiling/rewrev_true-unreach-call.i TIMEOUT (ERROR (143)) 90.29 78.77 None array-tiling/skipped_true-unreach-call.i ERROR: EXCEPTION 6.76 3.97 None array-tiling/tcpy_true-unreach-call.i ERROR: EXCEPTION 5.62 3.13 None array-programs/copysome1_false-unreach-call.i TIMEOUT (ERROR (143)) 91.34 76.84 None array-programs/copysome2_false-unreach-call.i TIMEOUT (ERROR: EXCEPTION) 91.02 66.99 None array-programs/copysome1_true-unreach-call.i TIMEOUT (ERROR (143)) 92.84 75.97 None array-programs/copysome2_true-unreach-call.i TIMEOUT (ERROR (143)) 90.29 66.86 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 60.46 38.12 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 51.57 30.12 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 56.43 33.85 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c FALSE 22.38 12.59 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.64 59.36 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.54 56.45 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.92 56.64 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c TIMEOUT (ERROR (143)) 90.17 54.19 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 26.16 15.01 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c TRUE 28.47 16.30 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c FALSE 15.04 8.60 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c FALSE 15.52 8.64 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c FALSE 15.89 8.65 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c FALSE 14.69 8.20 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c FALSE 7.52 4.32 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c FALSE 81.34 56.85 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c FALSE 42.46 24.10 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c FALSE 21.99 12.92 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c FALSE 16.60 9.04 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c FALSE 11.87 6.60 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c FALSE 12.04 6.53 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c FALSE 5.79 3.27 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 90.84 63.89 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 90.72 64.00 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 90.65 63.49 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c TIMEOUT (ERROR (143)) 91.10 65.13 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.39 66.13 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c TRUE 6.80 3.96 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c TRUE 5.17 2.94 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.66 64.52 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 91.02 67.12 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.86 64.19 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 91.98 63.38 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 91.64 62.97 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c TIMEOUT (ERROR (143)) 90.63 61.74 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 4.24 2.41 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c FALSE 4.56 2.51 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 15.08 7.88 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 24.36 13.16 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 36.51 21.93 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 73.71 47.41 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 90.45 57.75 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c TIMEOUT (ERROR (143)) 91.16 57.93 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 5.63 3.12 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 6.35 3.46 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 7.21 3.89 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 8.47 4.50 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c TRUE 11.55 6.13 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 2.81 1.51 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 2.78 1.53 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 3.02 1.68 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 2.59 1.43 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 2.89 1.59 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 3.08 1.67 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 2.78 1.52 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 3.40 1.83 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 2.80 1.59 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 2.98 1.60 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.44 79.87 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.70 75.85 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.42 76.74 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.75 76.40 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.02 75.78 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.40 79.63 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.36 78.51 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.70 74.97 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.13 80.48 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 94.61 74.88 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.36 78.73 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.60 76.28 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.65 75.65 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.28 72.94 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.79 74.22 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.32 79.90 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.37 80.26 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.78 72.52 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.38 78.08 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.56 79.46 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.26 80.28 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 94.36 77.27 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.54 75.95 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.66 79.41 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.43 79.05 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.49 76.91 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.45 80.57 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.17 75.75 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.67 76.15 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.36 79.22 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.45 79.45 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 93.56 75.80 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.97 75.12 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.49 75.93 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.43 78.78 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.67 76.18 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 13939.94 14260.50 - HeapSep.32bitMem Run set 3 of 3 with options '--generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-Reach-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 22.02 11.81 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i unknown 2.98 1.68 None array-examples/sorting_bubblesort_false-unreach-call_ground.i unknown 2.94 1.64 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i unknown 3.04 1.68 None array-examples/sorting_selectionsort_false-unreach-call_ground.i unknown 3.03 1.74 None array-examples/standard_allDiff2_false-unreach-call_ground.i unknown 2.94 1.62 None array-examples/standard_copy1_false-unreach-call_ground.i unknown 3.04 1.69 None array-examples/standard_copy2_false-unreach-call_ground.i unknown 2.93 1.65 None array-examples/standard_copy3_false-unreach-call_ground.i unknown 3.03 1.69 None array-examples/standard_copy4_false-unreach-call_ground.i unknown 3.17 1.73 None array-examples/standard_copy5_false-unreach-call_ground.i unknown 3.12 1.79 None array-examples/standard_copy6_false-unreach-call_ground.i unknown 3.30 1.83 None array-examples/standard_copy7_false-unreach-call_ground.i unknown 3.34 1.90 None array-examples/standard_copy8_false-unreach-call_ground.i unknown 3.31 1.84 None array-examples/standard_copy9_false-unreach-call_ground.i unknown 3.15 1.82 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i unknown 3.01 1.67 None array-examples/standard_init1_false-unreach-call_ground.i unknown 2.64 1.52 None array-examples/standard_init2_false-unreach-call_ground.i unknown 2.83 1.58 None array-examples/standard_init3_false-unreach-call_ground.i unknown 2.99 1.65 None array-examples/standard_init4_false-unreach-call_ground.i unknown 3.03 1.74 None array-examples/standard_init5_false-unreach-call_ground.i unknown 3.22 1.77 None array-examples/standard_init6_false-unreach-call_ground.i unknown 3.17 1.77 None array-examples/standard_init7_false-unreach-call_ground.i unknown 3.01 1.70 None array-examples/standard_init8_false-unreach-call_ground.i unknown 3.02 1.68 None array-examples/standard_init9_false-unreach-call_ground.i unknown 2.92 1.68 None array-examples/standard_minInArray_false-unreach-call_ground.i unknown 2.84 1.59 None array-examples/standard_partition_false-unreach-call_ground.i unknown 3.08 1.72 None array-examples/standard_running_false-unreach-call.i unknown 3.00 1.65 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 22.44 11.84 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 21.01 11.45 None array-examples/relax_true-unreach-call.i TIMEOUT (ERROR (143)) 91.09 74.41 None array-examples/sanfoundry_02_true-unreach-call_ground.i unknown 3.06 1.73 None array-examples/sanfoundry_10_true-unreach-call_ground.i unknown 3.10 1.68 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i unknown 3.01 1.73 None array-examples/sanfoundry_27_true-unreach-call_ground.i unknown 2.95 1.65 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 8.74 4.55 None array-examples/sorting_bubblesort_true-unreach-call_ground.i unknown 3.09 1.69 None array-examples/sorting_selectionsort_true-unreach-call_ground.i unknown 3.01 1.66 None array-examples/standard_compareModified_true-unreach-call_ground.i unknown 2.88 1.62 None array-examples/standard_compare_true-unreach-call_ground.i unknown 2.93 1.65 None array-examples/standard_copy1_true-unreach-call_ground.i unknown 2.96 1.68 None array-examples/standard_copy2_true-unreach-call_ground.i unknown 3.01 1.69 None array-examples/standard_copy3_true-unreach-call_ground.i unknown 3.06 1.68 None array-examples/standard_copy4_true-unreach-call_ground.i unknown 3.04 1.68 None array-examples/standard_copy5_true-unreach-call_ground.i unknown 3.09 1.75 None array-examples/standard_copy6_true-unreach-call_ground.i unknown 3.08 1.77 None array-examples/standard_copy7_true-unreach-call_ground.i unknown 3.19 1.79 None array-examples/standard_copy8_true-unreach-call_ground.i unknown 2.95 1.73 None array-examples/standard_copy9_true-unreach-call_ground.i unknown 3.20 1.79 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i unknown 3.06 1.71 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i unknown 3.09 1.76 None array-examples/standard_copyInitSum_true-unreach-call_ground.i unknown 2.96 1.65 None array-examples/standard_copyInit_true-unreach-call_ground.i unknown 2.96 1.67 None array-examples/standard_find_true-unreach-call_ground.i unknown 3.10 1.71 None array-examples/standard_init1_true-unreach-call_ground.i unknown 2.93 1.60 None array-examples/standard_init2_true-unreach-call_ground.i unknown 2.98 1.63 None array-examples/standard_init3_true-unreach-call_ground.i unknown 3.06 1.67 None array-examples/standard_init4_true-unreach-call_ground.i unknown 2.88 1.64 None array-examples/standard_init5_true-unreach-call_ground.i unknown 3.08 1.69 None array-examples/standard_init6_true-unreach-call_ground.i unknown 3.09 1.74 None array-examples/standard_init7_true-unreach-call_ground.i unknown 2.93 1.67 None array-examples/standard_init8_true-unreach-call_ground.i unknown 3.04 1.74 None array-examples/standard_init9_true-unreach-call_ground.i unknown 3.20 1.78 None array-examples/standard_maxInArray_true-unreach-call_ground.i unknown 2.83 1.60 None array-examples/standard_minInArray_true-unreach-call_ground.i unknown 2.93 1.65 None array-examples/standard_palindrome_true-unreach-call_ground.i unknown 2.88 1.60 None array-examples/standard_partial_init_true-unreach-call_ground.i unknown 2.91 1.67 None array-examples/standard_partition_original_true-unreach-call_ground.i unknown 2.99 1.65 None array-examples/standard_partition_true-unreach-call_ground.i unknown 2.99 1.66 None array-examples/standard_password_true-unreach-call_ground.i unknown 3.04 1.70 None array-examples/standard_reverse_true-unreach-call_ground.i unknown 3.04 1.67 None array-examples/standard_running_true-unreach-call.i unknown 2.92 1.66 None array-examples/standard_sentinel_true-unreach-call_true-termination.i unknown 2.99 1.67 None array-examples/standard_seq_init_true-unreach-call_ground.i unknown 2.81 1.55 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 10.17 5.29 None array-examples/standard_strcpy_original_true-unreach-call.i unknown 3.05 1.71 None array-examples/standard_strcpy_true-unreach-call_ground.i unknown 2.91 1.61 None array-examples/standard_two_index_01_true-unreach-call.i unknown 3.06 1.69 None array-examples/standard_two_index_02_true-unreach-call.i unknown 3.07 1.69 None array-examples/standard_two_index_03_true-unreach-call.i unknown 3.03 1.70 None array-examples/standard_two_index_04_true-unreach-call.i unknown 3.14 1.74 None array-examples/standard_two_index_05_true-unreach-call.i unknown 3.07 1.70 None array-examples/standard_two_index_06_true-unreach-call.i unknown 2.96 1.64 None array-examples/standard_two_index_07_true-unreach-call.i unknown 3.06 1.68 None array-examples/standard_two_index_08_true-unreach-call.i unknown 3.08 1.69 None array-examples/standard_two_index_09_true-unreach-call.i unknown 3.00 1.69 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unknown 2.89 1.60 None array-examples/standard_vector_difference_true-unreach-call_ground.i unknown 3.02 1.65 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unknown 2.92 1.62 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i ERROR: EXCEPTION 44.99 23.78 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 3.09 1.70 None array-industry-pattern/array_range_init_false-unreach-call.i OUT OF MEMORY 21.15 11.59 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 3.04 1.71 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 31.03 20.29 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unknown 2.96 1.62 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unknown 3.19 1.76 None array-industry-pattern/array_of_struct_break_true-unreach-call.i OUT OF MEMORY 21.50 11.66 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i ERROR: EXCEPTION 51.72 27.20 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 22.49 14.01 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i OUT OF MEMORY 27.40 14.75 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i OUT OF MEMORY 34.76 18.58 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i ERROR: EXCEPTION 68.60 35.86 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i OUT OF MEMORY 27.07 14.41 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i ERROR: EXCEPTION 45.29 23.93 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unknown 3.07 1.72 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 18.79 10.00 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 20.96 10.71 None reducercommutativity/rangesum20_false-unreach-call.i unknown 19.74 10.16 None reducercommutativity/rangesum40_false-unreach-call.i unknown 20.09 10.38 None reducercommutativity/rangesum60_false-unreach-call.i unknown 20.01 10.27 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 20.72 10.98 None reducercommutativity/avg05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.18 78.14 None reducercommutativity/avg10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.55 77.51 None reducercommutativity/avg20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.26 77.08 None reducercommutativity/avg40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.89 78.20 None reducercommutativity/avg60_true-unreach-call.i TIMEOUT (ERROR (143)) 90.79 77.21 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 33.79 22.89 None reducercommutativity/max05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 91.12 78.92 None reducercommutativity/max10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.44 77.07 None reducercommutativity/max20_true-unreach-call.i TIMEOUT (ERROR (143)) 91.13 78.79 None reducercommutativity/max40_true-unreach-call.i TIMEOUT (ERROR (143)) 90.40 77.10 None reducercommutativity/max60_true-unreach-call.i TIMEOUT (ERROR (143)) 90.45 77.49 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 39.24 26.39 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 68.22 54.72 None reducercommutativity/sep10_true-unreach-call.i unknown 66.51 53.04 None reducercommutativity/sep20_true-unreach-call.i unknown 65.45 53.52 None reducercommutativity/sep40_true-unreach-call.i unknown 67.80 55.33 None reducercommutativity/sep60_true-unreach-call.i unknown 66.97 53.17 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 28.71 19.71 None reducercommutativity/sum05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.27 77.17 None reducercommutativity/sum10_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 90.74 77.26 None reducercommutativity/sum20_true-unreach-call.i TIMEOUT (ERROR (143)) 90.46 76.80 None reducercommutativity/sum40_true-unreach-call.i TIMEOUT (ERROR (143)) 91.17 77.56 None reducercommutativity/sum60_true-unreach-call.i TIMEOUT (ERROR (143)) 90.67 79.26 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 31.93 22.43 None array-tiling/mlceu_false-unreach-call.i unknown 3.17 1.76 None array-tiling/skippedu_false-unreach-call.i unknown 3.12 1.70 None array-tiling/mbpr2_true-unreach-call.i unknown 3.04 1.78 None array-tiling/mbpr3_true-unreach-call.i unknown 3.16 1.75 None array-tiling/mbpr4_true-unreach-call.i unknown 3.51 1.94 None array-tiling/mbpr5_true-unreach-call.i unknown 3.30 1.87 None array-tiling/nr2_true-unreach-call.i unknown 3.21 1.75 None array-tiling/nr3_true-unreach-call.i unknown 2.99 1.69 None array-tiling/nr4_true-unreach-call.i unknown 3.05 1.69 None array-tiling/nr5_true-unreach-call.i unknown 3.02 1.71 None array-tiling/pnr2_true-unreach-call.i unknown 3.07 1.74 None array-tiling/pnr3_true-unreach-call.i unknown 3.13 1.72 None array-tiling/pnr4_true-unreach-call.i unknown 3.25 1.82 None array-tiling/pnr5_true-unreach-call.i unknown 3.35 1.84 None array-tiling/poly1_true-unreach-call.i unknown 2.92 1.66 None array-tiling/poly2_true-unreach-call.i unknown 3.07 1.69 None array-tiling/pr2_true-unreach-call.i unknown 3.05 1.71 None array-tiling/pr3_true-unreach-call.i unknown 3.11 1.79 None array-tiling/pr4_true-unreach-call.i unknown 3.04 1.72 None array-tiling/pr5_true-unreach-call.i unknown 3.06 1.71 None array-tiling/revcpyswp2_true-unreach-call.i unknown 3.09 1.69 None array-tiling/rew_true-unreach-call.i unknown 3.18 1.76 None array-tiling/rewnif_true-unreach-call.i unknown 3.01 1.70 None array-tiling/rewnifrev2_true-unreach-call.i unknown 2.94 1.61 None array-tiling/rewnifrev_true-unreach-call.i unknown 2.91 1.64 None array-tiling/rewrev_true-unreach-call.i unknown 3.11 1.71 None array-tiling/skipped_true-unreach-call.i unknown 3.12 1.72 None array-tiling/tcpy_true-unreach-call.i unknown 3.02 1.66 None array-programs/copysome1_false-unreach-call.i unknown 2.95 1.64 None array-programs/copysome2_false-unreach-call.i unknown 3.00 1.69 None array-programs/copysome1_true-unreach-call.i unknown 3.00 1.66 None array-programs/copysome2_true-unreach-call.i unknown 3.06 1.73 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.99 3.46 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.18 2.89 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.75 3.35 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.86 2.73 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.83 3.36 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.04 2.86 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.25 2.97 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.55 3.23 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.95 2.26 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.89 2.80 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c unknown 4.17 2.33 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unknown 4.37 2.42 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c unknown 4.48 2.55 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c unknown 4.39 2.47 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c unknown 4.33 2.49 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c unknown 4.70 2.60 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c unknown 4.64 2.59 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c unknown 4.49 2.58 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c unknown 4.36 2.56 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c unknown 4.25 2.46 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c unknown 4.30 2.45 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c unknown 4.60 2.64 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c unknown 4.24 2.38 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unknown 5.00 2.73 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c unknown 4.51 2.54 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c unknown 4.37 2.43 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c unknown 4.93 2.76 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 3.28 1.87 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 3.04 1.72 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c unknown 4.59 2.57 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c unknown 4.41 2.47 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c unknown 4.48 2.52 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c unknown 4.46 2.52 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c unknown 4.59 2.55 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c unknown 4.59 2.64 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.65 2.07 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.40 1.89 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.30 1.85 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.46 1.98 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.68 2.02 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.28 1.90 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.68 2.02 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.47 2.01 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.14 1.78 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.02 1.71 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.40 1.87 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.21 1.80 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.20 1.82 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 2.76 1.57 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 2.74 1.50 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 2.69 1.51 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 2.71 1.52 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 2.86 1.62 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 2.93 1.57 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 2.79 1.50 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 3.28 1.79 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 3.12 1.68 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 2.85 1.58 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.56 79.32 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.23 80.36 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.35 78.97 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.26 79.88 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.51 79.82 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.63 76.17 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.45 78.73 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.41 77.95 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.74 77.96 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.85 78.25 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.69 77.54 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.59 76.80 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.51 77.85 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.74 76.22 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.09 78.87 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.56 75.27 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.79 74.71 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.48 78.75 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.38 79.50 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.41 79.71 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.69 76.30 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 90.99 75.14 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.22 80.48 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.79 78.19 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.89 73.74 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.49 78.45 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.43 75.41 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.20 80.74 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 96.34 79.45 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 92.81 72.91 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 91.89 72.46 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.63 76.80 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.31 80.88 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.50 78.15 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.56 75.70 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 95.33 79.28 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 6502.70 5107.50 - Statistics: 783 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 783