Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-reachsafety.ReachSafety-ControlFlow sv-comp19_prop-reachsafety.ReachSafety-ControlFlow
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 80.7  47.5  1104355328 false(unreach-call) 80.6  47.3  1077657600
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 54.0  30.7  785678336 false(unreach-call) 56.3  32.0  777494528
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 61.8  35.9  940441600 false(unreach-call) 66.0  38.1  918888448
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false(unreach-call) 42.3  23.1  601698304 false(unreach-call) 37.5  21.0  620077056
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 136    90.7  1459638272 true 132    88.2  1472905216
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 162    124    1640001536 true 171    128    1667629056
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 117    84.1  1340174336 true 120    84.9  1359273984
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 149    110    1523253248 true 158    115    1530933248
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 22.4  12.5  522735616 true 24.2  13.8  522747904
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 29.9  16.6  598507520 true 31.3  17.4  605532160
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c false(unreach-call) 14.9  8.76 515899392 false(unreach-call) 15.3  8.98 519639040
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(unreach-call) 15.3  8.91 516882432 false(unreach-call) 15.4  9.04 517918720
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c false(unreach-call) 15.7  9.18 524259328 false(unreach-call) 15.4  9.01 526815232
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false(unreach-call) 15.4  8.94 509091840 false(unreach-call) 15.4  8.94 512811008
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false(unreach-call) 16.0  9.31 456306688 false(unreach-call) 14.5  8.67 462450688
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c false(unreach-call) 56.1  31.7  909246464 false(unreach-call) 60.0  33.7  927404032
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false(unreach-call) 44.9  25.5  741822464 false(unreach-call) 44.9  25.5  789368832
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false(unreach-call) 35.5  20.1  689094656 false(unreach-call) 35.2  20.0  668815360
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false(unreach-call) 27.6  15.5  594255872 false(unreach-call) 26.2  14.9  600797184
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false(unreach-call) 29.6  16.7  604434432 false(unreach-call) 26.1  15.0  614817792
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false(unreach-call) 26.4  15.1  600276992 false(unreach-call) 27.9  15.8  599670784
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false(unreach-call) 9.82 5.83 278945792 false(unreach-call) 9.84 5.80 274350080
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 58.8  32.1  886939648 true 56.5  31.1  1031688192
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 49.0  27.6  1007210496 true 56.4  31.2  1033224192
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 58.6  32.2  1011724288 true 54.9  30.3  970481664
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 57.3  31.1  948654080 true 56.4  30.8  937291776
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c true 73.3  44.5  1697148928 true 82.6  49.1  1708867584
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 12.2  7.34 389402624 true 11.9  7.06 391426048
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 10.4  6.16 291405824 true 10.6  6.32 288018432
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c true 93.7  56.5  1418575872 true 87.9  53.4  1401114624
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c true 83.3  48.5  1312169984 true 73.7  43.6  1248382976
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c true 99.4  57.5  1223139328 true 87.8  52.0  1224364032
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c true 102    63.8  1926066176 true 105    65.8  1874268160
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c true 106    68.9  1483767808 true 113    72.0  1538486272
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c true 102    60.0  1492324352 true 83.2  51.1  1486942208
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 9.77 5.79 275177472 false(unreach-call) 9.92 5.75 274251776
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false(unreach-call) 10.2  5.99 284069888 false(unreach-call) 9.59 5.70 279126016
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 27.7  15.2  798109696 true 29.6  16.0  786296832
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 34.6  19.5  1576812544 true 36.2  20.4  1616941056
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 48.2  30.0  2806374400 true 50.5  30.5  2758242304
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 76.7  53.0  4911710208 true 78.0  53.0  5073195008
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 159    113    6803001344 true 161    113    6630363136
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 325    249    8000000000 out of memory 333    251    8000000000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 11.2  6.55 323366912 true 10.6  6.26 324325376
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 12.8  7.25 402665472 true 12.4  7.11 393306112
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 14.0  7.86 497700864 true 15.2  8.50 496246784
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 17.2  9.49 508022784 true 17.6  9.69 507731968
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 22.7  12.2  599359488 true 21.4  11.6  593874944
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 901    844    2540941312 timeout 901    847    2855690240
ntdrivers/diskperf_false-unreach-call.i.cil.c false(unreach-call) 340    309    2563891200 false(unreach-call) 339    305    2410655744
ntdrivers/floppy_false-unreach-call.i.cil.c error (7) 21.0  11.4  350318592 false(unreach-call) 279    247    2747301888
ntdrivers/kbfiltr_false-unreach-call.i.cil.c timeout 901    852    2634276864 timeout 901    853    2655678464
ntdrivers/parport_false-unreach-call.i.cil.c error (7) 247    206    4618428416 error (7) 245    202    4737769472
ntdrivers/cdaudio_true-unreach-call.i.cil.c true 439    372    2981351424 true 431    368    2602708992
ntdrivers/diskperf_true-unreach-call.i.cil.c true 811    722    3431571456 true 820    736    3285938176
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c true 498    382    5271683072 true 456    348    5429284864
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c error (7) 22.0  11.9  351629312 timeout 900    834    3431763968
ntdrivers/parport_true-unreach-call.i.cil.c timeout 901    831    4818944000 timeout 901    830    4831412224
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c error (7) 15.1  8.24 234479616 false(unreach-call) 449    393    1280405504
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c error (7) 15.0  8.23 234569728 false(unreach-call) 139    105    1137926144
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c error (7) 15.2  8.41 234475520 false(unreach-call) 141    108    1144340480
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c error (7) 15.4  8.40 242036736 false(unreach-call) 147    111    1110548480
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c error (7) 16.8  9.12 244072448 false(unreach-call) 90.9  56.1  766824448
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c error (7) 15.0  8.28 237723648 false(unreach-call) 93.3  56.5  790589440
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c error (7) 15.9  8.67 237158400 false(unreach-call) 91.7  56.8  798461952
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c error (7) 16.1  8.76 242720768 false(unreach-call) 89.5  54.2  778903552
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c error (7) 15.7  8.63 230416384 timeout 901    812    1333342208
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error (7) 15.1  8.28 232976384 false(unreach-call) 831    752    1257508864
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c error (7) 16.0  8.73 239558656 timeout 901    789    2803458048
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error (7) 15.6  8.45 234594304 timeout 901    825    1143926784
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c error (7) 15.0  8.25 242651136 timeout 901    792    2473861120
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c error (7) 16.9  9.28 245997568 false(unreach-call) 122    82.0  1022234624
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c error (7) 15.7  8.55 235085824 timeout 901    803    1301602304
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c error (7) 14.9  8.30 237383680 timeout 901    823    1399922688
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c error (7) 14.9  8.32 231518208 timeout 901    814    1349353472
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c error (7) 16.4  8.85 231727104 timeout 901    795    2640125952
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c error (7) 15.3  8.32 245723136 timeout 901    812    1251618816
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c error (7) 13.8  7.72 239501312 true 295    240    2136965120
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c error (7) 15.1  8.46 233357312 timeout 901    818    1519890432
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c error (7) 16.0  8.75 237957120 true 477    421    3009097728
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c error (7) 15.4  8.48 235098112 timeout 901    808    1384718336
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c error (7) 14.5  7.92 235495424 timeout 901    793    4886728704
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c error (7) 15.5  8.51 232775680 timeout 900    826    2792689664
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c error (7) 16.1  8.81 237727744 timeout 901    820    5328793600
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c error (7) 15.5  8.41 232869888 timeout 901    774    4829626368
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c error (7) 14.0  7.80 234799104 timeout 901    849    2596642816
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c error (7) 15.0  8.23 229474304 timeout 901    832    3234861056
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c error (7) 16.2  8.81 243154944 timeout 900    786    6559506432
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c error (7) 16.8  9.08 230506496 timeout 901    754    5211078656
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c error (7) 13.7  7.71 238907392 timeout 901    775    5082419200
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c error (7) 15.5  8.58 237649920 timeout 901    787    4773076992
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c error (7) 15.4  8.41 236748800 timeout 900    784    6203252736
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c error (7) 16.1  8.71 239001600 timeout 901    844    2439532544
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c error (7) 14.4  8.03 232398848 timeout 901    788    6513197056
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 94 8470 6670 98417229824 94 33600 29100 189711691776
    correct results 51 4600 3360 66580398080 64 7810 6010 84146151424
        correct true 32 3690 2720 53084569600 34 4430 3360 57938096128
        correct false 19 906 634 13495828480 30 3380 2650 26208055296
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (94 tasks, max score: 146) 83 98
Run set sv-comp19_prop-reachsafety.ReachSafety-ControlFlow sv-comp19_prop-reachsafety.ReachSafety-ControlFlow