BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound.xml name: uautomizer-unsound run sets: sv-comp20_unsound_64, sv-comp20_unsound_32 date: Fri, 2019-11-22 13:43:08 CET tool: ULTIMATE Automizer 0.1.24-3d056a1f 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.62 16.93 None ldv-commit-tester/m0_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-2.yml ERROR (7) 16.24 9.13 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 124.13 105.88 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 true 109.37 72.98 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 115.98 78.59 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 43.38 26.62 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 38.50 20.79 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 true 56.96 36.18 None nla-digbench/freire1.yml true 129.25 122.55 None nla-digbench/freire2.yml false(unreach-call) 95.21 89.18 None nla-digbench/hard.yml TIMEOUT 900.47 890.73 None pthread-nondet/nondet-array-1.yml true 20.13 11.65 None pthread-nondet/nondet-loop-bound-1.yml true 52.80 31.29 None pthread/sigma.yml true 26.93 15.23 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 705.32 690.41 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.37 876.00 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 33.10 23.79 None ldv-memsafety/memleaks_test16_1.yml unknown 25.57 15.23 None ldv-memsafety/memleaks_test16.yml ERROR (7) 42.48 31.69 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 296.42 281.37 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 242.11 228.65 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 541.47 523.87 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 572.95 553.74 None ldv-memsafety/memleaks_test22_2-1.yml true 94.70 77.35 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 580.33 558.61 None ldv-memsafety/memleaks_test23_1.yml true 792.66 766.38 None ldv-memsafety/memleaks_test4-1.yml unknown 25.31 15.52 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 34.10 24.61 None memsafety-bftpd/bftpd_1a.yml TIMEOUT 900.54 859.19 None memsafety-bftpd/bftpd_2a.yml ERROR (7) 637.47 575.88 None memsafety-bftpd/bftpd_3.yml ERROR (7) 520.60 453.93 None memsafety-ext2/complex_data_creation_test02-2.yml ERROR (7) 220.95 204.85 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 280.93 268.22 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 17.73 11.17 None verifythis/duplets.yml true 51.67 36.85 None verifythis/elimination_max_rec_onepoint.yml true 44.96 32.98 None verifythis/elimination_max_rec.yml true 37.63 27.18 None verifythis/elimination_max.yml true 21.08 13.76 None verifythis/lcp.yml true 40.55 29.18 None verifythis/prefixsum_iter.yml TIMEOUT 900.62 832.02 None heap-manipulation/merge_sort-1.yml true 40.91 27.03 None list-ext-properties/simple-ext.yml TIMEOUT 900.34 882.92 None list-properties/alternating_list-2.yml true 28.78 19.06 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 6787.34 1887.35 - 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 24.39 16.49 None ldv-commit-tester/m0_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-2.yml ERROR (7) 15.80 8.45 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 122.15 101.93 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 true 113.80 75.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 101.51 68.22 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 38.47 22.68 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 34.13 18.50 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 true 54.76 34.48 None nla-digbench/freire1.yml true 191.14 184.81 None nla-digbench/freire2.yml false(unreach-call) 127.71 121.95 None nla-digbench/hard.yml TIMEOUT 900.37 890.22 None pthread-nondet/nondet-array-1.yml true 20.83 11.69 None pthread-nondet/nondet-loop-bound-1.yml true 50.95 30.98 None pthread/sigma.yml true 25.85 14.63 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 615.68 601.25 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.37 881.35 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 33.25 23.58 None ldv-memsafety/memleaks_test16_1.yml unknown 25.67 15.06 None ldv-memsafety/memleaks_test16.yml ERROR (7) 40.92 29.81 None ldv-memsafety/memleaks_test17_1-1.yml ERROR (7) 171.99 156.93 None ldv-memsafety/memleaks_test17_1-2.yml ERROR (7) 207.43 193.58 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 326.68 310.28 None ldv-memsafety/memleaks_test22_1-1.yml ERROR (7) 396.16 373.48 None ldv-memsafety/memleaks_test22_2-1.yml true 113.89 100.04 None ldv-memsafety/memleaks_test22_4.yml ERROR (7) 401.54 375.63 None ldv-memsafety/memleaks_test23_1.yml TIMEOUT 900.58 879.72 None ldv-memsafety/memleaks_test4-1.yml unknown 24.83 15.41 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 38.86 28.91 None memsafety-bftpd/bftpd_1a.yml TIMEOUT 900.53 860.85 None memsafety-bftpd/bftpd_2a.yml TIMEOUT 901.16 831.09 None memsafety-bftpd/bftpd_3.yml ERROR (7) 618.07 543.89 None memsafety-ext2/complex_data_creation_test02-2.yml ERROR (7) 207.17 188.34 None memsafety-ext2/optional_data_creation_test04-1.yml ERROR (7) 347.42 334.92 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 18.84 11.92 None verifythis/duplets.yml true 56.13 40.88 None verifythis/elimination_max_rec_onepoint.yml true 44.51 32.66 None verifythis/elimination_max_rec.yml true 37.62 26.69 None verifythis/elimination_max.yml true 20.96 13.44 None verifythis/lcp.yml true 34.81 25.06 None verifythis/prefixsum_iter.yml TIMEOUT 900.63 831.53 None heap-manipulation/merge_sort-1.yml true 42.96 27.39 None list-ext-properties/simple-ext.yml true 22.49 14.02 None list-properties/alternating_list-2.yml true 32.81 21.84 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 2 done 5669.51 1758.17 - Statistics: 86 Files correct: 21 correct true: 17 correct false: 4 incorrect: 23 incorrect true: 23 incorrect false: 0 unknown: 42 Score: -698 (max: 124)