Tool ULTIMATE Automizer 0.1.23-cbd82567
Limits timelimit: 1800 s, memlimit: 8000 MB, CPU core limit: 2
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-28 11:46:51 CET
Run set sv-comp19-unsound
Options --full-output
../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c unreach-call false(unreach-call) 750    739    2058711040
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c unreach-call timeout 1800    1790    2485346304
float-newlib/double_req_bl_0870a_false-unreach-call.c unreach-call false(unreach-call) 99.6  86.3  1553833984
floats-cbmc-regression/float1_true-unreach-call_true-termination.i unreach-call true 15.5  9.70 252694528
floats-cbmc-regression/float4_true-unreach-call.i unreach-call true 103    93.7  478220288
floats-cbmc-regression/float-no-simp2_true-unreach-call.i unreach-call true 57.6  48.5  459784192
floats-cbmc-regression/float-rounding1_true-unreach-call.i unreach-call false(unreach-call) 17.6  10.2  374095872
floats-esbmc-regression/copysign_true-unreach-call.i unreach-call error (7) 14.2  7.91 202240000
floats-esbmc-regression/isunordered_true-unreach-call.i unreach-call true 17.4  10.1  348397568
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unreach-call true 76.9  69.0  494858240
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call false(unreach-call) 34.6  24.1  616009728
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call true 30.8  20.0  651866112
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko_false-unreach-call.cil.i unreach-call error (7) 27.4  15.3  356954112
ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko_false-unreach-call.cil.i unreach-call out of memory 242    178    8000000000
ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko_false-unreach-call.cil.i unreach-call error (7) 302    224    4311564288
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko_false-unreach-call.cil.i unreach-call out of memory 292    225    8000000000
ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko_false-unreach-call.cil.i unreach-call out of memory 270    215    8000000000
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c unreach-call true 16.9  10.2  255328256
loops/ludcmp_false-unreach-call.i unreach-call true 61.3  46.3  861552640
loops/s3_false-unreach-call.i unreach-call error (7) 15.5  8.57 231100416
pthread-atomic/read_write_lock_false-unreach-call.i unreach-call error (7) 72.6  39.2  1557676032
pthread/bigshot_s2_true-unreach-call.i unreach-call error (7) 8.21 4.53 225599488
pthread/bigshot_s_true-unreach-call.i unreach-call error (7) 8.09 4.50 223232000
pthread-divine/ring_1w1r_false-unreach-call.i unreach-call false(unreach-call) 12.6  7.32 354443264
pthread-divine/ring_2w1r_false-unreach-call.i unreach-call out of memory 1580    1340    8000000000
pthread-ext/27_Boop_simple_vf_false-unreach-call.i unreach-call error (7) 19.8  11.4  246812672
pthread-ext/28_buggy_simple_loop1_vf_false-unreach-call.i unreach-call error (7) 18.7  10.9  247136256
pthread/lazy01_false-unreach-call.i unreach-call false(unreach-call) 15.6  8.57 418652160
pthread-lit/fkp2013_false-unreach-call.i unreach-call error (7) 18.9  10.9  252575744
pthread-lit/fkp2013_variant_false-unreach-call.i unreach-call error (7) 17.9  10.3  258686976
pthread-nondet/nondet-loop-bound_false-unreach-call.i unreach-call error (7) 19.4  11.0  252518400
pthread-nondet/nondet-loop-bound-variant_false-unreach-call.i unreach-call error (7) 18.2  10.5  249032704
pthread/queue_false-unreach-call.i unreach-call error (7) 16.3  9.04 220504064
pthread/queue_longer_false-unreach-call.i unreach-call error (7) 15.6  8.61 225615872
pthread/queue_longest_false-unreach-call.i unreach-call error (7) 15.6  8.61 235536384
pthread/stack_false-unreach-call.i unreach-call false(unreach-call) 39.8  23.5  814211072
pthread/stack_longer_false-unreach-call.i unreach-call false(unreach-call) 47.4  28.6  970530816
pthread/stack_longest_false-unreach-call.i unreach-call false(unreach-call) 53.7  31.8  945065984
pthread-wmm/rfi000_tso.oepc_true-unreach-call.i unreach-call false(unreach-call) 220    152    6317035520
pthread-wmm/rfi000_tso.opt_true-unreach-call.i unreach-call false(unreach-call) 263    177    7071813632
pthread-wmm/rfi003_tso.oepc_true-unreach-call.i unreach-call out of memory 234    170    8000000000
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unreach-call error (7) 16.3  8.76 231534592
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unreach-call error (7) 16.7  9.10 228450304
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unreach-call error (7) 15.6  8.59 232464384
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unreach-call error (7) 16.3  8.83 235581440
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-hdpvr-hdpvr_false-unreach-call.cil.c unreach-call unknown 6.59 3.83 196599808
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c unreach-call unknown 6.17 3.76 190427136
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i unreach-call timeout 1800    1680    5291593728
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i unreach-call error (7) 74.8  40.7  858898432
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 unknown 6.39 3.77 196210688
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 unknown 6.60 3.78 202141696
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-can-mcp251x_false-unreach-call.cil.c unreach-call unknown 6.75 3.87 196759552
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 unknown 6.40 3.84 196030464
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 unknown 6.04 3.71 196386816
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 unknown 6.55 3.81 198205440
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 unknown 6.10 3.67 194637824
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 unknown 6.35 3.88 190447616
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 unknown 6.01 3.70 189616128
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 unknown 6.73 3.92 195702784
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 unknown 6.15 3.69 195973120
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 unknown 7.07 3.99 192798720
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 timeout 1800    1690    7667425280
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 error (7) 123    68.2  2290159616
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--iio--accel--kxcjk-1013.ko_false-unreach-call.cil.c unreach-call unknown 6.71 3.80 198062080
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--input--touchscreen--usbtouchscreen.ko_false-unreach-call.cil.c unreach-call unknown 6.49 3.74 198955008
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--memstick--core--ms_block.ko_false-unreach-call.cil.c unreach-call unknown 6.71 3.90 196558848
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--mtd--sm_ftl.ko_false-unreach-call.cil.c unreach-call unknown 6.67 3.93 194338816
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--atheros--alx--alx.ko_false-unreach-call.cil.c unreach-call unknown 6.93 3.94 198426624
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 unknown 7.24 3.89 210079744
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--s3fb.ko_false-unreach-call.cil.c unreach-call unknown 6.84 3.91 194744320
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 unknown 6.10 3.56 195657728
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point_false-unreach-call.cil.out.c unreach-call unknown 5.92 3.66 188542976
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point_false-unreach-call.cil.out.c unreach-call unknown 6.25 3.71 196239360
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 6.28 3.37 193732608
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 unknown 6.01 3.62 190439424
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 unknown 6.35 3.83 194408448
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 unknown 6.87 3.92 196972544
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 unknown 6.89 3.77 195436544
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 unknown 5.93 3.72 197242880
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 5.94 3.27 195985408
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 5.75 3.16 195551232
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 40.5  25.4  649371648
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i valid-memcleanup true 24.7  15.9  585502720
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 39.2  25.1  680964096
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i valid-memcleanup true 707    671    798556160
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack false(valid-deref) 180    162    746934272
memsafety-ext3/freeAlloca_false-valid-free.c valid-deref valid-free valid-memtrack true 18.6  12.9  389144576
memsafety-ext3/naturalNumbers1_false-valid-deref.c valid-deref valid-free valid-memtrack true 12.5  7.39 334610432
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i valid-deref valid-free valid-memtrack timeout 1800    1690    2061455360
../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 89 13900 12200 106625196032
local summary 7600 1930
    correct results 14 1340 1190 10020741120
        correct true 6 288 241 2289283072
        correct false 8 1050 950 7731458048
    incorrect results 12 1620 1320 19461447680
        incorrect true 8 935 824 4951568384
        incorrect false 4 680 500 14509879296
score (89 tasks, max score: 110) -300
Run set sv-comp19-unsound