BENCHMARK INFORMATION benchmark definition: ../benchexec/equality-vmcai19-pp.xml name: equality-vmcai19-pp run sets: Automizer.Pathprograms, HeapSeparator.Pathprograms, Automizer+HeapSeparator.Pathprograms date: Fri, 2018-10-12 20:38:00 CEST tool: ULTIMATE Automizer 0.1.23-502d2f42 tool executable: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/Ultimate.py options: --generate-csv --csv-dir csv parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 600 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ Automizer.Pathprograms Run set 1 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------ 20051113-1.c_false-valid-memtrack.i_11.bpl TRUE 440.92 368.58 None 20051113-1.c_false-valid-memtrack.i_13.bpl TRUE 453.39 377.33 None 20051113-1.c_false-valid-memtrack.i_15.bpl TRUE 449.35 373.87 None 20051113-1.c_false-valid-memtrack.i_17.bpl TRUE 456.50 378.47 None 20051113-1.c_false-valid-memtrack.i_20.bpl TRUE 134.70 100.08 None 20051113-1.c_false-valid-memtrack.i_22.bpl TRUE 456.14 379.26 None 20051113-1.c_false-valid-memtrack.i_25.bpl TRUE 456.22 381.44 None 20051113-1.c_false-valid-memtrack.i_29.bpl TRUE 105.56 75.00 None 20051113-1.c_false-valid-memtrack.i_31.bpl TRUE 449.74 375.83 None 20051113-1.c_false-valid-memtrack.i_33.bpl TRUE 457.48 380.92 None 20051113-1.c_false-valid-memtrack.i_35.bpl TRUE 456.11 379.17 None 20051113-1.c_false-valid-memtrack.i_38.bpl TRUE 456.72 379.34 None 20051113-1.c_false-valid-memtrack.i_40.bpl TRUE 456.33 381.08 None 20051113-1.c_false-valid-memtrack.i_42.bpl TRUE 456.93 379.80 None 20051113-1.c_false-valid-memtrack.i_44.bpl TRUE 456.18 379.74 None 20051113-1.c_false-valid-memtrack.i_46.bpl TRUE 481.57 397.04 None 20051113-1.c_false-valid-memtrack.i_5.bpl TRUE 15.41 8.97 None 20051113-1.c_false-valid-memtrack.i_7.bpl TRUE 442.15 368.39 None 20051113-1.c_false-valid-memtrack.i_9.bpl TRUE 439.29 367.51 None 960521-1_1_false-valid-free.i_11.bpl TRUE 83.78 62.30 None 960521-1_1_false-valid-free.i_12.bpl TRUE 17.09 10.57 None 960521-1_1_true-valid-memsafety.i_11.bpl TRUE 85.43 62.59 None 960521-1_false-valid-deref.i_5.bpl TIMEOUT 600.07 525.10 None 960521-1_false-valid-free.i_5.bpl TIMEOUT 600.19 524.69 None 960521-1_true-valid-memsafety.i_5.bpl TIMEOUT 600.06 524.84 None ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl TRUE 13.18 7.73 None ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl TRUE 10.11 5.70 None ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl TRUE 13.47 7.98 None ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl TRUE 19.01 11.38 None ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl TIMEOUT 601.14 510.05 None ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl TRUE 12.53 7.40 None ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl TIMEOUT 601.00 521.12 None ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl TIMEOUT 601.10 521.21 None ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl TIMEOUT 600.99 516.95 None ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl TRUE 8.65 4.92 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl TRUE 11.34 6.56 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl TRUE 11.14 6.28 None ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl TRUE 10.92 6.18 None ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl TRUE 559.28 477.93 None ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl TIMEOUT 601.07 520.83 None ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl TRUE 8.95 5.08 None ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl TRUE 8.58 4.85 None ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl TRUE 9.34 5.31 None ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl TRUE 10.60 5.91 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl TRUE 9.51 5.41 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl TRUE 8.58 4.89 None ArraysOfVariableLength_true-valid-memsafety.c_10.bpl TRUE 9.54 5.37 None ArraysOfVariableLength_true-valid-memsafety.c_11.bpl TRUE 20.80 12.56 None ArraysOfVariableLength_true-valid-memsafety.c_12.bpl TIMEOUT 601.15 523.27 None ArraysOfVariableLength_true-valid-memsafety.c_13.bpl TIMEOUT 600.38 509.80 None ArraysOfVariableLength_true-valid-memsafety.c_6.bpl TRUE 8.20 4.63 None ArraysOfVariableLength_true-valid-memsafety.c_7.bpl TRUE 8.55 4.79 None ArraysOfVariableLength_true-valid-memsafety.c_8.bpl TRUE 8.60 4.90 None ArraysOfVariableLength_true-valid-memsafety.c_9.bpl TRUE 12.97 7.53 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl TRUE 9.39 5.16 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl TIMEOUT 601.08 520.26 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl TIMEOUT 600.95 527.03 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl TRUE 10.09 5.71 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl TRUE 10.07 5.66 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl TRUE 9.15 5.29 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl TRUE 12.89 7.52 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl TIMEOUT 600.76 527.02 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl TRUE 552.26 466.41 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl TRUE 9.09 5.08 None add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 9.90 5.71 None add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl TRUE 14.70 8.75 None add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 10.06 5.78 None add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.98 527.65 None alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl TRUE 10.63 6.02 None alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl TRUE 11.48 6.73 None alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl TRUE 22.12 14.15 None alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl TRUE 11.75 6.71 None alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl TRUE 12.85 7.55 None alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl TRUE 19.92 12.37 None alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl TRUE 19.43 12.12 None alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl TRUE 24.13 15.69 None alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl TRUE 12.40 7.26 None alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl TRUE 21.93 13.76 None alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl TRUE 20.32 12.74 None alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl TRUE 14.28 8.40 None alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl TRUE 22.63 14.46 None alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl TRUE 78.70 58.66 None alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl TRUE 32.61 21.92 None alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl TRUE 33.44 22.56 None alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl TRUE 103.07 80.47 None alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl TRUE 409.59 360.25 None alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl TRUE 22.48 14.04 None alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl TRUE 46.35 31.59 None alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl TIMEOUT 600.13 531.13 None alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl TRUE 150.68 124.69 None alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl TRUE 16.42 9.78 None alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl TIMEOUT 600.96 534.97 None alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl TIMEOUT 600.99 534.48 None alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl TRUE 198.72 165.93 None alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl TRUE 258.98 219.29 None array01-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 15.87 10.02 None array01-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 13.85 8.34 None array02-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 15.53 9.83 None array02-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 15.03 8.83 None array03-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 17.54 10.79 None array03-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 15.74 9.38 None array3_false-valid-deref.i_5.bpl TRUE 7.99 4.51 None array3_false-valid-deref.i_6.bpl TIMEOUT 601.11 523.68 None array3_false-valid-deref.i_8.bpl TIMEOUT 600.70 501.33 None bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 15.31 9.59 None bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 601.07 521.81 None count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 8.81 4.97 None count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 14.52 8.66 None count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.17 514.89 None cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 601.00 539.07 None cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 10.48 6.07 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 40.59 30.21 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 50.22 37.63 None cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 10.14 5.88 None cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 30.95 21.98 None cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.13 540.31 None cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 10.22 5.80 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl TRUE 23.41 15.79 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 29.47 20.28 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 51.86 39.06 None diff-alloca_true-valid-memsafety_true-termination.i_11.bpl TRUE 20.67 13.42 None diff-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 24.12 15.32 None diff-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 52.37 37.48 None diff-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 23.65 15.27 None dll_extends_pointer_true-valid-memsafety.i_14.bpl TRUE 14.26 8.33 None dll_extends_pointer_true-valid-memsafety.i_15.bpl TRUE 12.35 7.28 None dll_extends_pointer_true-valid-memsafety.i_23.bpl TRUE 11.72 6.79 None dll_extends_pointer_true-valid-memsafety.i_24.bpl TRUE 13.65 8.44 None dll_extends_pointer_true-valid-memsafety.i_27.bpl TIMEOUT 600.54 536.95 None dll_extends_pointer_true-valid-memsafety.i_28.bpl TRUE 14.75 9.01 None dll_extends_pointer_true-valid-memsafety.i_29.bpl TIMEOUT 600.89 535.44 None dll_extends_pointer_true-valid-memsafety.i_30.bpl TIMEOUT 601.01 531.16 None dll_extends_pointer_true-valid-memsafety.i_33.bpl TIMEOUT 601.17 534.81 None dll_extends_pointer_true-valid-memsafety.i_36.bpl TIMEOUT 600.32 534.54 None dll_extends_pointer_true-valid-memsafety.i_37.bpl TIMEOUT 600.84 535.87 None dll_extends_pointer_true-valid-memsafety.i_38.bpl TIMEOUT 600.82 535.69 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 19.93 12.66 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 14.82 9.15 None lis-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 12.34 7.00 None lis-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 17.99 11.53 None lis-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 19.11 12.14 None lis-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 10.95 6.31 None lis-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 15.10 9.10 None lis_unsafe_false-valid-deref.i_10.bpl TRUE 19.00 11.98 None lis_unsafe_false-valid-deref.i_11.bpl FALSE 9.36 5.21 None lis_unsafe_false-valid-deref.i_13.bpl TRUE 12.95 7.50 None memset2_true-valid-memsafety_true-termination.c_4.bpl TRUE 74.36 52.46 None memset3_true-valid-memsafety_true-termination.c_4.bpl TRUE 293.80 237.42 None memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl TRUE 77.07 53.67 None memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl TRUE 293.34 236.33 None memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl TRUE 288.21 235.23 None memset_true-valid-memsafety_true-termination.c_4.bpl TRUE 293.81 238.47 None merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl TIMEOUT 600.79 544.86 None mult_array-alloca_true-valid-memsafety_true-termination.i_12.bpl unknown 6.36 3.62 None mult_array-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 6.09 3.42 None mult_array-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 5.99 3.44 None openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 51.91 42.71 None openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 23.08 15.42 None openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl TRUE 48.86 41.11 None openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 22.48 15.11 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 27.47 18.66 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 38.69 27.33 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl TRUE 60.46 45.29 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 119.05 97.77 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 69.32 52.69 None openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.84 540.04 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 41.72 29.80 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 58.15 44.05 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 13.41 7.88 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 26.55 18.05 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 40.65 28.51 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 51.79 38.50 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 38.05 27.48 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 51.26 37.66 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl TRUE 50.80 37.75 None openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 27.73 19.20 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 10.71 6.08 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl TIMEOUT 600.84 542.78 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 40.09 28.44 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 58.34 44.82 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 13.36 7.89 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 53.75 39.29 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl TRUE 26.98 18.35 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 26.82 17.70 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 25.00 16.29 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 47.48 34.13 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl TRUE 38.71 27.45 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 36.99 26.51 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 62.75 48.18 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 33.79 23.15 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 43.33 31.99 None optional_data_creation_test04_false-valid-memtrack.i_23.bpl TRUE 11.63 6.59 None optional_data_creation_test04_false-valid-memtrack.i_25.bpl TRUE 14.47 9.08 None optional_data_creation_test04_false-valid-memtrack.i_32.bpl TRUE 57.04 35.93 None optional_data_creation_test04_false-valid-memtrack.i_35.bpl TRUE 352.87 300.19 None optional_data_creation_test04_true-valid-memsafety.i_23.bpl TRUE 12.85 7.24 None optional_data_creation_test04_true-valid-memsafety.i_25.bpl TRUE 14.82 9.30 None optional_data_creation_test04_true-valid-memsafety.i_32.bpl TRUE 61.75 38.06 None optional_data_creation_test04_true-valid-memsafety.i_35.bpl TRUE 367.12 309.04 None rec_strlen-alloca_true-valid-memsafety_true-termination.i_5.bpl ERROR: TYPE ERROR 4.80 2.53 None reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl TRUE 14.58 8.69 None sanfoundry_24_false-valid-deref.i_4.bpl TIMEOUT 600.09 521.82 None selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 11.71 6.63 None selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 14.45 8.27 None selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 13.97 8.18 None selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 17.09 10.42 None selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 13.95 8.42 None selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 14.14 8.29 None selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 10.50 6.03 None sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl TRUE 116.84 95.13 None sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl TRUE 85.51 66.86 None sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl TRUE 103.03 81.03 None sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl TRUE 112.15 89.94 None sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl TRUE 85.89 66.28 None sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl TRUE 120.66 97.05 None sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl TRUE 104.13 82.90 None sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl TRUE 96.04 75.36 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl TRUE 13.37 7.84 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl TRUE 15.93 9.61 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl TRUE 21.07 12.84 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl TRUE 22.35 14.15 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl TRUE 24.10 16.08 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl TRUE 19.20 11.98 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl TIMEOUT 600.95 535.18 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl TIMEOUT 600.13 532.32 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl TRUE 13.42 7.97 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl TRUE 22.24 13.98 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl TRUE 33.94 22.19 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl TRUE 39.16 26.10 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl TRUE 30.91 20.81 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl TRUE 56.62 40.50 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl TRUE 13.92 7.91 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl TRUE 17.61 10.63 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl TIMEOUT 600.89 539.59 None standard_strcpy_false-valid-deref_ground.i_10.bpl TIMEOUT 601.02 529.19 None standard_strcpy_false-valid-deref_ground.i_11.bpl TRUE 11.73 6.72 None standard_strcpy_false-valid-deref_ground.i_8.bpl TIMEOUT 601.04 527.50 None standard_strcpy_original_false-valid-deref.i_7.bpl TIMEOUT 601.06 526.70 None standard_strcpy_original_false-valid-deref.i_9.bpl TIMEOUT 601.00 528.26 None stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 17.79 11.34 None stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 18.76 11.71 None stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 11.74 6.91 None strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 10.14 5.87 None strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 32.27 22.49 None test-0219_true-valid-memsafety.i_25.bpl unknown 7.10 4.00 None test-0219_true-valid-memsafety.i_26.bpl unknown 7.56 4.22 None test-0219_true-valid-memsafety.i_34.bpl unknown 8.14 4.59 None test-0220_false-valid-memtrack.i_25.bpl unknown 6.91 3.97 None test-0220_false-valid-memtrack.i_26.bpl unknown 7.40 4.12 None test-0220_false-valid-memtrack.i_34.bpl unknown 7.49 4.29 None test-0521_true-valid-memsafety.i_38.bpl TRUE 43.90 31.89 None test-bitfields-2.1_false-valid-free.i_13.bpl TRUE 13.27 7.41 None test-bitfields-2.1_false-valid-free.i_15.bpl TRUE 12.78 7.18 None test-bitfields-2.1_false-valid-free.i_17.bpl TRUE 19.24 11.71 None test-bitfields-2.1_false-valid-free.i_19.bpl TRUE 29.61 18.93 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl TRUE 11.29 6.35 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl TRUE 22.52 13.69 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl TRUE 22.03 14.02 None test-bitfields-2_false-valid-deref.i_13.bpl TRUE 13.22 7.42 None test-bitfields-2_false-valid-deref.i_15.bpl TRUE 13.35 7.54 None test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl TRUE 13.77 7.60 None test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl TRUE 12.36 6.95 None test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl TRUE 17.97 11.00 None test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl TRUE 24.50 15.78 None test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl TRUE 23.67 14.99 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl TRUE 34.91 22.40 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl TRUE 17.78 10.34 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl TRUE 18.99 10.92 None test-bitfields-3_false-valid-deref.i_11.bpl TRUE 30.73 19.49 None test-bitfields-3_false-valid-deref.i_7.bpl TRUE 17.83 10.44 None test-bitfields-3_false-valid-deref.i_9.bpl TRUE 19.22 11.04 None test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl TRUE 28.44 18.33 None test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl TRUE 18.35 10.70 None test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl TRUE 20.58 11.71 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl TRUE 12.48 7.03 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl TRUE 25.69 15.87 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl TRUE 15.09 8.52 None tree_of_cslls_true-valid-memsafety.i_47.bpl TRUE 16.25 9.75 None tree_of_cslls_true-valid-memsafety.i_49.bpl TRUE 51.54 36.20 None tree_of_cslls_true-valid-memsafety.i_51.bpl TRUE 36.75 25.49 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 27777.19 2657.27 - HeapSeparator.Pathprograms Run set 2 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------ 20051113-1.c_false-valid-memtrack.i_11.bpl unknown 82.92 55.70 None 20051113-1.c_false-valid-memtrack.i_13.bpl unknown 105.15 77.56 None 20051113-1.c_false-valid-memtrack.i_15.bpl unknown 131.74 99.66 None 20051113-1.c_false-valid-memtrack.i_17.bpl unknown 183.86 149.45 None 20051113-1.c_false-valid-memtrack.i_20.bpl TIMEOUT 600.07 566.18 None 20051113-1.c_false-valid-memtrack.i_22.bpl TIMEOUT 600.09 564.94 None 20051113-1.c_false-valid-memtrack.i_25.bpl TIMEOUT 601.09 567.89 None 20051113-1.c_false-valid-memtrack.i_29.bpl TIMEOUT 600.09 565.62 None 20051113-1.c_false-valid-memtrack.i_31.bpl TIMEOUT 600.07 567.32 None 20051113-1.c_false-valid-memtrack.i_33.bpl TIMEOUT 600.09 564.17 None 20051113-1.c_false-valid-memtrack.i_35.bpl TIMEOUT 601.05 572.54 None 20051113-1.c_false-valid-memtrack.i_38.bpl TIMEOUT 600.08 564.92 None 20051113-1.c_false-valid-memtrack.i_40.bpl TIMEOUT 601.06 568.68 None 20051113-1.c_false-valid-memtrack.i_42.bpl TIMEOUT 600.12 561.91 None 20051113-1.c_false-valid-memtrack.i_44.bpl TIMEOUT 600.07 566.01 None 20051113-1.c_false-valid-memtrack.i_46.bpl TIMEOUT 601.07 567.99 None 20051113-1.c_false-valid-memtrack.i_5.bpl unknown 11.38 6.06 None 20051113-1.c_false-valid-memtrack.i_7.bpl unknown 37.17 19.02 None 20051113-1.c_false-valid-memtrack.i_9.bpl unknown 54.54 33.19 None 960521-1_1_false-valid-free.i_11.bpl unknown 50.06 25.40 None 960521-1_1_false-valid-free.i_12.bpl unknown 466.79 416.65 None 960521-1_1_true-valid-memsafety.i_11.bpl unknown 50.05 25.43 None 960521-1_false-valid-deref.i_5.bpl unknown 74.28 42.51 None 960521-1_false-valid-free.i_5.bpl unknown 77.42 43.47 None 960521-1_true-valid-memsafety.i_5.bpl unknown 70.62 41.10 None ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl unknown 41.62 23.20 None ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl unknown 40.60 22.61 None ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl unknown 47.28 26.08 None ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl unknown 108.25 70.48 None ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl unknown 140.51 97.31 None ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl unknown 89.48 61.80 None ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl unknown 136.40 94.77 None ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl unknown 171.18 130.71 None ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl unknown 138.22 97.06 None ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl unknown 44.19 26.60 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl ERROR: EXCEPTION 12.85 6.84 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl unknown 13.48 7.13 None ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl unknown 22.96 11.87 None ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl unknown 95.68 64.56 None ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl unknown 76.92 53.54 None ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl unknown 80.60 52.92 None ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl unknown 22.80 11.79 None ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl unknown 23.28 12.07 None ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl unknown 26.40 13.68 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl ERROR: EXCEPTION 13.36 7.04 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl unknown 14.16 7.46 None ArraysOfVariableLength_true-valid-memsafety.c_10.bpl unknown 12.79 6.74 None ArraysOfVariableLength_true-valid-memsafety.c_11.bpl unknown 19.00 9.91 None ArraysOfVariableLength_true-valid-memsafety.c_12.bpl unknown 18.89 9.84 None ArraysOfVariableLength_true-valid-memsafety.c_13.bpl unknown 20.08 10.48 None ArraysOfVariableLength_true-valid-memsafety.c_6.bpl unknown 13.08 6.86 None ArraysOfVariableLength_true-valid-memsafety.c_7.bpl unknown 12.80 6.75 None ArraysOfVariableLength_true-valid-memsafety.c_8.bpl unknown 12.64 6.65 None ArraysOfVariableLength_true-valid-memsafety.c_9.bpl unknown 13.45 7.03 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl unknown 81.68 53.61 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl unknown 81.32 57.22 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl unknown 84.84 54.48 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl ERROR: EXCEPTION 12.42 6.71 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl unknown 13.34 7.07 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl ERROR: EXCEPTION 13.46 7.13 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl unknown 17.30 9.00 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl unknown 84.20 54.48 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl unknown 100.67 68.27 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl unknown 87.30 54.91 None add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 19.54 10.13 None add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl unknown 20.60 10.65 None add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 18.96 9.96 None add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl unknown 20.45 10.53 None alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl ERROR: EXCEPTION 10.23 5.54 None alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl ERROR: EXCEPTION 10.94 5.80 None alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl ERROR: EXCEPTION 8.65 4.78 None alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl ERROR: EXCEPTION 10.79 5.76 None alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl ERROR: EXCEPTION 11.68 6.16 None alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl ERROR: EXCEPTION 11.14 5.91 None alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 11.25 5.98 None alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl ERROR: EXCEPTION 11.16 5.92 None alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl ERROR: EXCEPTION 11.37 6.04 None alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl ERROR: EXCEPTION 10.94 5.87 None alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl ERROR: EXCEPTION 11.25 5.95 None alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl ERROR: EXCEPTION 11.05 5.93 None alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl ERROR: EXCEPTION 10.92 5.91 None alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 12.22 6.48 None alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl ERROR: EXCEPTION 11.17 6.00 None alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl ERROR: EXCEPTION 11.38 6.06 None alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl ERROR: EXCEPTION 10.96 5.94 None alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl ERROR: EXCEPTION 11.03 5.88 None alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl ERROR: EXCEPTION 11.44 6.05 None alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl ERROR: EXCEPTION 11.68 6.23 None alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl ERROR: EXCEPTION 11.19 5.95 None alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl ERROR: EXCEPTION 11.45 6.11 None alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl ERROR: EXCEPTION 11.45 6.19 None alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl ERROR: EXCEPTION 11.37 6.07 None alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl ERROR: EXCEPTION 11.78 6.26 None alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl ERROR: EXCEPTION 11.87 6.32 None alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl ERROR: EXCEPTION 12.00 6.38 None array01-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.32 4.53 None array01-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 9.68 5.23 None array02-alloca_true-valid-memsafety_true-termination.i_6.bpl ERROR: EXCEPTION 9.27 5.06 None array02-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 11.14 5.93 None array03-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 15.57 8.16 None array03-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 15.83 8.31 None array3_false-valid-deref.i_5.bpl unknown 10.50 5.61 None array3_false-valid-deref.i_6.bpl unknown 10.44 5.56 None array3_false-valid-deref.i_8.bpl unknown 11.67 6.14 None bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl ERROR: EXCEPTION 10.05 5.38 None bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl ERROR: EXCEPTION 9.54 5.10 None count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 12.39 6.59 None count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 11.47 6.11 None count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 15.45 8.10 None cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 73.00 43.89 None cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 55.75 31.71 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.19 553.78 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.30 546.84 None cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl unknown 18.39 9.62 None cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 20.12 10.44 None cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 57.48 34.70 None cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 55.92 29.87 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl ERROR: EXCEPTION 581.59 542.08 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl ERROR: EXCEPTION 217.37 185.83 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.23 550.17 None diff-alloca_true-valid-memsafety_true-termination.i_11.bpl ERROR: EXCEPTION 24.93 12.86 None diff-alloca_true-valid-memsafety_true-termination.i_14.bpl unknown 141.13 103.53 None diff-alloca_true-valid-memsafety_true-termination.i_15.bpl unknown 391.86 343.72 None diff-alloca_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 32.11 16.53 None dll_extends_pointer_true-valid-memsafety.i_14.bpl TIMEOUT 600.53 555.36 None dll_extends_pointer_true-valid-memsafety.i_15.bpl TIMEOUT 600.11 564.37 None dll_extends_pointer_true-valid-memsafety.i_23.bpl TIMEOUT 600.12 561.20 None dll_extends_pointer_true-valid-memsafety.i_24.bpl TIMEOUT 600.21 558.82 None dll_extends_pointer_true-valid-memsafety.i_27.bpl TIMEOUT 600.20 559.56 None dll_extends_pointer_true-valid-memsafety.i_28.bpl TIMEOUT 601.08 566.55 None dll_extends_pointer_true-valid-memsafety.i_29.bpl TIMEOUT 600.25 553.44 None dll_extends_pointer_true-valid-memsafety.i_30.bpl TIMEOUT 600.15 564.99 None dll_extends_pointer_true-valid-memsafety.i_33.bpl TIMEOUT 600.14 558.35 None dll_extends_pointer_true-valid-memsafety.i_36.bpl TIMEOUT 600.15 569.14 None dll_extends_pointer_true-valid-memsafety.i_37.bpl TIMEOUT 600.13 568.89 None dll_extends_pointer_true-valid-memsafety.i_38.bpl TIMEOUT 600.14 561.01 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl ERROR: EXCEPTION 9.75 5.23 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl ERROR: EXCEPTION 9.36 5.06 None lis-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 239.99 199.19 None lis-alloca_true-valid-memsafety_true-termination.i_14.bpl unknown 506.17 462.03 None lis-alloca_true-valid-memsafety_true-termination.i_5.bpl unknown 88.13 59.59 None lis-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 115.01 80.13 None lis-alloca_true-valid-memsafety_true-termination.i_9.bpl unknown 89.15 59.38 None lis_unsafe_false-valid-deref.i_10.bpl unknown 76.01 50.25 None lis_unsafe_false-valid-deref.i_11.bpl unknown 99.53 71.80 None lis_unsafe_false-valid-deref.i_13.bpl unknown 200.49 161.81 None memset2_true-valid-memsafety_true-termination.c_4.bpl unknown 7.60 4.23 None memset3_true-valid-memsafety_true-termination.c_4.bpl unknown 7.03 3.98 None memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl unknown 7.73 4.21 None memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl unknown 7.62 4.19 None memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl unknown 7.52 4.15 None memset_true-valid-memsafety_true-termination.c_4.bpl unknown 6.98 3.89 None merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl ERROR: EXCEPTION 9.94 5.30 None mult_array-alloca_true-valid-memsafety_true-termination.i_12.bpl unknown 63.39 37.15 None mult_array-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 16.89 8.79 None mult_array-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 34.76 17.81 None openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl unknown 11.51 6.09 None openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 9.51 5.08 None openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl ERROR: EXCEPTION 8.82 4.88 None openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl unknown 13.30 6.97 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 176.94 138.16 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 253.01 210.76 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl ERROR: EXCEPTION 10.20 5.44 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl ERROR: EXCEPTION 10.77 5.74 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl ERROR: EXCEPTION 10.72 5.76 None openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl unknown 77.84 45.58 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl unknown 140.18 104.16 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl unknown 146.78 113.38 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl unknown 128.48 98.51 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 168.39 126.37 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 259.45 214.89 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 113.43 78.94 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.14 559.66 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl unknown 267.91 228.10 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl ERROR: EXCEPTION 98.66 64.78 None openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl unknown 19.30 10.02 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 48.90 28.95 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl unknown 70.02 43.95 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl unknown 112.18 80.30 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl unknown 109.72 77.96 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl unknown 99.82 71.70 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.28 553.83 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.26 557.18 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl ERROR: EXCEPTION 101.36 68.24 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl TIMEOUT 600.29 558.79 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 104.66 73.19 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.12 562.02 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.16 560.87 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl unknown 121.61 89.06 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl unknown 72.66 39.69 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 600.19 553.47 None optional_data_creation_test04_false-valid-memtrack.i_23.bpl ERROR: EXCEPTION 9.41 5.02 None optional_data_creation_test04_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 9.65 5.15 None optional_data_creation_test04_false-valid-memtrack.i_32.bpl ERROR: EXCEPTION 9.76 5.21 None optional_data_creation_test04_false-valid-memtrack.i_35.bpl ERROR: EXCEPTION 9.92 5.23 None optional_data_creation_test04_true-valid-memsafety.i_23.bpl ERROR: EXCEPTION 9.45 5.09 None optional_data_creation_test04_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 9.30 5.00 None optional_data_creation_test04_true-valid-memsafety.i_32.bpl ERROR: EXCEPTION 9.84 5.36 None optional_data_creation_test04_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 10.22 5.43 None rec_strlen-alloca_true-valid-memsafety_true-termination.i_5.bpl ERROR: TYPE ERROR 4.64 2.51 None reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl ERROR: EXCEPTION 7.91 4.31 None sanfoundry_24_false-valid-deref.i_4.bpl ERROR: EXCEPTION 7.52 4.19 None selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl unknown 16.06 8.45 None selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl ERROR: EXCEPTION 11.30 6.04 None selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl unknown 16.10 8.46 None selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl unknown 64.71 36.20 None selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl ERROR: EXCEPTION 9.46 5.06 None selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl ERROR: EXCEPTION 9.74 5.18 None selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 11.12 5.89 None sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl ERROR: EXCEPTION 10.20 5.53 None sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 10.23 5.52 None sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl ERROR: EXCEPTION 9.63 5.22 None sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl ERROR: EXCEPTION 10.96 5.87 None sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl ERROR: EXCEPTION 10.43 5.69 None sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl ERROR: EXCEPTION 10.14 5.46 None sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl ERROR: EXCEPTION 10.59 5.66 None sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl ERROR: EXCEPTION 10.40 5.66 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 9.49 5.32 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl ERROR: EXCEPTION 9.84 5.28 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl ERROR: EXCEPTION 9.69 5.17 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl ERROR: EXCEPTION 9.58 5.11 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl ERROR: EXCEPTION 9.80 5.25 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl ERROR: EXCEPTION 9.78 5.23 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl ERROR: EXCEPTION 9.50 5.12 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl ERROR: EXCEPTION 9.47 5.11 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl ERROR: EXCEPTION 9.98 5.41 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl ERROR: EXCEPTION 10.02 5.35 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl ERROR: EXCEPTION 9.73 5.21 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl ERROR: EXCEPTION 10.09 5.38 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl ERROR: EXCEPTION 9.51 5.17 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl ERROR: EXCEPTION 9.39 5.18 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl TIMEOUT 600.27 551.13 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl TIMEOUT 600.23 556.74 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl TIMEOUT 600.24 550.88 None standard_strcpy_false-valid-deref_ground.i_10.bpl unknown 30.72 15.76 None standard_strcpy_false-valid-deref_ground.i_11.bpl unknown 44.05 22.46 None standard_strcpy_false-valid-deref_ground.i_8.bpl unknown 32.75 16.74 None standard_strcpy_original_false-valid-deref.i_7.bpl unknown 32.39 16.61 None standard_strcpy_original_false-valid-deref.i_9.bpl unknown 30.79 15.76 None stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.76 4.70 None stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.19 4.53 None stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 10.12 5.41 None strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl unknown 29.28 15.04 None strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl unknown 30.76 15.76 None test-0219_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 212.74 175.40 None test-0219_true-valid-memsafety.i_26.bpl ERROR: EXCEPTION 271.19 228.81 None test-0219_true-valid-memsafety.i_34.bpl TIMEOUT 600.31 552.26 None test-0220_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 219.04 176.17 None test-0220_false-valid-memtrack.i_26.bpl ERROR: EXCEPTION 272.34 227.80 None test-0220_false-valid-memtrack.i_34.bpl TIMEOUT 600.33 545.70 None test-0521_true-valid-memsafety.i_38.bpl ERROR: EXCEPTION 12.33 6.54 None test-bitfields-2.1_false-valid-free.i_13.bpl TIMEOUT 600.13 566.71 None test-bitfields-2.1_false-valid-free.i_15.bpl TIMEOUT 600.10 570.79 None test-bitfields-2.1_false-valid-free.i_17.bpl TIMEOUT 600.13 575.88 None test-bitfields-2.1_false-valid-free.i_19.bpl TIMEOUT 600.18 562.27 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 600.08 568.49 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl TIMEOUT 600.11 564.80 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl TIMEOUT 600.12 562.12 None test-bitfields-2_false-valid-deref.i_13.bpl TIMEOUT 600.11 567.38 None test-bitfields-2_false-valid-deref.i_15.bpl TIMEOUT 600.09 568.51 None test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 600.14 561.45 None test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl TIMEOUT 600.12 565.48 None test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl TIMEOUT 601.08 572.58 None test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl TIMEOUT 601.11 571.50 None test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl TIMEOUT 600.14 564.57 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.10 568.45 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl TIMEOUT 600.12 568.08 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.16 564.73 None test-bitfields-3_false-valid-deref.i_11.bpl TIMEOUT 600.19 569.59 None test-bitfields-3_false-valid-deref.i_7.bpl TIMEOUT 600.28 565.81 None test-bitfields-3_false-valid-deref.i_9.bpl TIMEOUT 600.10 572.66 None test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.18 566.52 None test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl TIMEOUT 600.15 571.44 None test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.12 571.78 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl ERROR: EXCEPTION 9.21 5.02 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl ERROR: EXCEPTION 9.83 5.27 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 9.80 5.27 None tree_of_cslls_true-valid-memsafety.i_47.bpl TIMEOUT 600.17 556.50 None tree_of_cslls_true-valid-memsafety.i_49.bpl TIMEOUT 600.16 558.72 None tree_of_cslls_true-valid-memsafety.i_51.bpl TIMEOUT 600.16 557.82 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 50752.53 3395.35 - Automizer+HeapSeparator.Pathprograms Run set 3 of 3 with options '--generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------ 20051113-1.c_false-valid-memtrack.i_11.bpl TRUE 513.45 416.81 None 20051113-1.c_false-valid-memtrack.i_13.bpl TRUE 515.94 425.55 None 20051113-1.c_false-valid-memtrack.i_15.bpl TRUE 546.43 454.35 None 20051113-1.c_false-valid-memtrack.i_17.bpl TRUE 597.13 502.48 None 20051113-1.c_false-valid-memtrack.i_20.bpl TIMEOUT 600.08 564.11 None 20051113-1.c_false-valid-memtrack.i_22.bpl TIMEOUT 601.07 566.73 None 20051113-1.c_false-valid-memtrack.i_25.bpl TIMEOUT 601.06 572.59 None 20051113-1.c_false-valid-memtrack.i_29.bpl TIMEOUT 601.05 569.29 None 20051113-1.c_false-valid-memtrack.i_31.bpl TIMEOUT 601.06 565.15 None 20051113-1.c_false-valid-memtrack.i_33.bpl TIMEOUT 601.07 569.94 None 20051113-1.c_false-valid-memtrack.i_35.bpl TIMEOUT 601.06 567.31 None 20051113-1.c_false-valid-memtrack.i_38.bpl TIMEOUT 601.05 569.32 None 20051113-1.c_false-valid-memtrack.i_40.bpl TIMEOUT 601.07 570.13 None 20051113-1.c_false-valid-memtrack.i_42.bpl TIMEOUT 600.11 561.48 None 20051113-1.c_false-valid-memtrack.i_44.bpl TIMEOUT 600.07 567.55 None 20051113-1.c_false-valid-memtrack.i_46.bpl TIMEOUT 600.07 565.37 None 20051113-1.c_false-valid-memtrack.i_5.bpl TRUE 21.26 11.85 None 20051113-1.c_false-valid-memtrack.i_7.bpl TRUE 466.83 380.44 None 20051113-1.c_false-valid-memtrack.i_9.bpl TRUE 478.71 391.27 None 960521-1_1_false-valid-free.i_11.bpl TRUE 123.36 83.08 None 960521-1_1_false-valid-free.i_12.bpl TRUE 445.61 402.74 None 960521-1_1_true-valid-memsafety.i_11.bpl TRUE 69.74 39.44 None 960521-1_false-valid-deref.i_5.bpl TIMEOUT 600.17 509.51 None 960521-1_false-valid-free.i_5.bpl TIMEOUT 600.37 504.87 None 960521-1_true-valid-memsafety.i_5.bpl TIMEOUT 600.27 505.44 None ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl TRUE 53.33 29.46 None ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl TRUE 45.48 25.21 None ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl TRUE 56.82 31.13 None ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl TRUE 108.60 73.82 None ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl TIMEOUT 600.37 488.06 None ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl TRUE 101.68 68.61 None ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl TIMEOUT 600.10 502.97 None ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl TIMEOUT 600.08 503.19 None ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl TIMEOUT 600.13 485.71 None ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl TRUE 48.31 28.43 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl ERROR: EXCEPTION 12.57 6.65 None ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl TRUE 19.88 10.73 None ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl TRUE 29.47 15.49 None ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl TIMEOUT 600.28 494.81 None ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl TIMEOUT 600.99 509.12 None ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl TRUE 96.13 59.42 None ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl TRUE 27.86 14.41 None ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl TRUE 27.26 14.34 None ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl TRUE 37.70 19.49 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl ERROR: EXCEPTION 12.68 6.73 None ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl TRUE 17.44 9.31 None ArraysOfVariableLength_true-valid-memsafety.c_10.bpl TRUE 18.01 9.64 None ArraysOfVariableLength_true-valid-memsafety.c_11.bpl TRUE 35.89 20.08 None ArraysOfVariableLength_true-valid-memsafety.c_12.bpl TIMEOUT 601.04 520.99 None ArraysOfVariableLength_true-valid-memsafety.c_13.bpl TIMEOUT 600.24 506.51 None ArraysOfVariableLength_true-valid-memsafety.c_6.bpl TRUE 15.69 8.35 None ArraysOfVariableLength_true-valid-memsafety.c_7.bpl TRUE 16.72 8.87 None ArraysOfVariableLength_true-valid-memsafety.c_8.bpl TRUE 17.76 9.39 None ArraysOfVariableLength_true-valid-memsafety.c_9.bpl TRUE 21.30 11.63 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl TRUE 84.24 55.57 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl TIMEOUT 601.07 513.22 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl TIMEOUT 600.94 514.56 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl ERROR: EXCEPTION 12.54 6.68 None ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl TRUE 19.07 10.27 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl ERROR: EXCEPTION 12.68 6.72 None ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl TRUE 24.37 13.24 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl TIMEOUT 601.05 517.64 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl TIMEOUT 600.38 500.29 None ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl TRUE 88.02 55.99 None add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 28.10 14.81 None add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl TRUE 31.43 17.02 None add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 26.46 14.01 None add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 601.04 523.58 None alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl ERROR: EXCEPTION 10.33 5.49 None alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl ERROR: EXCEPTION 11.97 6.33 None alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl ERROR: EXCEPTION 8.89 4.82 None alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl ERROR: EXCEPTION 11.42 6.12 None alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl ERROR: EXCEPTION 11.58 6.25 None alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl ERROR: EXCEPTION 10.51 5.62 None alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 10.78 5.80 None alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl ERROR: EXCEPTION 10.38 5.51 None alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl ERROR: EXCEPTION 11.28 6.00 None alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl ERROR: EXCEPTION 11.20 5.99 None alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl ERROR: EXCEPTION 10.96 5.82 None alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl ERROR: EXCEPTION 11.79 6.21 None alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl ERROR: EXCEPTION 11.27 6.00 None alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 11.11 5.93 None alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl ERROR: EXCEPTION 11.47 6.15 None alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl ERROR: EXCEPTION 10.53 5.71 None alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl ERROR: EXCEPTION 11.26 6.05 None alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl ERROR: EXCEPTION 11.73 6.26 None alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl ERROR: EXCEPTION 11.25 6.01 None alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl ERROR: EXCEPTION 11.14 5.98 None alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl ERROR: EXCEPTION 11.88 6.32 None alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl ERROR: EXCEPTION 12.07 6.38 None alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl ERROR: EXCEPTION 12.12 6.46 None alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl ERROR: EXCEPTION 11.12 5.90 None alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl ERROR: EXCEPTION 11.34 6.06 None alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl ERROR: EXCEPTION 11.30 6.07 None alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl ERROR: EXCEPTION 12.08 6.49 None array01-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.52 4.63 None array01-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 18.50 10.67 None array02-alloca_true-valid-memsafety_true-termination.i_6.bpl ERROR: EXCEPTION 9.24 4.93 None array02-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 19.31 11.08 None array03-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 28.26 16.19 None array03-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 26.44 14.60 None array3_false-valid-deref.i_5.bpl TRUE 13.83 7.38 None array3_false-valid-deref.i_6.bpl TIMEOUT 601.12 521.55 None array3_false-valid-deref.i_8.bpl TIMEOUT 600.55 495.01 None bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl ERROR: EXCEPTION 9.30 5.01 None bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl ERROR: EXCEPTION 9.55 5.09 None count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 15.03 8.05 None count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 19.90 11.25 None count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.12 515.74 None cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.90 524.19 None cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 62.43 35.82 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.18 557.12 None cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.24 552.46 None cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 22.38 11.97 None cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl TRUE 46.07 29.36 None cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.93 523.41 None cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 58.48 31.73 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl TIMEOUT 600.18 558.08 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl ERROR: EXCEPTION 109.65 79.12 None cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TIMEOUT 600.17 561.47 None diff-alloca_true-valid-memsafety_true-termination.i_11.bpl ERROR: EXCEPTION 24.47 12.66 None diff-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 154.65 114.48 None diff-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 422.41 363.44 None diff-alloca_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 31.14 15.98 None dll_extends_pointer_true-valid-memsafety.i_14.bpl TIMEOUT 600.13 562.94 None dll_extends_pointer_true-valid-memsafety.i_15.bpl TIMEOUT 600.14 563.61 None dll_extends_pointer_true-valid-memsafety.i_23.bpl TIMEOUT 600.16 560.94 None dll_extends_pointer_true-valid-memsafety.i_24.bpl TIMEOUT 601.09 567.47 None dll_extends_pointer_true-valid-memsafety.i_27.bpl TIMEOUT 600.18 568.03 None dll_extends_pointer_true-valid-memsafety.i_28.bpl TIMEOUT 600.17 570.85 None dll_extends_pointer_true-valid-memsafety.i_29.bpl TIMEOUT 600.10 562.86 None dll_extends_pointer_true-valid-memsafety.i_30.bpl TIMEOUT 600.16 563.81 None dll_extends_pointer_true-valid-memsafety.i_33.bpl TIMEOUT 600.15 558.49 None dll_extends_pointer_true-valid-memsafety.i_36.bpl TIMEOUT 600.11 561.56 None dll_extends_pointer_true-valid-memsafety.i_37.bpl TIMEOUT 600.20 561.61 None dll_extends_pointer_true-valid-memsafety.i_38.bpl TIMEOUT 600.17 563.04 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl ERROR: EXCEPTION 9.36 5.03 None java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl ERROR: EXCEPTION 9.37 5.02 None lis-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 239.29 198.49 None lis-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 511.54 465.03 None lis-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 99.02 66.77 None lis-alloca_true-valid-memsafety_true-termination.i_7.bpl TRUE 122.82 81.47 None lis-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 97.90 66.00 None lis_unsafe_false-valid-deref.i_10.bpl TRUE 88.40 59.07 None lis_unsafe_false-valid-deref.i_11.bpl FALSE 99.64 70.40 None lis_unsafe_false-valid-deref.i_13.bpl TRUE 203.83 167.54 None memset2_true-valid-memsafety_true-termination.c_4.bpl TRUE 87.23 63.07 None memset3_true-valid-memsafety_true-termination.c_4.bpl TRUE 305.61 246.22 None memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl TRUE 71.99 51.52 None memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl TRUE 295.67 240.98 None memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl TRUE 302.39 245.78 None memset_true-valid-memsafety_true-termination.c_4.bpl TRUE 301.57 244.21 None merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl ERROR: EXCEPTION 9.06 4.96 None mult_array-alloca_true-valid-memsafety_true-termination.i_12.bpl unknown 73.64 40.54 None mult_array-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 17.21 8.93 None mult_array-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 36.32 18.57 None openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 52.96 40.67 None openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.90 4.85 None openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl ERROR: EXCEPTION 8.99 4.88 None openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl TRUE 30.63 19.31 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 212.84 160.38 None openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 267.23 223.11 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl ERROR: EXCEPTION 9.95 5.39 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl ERROR: EXCEPTION 10.35 5.53 None openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl ERROR: EXCEPTION 10.46 5.63 None openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.98 516.27 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 168.34 128.03 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 196.36 148.13 None openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 140.41 105.30 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 185.95 141.31 None openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 258.82 221.46 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 140.65 100.83 None openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.13 561.34 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 297.01 250.60 None openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl ERROR: EXCEPTION 100.28 63.52 None openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl TRUE 41.75 26.04 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 62.93 35.11 None openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl TIMEOUT 600.93 527.36 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl TRUE 137.61 98.68 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 163.53 120.40 None openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 122.21 86.28 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.34 554.95 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.26 556.21 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl ERROR: EXCEPTION 107.62 72.27 None openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl TIMEOUT 600.25 556.51 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 131.98 94.14 None openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.12 563.61 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl TIMEOUT 600.15 565.15 None openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 169.04 126.81 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl TRUE 100.34 58.12 None openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 600.13 559.28 None optional_data_creation_test04_false-valid-memtrack.i_23.bpl ERROR: EXCEPTION 9.17 4.92 None optional_data_creation_test04_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 9.37 5.01 None optional_data_creation_test04_false-valid-memtrack.i_32.bpl ERROR: EXCEPTION 9.80 5.26 None optional_data_creation_test04_false-valid-memtrack.i_35.bpl ERROR: EXCEPTION 9.75 5.23 None optional_data_creation_test04_true-valid-memsafety.i_23.bpl ERROR: EXCEPTION 9.45 5.05 None optional_data_creation_test04_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 9.64 5.14 None optional_data_creation_test04_true-valid-memsafety.i_32.bpl ERROR: EXCEPTION 9.48 5.09 None optional_data_creation_test04_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 9.57 5.22 None rec_strlen-alloca_true-valid-memsafety_true-termination.i_5.bpl ERROR: TYPE ERROR 4.84 2.58 None reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl ERROR: EXCEPTION 7.45 4.15 None sanfoundry_24_false-valid-deref.i_4.bpl ERROR: EXCEPTION 7.79 4.29 None selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl TRUE 24.78 13.09 None selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl ERROR: EXCEPTION 11.52 6.12 None selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl TRUE 25.17 13.75 None selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl TRUE 69.74 40.83 None selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl ERROR: EXCEPTION 9.32 5.02 None selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl ERROR: EXCEPTION 9.59 5.17 None selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 11.31 6.03 None sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl ERROR: EXCEPTION 10.26 5.49 None sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl ERROR: EXCEPTION 10.01 5.37 None sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl ERROR: EXCEPTION 10.27 5.49 None sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl ERROR: EXCEPTION 10.45 5.61 None sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl ERROR: EXCEPTION 10.53 5.66 None sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl ERROR: EXCEPTION 10.20 5.52 None sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl ERROR: EXCEPTION 10.13 5.55 None sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl ERROR: EXCEPTION 10.24 5.51 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 9.64 5.15 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl ERROR: EXCEPTION 9.38 5.02 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl ERROR: EXCEPTION 9.31 4.99 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl ERROR: EXCEPTION 9.60 5.18 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl ERROR: EXCEPTION 9.33 5.06 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl ERROR: EXCEPTION 9.98 5.32 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl ERROR: EXCEPTION 10.00 5.37 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl ERROR: EXCEPTION 9.64 5.32 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl ERROR: EXCEPTION 9.63 5.19 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl ERROR: EXCEPTION 10.19 5.47 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl ERROR: EXCEPTION 9.82 5.29 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl ERROR: EXCEPTION 10.11 5.45 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl ERROR: EXCEPTION 9.82 5.34 None sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl ERROR: EXCEPTION 9.93 5.36 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl TIMEOUT 600.24 549.42 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl TIMEOUT 600.20 555.78 None sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl TIMEOUT 600.14 559.19 None standard_strcpy_false-valid-deref_ground.i_10.bpl TIMEOUT 601.17 520.83 None standard_strcpy_false-valid-deref_ground.i_11.bpl TRUE 51.10 26.32 None standard_strcpy_false-valid-deref_ground.i_8.bpl TIMEOUT 601.11 514.73 None standard_strcpy_original_false-valid-deref.i_7.bpl TIMEOUT 601.09 517.36 None standard_strcpy_original_false-valid-deref.i_9.bpl TIMEOUT 601.06 517.80 None stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.28 4.53 None stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl ERROR: EXCEPTION 8.39 4.61 None stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 16.33 9.21 None strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl TRUE 32.69 17.12 None strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl TRUE 57.86 35.72 None test-0219_true-valid-memsafety.i_25.bpl ERROR: EXCEPTION 207.89 175.63 None test-0219_true-valid-memsafety.i_26.bpl ERROR: EXCEPTION 233.14 198.02 None test-0219_true-valid-memsafety.i_34.bpl TIMEOUT 600.36 550.54 None test-0220_false-valid-memtrack.i_25.bpl ERROR: EXCEPTION 210.02 170.58 None test-0220_false-valid-memtrack.i_26.bpl ERROR: EXCEPTION 271.65 226.97 None test-0220_false-valid-memtrack.i_34.bpl TIMEOUT 600.30 552.48 None test-0521_true-valid-memsafety.i_38.bpl ERROR: EXCEPTION 11.72 6.30 None test-bitfields-2.1_false-valid-free.i_13.bpl TIMEOUT 601.06 576.91 None test-bitfields-2.1_false-valid-free.i_15.bpl TIMEOUT 600.14 565.87 None test-bitfields-2.1_false-valid-free.i_17.bpl TIMEOUT 601.10 573.39 None test-bitfields-2.1_false-valid-free.i_19.bpl TIMEOUT 600.09 573.81 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 600.11 567.97 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl TIMEOUT 600.15 570.54 None test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl TIMEOUT 601.08 572.14 None test-bitfields-2_false-valid-deref.i_13.bpl TIMEOUT 600.13 560.33 None test-bitfields-2_false-valid-deref.i_15.bpl TIMEOUT 600.16 570.52 None test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl TIMEOUT 601.08 570.02 None test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl TIMEOUT 601.10 569.87 None test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl TIMEOUT 601.09 571.13 None test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl TIMEOUT 601.04 572.90 None test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl TIMEOUT 601.08 570.45 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.08 572.55 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl TIMEOUT 600.18 565.38 None test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.10 572.44 None test-bitfields-3_false-valid-deref.i_11.bpl TIMEOUT 600.16 568.79 None test-bitfields-3_false-valid-deref.i_7.bpl TIMEOUT 600.21 569.58 None test-bitfields-3_false-valid-deref.i_9.bpl TIMEOUT 600.17 567.41 None test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl TIMEOUT 600.38 568.51 None test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl TIMEOUT 600.49 564.89 None test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl TIMEOUT 600.18 569.74 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl ERROR: EXCEPTION 9.38 5.09 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl ERROR: EXCEPTION 9.99 5.35 None test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl ERROR: EXCEPTION 9.68 5.19 None tree_of_cslls_true-valid-memsafety.i_47.bpl TIMEOUT 600.23 548.81 None tree_of_cslls_true-valid-memsafety.i_49.bpl TIMEOUT 600.16 558.10 None tree_of_cslls_true-valid-memsafety.i_51.bpl TIMEOUT 600.13 564.88 None ------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 62155.47 4671.96 - Statistics: 840 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 840