BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound.xml name: uautomizer-unsound run sets: sv-comp20_unsound_64, sv-comp20_unsound_32 date: Wed, 2019-11-27 12:54:23 CET tool: ULTIMATE Automizer 0.1.24-de1bb103 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 --architecture 64bit' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ldv-commit-tester/m0_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-2.yml true 582.67 480.55 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) 30.52 16.57 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 251.48 168.43 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 66.53 36.97 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 70.36 43.45 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.92 13.65 None ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point.cil.out.yml TIMEOUT 900.64 830.28 None ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point.cil.out.yml TIMEOUT 900.65 765.08 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done 1025.59 830.98 - sv-comp20_unsound_32 Run set 2 of 2 with options '--full-output --architecture 32bit' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------- array-fpi/brs2f.yml false(unreach-call) 14.55 9.27 None array-fpi/brs3f.yml false(unreach-call) 10.03 6.12 None array-fpi/eqn1f.yml true 343.99 330.82 None array-fpi/pcompf.yml TIMEOUT 900.50 879.98 None array-fpi/s1iff.yml false(unreach-call) 13.03 8.23 None array-fpi/s2iff.yml false(unreach-call) 13.31 7.96 None array-fpi/s3iff.yml false(unreach-call) 13.92 8.41 None array-fpi/s4iff.yml false(unreach-call) 13.87 8.48 None floats-cbmc-regression/float-rounding1.yml true 24.13 16.44 None ldv-regression/rule57_ebda_blast.yml true 9.89 5.75 None nla-digbench/freire1.yml true 167.36 161.40 None nla-digbench/freire2.yml false(unreach-call) 134.47 128.18 None nla-digbench/hard.yml false(unreach-call) 383.13 369.75 None pthread-nondet/nondet-array-1.yml TIMEOUT 900.49 798.67 None pthread-nondet/nondet-loop-bound-1.yml TIMEOUT 900.77 698.54 None pthread/sigma.yml TIMEOUT 900.52 795.39 None pthread/singleton.yml false(unreach-call) 154.77 113.55 None recursive-with-pointer/simple-recursive.yml true 13.33 8.66 None verifythis/prefixsum_rec.yml TIMEOUT 900.35 883.81 None verifythis/tree_max.yml TIMEOUT 900.96 813.59 None array-memsafety/openbsd_cmemchr-alloca-2.yml TIMEOUT 900.36 876.90 None ddv-machzwd/ddv_machzwd_inb_p.yml ERROR (7) 26.19 13.84 None ddv-machzwd/ddv_machzwd_inb.yml ERROR (7) 26.53 14.21 None ddv-machzwd/ddv_machzwd_inl_p.yml ERROR (7) 27.33 14.71 None ddv-machzwd/ddv_machzwd_inl.yml ERROR (7) 27.61 14.63 None ddv-machzwd/ddv_machzwd_inw_p.yml ERROR (7) 26.15 13.92 None ddv-machzwd/ddv_machzwd_outb_p.yml ERROR (7) 25.42 13.78 None ddv-machzwd/ddv_machzwd_outl_p.yml ERROR (7) 27.30 14.81 None ddv-machzwd/ddv_machzwd_outl.yml ERROR (7) 26.96 14.40 None ddv-machzwd/ddv_machzwd_outw_p.yml ERROR (7) 26.74 14.39 None ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.yml ERROR (7) 26.94 14.31 None ldv-memsafety/memleaks_test10-2.yml ERROR (7) 574.53 560.50 None ldv-memsafety/memleaks_test12-2.yml TIMEOUT 900.38 879.84 None ldv-memsafety/memleaks_test1-3.yml ERROR (7) 28.90 19.42 None ldv-memsafety/memleaks_test16_1.yml unknown 23.62 14.13 None ldv-memsafety/memleaks_test16.yml ERROR (7) 42.08 31.12 None ldv-memsafety/memleaks_test17_2-2.yml ERROR (7) 544.35 522.04 None ldv-memsafety/memleaks_test22_1-1.yml true 126.63 104.30 None ldv-memsafety/memleaks_test22_3-2.yml true 102.92 86.66 None ldv-memsafety/memleaks_test22_4.yml true 126.93 105.94 None ldv-memsafety/memleaks_test22_5.yml true 98.41 80.86 None ldv-memsafety/memleaks_test23_1.yml TIMEOUT 900.35 883.42 None ldv-memsafety/memleaks_test4-1.yml unknown 24.87 14.45 None ldv-memsafety/memleaks_test4-2.yml ERROR (7) 36.97 27.90 None memsafety-bftpd/bftpd_1a.yml TIMEOUT 901.51 834.55 None memsafety-bftpd/bftpd_2a.yml TIMEOUT 900.60 846.42 None memsafety-bftpd/bftpd_3.yml ERROR (7) 633.89 559.32 None memsafety-ext2/complex_data_creation_test02-2.yml ERROR (7) 654.70 636.02 None memsafety-ext2/optional_data_creation_test04-1.yml TIMEOUT 901.12 682.82 None memsafety-ext3/naturalNumbers1.yml false(valid-deref) 17.70 11.18 None verifythis/duplets.yml TIMEOUT 900.55 855.48 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 900.79 876.42 None verifythis/elimination_max_rec.yml TIMEOUT 900.42 873.21 None verifythis/elimination_max.yml TIMEOUT 900.45 876.74 None verifythis/lcp.yml TIMEOUT 900.46 877.63 None verifythis/prefixsum_iter.yml TIMEOUT 900.57 853.51 None heap-manipulation/merge_sort-1.yml false(valid-memcleanup) 39.41 26.48 None list-ext-properties/simple-ext.yml false(valid-memcleanup) 11.30 6.54 None list-properties/alternating_list-2.yml false(valid-memcleanup) 15.55 9.20 None ---------------------------------------------------------------------------------------------------------------- Run set 2 done 7273.11 2770.20 - Statistics: 67 Files correct: 16 correct true: 3 correct false: 13 incorrect: 12 incorrect true: 10 incorrect false: 2 unknown: 39 Score: -333 (max: 88)