Tool ULTIMATE Automizer 0.1.23-dea210a9
Limits timelimit: 1800 s, memlimit: 16000 MB, CPU core limit: 4
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-23 15:50:49 CET
Run set sv-comp19-unsound
Options --full-output
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack true 17.1  9.69 409387008
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack true 11.4  4.74 350703616
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c unreach-call false(unreach-call) 555    538    2312048640
float-newlib/double_req_bl_0870a_false-unreach-call.c unreach-call false(unreach-call) 79.7  62.5  1603203072
floats-esbmc-regression/isunordered_true-unreach-call.i unreach-call false(unreach-call) 17.9  7.90 357281792
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 36.9  23.2  654782464
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call true 726    707    866185216
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c unreach-call false(unreach-call) 7.75 3.41 243961856
loops/s3_false-unreach-call.i unreach-call false(unreach-call) 315    250    1277251584
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-hdpvr-hdpvr_false-unreach-call.cil.c unreach-call timeout 1800    1620    4902084608
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c unreach-call error (7) 66.8  24.6  1188089856
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout 1800    1660    4766498816
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i unreach-call true 108    47.1  897593344
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--misc--ims-pcu.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1660    6876598272
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--stk1160--stk1160.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1660    10398543872
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-can-mcp251x_false-unreach-call.cil.c unreach-call timeout 1800    1690    5373972480
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point_true-unreach-call.cil.out.c unreach-call false(unreach-call) 40.3  13.2  816463872
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_false-unreach-call.cil.out.c unreach-call true 460    357    2456657920
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--renesas--sh_eth.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1630    7237791744
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_false-unreach-call.cil.out.c unreach-call true 1470    1410    1162768384
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point_false-unreach-call.cil.out.c unreach-call true 74.2  28.1  858451968
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_true-unreach-call.cil.out.c unreach-call false(unreach-call) 42.3  14.3  779673600
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-entry_point_false-unreach-call.cil.out.c unreach-call error (7) 346    234    3822518272
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_sdio.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1700    7752376320
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8187--rtl8187.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1660    5592489984
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call error (7) 577    494    2020331520
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unreach-call timeout 1800    1720    3275231232
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--input--touchscreen--usbtouchscreen.ko_false-unreach-call.cil.c unreach-call timeout 1800    1680    5062045696
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--memstick--core--ms_block.ko_false-unreach-call.cil.c unreach-call timeout 1800    1630    6773723136
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko_false-unreach-call.cil.c unreach-call timeout 1800    1720    3088322560
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--atheros--alx--alx.ko_false-unreach-call.cil.c unreach-call timeout 1800    1560    9914982400
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--qlogic--netxen--netxen_nic.ko_false-unreach-call.cil.c unreach-call timeout 1800    1510    8429907968
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--s3fb.ko_false-unreach-call.cil.c unreach-call timeout 1800    1670    4119793664
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---sound--core--seq--oss--snd-seq-oss.ko_false-unreach-call.cil.c unreach-call timeout 1800    1670    5232807936
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--input--gameport--gameport.ko-entry_point_false-unreach-call.cil.out.c unreach-call unknown 1220    1070    5783212032
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--mgag200--mgag200.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    891    13165158400
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--input--mousedev.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1610    4954513408
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.ko-entry_point_false-unreach-call.cil.out.c unreach-call timeout 1800    1500    8821981184
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--usb--r8152.ko-entry_point_true-unreach-call.cil.out.c unreach-call false(unreach-call) 904    701    8264826880
ldv-validator-v0.8/linux-stable-064368f-1-111_1a-drivers--media--radio--si4713-i2c.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c unreach-call timeout 1800    1710    1304870912
ldv-validator-v0.8/linux-stable-a450319-1-144_1a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c unreach-call unknown 748    682    4811968512
ldv-validator-v0.8/linux-stable-a450319-1-144_2a-drivers--input--tablet--acecad.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c unreach-call unknown 412    341    3737276416
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
total 42 44300 39200 171718332416
local summary 16700 6470
    correct results 4 987 873 5847285760
        correct true 0
        correct false 4 987 873 5847285760
    incorrect results 12 3880 3310 17463955456
        incorrect true 7 2870 2570 7001747456
        incorrect false 5 1010 740 10462208000
score (42 tasks, max score: 47) -300
Run set sv-comp19-unsound