BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-special.xml name: uautomizer-special run sets: sv-comp20_adaptive_memory_model_64, sv-comp20_adaptive_memory_model_32 date: Thu, 2019-11-21 11:01:56 CET tool: ULTIMATE Automizer 0.1.24-264dba86 tool executable: ./Ultimate.py options: --full-output --cacsl2boogietranslator.adapt.memory.model.on.pointer.casts.if.necessary true parallel runs: 8 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 15000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-5.3.6-gentoo-r1-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135153.39776 MB ------------------------------------------------------------ sv-comp20_adaptive_memory_model_64 Run set 1 of 2 with options '--full-output --cacsl2boogietranslator.adapt.memory.model.on.pointer.casts.if.necessary true --architecture 64bit' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 97.52 70.94 None ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 76.04 54.72 None ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point.cil.out.yml true 116.79 96.91 None pthread/twostage_3.yml ERROR (7) 15.32 8.50 None ldv-memsafety/memleaks_test4-1.yml unknown 17.02 10.75 None ldv-memsafety/memleaks_test17_2-1.yml ERROR (7) 322.90 309.04 None ldv-memsafety/memleaks_test11_1.yml ERROR (7) 468.80 458.64 None list-ext3-properties/sll_shallow_copy-1.yml ERROR (7) 115.68 109.01 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 900.37 890.08 None array-memsafety/bubblesort-alloca-2.yml TIMEOUT 900.71 885.31 None memsafety/test-memleak_nexttime.yml TIMEOUT 900.35 892.20 None ldv-memsafety/memleaks_test15-2.yml ERROR (7) 137.83 128.19 None array-memsafety/array01-alloca-2.yml TIMEOUT 900.37 880.46 None ddv-machzwd/ddv_machzwd_outl_p.yml ERROR (7) 12.01 6.34 None ldv-memsafety/memleaks_test6.yml ERROR (7) 134.27 123.87 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 11.68 7.68 None ddv-machzwd/ddv_machzwd_inb.yml ERROR (7) 12.83 6.72 None ldv-memsafety/memleaks_test13_1.yml ERROR (7) 306.04 290.69 None ldv-memsafety/memleaks_test16.yml ERROR (7) 35.48 28.16 None pthread-memsafety/list1.yml ERROR (7) 10.41 5.95 None memsafety-ext2/complex_data_creation_test02-1.yml ERROR (7) 295.33 283.67 None ldv-memsafety/memleaks_test23_2.yml ERROR (7) 333.63 322.15 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 158.65 145.89 None ldv-memsafety/memleaks_test7-1.yml ERROR (7) 28.73 20.77 None ldv-memsafety/memleaks_test21-1.yml unknown 13.63 7.84 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 548.61 536.48 None ldv-memsafety/memleaks_test5_2.yml unknown 13.96 8.20 None array-memsafety/array03-alloca-2.yml TIMEOUT 900.32 887.88 None ldv-memsafety/memleaks_test20-1.yml unknown 14.93 8.71 None memsafety-ext2/optional_data_creation_test04-2.yml ERROR (7) 140.24 130.17 None ldv-memsafety/memleaks_test22_1-2.yml TIMEOUT 900.40 874.53 None ldv-memsafety/memleaks_test1-1.yml unknown 11.81 6.83 None ldv-memsafety/memleaks_test14_1.yml ERROR (7) 7.07 4.06 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.42 882.08 None array-memsafety/array02-alloca-2.yml TIMEOUT 900.35 882.45 None busybox-1.22.0/dirname-1.yml TIMEOUT 900.40 844.58 None ldv-memsafety/memleaks_test22_2-2.yml ERROR (7) 155.05 138.03 None ddv-machzwd/ddv_machzwd_inw_p.yml ERROR (7) 12.26 6.50 None ddv-machzwd/ddv_machzwd_all.yml ERROR (7) 12.19 6.56 None ldv-memsafety/memleaks_test6_2.yml ERROR (7) 181.89 170.89 None ldv-memsafety/memleaks_test16_1.yml unknown 18.80 11.15 None ldv-memsafety/memleaks_test3-1.yml false(valid-free) 12.20 7.11 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 20.69 15.84 None ldv-memsafety/memleaks_test22_3-2.yml ERROR (7) 268.99 241.04 None ldv-memsafety/memleaks_test8_2.yml false(valid-free) 17.52 10.93 None ldv-memsafety/memleaks_test18_1.yml unknown 235.62 227.40 None memsafety/test-0102-1.yml ERROR (7) 7.09 4.07 None ldv-memsafety/memleaks_test9_2.yml unknown 12.51 7.12 None busybox-1.22.0/basename-2.yml TIMEOUT 900.34 818.80 None array-memsafety/stroeder1-alloca-1.yml TIMEOUT 900.36 880.64 None list-ext-properties/test-0019_1-1.yml ERROR (7) 45.71 38.88 None array-memsafety/lis-alloca-1.yml TIMEOUT 901.00 848.46 None memsafety-ext/tree_dsw.yml TIMEOUT 900.08 870.59 None ldv-memsafety/memleaks_test6_3.yml ERROR (7) 129.98 120.33 None busybox-1.22.0/hostid.yml TIMEOUT 900.47 874.33 None memsafety/test-0134.yml ERROR (7) 7.17 4.03 None heap-manipulation/bubble_sort_linux-1.yml ERROR (7) 254.70 236.39 None ldv-memsafety/memleaks_test19-2.yml ERROR (7) 338.40 328.05 None array-memsafety/stroeder2-alloca-1.yml TIMEOUT 900.33 886.19 None ldv-memsafety/memleaks_test13.yml ERROR (7) 460.55 440.46 None ddv-machzwd/ddv_machzwd_outb_p.yml ERROR (7) 12.74 6.81 None ddv-machzwd/ddv_machzwd_outb.yml ERROR (7) 12.52 6.62 None ddv-machzwd/ddv_machzwd_inw.yml ERROR (7) 11.83 6.24 None pthread-memsafety/fillarray1.yml ERROR (7) 10.13 5.72 None ldv-memsafety/memleaks_test23_3.yml TIMEOUT 900.33 886.65 None ldv-memsafety/memleaks_test22_1-1.yml true 175.64 158.94 None ldv-memsafety/memleaks_test1-2.yml false(valid-free) 16.90 9.93 None ldv-memsafety/memleaks_test14_2.yml ERROR (7) 7.84 4.39 None ddv-machzwd/ddv_machzwd_inb_p.yml ERROR (7) 12.51 6.59 None ldv-memsafety/memleaks_test20-2.yml ERROR (7) 41.44 33.82 None memsafety-ext2/optional_data_creation_test04-1.yml TIMEOUT 900.38 838.72 None ldv-memsafety/memleaks_test21-2.yml ERROR (7) 39.63 31.14 None ldv-memsafety/memleaks_test18_3.yml TIMEOUT 902.32 699.88 None ldv-memsafety/memleaks_test10-1.yml ERROR (7) 447.41 435.45 None ldv-memsafety/memleaks_test5_1.yml unknown 12.43 7.14 None ldv-memsafety/memleaks_test16_2.yml unknown 13.34 7.91 None ldv-memsafety/memleaks_test3-2.yml ERROR (7) 27.75 21.66 None array-memsafety-realloc/array-realloc-2.yml ERROR (7) 132.89 122.32 None ldv-memsafety/memleaks_test22_3-1.yml ERROR (7) 164.17 142.86 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml ERROR (7) 12.24 6.47 None ldv-memsafety/memleaks_test6_1.yml ERROR (7) 214.35 204.42 None ldv-memsafety/memleaks_test22_2-1.yml true 87.21 74.56 None array-memsafety/lis_unsafe.yml false(valid-deref) 14.45 8.99 None ldv-memsafety/memleaks_test12-1.yml TIMEOUT 900.42 880.77 None ldv-memsafety/memleaks_test15-1.yml ERROR (7) 703.75 653.15 None ldv-memsafety/memleaks_test5.yml ERROR (7) 31.98 24.84 None array-memsafety/insertionsort-alloca-1.yml TIMEOUT 900.34 884.49 None ldv-memsafety/memleaks_test9.yml ERROR (7) 30.38 24.27 None ldv-memsafety/memleaks_test17_2-2.yml TIMEOUT 900.36 885.02 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 31.56 24.46 None ldv-memsafety/memleaks_test11_2.yml ERROR (7) 163.04 152.47 None list-ext3-properties/sll_shallow_copy-2.yml unknown 101.96 95.55 None memsafety-ext2/complex_data_creation_test01-2.yml TIMEOUT 900.38 886.84 None memsafety-ext2/complex_data_creation_test02-2.yml ERROR (7) 339.55 329.98 None ddv-machzwd/ddv_machzwd_outl.yml ERROR (7) 12.02 6.35 None ldv-memsafety/memleaks_test23_1.yml ERROR (7) 578.16 565.07 None ldv-memsafety/memleaks_test7-2.yml ERROR (7) 28.10 21.37 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 436.84 424.81 None ldv-memsafety/memleaks_test11.yml ERROR (7) 493.63 483.71 None ldv-memsafety/memleaks_test13_2.yml ERROR (7) 303.46 281.61 None ldv-memsafety/memleaks_test22_5.yml ERROR (7) 523.87 507.80 None ldv-memsafety/memleaks_test8.yml ERROR (7) 30.57 23.87 None ddv-machzwd/ddv_machzwd_outw_p.yml ERROR (7) 13.64 7.14 None array-memsafety/selectionsort-alloca-1.yml TIMEOUT 900.42 877.53 None ldv-memsafety/memleaks_test19-1.yml ERROR (7) 365.56 353.58 None ldv-memsafety/memleaks_test23_4.yml TIMEOUT 900.33 885.08 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 15.13 9.52 None pthread-memsafety/fillarray.yml ERROR (7) 10.42 5.79 None memsafety/20020406-1.yml TIMEOUT 900.45 889.72 None ldv-memsafety/memleaks_test18.yml ERROR (7) 248.67 239.20 None ldv-memsafety/memleaks_test22_4.yml true 187.14 167.74 None array-memsafety/diff-alloca-2.yml TIMEOUT 900.42 883.30 None ldv-memsafety/memleaks_test14.yml ERROR (7) 7.56 4.30 None ddv-machzwd/ddv_machzwd_inl.yml ERROR (7) 12.69 6.77 None busybox-1.22.0/basename-1.yml TIMEOUT 900.42 848.26 None ldv-memsafety/memleaks_test9_1.yml unknown 14.30 8.38 None array-memsafety/java_BubbleSort-alloca-1.yml TIMEOUT 900.56 877.05 None ldv-memsafety/memleaks_test14_3.yml ERROR (7) 7.37 4.17 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.48 19.89 None memsafety/test-0102-2.yml ERROR (7) 7.14 4.06 None ldv-memsafety/memleaks_test18_2.yml ERROR (7) 245.61 236.07 None ldv-memsafety/memleaks_test8_1.yml unknown 11.72 6.81 None memsafety/test-0137.yml ERROR (7) 7.03 3.99 None array-memsafety-realloc/array-realloc-3.yml unknown 17.64 11.86 None ddv-machzwd/ddv_machzwd_inl_p.yml ERROR (7) 12.57 6.71 None ldv-memsafety/memleaks_test17_3.yml ERROR (7) 447.79 436.03 None list-ext-properties/test-0019_1-2.yml ERROR (7) 36.61 29.34 None list-properties/list_search-1.yml ERROR (7) 97.96 87.33 None verifythis/tree_max.yml ERROR (7) 20.13 15.24 None list-properties/list_search-2.yml ERROR (7) 135.12 122.99 None heap-manipulation/bubble_sort_linux-2.yml ERROR (7) 274.44 256.80 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 13299.78 4757.03 - sv-comp20_adaptive_memory_model_32 Run set 2 of 2 with options '--full-output --cacsl2boogietranslator.adapt.memory.model.on.pointer.casts.if.necessary true --architecture 32bit' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 87.35 58.03 None ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 72.07 48.16 None ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point.cil.out.yml true 111.02 90.07 None pthread/twostage_3.yml ERROR (7) 14.50 8.06 None ldv-memsafety/memleaks_test4-1.yml unknown 18.10 10.99 None ldv-memsafety/memleaks_test17_2-1.yml ERROR (7) 394.18 381.58 None ldv-memsafety/memleaks_test11_1.yml ERROR (7) 511.36 500.14 None list-ext3-properties/sll_shallow_copy-1.yml ERROR (7) 81.93 74.78 None memsafety-ext2/complex_data_creation_test01-1.yml TIMEOUT 900.37 888.80 None array-memsafety/bubblesort-alloca-2.yml TIMEOUT 900.63 884.42 None memsafety/test-memleak_nexttime.yml TIMEOUT 901.11 852.99 None ldv-memsafety/memleaks_test15-2.yml ERROR (7) 528.49 517.01 None array-memsafety/array01-alloca-2.yml TIMEOUT 900.38 878.52 None ddv-machzwd/ddv_machzwd_outl_p.yml ERROR (7) 18.26 9.70 None ldv-memsafety/memleaks_test6.yml ERROR (7) 148.41 138.29 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 11.70 7.67 None ddv-machzwd/ddv_machzwd_inb.yml ERROR (7) 18.37 9.72 None ldv-memsafety/memleaks_test13_1.yml ERROR (7) 159.92 147.32 None ldv-memsafety/memleaks_test16.yml ERROR (7) 34.65 27.31 None pthread-memsafety/list1.yml ERROR (7) 10.18 5.68 None memsafety-ext2/complex_data_creation_test02-1.yml ERROR (7) 296.41 286.09 None ldv-memsafety/memleaks_test23_2.yml ERROR (7) 738.01 726.58 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 165.77 153.64 None ldv-memsafety/memleaks_test7-1.yml ERROR (7) 26.86 20.47 None ldv-memsafety/memleaks_test21-1.yml unknown 13.77 7.82 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 469.23 456.69 None ldv-memsafety/memleaks_test5_2.yml unknown 14.46 8.58 None array-memsafety/array03-alloca-2.yml TIMEOUT 900.32 889.95 None ldv-memsafety/memleaks_test20-1.yml unknown 14.81 8.69 None memsafety-ext2/optional_data_creation_test04-2.yml ERROR (7) 183.28 172.56 None ldv-memsafety/memleaks_test22_1-2.yml ERROR (7) 558.38 541.60 None ldv-memsafety/memleaks_test1-1.yml unknown 12.01 6.89 None ldv-memsafety/memleaks_test14_1.yml ERROR (7) 7.70 4.26 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.35 884.69 None array-memsafety/array02-alloca-2.yml TIMEOUT 900.35 882.31 None busybox-1.22.0/dirname-1.yml TIMEOUT 900.28 868.34 None ldv-memsafety/memleaks_test22_2-2.yml ERROR (7) 144.31 127.82 None ddv-machzwd/ddv_machzwd_inw_p.yml ERROR (7) 18.73 9.92 None ddv-machzwd/ddv_machzwd_all.yml ERROR (7) 17.50 9.46 None ldv-memsafety/memleaks_test6_2.yml ERROR (7) 149.06 136.82 None ldv-memsafety/memleaks_test16_1.yml unknown 18.52 11.01 None ldv-memsafety/memleaks_test3-1.yml false(valid-free) 12.41 6.96 None array-memsafety-realloc/array-realloc-1.yml false(valid-free) 20.83 15.85 None ldv-memsafety/memleaks_test22_3-2.yml ERROR (7) 159.35 142.17 None ldv-memsafety/memleaks_test8_2.yml false(valid-free) 18.38 11.14 None ldv-memsafety/memleaks_test18_1.yml unknown 215.63 207.00 None memsafety/test-0102-1.yml ERROR (7) 7.01 4.03 None ldv-memsafety/memleaks_test9_2.yml unknown 12.18 6.97 None busybox-1.22.0/basename-2.yml TIMEOUT 900.35 818.56 None array-memsafety/stroeder1-alloca-1.yml TIMEOUT 900.37 880.37 None list-ext-properties/test-0019_1-1.yml ERROR (7) 36.17 29.15 None array-memsafety/lis-alloca-1.yml TIMEOUT 901.01 845.63 None memsafety-ext/tree_dsw.yml ERROR (7) 896.06 877.38 None ldv-memsafety/memleaks_test6_3.yml ERROR (7) 129.65 120.18 None busybox-1.22.0/hostid.yml TIMEOUT 900.40 877.71 None memsafety/test-0134.yml ERROR (7) 6.92 3.99 None heap-manipulation/bubble_sort_linux-1.yml ERROR (7) 183.35 170.42 None ldv-memsafety/memleaks_test19-2.yml ERROR (7) 349.89 339.32 None array-memsafety/stroeder2-alloca-1.yml TIMEOUT 900.32 886.25 None ldv-memsafety/memleaks_test13.yml ERROR (7) 337.28 316.07 None ddv-machzwd/ddv_machzwd_outb_p.yml ERROR (7) 17.44 9.37 None ddv-machzwd/ddv_machzwd_outb.yml ERROR (7) 18.39 9.75 None ddv-machzwd/ddv_machzwd_inw.yml ERROR (7) 19.31 10.18 None pthread-memsafety/fillarray1.yml ERROR (7) 10.34 5.92 None ldv-memsafety/memleaks_test23_3.yml ERROR (7) 539.21 524.10 None ldv-memsafety/memleaks_test22_1-1.yml true 176.24 159.83 None ldv-memsafety/memleaks_test1-2.yml false(valid-free) 16.34 9.68 None ldv-memsafety/memleaks_test14_2.yml ERROR (7) 7.21 4.13 None ddv-machzwd/ddv_machzwd_inb_p.yml ERROR (7) 17.34 9.29 None ldv-memsafety/memleaks_test20-2.yml ERROR (7) 40.09 31.92 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 173.84 164.49 None ldv-memsafety/memleaks_test21-2.yml ERROR (7) 37.67 30.67 None ldv-memsafety/memleaks_test18_3.yml TIMEOUT 900.62 887.89 None ldv-memsafety/memleaks_test10-1.yml ERROR (7) 536.75 525.57 None ldv-memsafety/memleaks_test5_1.yml unknown 11.76 6.75 None ldv-memsafety/memleaks_test16_2.yml unknown 13.27 7.67 None ldv-memsafety/memleaks_test3-2.yml ERROR (7) 29.69 22.36 None array-memsafety-realloc/array-realloc-2.yml ERROR (7) 90.47 82.25 None ldv-memsafety/memleaks_test22_3-1.yml ERROR (7) 162.28 144.96 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml ERROR (7) 16.82 9.11 None ldv-memsafety/memleaks_test6_1.yml ERROR (7) 141.89 132.47 None ldv-memsafety/memleaks_test22_2-1.yml true 105.93 93.29 None array-memsafety/lis_unsafe.yml false(valid-deref) 14.59 9.10 None ldv-memsafety/memleaks_test12-1.yml TIMEOUT 900.36 881.13 None ldv-memsafety/memleaks_test15-1.yml ERROR (7) 584.28 524.90 None ldv-memsafety/memleaks_test5.yml ERROR (7) 34.51 26.84 None array-memsafety/insertionsort-alloca-1.yml TIMEOUT 900.33 885.48 None ldv-memsafety/memleaks_test9.yml ERROR (7) 29.06 22.30 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 697.93 685.08 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 31.51 24.38 None ldv-memsafety/memleaks_test11_2.yml ERROR (7) 327.48 317.53 None list-ext3-properties/sll_shallow_copy-2.yml unknown 98.00 91.68 None memsafety-ext2/complex_data_creation_test01-2.yml TIMEOUT 900.38 889.83 None memsafety-ext2/complex_data_creation_test02-2.yml ERROR (7) 413.23 401.98 None ddv-machzwd/ddv_machzwd_outl.yml ERROR (7) 17.28 9.20 None ldv-memsafety/memleaks_test23_1.yml ERROR (7) 589.85 576.45 None ldv-memsafety/memleaks_test7-2.yml ERROR (7) 28.11 21.49 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 176.04 164.34 None ldv-memsafety/memleaks_test11.yml ERROR (7) 524.87 514.80 None ldv-memsafety/memleaks_test13_2.yml ERROR (7) 305.76 285.03 None ldv-memsafety/memleaks_test22_5.yml TIMEOUT 902.29 747.44 None ldv-memsafety/memleaks_test8.yml ERROR (7) 27.80 21.63 None ddv-machzwd/ddv_machzwd_outw_p.yml ERROR (7) 18.72 9.97 None array-memsafety/selectionsort-alloca-1.yml TIMEOUT 900.42 877.96 None ldv-memsafety/memleaks_test19-1.yml ERROR (7) 476.47 464.48 None ldv-memsafety/memleaks_test23_4.yml TIMEOUT 900.34 884.20 None array-memsafety/knapsack_alloca_unsafe.yml false(valid-deref) 15.51 9.50 None pthread-memsafety/fillarray.yml ERROR (7) 10.04 5.72 None memsafety/20020406-1.yml TIMEOUT 900.36 890.35 None ldv-memsafety/memleaks_test18.yml ERROR (7) 267.68 257.80 None ldv-memsafety/memleaks_test22_4.yml true 192.69 172.54 None array-memsafety/diff-alloca-2.yml TIMEOUT 900.47 878.46 None ldv-memsafety/memleaks_test14.yml ERROR (7) 7.33 4.19 None ddv-machzwd/ddv_machzwd_inl.yml ERROR (7) 17.98 9.45 None busybox-1.22.0/basename-1.yml TIMEOUT 900.62 867.02 None ldv-memsafety/memleaks_test9_1.yml unknown 14.86 8.53 None array-memsafety/java_BubbleSort-alloca-1.yml TIMEOUT 900.52 878.85 None ldv-memsafety/memleaks_test14_3.yml ERROR (7) 7.57 4.31 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 25.81 19.87 None memsafety/test-0102-2.yml ERROR (7) 6.73 3.93 None ldv-memsafety/memleaks_test18_2.yml ERROR (7) 129.67 120.79 None ldv-memsafety/memleaks_test8_1.yml unknown 11.93 6.95 None memsafety/test-0137.yml ERROR (7) 7.05 4.08 None array-memsafety-realloc/array-realloc-3.yml unknown 18.17 11.77 None ddv-machzwd/ddv_machzwd_inl_p.yml ERROR (7) 17.88 9.54 None ldv-memsafety/memleaks_test17_3.yml ERROR (7) 887.55 872.94 None list-ext-properties/test-0019_1-2.yml ERROR (7) 37.44 30.33 None list-properties/list_search-1.yml ERROR (7) 117.37 106.97 None verifythis/tree_max.yml ERROR (7) 19.77 14.62 None list-properties/list_search-2.yml ERROR (7) 134.45 123.10 None heap-manipulation/bubble_sort_linux-2.yml ERROR (7) 177.08 164.58 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 16285.04 4844.89 - Statistics: 262 Files correct: 18 correct true: 4 correct false: 14 incorrect: 8 incorrect true: 8 incorrect false: 0 unknown: 236 Score: -234 (max: 374)