BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound.xml name: uautomizer-unsound run sets: sv-comp20_unsound_64, sv-comp20_unsound_32 date: Thu, 2019-11-21 15:41:33 CET tool: ULTIMATE Automizer 0.1.24-34ebb1e4 tool executable: ./Ultimate.py options: --full-output 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_unsound_64 Run set 1 of 2 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ floats-cbmc-regression/float-rounding1.yml false(unreach-call) 16.06 9.71 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 TIMEOUT 900.65 869.68 None ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point.cil.out.yml false(unreach-call) 31.74 16.85 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--8390--8390.ko-entry_point.cil.out.yml true 254.12 171.14 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point.cil.out.yml true 72.00 39.99 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point.cil.out.yml true 72.87 45.02 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point.cil.out.yml false(unreach-call) 24.22 13.01 None nla-digbench/freire2.yml false(unreach-call) 137.88 131.81 None nla-digbench/hard.yml TIMEOUT 900.36 891.96 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 337.27 325.95 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.41 879.96 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.66 19.89 None ldv-memsafety/memleaks_test16_1.yml unknown 18.05 10.71 None ldv-memsafety/memleaks_test16.yml ERROR (7) 33.29 26.81 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 167.88 154.71 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 175.25 162.97 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 480.47 467.20 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 574.72 556.97 None ldv-memsafety/memleaks_test22_2-1.yml unknown 96.98 87.74 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 600.60 580.70 None ldv-memsafety/memleaks_test4-1.yml unknown 17.49 11.15 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 30.48 23.84 None memsafety-bftpd/bftpd_1a.yml ERROR (7) 119.07 93.94 None memsafety-bftpd/bftpd_2a.yml ERROR (7) 121.29 95.89 None memsafety-bftpd/bftpd_3.yml ERROR (7) 120.99 94.15 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.36 832.56 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 232.78 222.45 None memsafety-ext3/naturalNumbers1.yml true 13.62 9.62 None heap-manipulation/merge_sort-1.yml ERROR (7) 120.77 104.95 None list-ext-properties/simple-ext.yml TIMEOUT 900.36 818.78 None list-properties/alternating_list-2.yml true 196.97 186.25 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 4207.63 1533.60 - sv-comp20_unsound_32 Run set 2 of 2 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ floats-cbmc-regression/float-rounding1.yml false(unreach-call) 16.98 10.19 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 TIMEOUT 900.70 869.48 None ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point.cil.out.yml false(unreach-call) 31.39 16.78 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--8390--8390.ko-entry_point.cil.out.yml TIMEOUT 900.95 789.70 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point.cil.out.yml unknown 175.93 133.15 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point.cil.out.yml unknown 422.18 383.61 None ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point.cil.out.yml false(unreach-call) 25.43 13.52 None nla-digbench/freire2.yml false(unreach-call) 141.35 135.39 None nla-digbench/hard.yml TIMEOUT 900.40 890.14 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 405.48 394.12 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.42 882.76 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.86 19.93 None ldv-memsafety/memleaks_test16_1.yml unknown 18.20 10.76 None ldv-memsafety/memleaks_test16.yml ERROR (7) 34.75 27.21 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 329.09 316.77 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 461.18 447.94 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 371.79 357.15 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 385.52 366.63 None ldv-memsafety/memleaks_test22_2-1.yml unknown 48.88 38.39 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 389.38 369.84 None ldv-memsafety/memleaks_test4-1.yml unknown 17.89 11.12 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 33.06 26.18 None memsafety-bftpd/bftpd_1a.yml ERROR (7) 120.99 97.99 None memsafety-bftpd/bftpd_2a.yml ERROR (7) 122.53 97.84 None memsafety-bftpd/bftpd_3.yml ERROR (7) 115.28 92.60 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.33 836.97 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 123.21 113.26 None memsafety-ext3/naturalNumbers1.yml true 13.48 9.69 None heap-manipulation/merge_sort-1.yml ERROR (7) 115.97 101.67 None list-ext-properties/simple-ext.yml TIMEOUT 900.37 820.51 None list-properties/alternating_list-2.yml true 188.99 177.64 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 4413.52 1671.43 - Statistics: 62 Files correct: 2 correct true: 0 correct false: 2 incorrect: 13 incorrect true: 7 incorrect false: 6 unknown: 47 Score: -318 (max: 86)