BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound.xml name: uautomizer-unsound run sets: sv-comp20_unsound date: Wed, 2019-11-20 11:00:53 CET tool: ULTIMATE Automizer 0.1.24-678e0110 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 Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ nla-digbench/freire2.yml false(unreach-call) 142.57 136.67 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.98 168.30 None nla-digbench/hard.yml TIMEOUT 900.35 891.95 None floats-cbmc-regression/float-rounding1.yml false(unreach-call) 16.68 10.00 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 76.35 45.67 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) 32.48 17.31 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.17 13.79 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 67.05 37.35 None nla-digbench/freire2.yml false(unreach-call) 72.02 65.65 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 (true) 900.98 783.67 None nla-digbench/hard.yml TIMEOUT 900.53 887.28 None floats-cbmc-regression/float-rounding1.yml false(unreach-call) 16.02 9.76 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 348.79 313.02 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) 32.27 17.14 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.08 14.52 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 360.39 321.35 None memsafety-ext3/naturalNumbers1.yml true 13.79 9.61 None ldv-memsafety/memleaks_test16.yml ERROR (7) 32.81 25.40 None ldv-memsafety/memleaks_test4-1.yml unknown 17.17 10.70 None ldv-memsafety/memleaks_test16_1.yml unknown 18.04 10.96 None memsafety-bftpd/bftpd_3.yml false(valid-deref) 46.21 31.02 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 687.94 672.40 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.41 830.56 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.08 19.84 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 31.34 23.78 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 146.70 137.20 None memsafety-ext3/naturalNumbers1.yml true 13.28 9.65 None ldv-memsafety/memleaks_test16.yml ERROR (7) 32.56 25.21 None ldv-memsafety/memleaks_test4-1.yml unknown 18.54 11.22 None ldv-memsafety/memleaks_test16_1.yml unknown 17.94 10.99 None memsafety-bftpd/bftpd_3.yml false(valid-deref) 44.25 29.76 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 612.05 599.59 None memsafety-ext2/complex_data_creation_test02-2.yml TIMEOUT 900.58 845.24 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 26.72 19.99 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 32.41 24.45 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 138.72 129.54 None list-ext-properties/simple-ext.yml TIMEOUT 900.46 815.95 None list-properties/alternating_list-2.yml true 190.25 179.49 None heap-manipulation/merge_sort-1.yml ERROR (7) 119.75 103.05 None list-ext-properties/simple-ext.yml TIMEOUT 900.38 818.73 None list-properties/alternating_list-2.yml true 203.00 193.04 None heap-manipulation/merge_sort-1.yml ERROR (7) 117.69 102.67 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 5207.57 1711.99 - Statistics: 42 Files correct: 2 correct true: 0 correct false: 2 incorrect: 15 incorrect true: 7 incorrect false: 8 unknown: 25 Score: -350 (max: 56)