./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.195
vars: 20916, evals: 50609

|rho|=20916
|stable|=20916
|infl|=20577
|wpoint|=0
|sides|=743
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19829
|called|=339
Found 471 contexts for 39 functions. Top 5 functions:
159	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=23062.41MB, max=151.80MB, minor=23057.53MB, major=329.66MB, promoted=324.77MB
    minor collections=11004  major collections=20 compactions=0


runtime: 00:00:20.238
vars: 40923, evals: 97070

|rho|=40923
|stable|=40923
|infl|=40142
|wpoint|=1
|sides|=965
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39614
|called|=792
Found 693 contexts for 39 functions. Top 5 functions:
381	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=44739.54MB, max=265.50MB, minor=44732.30MB, major=607.92MB, promoted=600.69MB
    minor collections=21341  major collections=24 compactions=0


runtime: 00:00:30.281
vars: 58653, evals: 138231

|rho|=58653
|stable|=58653
|infl|=57478
|wpoint|=1
|sides|=1162
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57147
|called|=1176
Found 890 contexts for 39 functions. Top 5 functions:
578	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=65471.36MB, max=351.13MB, minor=65463.83MB, major=858.07MB, promoted=850.54MB
    minor collections=31229  major collections=27 compactions=0


runtime: 00:00:40.348
vars: 74788, evals: 175741

|rho|=74788
|stable|=74786
|infl|=73251
|wpoint|=2
|sides|=1341
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73103
|called|=1543
Found 1069 contexts for 39 functions. Top 5 functions:
757	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=85549.38MB, max=464.37MB, minor=85537.38MB, major=1095.93MB, promoted=1083.93MB
    minor collections=40801  major collections=28 compactions=0


runtime: 00:00:50.395
vars: 90158, evals: 211422

|rho|=90158
|stable|=90158
|infl|=88282
|wpoint|=0
|sides|=1512
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88302
|called|=1876
Found 1240 contexts for 39 functions. Top 5 functions:
928	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=105769.88MB, max=534.03MB, minor=105757.59MB, major=1320.53MB, promoted=1308.24MB
    minor collections=50444  major collections=30 compactions=0


runtime: 00:01:00.458
vars: 104128, evals: 243891

|rho|=104128
|stable|=104126
|infl|=101939
|wpoint|=2
|sides|=1667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102117
|called|=2195
Found 1395 contexts for 39 functions. Top 5 functions:
1083	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=125063.56MB, max=614.13MB, minor=125050.94MB, major=1527.54MB, promoted=1514.92MB
    minor collections=59645  major collections=31 compactions=0


runtime: 00:01:10.520
vars: 117388, evals: 274649

|rho|=117388
|stable|=117388
|infl|=114899
|wpoint|=0
|sides|=1815
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115229
|called|=2489
Found 1543 contexts for 39 functions. Top 5 functions:
1231	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=144107.80MB, max=706.25MB, minor=144094.88MB, major=1725.59MB, promoted=1712.67MB
    minor collections=68726  major collections=31 compactions=0


runtime: 00:01:20.564
vars: 129573, evals: 302923

|rho|=129573
|stable|=129573
|infl|=126822
|wpoint|=2
|sides|=1950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127279
|called|=2761
Found 1678 contexts for 39 functions. Top 5 functions:
1366	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=162593.71MB, max=812.19MB, minor=162580.45MB, major=1911.83MB, promoted=1898.57MB
    minor collections=77541  major collections=32 compactions=0


runtime: 00:01:30.578
vars: 141208, evals: 329979

|rho|=141208
|stable|=141202
|infl|=138195
|wpoint|=2
|sides|=2079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138785
|called|=3019
Found 1807 contexts for 39 functions. Top 5 functions:
1495	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=180451.56MB, max=812.19MB, minor=180429.61MB, major=2097.34MB, promoted=2075.39MB
    minor collections=86054  major collections=33 compactions=0


runtime: 00:01:40.609
vars: 152253, evals: 355585

|rho|=152253
|stable|=152253
|infl|=148998
|wpoint|=1
|sides|=2202
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149707
|called|=3265
Found 1930 contexts for 39 functions. Top 5 functions:
1618	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=197957.96MB, max=934.02MB, minor=197935.72MB, major=2268.39MB, promoted=2246.15MB
    minor collections=94401  major collections=33 compactions=0


runtime: 00:01:50.623
vars: 162423, evals: 379244

|rho|=162423
|stable|=162423
|infl|=158942
|wpoint|=2
|sides|=2315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159764
|called|=3489
Found 2043 contexts for 39 functions. Top 5 functions:
1731	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=215011.09MB, max=934.02MB, minor=214988.53MB, major=2427.15MB, promoted=2404.60MB
    minor collections=102533  major collections=34 compactions=0


runtime: 00:02:00.690
vars: 172953, evals: 403637

|rho|=172953
|stable|=172953
|infl|=169232
|wpoint|=2
|sides|=2432
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170177
|called|=3723
Found 2160 contexts for 39 functions. Top 5 functions:
1848	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=232761.26MB, max=1074.12MB, minor=232738.38MB, major=2591.51MB, promoted=2568.63MB
    minor collections=110997  major collections=34 compactions=0


runtime: 00:02:10.705
vars: 183213, evals: 427517

|rho|=183213
|stable|=183213
|infl|=179270
|wpoint|=1
|sides|=2546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180323
|called|=3953
Found 2274 contexts for 39 functions. Top 5 functions:
1962	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=250561.21MB, max=1074.12MB, minor=250538.02MB, major=2753.21MB, promoted=2730.02MB
    minor collections=119486  major collections=35 compactions=0


runtime: 00:02:20.820
vars: 192617, evals: 449362

|rho|=192617
|stable|=192616
|infl|=188466
|wpoint|=0
|sides|=2650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189622
|called|=4150
Found 2379 contexts for 39 functions. Top 5 functions:
2067	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=268056.68MB, max=1235.24MB, minor=268032.99MB, major=2905.59MB, promoted=2881.90MB
    minor collections=127828  major collections=35 compactions=0


runtime: 00:02:30.854
vars: 202563, evals: 472458

|rho|=202563
|stable|=202563
|infl|=198190
|wpoint|=2
|sides|=2761
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199458
|called|=4381
Found 2489 contexts for 39 functions. Top 5 functions:
2177	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=285275.25MB, max=1235.24MB, minor=285251.40MB, major=3062.12MB, promoted=3038.27MB
    minor collections=136038  major collections=35 compactions=0


runtime: 00:02:40.873
vars: 211428, evals: 493043

|rho|=211428
|stable|=211427
|infl|=206859
|wpoint|=0
|sides|=2860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208223
|called|=4568
Found 2588 contexts for 39 functions. Top 5 functions:
2276	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=302146.87MB, max=1235.24MB, minor=302122.65MB, major=3208.75MB, promoted=3184.53MB
    minor collections=144084  major collections=36 compactions=0


runtime: 00:02:50.940
vars: 219546, evals: 511872

|rho|=219546
|stable|=219546
|infl|=214794
|wpoint|=0
|sides|=2950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216252
|called|=4752
Found 2678 contexts for 39 functions. Top 5 functions:
2366	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=318356.84MB, max=1420.53MB, minor=318332.17MB, major=3344.10MB, promoted=3319.43MB
    minor collections=151813  major collections=36 compactions=0


runtime: 00:03:00.983
vars: 228663, evals: 533062

|rho|=228663
|stable|=228663
|infl|=223710
|wpoint|=2
|sides|=3051
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225268
|called|=4963
Found 2779 contexts for 39 functions. Top 5 functions:
2467	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=335010.22MB, max=1420.53MB, minor=334985.40MB, major=3490.94MB, promoted=3466.12MB
    minor collections=159754  major collections=36 compactions=0


runtime: 00:03:10.998
vars: 236968, evals: 552365

|rho|=236968
|stable|=236968
|infl|=231827
|wpoint|=1
|sides|=3143
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233481
|called|=5143
Found 2871 contexts for 39 functions. Top 5 functions:
2559	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=351601.79MB, max=1420.53MB, minor=351576.64MB, major=3629.66MB, promoted=3604.51MB
    minor collections=167666  major collections=37 compactions=0


runtime: 00:03:21.053
vars: 244618, evals: 570146

|rho|=244618
|stable|=244618
|infl|=239308
|wpoint|=0
|sides|=3228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241046
|called|=5310
Found 2956 contexts for 39 functions. Top 5 functions:
2644	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=367682.40MB, max=1633.61MB, minor=367656.83MB, major=3759.52MB, promoted=3733.95MB
    minor collections=175334  major collections=37 compactions=0


runtime: 00:03:31.108
vars: 252423, evals: 588208

|rho|=252423
|stable|=252423
|infl|=246942
|wpoint|=1
|sides|=3315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=248764
|called|=5485
Found 3043 contexts for 39 functions. Top 5 functions:
2731	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=383535.68MB, max=1633.61MB, minor=383509.80MB, major=3888.98MB, promoted=3863.11MB
    minor collections=182894  major collections=37 compactions=0


runtime: 00:03:41.119
vars: 260343, evals: 606600

|rho|=260343
|stable|=260343
|infl|=254686
|wpoint|=2
|sides|=3403
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256596
|called|=5665
Found 3131 contexts for 39 functions. Top 5 functions:
2819	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=399252.01MB, max=1633.61MB, minor=399225.96MB, major=4019.55MB, promoted=3993.49MB
    minor collections=190388  major collections=37 compactions=0


runtime: 00:03:51.134
vars: 267543, evals: 623303

|rho|=267543
|stable|=267532
|infl|=261726
|wpoint|=1
|sides|=3483
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=263716
|called|=5818
Found 3211 contexts for 39 functions. Top 5 functions:
2899	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=414617.96MB, max=1633.61MB, minor=414579.01MB, major=4154.33MB, promoted=4115.38MB
    minor collections=197714  major collections=38 compactions=0


runtime: 00:04:01.160
vars: 274473, evals: 639441

|rho|=274473
|stable|=274471
|infl|=268502
|wpoint|=1
|sides|=3560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=270569
|called|=5981
Found 3288 contexts for 39 functions. Top 5 functions:
2976	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=430252.20MB, max=1633.61MB, minor=430208.64MB, major=4277.01MB, promoted=4233.45MB
    minor collections=205168  major collections=38 compactions=0


runtime: 00:04:11.224
vars: 281223, evals: 655118

|rho|=281223
|stable|=281223
|infl|=275102
|wpoint|=2
|sides|=3635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277244
|called|=6131
Found 3363 contexts for 39 functions. Top 5 functions:
3051	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=445895.49MB, max=1878.66MB, minor=445851.44MB, major=4395.34MB, promoted=4351.29MB
    minor collections=212627  major collections=38 compactions=0


runtime: 00:04:21.255
vars: 288846, evals: 672802

|rho|=288846
|stable|=288846
|infl|=282553
|wpoint|=0
|sides|=3720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284782
|called|=6293
Found 3448 contexts for 39 functions. Top 5 functions:
3136	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=461190.17MB, max=1878.66MB, minor=461146.05MB, major=4521.80MB, promoted=4477.68MB
    minor collections=219920  major collections=38 compactions=0


runtime: 00:04:31.265
vars: 295858, evals: 689096

|rho|=295858
|stable|=295858
|infl|=289403
|wpoint|=0
|sides|=3798
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291716
|called|=6455
Found 3526 contexts for 39 functions. Top 5 functions:
3214	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=476530.76MB, max=1878.66MB, minor=476486.40MB, major=4642.39MB, promoted=4598.03MB
    minor collections=227235  major collections=38 compactions=0


runtime: 00:04:41.276
vars: 302324, evals: 704131

|rho|=302324
|stable|=302324
|infl|=295726
|wpoint|=0
|sides|=3869
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=298111
|called|=6598
Found 3597 contexts for 39 functions. Top 5 functions:
3285	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=491587.96MB, max=1878.66MB, minor=491543.28MB, major=4755.52MB, promoted=4710.84MB
    minor collections=234416  major collections=39 compactions=0


runtime: 00:04:51.303
vars: 308518, evals: 718514

|rho|=308518
|stable|=308516
|infl|=301787
|wpoint|=2
|sides|=3938
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=304236
|called|=6734
Found 3666 contexts for 39 functions. Top 5 functions:
3354	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=506446.38MB, max=1878.66MB, minor=506401.28MB, major=4864.58MB, promoted=4819.48MB
    minor collections=241501  major collections=39 compactions=0


runtime: 00:05:01.379
vars: 314488, evals: 732359

|rho|=314488
|stable|=314488
|infl|=307619
|wpoint|=0
|sides|=4005
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=310139
|called|=6869
Found 3733 contexts for 39 functions. Top 5 functions:
3421	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=521278.46MB, max=1878.66MB, minor=521232.88MB, major=4972.61MB, promoted=4927.03MB
    minor collections=248573  major collections=39 compactions=0


runtime: 00:05:11.450
vars: 320886, evals: 747206

|rho|=320886
|stable|=320886
|infl|=313881
|wpoint|=0
|sides|=4076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=316466
|called|=7005
Found 3804 contexts for 39 functions. Top 5 functions:
3492	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=535772.01MB, max=2160.46MB, minor=535726.18MB, major=5083.47MB, promoted=5037.64MB
    minor collections=255484  major collections=39 compactions=0


runtime: 00:05:21.465
vars: 327213, evals: 761917

|rho|=327213
|stable|=327213
|infl|=320070
|wpoint|=2
|sides|=4146
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=322723
|called|=7153
Found 3874 contexts for 39 functions. Top 5 functions:
3562	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=549938.49MB, max=2160.46MB, minor=549892.48MB, major=5193.11MB, promoted=5147.10MB
    minor collections=262239  major collections=39 compactions=0


runtime: 00:05:31.480
vars: 333243, evals: 775908

|rho|=333243
|stable|=333243
|infl|=325966
|wpoint|=2
|sides|=4213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=328686
|called|=7287
Found 3941 contexts for 39 functions. Top 5 functions:
3629	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=564221.81MB, max=2160.46MB, minor=564175.58MB, major=5298.73MB, promoted=5252.49MB
    minor collections=269050  major collections=39 compactions=0


runtime: 00:05:41.495
vars: 339093, evals: 789511

|rho|=339093
|stable|=339093
|infl|=331686
|wpoint|=2
|sides|=4278
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=334471
|called|=7417
Found 4006 contexts for 39 functions. Top 5 functions:
3694	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=578718.31MB, max=2160.46MB, minor=578671.74MB, major=5403.17MB, promoted=5356.60MB
    minor collections=275963  major collections=40 compactions=0


runtime: 00:05:51.510
vars: 344518, evals: 802104

|rho|=344518
|stable|=344518
|infl|=336987
|wpoint|=1
|sides|=4338
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=339836
|called|=7533
Found 4066 contexts for 39 functions. Top 5 functions:
3754	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=592633.54MB, max=2160.46MB, minor=592586.58MB, major=5500.94MB, promoted=5453.99MB
    minor collections=282598  major collections=40 compactions=0


runtime: 00:06:01.545
vars: 349893, evals: 814585

|rho|=349893
|stable|=349893
|infl|=342246
|wpoint|=1
|sides|=4398
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345151
|called|=7658
Found 4126 contexts for 39 functions. Top 5 functions:
3814	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=606700.57MB, max=2160.46MB, minor=606653.19MB, major=5599.30MB, promoted=5551.92MB
    minor collections=289306  major collections=40 compactions=0


runtime: 00:06:11.636
vars: 355118, evals: 826718

|rho|=355118
|stable|=355118
|infl|=347352
|wpoint|=0
|sides|=4456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=350318
|called|=7766
Found 4184 contexts for 39 functions. Top 5 functions:
3872	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=620802.09MB, max=2160.46MB, minor=620754.25MB, major=5696.30MB, promoted=5648.45MB
    minor collections=296030  major collections=40 compactions=0


runtime: 00:06:21.707
vars: 360873, evals: 840083

|rho|=360873
|stable|=360873
|infl|=352982
|wpoint|=2
|sides|=4520
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356009
|called|=7899
Found 4248 contexts for 39 functions. Top 5 functions:
3936	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=634474.21MB, max=2484.53MB, minor=634426.16MB, major=5796.91MB, promoted=5748.86MB
    minor collections=302549  major collections=40 compactions=0


runtime: 00:06:31.722
vars: 366658, evals: 853549

|rho|=366658
|stable|=366657
|infl|=358635
|wpoint|=1
|sides|=4584
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361730
|called|=8026
Found 4312 contexts for 39 functions. Top 5 functions:
4000	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=648103.17MB, max=2484.53MB, minor=648055.03MB, major=5898.16MB, promoted=5850.02MB
    minor collections=309048  major collections=40 compactions=0


runtime: 00:06:41.733
vars: 372088, evals: 866119

|rho|=372088
|stable|=372088
|infl|=363944
|wpoint|=0
|sides|=4645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367099
|called|=8144
Found 4373 contexts for 39 functions. Top 5 functions:
4061	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=661621.59MB, max=2484.53MB, minor=661573.28MB, major=5993.48MB, promoted=5945.17MB
    minor collections=315494  major collections=40 compactions=0


runtime: 00:06:51.744
vars: 377384, evals: 878437

|rho|=377384
|stable|=377384
|infl|=369116
|wpoint|=0
|sides|=4703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=372337
|called|=8268
Found 4431 contexts for 39 functions. Top 5 functions:
4119	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=675496.75MB, max=2484.53MB, minor=675448.03MB, major=6089.31MB, promoted=6040.60MB
    minor collections=322110  major collections=40 compactions=0


runtime: 00:07:01.755
vars: 382408, evals: 890125

|rho|=382408
|stable|=382408
|infl|=374037
|wpoint|=0
|sides|=4759
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=377305
|called|=8371
Found 4487 contexts for 39 functions. Top 5 functions:
4175	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=689117.60MB, max=2484.53MB, minor=689068.57MB, major=6182.86MB, promoted=6133.83MB
    minor collections=328606  major collections=41 compactions=0


runtime: 00:07:11.766
vars: 387331, evals: 901473

|rho|=387331
|stable|=387331
|infl|=378840
|wpoint|=0
|sides|=4814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=382173
|called|=8491
Found 4542 contexts for 39 functions. Top 5 functions:
4230	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=702591.61MB, max=2484.53MB, minor=702542.18MB, major=6274.72MB, promoted=6225.29MB
    minor collections=335031  major collections=41 compactions=0


runtime: 00:07:21.825
vars: 392103, evals: 912576

|rho|=392103
|stable|=392103
|infl|=383518
|wpoint|=2
|sides|=4867
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=386892
|called|=8592
Found 4595 contexts for 39 functions. Top 5 functions:
4283	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=716165.73MB, max=2484.53MB, minor=716115.86MB, major=6364.87MB, promoted=6314.99MB
    minor collections=341503  major collections=41 compactions=0


runtime: 00:07:31.896
vars: 396718, evals: 923334

|rho|=396718
|stable|=396716
|infl|=388027
|wpoint|=2
|sides|=4918
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391456
|called|=8694
Found 4646 contexts for 39 functions. Top 5 functions:
4334	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=729507.56MB, max=2484.53MB, minor=729457.24MB, major=6453.13MB, promoted=6402.80MB
    minor collections=347865  major collections=41 compactions=0


runtime: 00:07:41.960
vars: 401373, evals: 934121

|rho|=401373
|stable|=401373
|infl|=392582
|wpoint|=2
|sides|=4970
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=396059
|called|=8799
Found 4698 contexts for 39 functions. Top 5 functions:
4386	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=742516.33MB, max=2484.53MB, minor=742465.61MB, major=6539.86MB, promoted=6489.14MB
    minor collections=354068  major collections=41 compactions=0


runtime: 00:07:51.986
vars: 406773, evals: 946625

|rho|=406773
|stable|=406773
|infl|=397859
|wpoint|=1
|sides|=5030
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=401399
|called|=8915
Found 4758 contexts for 39 functions. Top 5 functions:
4446	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=755418.05MB, max=2484.53MB, minor=755367.31MB, major=6634.44MB, promoted=6583.70MB
    minor collections=360220  major collections=41 compactions=0


runtime: 00:08:01.997
vars: 411723, evals: 958174

|rho|=411723
|stable|=411723
|infl|=402702
|wpoint|=2
|sides|=5085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=406294
|called|=9028
Found 4813 contexts for 39 functions. Top 5 functions:
4501	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=768164.96MB, max=2484.53MB, minor=768114.12MB, major=6725.50MB, promoted=6674.66MB
    minor collections=366298  major collections=41 compactions=0


runtime: 00:08:12.012
vars: 416559, evals: 969376

|rho|=416559
|stable|=416559
|infl|=407430
|wpoint|=0
|sides|=5139
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411076
|called|=9129
Found 4867 contexts for 39 functions. Top 5 functions:
4555	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=781108.56MB, max=2484.53MB, minor=781057.56MB, major=6815.86MB, promoted=6764.86MB
    minor collections=372470  major collections=41 compactions=0


runtime: 00:08:22.024
vars: 421157, evals: 980043

|rho|=421157
|stable|=421157
|infl|=411926
|wpoint|=0
|sides|=5190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415623
|called|=9231
Found 4918 contexts for 39 functions. Top 5 functions:
4606	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=794022.90MB, max=2484.53MB, minor=793971.66MB, major=6902.11MB, promoted=6850.87MB
    minor collections=378628  major collections=41 compactions=0


runtime: 00:08:32.035
vars: 425559, evals: 990276

|rho|=425559
|stable|=425559
|infl|=416229
|wpoint|=0
|sides|=5239
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419976
|called|=9330
Found 4967 contexts for 39 functions. Top 5 functions:
4655	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=806735.82MB, max=2484.53MB, minor=806684.28MB, major=6985.43MB, promoted=6933.89MB
    minor collections=384691  major collections=42 compactions=0


runtime: 00:08:42.050
vars: 429813, evals: 1000147

|rho|=429813
|stable|=429813
|infl|=420390
|wpoint|=2
|sides|=5286
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424183
|called|=9433
Found 5014 contexts for 39 functions. Top 5 functions:
4702	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=819318.30MB, max=2484.53MB, minor=819266.42MB, major=7066.74MB, promoted=7014.86MB
    minor collections=390690  major collections=42 compactions=0


runtime: 00:08:52.061
vars: 433953, evals: 1009755

|rho|=433953
|stable|=433953
|infl|=424438
|wpoint|=1
|sides|=5332
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428277
|called|=9526
Found 5060 contexts for 39 functions. Top 5 functions:
4748	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=831788.33MB, max=2484.53MB, minor=831736.06MB, major=7146.11MB, promoted=7093.84MB
    minor collections=396637  major collections=42 compactions=0


runtime: 00:09:02.120
vars: 437938, evals: 1019040

|rho|=437938
|stable|=437936
|infl|=428331
|wpoint|=2
|sides|=5376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=432218
|called|=9613
Found 5104 contexts for 39 functions. Top 5 functions:
4792	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=844008.82MB, max=2857.21MB, minor=843956.14MB, major=7224.27MB, promoted=7171.59MB
    minor collections=402464  major collections=42 compactions=0


runtime: 00:09:12.195
vars: 441873, evals: 1028183

|rho|=441873
|stable|=441873
|infl|=432182
|wpoint|=2
|sides|=5420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=436109
|called|=9701
Found 5148 contexts for 39 functions. Top 5 functions:
4836	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=856232.87MB, max=2857.21MB, minor=856179.77MB, major=7301.58MB, promoted=7248.48MB
    minor collections=408292  major collections=42 compactions=0


runtime: 00:09:22.266
vars: 445787, evals: 1037279

|rho|=445787
|stable|=445786
|infl|=436010
|wpoint|=0
|sides|=5463
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=439979
|called|=9776
Found 5192 contexts for 39 functions. Top 5 functions:
4880	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=868539.62MB, max=2857.21MB, minor=868486.08MB, major=7378.37MB, promoted=7324.83MB
    minor collections=414161  major collections=42 compactions=0


runtime: 00:09:32.350
vars: 450268, evals: 1047709

|rho|=450268
|stable|=450266
|infl|=440387
|wpoint|=2
|sides|=5513
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=444411
|called|=9886
Found 5241 contexts for 39 functions. Top 5 functions:
4929	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=880724.65MB, max=2857.21MB, minor=880670.92MB, major=7461.65MB, promoted=7407.93MB
    minor collections=419971  major collections=42 compactions=0


runtime: 00:09:42.361
vars: 454838, evals: 1058290

|rho|=454838
|stable|=454838
|infl|=444858
|wpoint|=0
|sides|=5564
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=448930
|called|=9980
Found 5292 contexts for 39 functions. Top 5 functions:
4980	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=892665.86MB, max=2857.21MB, minor=892612.10MB, major=7543.75MB, promoted=7489.99MB
    minor collections=425665  major collections=42 compactions=0


runtime: 00:09:52.372
vars: 459178, evals: 1068400

|rho|=459178
|stable|=459176
|infl|=449099
|wpoint|=2
|sides|=5612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=453222
|called|=10084
Found 5340 contexts for 39 functions. Top 5 functions:
5028	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=904712.46MB, max=2857.21MB, minor=904658.62MB, major=7623.41MB, promoted=7569.57MB
    minor collections=431409  major collections=42 compactions=0


runtime: 00:10:02.383
vars: 463426, evals: 1078243

|rho|=463426
|stable|=463426
|infl|=453256
|wpoint|=0
|sides|=5659
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=457423
|called|=10170
Found 5387 contexts for 39 functions. Top 5 functions:
5075	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=916958.82MB, max=2857.21MB, minor=916904.83MB, major=7702.99MB, promoted=7648.99MB
    minor collections=437249  major collections=42 compactions=0


runtime: 00:10:12.394
vars: 467613, evals: 1087939

|rho|=467613
|stable|=467613
|infl|=457350
|wpoint|=1
|sides|=5706
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=461563
|called|=10274
Found 5434 contexts for 39 functions. Top 5 functions:
5122	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=929292.50MB, max=2857.21MB, minor=929238.29MB, major=7782.87MB, promoted=7728.66MB
    minor collections=443130  major collections=42 compactions=0


runtime: 00:10:22.409
vars: 471628, evals: 1097273

|rho|=471628
|stable|=471628
|infl|=461274
|wpoint|=0
|sides|=5751
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=465533
|called|=10354
Found 5479 contexts for 39 functions. Top 5 functions:
5167	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=941531.16MB, max=2857.21MB, minor=941476.71MB, major=7860.97MB, promoted=7806.51MB
    minor collections=448966  major collections=43 compactions=0


runtime: 00:10:32.420
vars: 475443, evals: 1106104

|rho|=475443
|stable|=475443
|infl|=465006
|wpoint|=2
|sides|=5793
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=469306
|called|=10445
Found 5521 contexts for 39 functions. Top 5 functions:
5209	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=953390.84MB, max=2857.21MB, minor=953336.08MB, major=7936.01MB, promoted=7881.25MB
    minor collections=454621  major collections=43 compactions=0


runtime: 00:10:42.436
vars: 479174, evals: 1114816

|rho|=479174
|stable|=479174
|infl|=468649
|wpoint|=0
|sides|=5834
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=472996
|called|=10525
Found 5562 contexts for 39 functions. Top 5 functions:
5250	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=965349.11MB, max=2857.21MB, minor=965294.00MB, major=8010.18MB, promoted=7955.08MB
    minor collections=460324  major collections=43 compactions=0


runtime: 00:10:52.451
vars: 482913, evals: 1123439

|rho|=482913
|stable|=482913
|infl|=472307
|wpoint|=2
|sides|=5876
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476693
|called|=10611
Found 5604 contexts for 39 functions. Top 5 functions:
5292	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=977338.88MB, max=2857.21MB, minor=977283.39MB, major=8083.28MB, promoted=8027.79MB
    minor collections=466041  major collections=43 compactions=0


runtime: 00:11:02.482
vars: 486486, evals: 1131766

|rho|=486486
|stable|=486486
|infl|=475805
|wpoint|=0
|sides|=5916
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=480226
|called|=10681
Found 5644 contexts for 39 functions. Top 5 functions:
5332	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=989129.41MB, max=2857.21MB, minor=989073.54MB, major=8155.03MB, promoted=8099.16MB
    minor collections=471663  major collections=43 compactions=0


runtime: 00:11:12.576
vars: 489999, evals: 1139920

|rho|=489999
|stable|=489999
|infl|=479239
|wpoint|=0
|sides|=5955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=483700
|called|=10760
Found 5683 contexts for 39 functions. Top 5 functions:
5371	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1000821.42MB, max=2857.21MB, minor=1000765.12MB, major=8225.45MB, promoted=8169.16MB
    minor collections=477238  major collections=43 compactions=0


runtime: 00:11:22.627
vars: 493443, evals: 1147938

|rho|=493443
|stable|=493441
|infl|=482606
|wpoint|=1
|sides|=5993
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=487106
|called|=10847
Found 5721 contexts for 39 functions. Top 5 functions:
5409	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1012477.53MB, max=3285.79MB, minor=1012420.82MB, major=8295.45MB, promoted=8238.73MB
    minor collections=482796  major collections=43 compactions=0


runtime: 00:11:32.702
vars: 496868, evals: 1155893

|rho|=496868
|stable|=496868
|infl|=485953
|wpoint|=0
|sides|=6031
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=490493
|called|=10915
Found 5759 contexts for 39 functions. Top 5 functions:
5447	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1024102.85MB, max=3285.79MB, minor=1024045.71MB, major=8365.24MB, promoted=8308.10MB
    minor collections=488339  major collections=43 compactions=0


runtime: 00:11:42.793
vars: 500823, evals: 1165048

|rho|=500823
|stable|=500823
|infl|=489822
|wpoint|=2
|sides|=6075
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494404
|called|=11011
Found 5803 contexts for 39 functions. Top 5 functions:
5491	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1035595.26MB, max=3285.79MB, minor=1035537.93MB, major=8441.06MB, promoted=8383.73MB
    minor collections=493819  major collections=43 compactions=0


runtime: 00:11:52.816
vars: 504873, evals: 1174483

|rho|=504873
|stable|=504873
|infl|=493782
|wpoint|=2
|sides|=6120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498409
|called|=11101
Found 5848 contexts for 39 functions. Top 5 functions:
5536	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1046878.87MB, max=3285.79MB, minor=1046821.51MB, major=8516.31MB, promoted=8458.96MB
    minor collections=499200  major collections=43 compactions=0


runtime: 00:12:02.832
vars: 508798, evals: 1183590

|rho|=508798
|stable|=508798
|infl|=497618
|wpoint|=0
|sides|=6164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=502290
|called|=11180
Found 5892 contexts for 39 functions. Top 5 functions:
5580	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1058227.72MB, max=3285.79MB, minor=1058170.32MB, major=8591.24MB, promoted=8533.84MB
    minor collections=504611  major collections=43 compactions=0


runtime: 00:12:12.843
vars: 512548, evals: 1192317

|rho|=512548
|stable|=512546
|infl|=501283
|wpoint|=2
|sides|=6205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=505999
|called|=11271
Found 5933 contexts for 39 functions. Top 5 functions:
5621	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1069600.39MB, max=3285.79MB, minor=1069542.89MB, major=8663.76MB, promoted=8606.26MB
    minor collections=510034  major collections=43 compactions=0


runtime: 00:12:22.858
vars: 516166, evals: 1200717

|rho|=516166
|stable|=516166
|infl|=504825
|wpoint|=0
|sides|=6245
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=509577
|called|=11341
Found 5973 contexts for 39 functions. Top 5 functions:
5661	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1080963.13MB, max=3285.79MB, minor=1080905.48MB, major=8734.43MB, promoted=8676.78MB
    minor collections=515452  major collections=43 compactions=0


runtime: 00:12:32.881
vars: 519789, evals: 1209099

|rho|=519789
|stable|=519789
|infl|=508366
|wpoint|=0
|sides|=6286
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=513159
|called|=11423
Found 6014 contexts for 39 functions. Top 5 functions:
5702	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1092424.21MB, max=3285.79MB, minor=1092366.39MB, major=8805.90MB, promoted=8748.07MB
    minor collections=520917  major collections=43 compactions=0


runtime: 00:12:42.891
vars: 523258, evals: 1217194

|rho|=523258
|stable|=523258
|infl|=511755
|wpoint|=1
|sides|=6324
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=516590
|called|=11506
Found 6052 contexts for 39 functions. Top 5 functions:
5740	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1103799.91MB, max=3285.79MB, minor=1103741.84MB, major=8875.79MB, promoted=8817.72MB
    minor collections=526342  major collections=43 compactions=0


runtime: 00:12:52.934
vars: 526514, evals: 1224750

|rho|=526514
|stable|=526514
|infl|=514931
|wpoint|=0
|sides|=6360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=519810
|called|=11583
Found 6088 contexts for 39 functions. Top 5 functions:
5776	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1114598.90MB, max=3285.79MB, minor=1114523.81MB, major=8958.33MB, promoted=8883.24MB
    minor collections=531487  major collections=44 compactions=0


runtime: 00:13:02.953
vars: 529828, evals: 1232461

|rho|=529828
|stable|=529826
|infl|=518179
|wpoint|=2
|sides|=6397
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=523087
|called|=11654
Found 6125 contexts for 39 functions. Top 5 functions:
5813	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1125862.85MB, max=3285.79MB, minor=1125787.46MB, major=9026.75MB, promoted=8951.36MB
    minor collections=536858  major collections=44 compactions=0


runtime: 00:13:12.964
vars: 533068, evals: 1239953

|rho|=533068
|stable|=533066
|infl|=521347
|wpoint|=2
|sides|=6433
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=526291
|called|=11723
Found 6161 contexts for 39 functions. Top 5 functions:
5849	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1136985.84MB, max=3285.79MB, minor=1136901.76MB, major=9101.12MB, promoted=9017.04MB
    minor collections=542159  major collections=44 compactions=0


runtime: 00:13:22.988
vars: 536283, evals: 1247412

|rho|=536283
|stable|=536283
|infl|=524494
|wpoint|=1
|sides|=6469
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=529470
|called|=11790
Found 6197 contexts for 39 functions. Top 5 functions:
5885	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1148193.90MB, max=3285.79MB, minor=1148101.04MB, major=9175.23MB, promoted=9082.38MB
    minor collections=547500  major collections=44 compactions=0


runtime: 00:13:32.998
vars: 539477, evals: 1254848

|rho|=539477
|stable|=539477
|infl|=527618
|wpoint|=0
|sides|=6504
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=532628
|called|=11858
Found 6233 contexts for 39 functions. Top 5 functions:
5921	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1159524.03MB, max=3285.79MB, minor=1159430.79MB, major=9241.75MB, promoted=9148.51MB
    minor collections=552902  major collections=44 compactions=0


runtime: 00:13:43.061
vars: 542673, evals: 1262263

|rho|=542673
|stable|=542673
|infl|=530742
|wpoint|=2
|sides|=6540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535789
|called|=11938
Found 6268 contexts for 39 functions. Top 5 functions:
5956	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1170855.08MB, max=3285.79MB, minor=1170761.44MB, major=9307.94MB, promoted=9214.30MB
    minor collections=558305  major collections=44 compactions=0


runtime: 00:13:53.121
vars: 545788, evals: 1269489

|rho|=545788
|stable|=545788
|infl|=533782
|wpoint|=0
|sides|=6575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=538869
|called|=12006
Found 6303 contexts for 39 functions. Top 5 functions:
5991	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1182005.56MB, max=3285.79MB, minor=1181911.52MB, major=9372.09MB, promoted=9278.05MB
    minor collections=563622  major collections=44 compactions=0


runtime: 00:14:03.212
vars: 548883, evals: 1276654

|rho|=548883
|stable|=548883
|infl|=536814
|wpoint|=2
|sides|=6609
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=541930
|called|=12078
Found 6337 contexts for 39 functions. Top 5 functions:
6025	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1193118.74MB, max=3778.66MB, minor=1193024.28MB, major=9436.02MB, promoted=9341.56MB
    minor collections=568921  major collections=44 compactions=0


runtime: 00:14:13.291
vars: 552058, evals: 1284056

|rho|=552058
|stable|=552056
|infl|=539915
|wpoint|=1
|sides|=6644
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=545070
|called|=12145
Found 6372 contexts for 39 functions. Top 5 functions:
6060	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1203963.40MB, max=3778.66MB, minor=1203868.61MB, major=9501.06MB, promoted=9406.27MB
    minor collections=574092  major collections=44 compactions=0


runtime: 00:14:23.326
vars: 555879, evals: 1292908

|rho|=555879
|stable|=555879
|infl|=543653
|wpoint|=0
|sides|=6687
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=548848
|called|=12226
Found 6415 contexts for 39 functions. Top 5 functions:
6103	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1214973.44MB, max=3778.66MB, minor=1214878.65MB, major=9574.32MB, promoted=9479.53MB
    minor collections=579342  major collections=44 compactions=0


runtime: 00:14:33.337
vars: 559483, evals: 1301272

|rho|=559483
|stable|=559483
|infl|=547179
|wpoint|=0
|sides|=6727
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=552412
|called|=12304
Found 6455 contexts for 39 functions. Top 5 functions:
6143	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1225895.42MB, max=3778.66MB, minor=1225800.60MB, major=9643.45MB, promoted=9548.63MB
    minor collections=584550  major collections=44 compactions=0


runtime: 00:14:43.351
vars: 562923, evals: 1309240

|rho|=562923
|stable|=562923
|infl|=550539
|wpoint|=2
|sides|=6765
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=555814
|called|=12389
Found 6493 contexts for 39 functions. Top 5 functions:
6181	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1236626.57MB, max=3778.66MB, minor=1236531.70MB, major=9710.88MB, promoted=9616.01MB
    minor collections=589668  major collections=44 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3456:11-3456:32!

runtime: 00:14:52.980
vars: 566098, evals: 1316648

|rho|=566098
|stable|=566096
|infl|=553643
|wpoint|=2
|sides|=6800
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=558954
|called|=12462
Found 6528 contexts for 39 functions. Top 5 functions:
6216	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4108) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1247038.66MB, max=3778.65MB, minor=1246943.46MB, major=9775.44MB, promoted=9680.24MB
    minor collections=594632  major collections=44 compactions=0


Fatal error: exception Stack overflow
