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 17:18:48 CET tool: ULTIMATE Automizer 0.1.24-277264cd 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 true 24.40 16.73 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 139.82 119.32 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.14 16.71 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 257.31 167.32 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 74.36 41.88 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 71.91 42.93 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) 26.31 13.85 None nla-digbench/freire2.yml false(unreach-call) 106.68 100.82 None nla-digbench/hard.yml false(unreach-call) 320.92 309.78 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 519.69 507.50 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.41 879.91 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.30 19.85 None ldv-memsafety/memleaks_test16_1.yml unknown 16.80 10.49 None ldv-memsafety/memleaks_test16.yml ERROR (7) 31.97 24.91 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 355.62 343.95 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 224.59 212.76 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 368.01 354.27 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 574.73 557.94 None ldv-memsafety/memleaks_test22_2-1.yml true 84.83 71.63 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 559.57 541.17 None ldv-memsafety/memleaks_test4-1.yml unknown 18.25 11.05 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 31.06 24.25 None memsafety-bftpd/bftpd_1a.yml ERROR (7) 116.75 92.75 None memsafety-bftpd/bftpd_2a.yml ERROR (7) 120.16 96.46 None memsafety-bftpd/bftpd_3.yml ERROR (7) 118.92 97.56 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.38 886.71 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 191.15 180.15 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 11.70 7.74 None heap-manipulation/merge_sort-1.yml ERROR (7) 125.95 107.42 None list-ext-properties/simple-ext.yml TIMEOUT 900.35 820.41 None list-properties/alternating_list-2.yml true 206.15 197.12 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 4816.00 1324.85 - 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 true 23.91 16.33 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 132.95 110.42 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 261.09 172.18 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 69.87 38.41 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 66.79 40.11 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) 27.46 14.34 None nla-digbench/freire2.yml false(unreach-call) 127.58 120.72 None nla-digbench/hard.yml TIMEOUT 900.36 892.17 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 382.41 370.26 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.36 879.84 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 25.81 19.86 None ldv-memsafety/memleaks_test16_1.yml unknown 17.57 10.45 None ldv-memsafety/memleaks_test16.yml ERROR (7) 32.44 25.21 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 210.03 197.81 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 177.82 166.19 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 688.52 674.47 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 390.25 370.15 None ldv-memsafety/memleaks_test22_2-1.yml true 72.54 61.65 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 396.29 373.89 None ldv-memsafety/memleaks_test4-1.yml unknown 17.49 10.76 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 31.75 24.10 None memsafety-bftpd/bftpd_1a.yml ERROR (7) 114.84 92.25 None memsafety-bftpd/bftpd_2a.yml ERROR (7) 119.21 96.73 None memsafety-bftpd/bftpd_3.yml ERROR (7) 123.99 95.80 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.37 888.85 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 119.13 109.29 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 11.38 7.67 None heap-manipulation/merge_sort-1.yml ERROR (7) 116.15 101.05 None list-ext-properties/simple-ext.yml TIMEOUT 900.35 820.07 None list-properties/alternating_list-2.yml true 209.11 200.03 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 4059.68 1311.91 - Statistics: 62 Files correct: 7 correct true: 2 correct false: 5 incorrect: 16 incorrect true: 12 incorrect false: 4 unknown: 39 Score: -439 (max: 86)