BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-cav18-reach-heapsep-32.xml name: equality-cav18-reach-heapsep-32 run sets: HeapSep.32bitMem date: Tue, 2018-01-30 19:55:05 CET tool: ULTIMATE Automizer 0.1.23-3dd0cf6a tool executable: ./Ultimate.py options: --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv resource limits: - memory: 6000.0 MB - time: 300 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: skipped AutomizerHeapSep.32bitMem Run set 2 of 3: skipped 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 21.09 11.50 None array-examples/sorting_bubblesort_false-unreach-call2_ground.i unknown 3.20 1.77 None array-examples/sorting_bubblesort_false-unreach-call_ground.i unknown 3.03 1.69 None array-examples/sorting_selectionsort_false-unreach-call2_ground.i unknown 3.05 1.70 None array-examples/sorting_selectionsort_false-unreach-call_ground.i unknown 3.07 1.74 None array-examples/standard_allDiff2_false-unreach-call_ground.i unknown 2.94 1.69 None array-examples/standard_copy1_false-unreach-call_ground.i unknown 3.14 1.73 None array-examples/standard_copy2_false-unreach-call_ground.i unknown 2.95 1.71 None array-examples/standard_copy3_false-unreach-call_ground.i unknown 3.04 1.69 None array-examples/standard_copy4_false-unreach-call_ground.i unknown 3.14 1.74 None array-examples/standard_copy5_false-unreach-call_ground.i unknown 3.02 1.69 None array-examples/standard_copy6_false-unreach-call_ground.i unknown 3.09 1.74 None array-examples/standard_copy7_false-unreach-call_ground.i unknown 3.20 1.78 None array-examples/standard_copy8_false-unreach-call_ground.i unknown 3.28 1.81 None array-examples/standard_copy9_false-unreach-call_ground.i unknown 3.23 1.74 None array-examples/standard_copyInitSum2_false-unreach-call_ground.i unknown 3.07 1.71 None array-examples/standard_init1_false-unreach-call_ground.i unknown 2.90 1.58 None array-examples/standard_init2_false-unreach-call_ground.i unknown 3.10 1.68 None array-examples/standard_init3_false-unreach-call_ground.i unknown 2.91 1.63 None array-examples/standard_init4_false-unreach-call_ground.i unknown 2.93 1.65 None array-examples/standard_init5_false-unreach-call_ground.i unknown 3.14 1.71 None array-examples/standard_init6_false-unreach-call_ground.i unknown 3.07 1.70 None array-examples/standard_init7_false-unreach-call_ground.i unknown 3.06 1.71 None array-examples/standard_init8_false-unreach-call_ground.i unknown 3.08 1.70 None array-examples/standard_init9_false-unreach-call_ground.i unknown 3.27 1.78 None array-examples/standard_minInArray_false-unreach-call_ground.i unknown 2.88 1.58 None array-examples/standard_partition_false-unreach-call_ground.i unknown 3.03 1.72 None array-examples/standard_running_false-unreach-call.i unknown 2.92 1.61 None array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i unknown 22.02 11.97 None array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i unknown 20.59 11.42 None array-examples/relax_true-unreach-call.i unknown 74.24 58.06 None array-examples/sanfoundry_02_true-unreach-call_ground.i unknown 2.95 1.67 None array-examples/sanfoundry_10_true-unreach-call_ground.i unknown 2.98 1.64 None array-examples/sanfoundry_24_true-unreach-call_true-termination.i unknown 2.98 1.69 None array-examples/sanfoundry_27_true-unreach-call_ground.i unknown 3.10 1.73 None array-examples/sanfoundry_43_true-unreach-call_ground.i unknown 8.66 4.50 None array-examples/sorting_bubblesort_true-unreach-call_ground.i unknown 2.98 1.63 None array-examples/sorting_selectionsort_true-unreach-call_ground.i unknown 3.08 1.73 None array-examples/standard_compareModified_true-unreach-call_ground.i unknown 2.95 1.65 None array-examples/standard_compare_true-unreach-call_ground.i unknown 2.93 1.63 None array-examples/standard_copy1_true-unreach-call_ground.i unknown 3.14 1.70 None array-examples/standard_copy2_true-unreach-call_ground.i unknown 2.98 1.68 None array-examples/standard_copy3_true-unreach-call_ground.i unknown 3.10 1.79 None array-examples/standard_copy4_true-unreach-call_ground.i unknown 3.00 1.70 None array-examples/standard_copy5_true-unreach-call_ground.i unknown 3.22 1.77 None array-examples/standard_copy6_true-unreach-call_ground.i unknown 3.05 1.72 None array-examples/standard_copy7_true-unreach-call_ground.i unknown 3.32 1.84 None array-examples/standard_copy8_true-unreach-call_ground.i unknown 3.21 1.73 None array-examples/standard_copy9_true-unreach-call_ground.i unknown 3.05 1.73 None array-examples/standard_copyInitSum2_true-unreach-call_ground.i unknown 3.02 1.69 None array-examples/standard_copyInitSum3_true-unreach-call_ground.i unknown 3.24 1.78 None array-examples/standard_copyInitSum_true-unreach-call_ground.i unknown 3.04 1.73 None array-examples/standard_copyInit_true-unreach-call_ground.i unknown 3.07 1.70 None array-examples/standard_find_true-unreach-call_ground.i unknown 3.36 1.84 None array-examples/standard_init1_true-unreach-call_ground.i unknown 3.03 1.70 None array-examples/standard_init2_true-unreach-call_ground.i unknown 3.02 1.67 None array-examples/standard_init3_true-unreach-call_ground.i unknown 3.06 1.69 None array-examples/standard_init4_true-unreach-call_ground.i unknown 2.96 1.64 None array-examples/standard_init5_true-unreach-call_ground.i unknown 3.19 1.75 None array-examples/standard_init6_true-unreach-call_ground.i unknown 3.07 1.73 None array-examples/standard_init7_true-unreach-call_ground.i unknown 3.15 1.76 None array-examples/standard_init8_true-unreach-call_ground.i unknown 3.19 1.73 None array-examples/standard_init9_true-unreach-call_ground.i unknown 3.13 1.76 None array-examples/standard_maxInArray_true-unreach-call_ground.i unknown 3.02 1.69 None array-examples/standard_minInArray_true-unreach-call_ground.i unknown 3.04 1.65 None array-examples/standard_palindrome_true-unreach-call_ground.i unknown 2.89 1.67 None array-examples/standard_partial_init_true-unreach-call_ground.i unknown 3.00 1.65 None array-examples/standard_partition_original_true-unreach-call_ground.i unknown 3.11 1.71 None array-examples/standard_partition_true-unreach-call_ground.i unknown 2.95 1.65 None array-examples/standard_password_true-unreach-call_ground.i unknown 3.00 1.62 None array-examples/standard_reverse_true-unreach-call_ground.i unknown 2.79 1.59 None array-examples/standard_running_true-unreach-call.i unknown 3.12 1.70 None array-examples/standard_sentinel_true-unreach-call_true-termination.i unknown 2.97 1.66 None array-examples/standard_seq_init_true-unreach-call_ground.i unknown 2.85 1.54 None array-examples/standard_strcmp_true-unreach-call_ground.i unknown 10.53 5.47 None array-examples/standard_strcpy_original_true-unreach-call.i unknown 3.00 1.64 None array-examples/standard_strcpy_true-unreach-call_ground.i unknown 3.02 1.67 None array-examples/standard_two_index_01_true-unreach-call.i unknown 2.96 1.66 None array-examples/standard_two_index_02_true-unreach-call.i unknown 3.21 1.75 None array-examples/standard_two_index_03_true-unreach-call.i unknown 3.26 1.75 None array-examples/standard_two_index_04_true-unreach-call.i unknown 3.10 1.65 None array-examples/standard_two_index_05_true-unreach-call.i unknown 3.07 1.69 None array-examples/standard_two_index_06_true-unreach-call.i unknown 3.12 1.70 None array-examples/standard_two_index_07_true-unreach-call.i unknown 2.96 1.64 None array-examples/standard_two_index_08_true-unreach-call.i unknown 3.05 1.66 None array-examples/standard_two_index_09_true-unreach-call.i unknown 3.04 1.66 None array-examples/standard_vararg_true-unreach-call_ground_true-termination.i unknown 2.88 1.60 None array-examples/standard_vector_difference_true-unreach-call_ground.i unknown 2.98 1.61 None array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i unknown 3.24 1.78 None array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i OUT OF MEMORY 23.54 12.73 None array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i unknown 3.08 1.82 None array-industry-pattern/array_range_init_false-unreach-call.i ERROR: EXCEPTION 33.65 18.06 None array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i unknown 3.12 1.81 None array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i unknown 28.68 17.68 None array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i unknown 3.12 1.73 None array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i unknown 2.99 1.68 None array-industry-pattern/array_of_struct_break_true-unreach-call.i OUT OF MEMORY 21.87 11.86 None array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i ERROR: EXCEPTION 56.71 29.75 None array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i unknown 23.71 14.04 None array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i OUT OF MEMORY 26.77 14.49 None array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i ERROR: EXCEPTION 70.01 36.61 None array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i OUT OF MEMORY 33.45 17.71 None array-industry-pattern/array_ptr_partial_init_true-unreach-call.i OUT OF MEMORY 27.41 14.65 None array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i ERROR: EXCEPTION 51.24 27.07 None array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unknown 2.90 1.61 None reducercommutativity/rangesum05_false-unreach-call_true-termination.i unknown 17.19 8.92 None reducercommutativity/rangesum10_false-unreach-call_true-termination.i unknown 17.35 8.98 None reducercommutativity/rangesum20_false-unreach-call.i unknown 16.96 8.75 None reducercommutativity/rangesum40_false-unreach-call.i unknown 16.75 8.84 None reducercommutativity/rangesum60_false-unreach-call.i unknown 17.22 8.86 None reducercommutativity/rangesum_false-unreach-call_true-termination.i unknown 17.88 9.24 None reducercommutativity/avg05_true-unreach-call_true-termination.i unknown 102.50 90.20 None reducercommutativity/avg10_true-unreach-call_true-termination.i unknown 101.64 90.16 None reducercommutativity/avg20_true-unreach-call.i unknown 99.93 89.30 None reducercommutativity/avg40_true-unreach-call.i unknown 102.43 91.25 None reducercommutativity/avg60_true-unreach-call.i unknown 101.72 91.15 None reducercommutativity/avg_true-unreach-call_true-termination.i unknown 29.30 20.06 None reducercommutativity/max05_true-unreach-call_true-termination.i unknown 106.75 94.46 None reducercommutativity/max10_true-unreach-call_true-termination.i unknown 107.03 93.52 None reducercommutativity/max20_true-unreach-call.i unknown 106.42 93.61 None reducercommutativity/max40_true-unreach-call.i unknown 105.70 92.45 None reducercommutativity/max60_true-unreach-call.i unknown 106.19 92.57 None reducercommutativity/max_true-unreach-call_true-termination.i unknown 31.48 21.81 None reducercommutativity/sep05_true-unreach-call_true-termination.i unknown 57.96 47.13 None reducercommutativity/sep10_true-unreach-call.i unknown 61.30 46.49 None reducercommutativity/sep20_true-unreach-call.i unknown 60.53 47.08 None reducercommutativity/sep40_true-unreach-call.i unknown 57.38 46.54 None reducercommutativity/sep60_true-unreach-call.i unknown 60.87 46.81 None reducercommutativity/sep_true-unreach-call_true-termination.i unknown 28.59 18.57 None reducercommutativity/sum05_true-unreach-call_true-termination.i unknown 104.54 91.90 None reducercommutativity/sum10_true-unreach-call_true-termination.i unknown 104.26 92.44 None reducercommutativity/sum20_true-unreach-call.i unknown 100.33 89.20 None reducercommutativity/sum40_true-unreach-call.i unknown 98.92 87.95 None reducercommutativity/sum60_true-unreach-call.i unknown 99.94 88.91 None reducercommutativity/sum_true-unreach-call_true-termination.i unknown 28.55 19.43 None array-tiling/mlceu_false-unreach-call.i unknown 3.02 1.68 None array-tiling/skippedu_false-unreach-call.i unknown 3.11 1.69 None array-tiling/mbpr2_true-unreach-call.i unknown 3.29 1.79 None array-tiling/mbpr3_true-unreach-call.i unknown 3.36 1.88 None array-tiling/mbpr4_true-unreach-call.i unknown 3.12 1.82 None array-tiling/mbpr5_true-unreach-call.i unknown 3.28 1.85 None array-tiling/nr2_true-unreach-call.i unknown 3.08 1.71 None array-tiling/nr3_true-unreach-call.i unknown 3.19 1.73 None array-tiling/nr4_true-unreach-call.i unknown 3.00 1.68 None array-tiling/nr5_true-unreach-call.i unknown 3.07 1.79 None array-tiling/pnr2_true-unreach-call.i unknown 3.02 1.70 None array-tiling/pnr3_true-unreach-call.i unknown 3.04 1.72 None array-tiling/pnr4_true-unreach-call.i unknown 3.25 1.81 None array-tiling/pnr5_true-unreach-call.i unknown 2.87 1.67 None array-tiling/poly1_true-unreach-call.i unknown 3.21 1.78 None array-tiling/poly2_true-unreach-call.i unknown 2.80 1.60 None array-tiling/pr2_true-unreach-call.i unknown 2.97 1.71 None array-tiling/pr3_true-unreach-call.i unknown 2.92 1.67 None array-tiling/pr4_true-unreach-call.i unknown 3.11 1.76 None array-tiling/pr5_true-unreach-call.i unknown 3.16 1.78 None array-tiling/revcpyswp2_true-unreach-call.i unknown 3.07 1.70 None array-tiling/rew_true-unreach-call.i unknown 2.93 1.60 None array-tiling/rewnif_true-unreach-call.i unknown 2.72 1.56 None array-tiling/rewnifrev2_true-unreach-call.i unknown 3.07 1.72 None array-tiling/rewnifrev_true-unreach-call.i unknown 2.65 1.54 None array-tiling/rewrev_true-unreach-call.i unknown 2.94 1.66 None array-tiling/skipped_true-unreach-call.i unknown 3.21 1.78 None array-tiling/tcpy_true-unreach-call.i unknown 2.89 1.64 None array-programs/copysome1_false-unreach-call.i unknown 3.21 1.82 None array-programs/copysome2_false-unreach-call.i unknown 3.20 1.77 None array-programs/copysome1_true-unreach-call.i unknown 2.95 1.69 None array-programs/copysome2_true-unreach-call.i unknown 3.19 1.81 None ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.71 3.34 None ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.96 2.87 None ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.38 3.22 None ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.69 2.71 None ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 6.16 3.58 None ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.37 3.16 None ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.86 2.88 None ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.25 3.13 None ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.27 2.36 None ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 5.06 2.84 None ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c unknown 4.38 2.42 None ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unknown 4.43 2.50 None ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c unknown 4.60 2.60 None ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c unknown 4.51 2.52 None ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c unknown 4.53 2.53 None ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c unknown 4.49 2.51 None ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c unknown 4.76 2.63 None ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c unknown 4.66 2.65 None ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c unknown 4.46 2.51 None ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c unknown 4.52 2.60 None ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c unknown 4.37 2.50 None ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c unknown 4.65 2.61 None ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c unknown 4.48 2.52 None ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unknown 4.28 2.48 None ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c unknown 4.52 2.52 None ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c unknown 4.63 2.66 None ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c unknown 4.38 2.49 None ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 3.08 1.75 None ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 3.23 1.79 None ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c unknown 4.71 2.66 None ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c unknown 4.48 2.52 None ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c unknown 4.39 2.50 None ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c unknown 4.55 2.52 None ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c unknown 4.63 2.61 None ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c unknown 4.58 2.56 None locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.49 2.00 None locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 3.41 1.92 None locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.00 1.74 None locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.49 2.01 None locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.33 1.87 None locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.47 1.92 None locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.44 1.94 None locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.67 2.06 None locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.13 1.74 None locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.12 1.72 None locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.07 1.73 None locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.19 1.78 None locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.31 1.84 None ntdrivers/cdaudio_false-unreach-call.i.cil.c unknown 3.12 1.66 None ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 2.73 1.49 None ntdrivers/floppy_false-unreach-call.i.cil.c unknown 2.67 1.47 None ntdrivers/kbfiltr_false-unreach-call.i.cil.c unknown 2.63 1.50 None ntdrivers/parport_false-unreach-call.i.cil.c unknown 2.93 1.66 None ntdrivers/cdaudio_true-unreach-call.i.cil.c unknown 2.85 1.56 None ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 2.93 1.56 None ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c unknown 3.14 1.76 None ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c unknown 2.80 1.53 None ntdrivers/parport_true-unreach-call.i.cil.c unknown 2.82 1.55 None ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.25 284.62 None ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 301.01 279.71 None ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.08 286.98 None ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.13 287.07 None ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.01 287.92 None ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 301.18 285.18 None ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.01 286.88 None ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 303.04 286.03 None ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.04 289.56 None ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.09 284.25 None ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.08 288.44 None ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.04 288.20 None ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.05 285.35 None ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.01 290.58 None ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.11 287.92 None ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.04 287.91 None ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.14 288.49 None ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.05 288.55 None ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.08 287.95 None ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.21 284.46 None ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 302.37 282.76 None ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.06 291.48 None ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 302.89 285.21 None ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.01 287.21 None ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 301.37 284.56 None ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.24 276.14 None ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.04 287.95 None ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.06 285.89 None ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.04 288.22 None ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.03 289.33 None ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.03 289.41 None ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.12 285.91 None ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 306.05 287.28 None ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.09 285.76 None ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.08 288.22 None ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c TIMEOUT (ERROR (143)) 305.11 283.83 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 14160.20 12756.74 - Statistics: 261 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 261