./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --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.186
vars: 21598, evals: 52202

|rho|=21598
|stable|=21596
|infl|=21243
|wpoint|=2
|sides|=750
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20504
|called|=357
Found 478 contexts for 39 functions. Top 5 functions:
166	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=23757.53MB, max=151.80MB, minor=23752.64MB, major=340.73MB, promoted=335.84MB
    minor collections=11336  major collections=21 compactions=0


runtime: 00:00:20.243
vars: 41848, evals: 99263

|rho|=41848
|stable|=41846
|infl|=41043
|wpoint|=2
|sides|=975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40529
|called|=810
Found 703 contexts for 39 functions. Top 5 functions:
391	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=45804.53MB, max=265.50MB, minor=45797.28MB, major=624.36MB, promoted=617.11MB
    minor collections=21850  major collections=25 compactions=0


runtime: 00:00:30.286
vars: 59823, evals: 140978

|rho|=59823
|stable|=59823
|infl|=58622
|wpoint|=2
|sides|=1175
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58304
|called|=1211
Found 903 contexts for 39 functions. Top 5 functions:
591	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=66935.39MB, max=403.80MB, minor=66927.83MB, major=878.76MB, promoted=871.19MB
    minor collections=31927  major collections=27 compactions=0


runtime: 00:00:40.329
vars: 76563, evals: 179840

|rho|=76563
|stable|=76563
|infl|=74990
|wpoint|=2
|sides|=1361
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74858
|called|=1580
Found 1089 contexts for 39 functions. Top 5 functions:
777	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=87832.11MB, max=464.37MB, minor=87820.08MB, major=1124.29MB, promoted=1112.26MB
    minor collections=41890  major collections=29 compactions=0


runtime: 00:00:50.384
vars: 92068, evals: 215853

|rho|=92068
|stable|=92066
|infl|=90147
|wpoint|=2
|sides|=1533
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90191
|called|=1924
Found 1261 contexts for 39 functions. Top 5 functions:
949	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=108427.50MB, max=614.13MB, minor=108415.15MB, major=1352.50MB, promoted=1340.16MB
    minor collections=51711  major collections=30 compactions=0


runtime: 00:01:00.407
vars: 106468, evals: 249313

|rho|=106468
|stable|=106466
|infl|=104227
|wpoint|=2
|sides|=1693
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104431
|called|=2247
Found 1421 contexts for 39 functions. Top 5 functions:
1109	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=128496.16MB, max=706.25MB, minor=128483.47MB, major=1566.39MB, promoted=1553.69MB
    minor collections=61281  major collections=31 compactions=0


runtime: 00:01:10.442
vars: 120123, evals: 280978

|rho|=120123
|stable|=120123
|infl|=117582
|wpoint|=2
|sides|=1845
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117934
|called|=2548
Found 1573 contexts for 39 functions. Top 5 functions:
1261	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=148225.88MB, max=706.25MB, minor=148212.88MB, major=1771.41MB, promoted=1758.40MB
    minor collections=70690  major collections=32 compactions=0


runtime: 00:01:20.497
vars: 132633, evals: 310011

|rho|=132633
|stable|=132633
|infl|=129811
|wpoint|=2
|sides|=1984
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130305
|called|=2827
Found 1712 contexts for 39 functions. Top 5 functions:
1400	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=166990.31MB, max=812.19MB, minor=166972.83MB, major=1965.37MB, promoted=1947.89MB
    minor collections=79636  major collections=32 compactions=0


runtime: 00:01:30.540
vars: 144603, evals: 337808

|rho|=144603
|stable|=144603
|infl|=141515
|wpoint|=1
|sides|=2117
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142142
|called|=3089
Found 1845 contexts for 39 functions. Top 5 functions:
1533	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=185928.20MB, max=934.02MB, minor=185906.13MB, major=2152.87MB, promoted=2130.79MB
    minor collections=88665  major collections=33 compactions=0


runtime: 00:01:40.554
vars: 156213, evals: 364787

|rho|=156213
|stable|=156213
|infl|=152870
|wpoint|=1
|sides|=2246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153623
|called|=3343
Found 1974 contexts for 39 functions. Top 5 functions:
1662	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=204527.27MB, max=934.02MB, minor=204504.92MB, major=2332.73MB, promoted=2310.38MB
    minor collections=97534  major collections=34 compactions=0


runtime: 00:01:50.597
vars: 167009, evals: 389838

|rho|=167009
|stable|=167009
|infl|=163416
|wpoint|=0
|sides|=2366
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164298
|called|=3593
Found 2094 contexts for 39 functions. Top 5 functions:
1782	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=222735.17MB, max=1074.12MB, minor=222712.46MB, major=2501.37MB, promoted=2478.66MB
    minor collections=106216  major collections=34 compactions=0


runtime: 00:02:00.612
vars: 177767, evals: 414877

|rho|=177767
|stable|=177766
|infl|=173946
|wpoint|=0
|sides|=2485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174937
|called|=3820
Found 2214 contexts for 39 functions. Top 5 functions:
1902	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=240950.70MB, max=1074.12MB, minor=240927.70MB, major=2670.55MB, promoted=2647.56MB
    minor collections=114903  major collections=35 compactions=0


runtime: 00:02:10.676
vars: 187498, evals: 437460

|rho|=187498
|stable|=187498
|infl|=183454
|wpoint|=0
|sides|=2594
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184560
|called|=4044
Found 2322 contexts for 39 functions. Top 5 functions:
2010	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=258812.07MB, max=1235.24MB, minor=258788.61MB, major=2827.51MB, promoted=2804.06MB
    minor collections=123420  major collections=35 compactions=0


runtime: 00:02:20.698
vars: 197567, evals: 460857

|rho|=197567
|stable|=197567
|infl|=193306
|wpoint|=0
|sides|=2705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194517
|called|=4260
Found 2434 contexts for 39 functions. Top 5 functions:
2122	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=276085.06MB, max=1235.24MB, minor=276061.36MB, major=2987.59MB, promoted=2963.89MB
    minor collections=131656  major collections=35 compactions=0


runtime: 00:02:30.717
vars: 206793, evals: 482281

|rho|=206793
|stable|=206793
|infl|=202326
|wpoint|=1
|sides|=2808
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=203641
|called|=4470
Found 2536 contexts for 39 functions. Top 5 functions:
2224	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=293499.83MB, max=1235.24MB, minor=293475.76MB, major=3138.35MB, promoted=3114.28MB
    minor collections=139961  major collections=36 compactions=0


runtime: 00:02:40.756
vars: 215587, evals: 502677

|rho|=215587
|stable|=215587
|infl|=210925
|wpoint|=0
|sides|=2906
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212337
|called|=4662
Found 2634 contexts for 39 functions. Top 5 functions:
2322	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=310482.08MB, max=1420.53MB, minor=310457.61MB, major=3282.16MB, promoted=3257.69MB
    minor collections=148058  major collections=36 compactions=0


runtime: 00:02:50.771
vars: 224703, evals: 523836

|rho|=224703
|stable|=224703
|infl|=219838
|wpoint|=1
|sides|=3007
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221352
|called|=4867
Found 2735 contexts for 39 functions. Top 5 functions:
2423	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=327218.87MB, max=1420.53MB, minor=327194.21MB, major=3429.38MB, promoted=3404.73MB
    minor collections=156039  major collections=36 compactions=0


runtime: 00:03:00.786
vars: 232844, evals: 542783

|rho|=232844
|stable|=232844
|infl|=227790
|wpoint|=0
|sides|=3097
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229403
|called|=5054
Found 2825 contexts for 39 functions. Top 5 functions:
2513	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=343518.10MB, max=1420.53MB, minor=343493.10MB, major=3564.57MB, promoted=3539.57MB
    minor collections=163812  major collections=37 compactions=0


runtime: 00:03:10.861
vars: 240478, evals: 560532

|rho|=240478
|stable|=240478
|infl|=235259
|wpoint|=1
|sides|=3182
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236952
|called|=5221
Found 2910 contexts for 39 functions. Top 5 functions:
2598	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=359537.72MB, max=1420.53MB, minor=359512.26MB, major=3694.04MB, promoted=3668.58MB
    minor collections=171450  major collections=37 compactions=0


runtime: 00:03:20.920
vars: 248643, evals: 579412

|rho|=248643
|stable|=248643
|infl|=243246
|wpoint|=1
|sides|=3273
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245026
|called|=5398
Found 3001 contexts for 39 functions. Top 5 functions:
2689	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=375457.71MB, max=1633.61MB, minor=375432.02MB, major=3827.31MB, promoted=3801.62MB
    minor collections=179042  major collections=37 compactions=0


runtime: 00:03:30.935
vars: 256563, evals: 597852

|rho|=256563
|stable|=256563
|infl|=250990
|wpoint|=2
|sides|=3361
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252858
|called|=5581
Found 3089 contexts for 39 functions. Top 5 functions:
2777	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=391425.57MB, max=1633.61MB, minor=391399.68MB, major=3960.23MB, promoted=3934.34MB
    minor collections=186656  major collections=37 compactions=0


runtime: 00:03:40.966
vars: 263788, evals: 614629

|rho|=263788
|stable|=263786
|infl|=258051
|wpoint|=1
|sides|=3441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=260003
|called|=5739
Found 3169 contexts for 39 functions. Top 5 functions:
2857	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=406948.74MB, max=1633.61MB, minor=406914.10MB, major=4092.18MB, promoted=4057.54MB
    minor collections=194057  major collections=38 compactions=0


runtime: 00:03:51.021
vars: 270797, evals: 630894

|rho|=270797
|stable|=270797
|infl|=264901
|wpoint|=0
|sides|=3519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266934
|called|=5896
Found 3247 contexts for 39 functions. Top 5 functions:
2935	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=422678.99MB, max=1633.61MB, minor=422635.50MB, major=4221.72MB, promoted=4178.23MB
    minor collections=201556  major collections=38 compactions=0


runtime: 00:04:01.108
vars: 278278, evals: 648266

|rho|=278278
|stable|=278276
|infl|=272219
|wpoint|=2
|sides|=3602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=274332
|called|=6062
Found 3330 contexts for 39 functions. Top 5 functions:
3018	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=438537.66MB, max=1878.66MB, minor=438493.89MB, major=4348.53MB, promoted=4304.76MB
    minor collections=209118  major collections=38 compactions=0


runtime: 00:04:11.119
vars: 285750, evals: 665661

|rho|=285750
|stable|=285750
|infl|=279528
|wpoint|=0
|sides|=3685
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281721
|called|=6222
Found 3413 contexts for 39 functions. Top 5 functions:
3101	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=454307.68MB, max=1878.66MB, minor=454263.75MB, major=4475.18MB, promoted=4431.25MB
    minor collections=216638  major collections=38 compactions=0


runtime: 00:04:21.130
vars: 292860, evals: 682172

|rho|=292860
|stable|=292860
|infl|=286481
|wpoint|=0
|sides|=3764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288752
|called|=6379
Found 3492 contexts for 39 functions. Top 5 functions:
3180	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=470156.58MB, max=1878.66MB, minor=470112.35MB, major=4597.60MB, promoted=4553.38MB
    minor collections=224196  major collections=39 compactions=0


runtime: 00:04:31.145
vars: 299338, evals: 697212

|rho|=299338
|stable|=299336
|infl|=292811
|wpoint|=2
|sides|=3836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=295158
|called|=6532
Found 3564 contexts for 39 functions. Top 5 functions:
3252	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=485327.13MB, max=1878.66MB, minor=485282.52MB, major=4711.80MB, promoted=4667.19MB
    minor collections=231430  major collections=39 compactions=0


runtime: 00:04:41.236
vars: 305703, evals: 711930

|rho|=305703
|stable|=305703
|infl|=299038
|wpoint|=1
|sides|=3907
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301452
|called|=6676
Found 3635 contexts for 39 functions. Top 5 functions:
3323	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=500629.73MB, max=1878.66MB, minor=500584.65MB, major=4824.41MB, promoted=4779.32MB
    minor collections=238726  major collections=39 compactions=0


runtime: 00:04:51.315
vars: 312249, evals: 727145

|rho|=312249
|stable|=312249
|infl|=305438
|wpoint|=0
|sides|=3980
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=307925
|called|=6811
Found 3708 contexts for 39 functions. Top 5 functions:
3396	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=515761.73MB, max=2160.46MB, minor=515716.32MB, major=4938.54MB, promoted=4893.13MB
    minor collections=245942  major collections=39 compactions=0


runtime: 00:05:01.330
vars: 319138, evals: 743156

|rho|=319138
|stable|=319136
|infl|=312171
|wpoint|=2
|sides|=4056
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=314738
|called|=6969
Found 3784 contexts for 39 functions. Top 5 functions:
3472	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=530748.24MB, max=2160.46MB, minor=530702.73MB, major=5056.17MB, promoted=5010.66MB
    minor collections=253088  major collections=39 compactions=0


runtime: 00:05:11.340
vars: 325593, evals: 758107

|rho|=325593
|stable|=325593
|infl|=318483
|wpoint|=2
|sides|=4128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=321121
|called|=7117
Found 3856 contexts for 39 functions. Top 5 functions:
3544	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=545845.64MB, max=2160.46MB, minor=545799.82MB, major=5168.08MB, promoted=5122.26MB
    minor collections=260287  major collections=39 compactions=0


runtime: 00:05:21.352
vars: 331689, evals: 772289

|rho|=331689
|stable|=331689
|infl|=324447
|wpoint|=0
|sides|=4196
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=327149
|called|=7242
Found 3924 contexts for 39 functions. Top 5 functions:
3612	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=560877.68MB, max=2160.46MB, minor=560831.52MB, major=5277.62MB, promoted=5231.45MB
    minor collections=267455  major collections=40 compactions=0


runtime: 00:05:31.363
vars: 337588, evals: 786011

|rho|=337588
|stable|=337588
|infl|=330211
|wpoint|=1
|sides|=4261
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=332983
|called|=7379
Found 3989 contexts for 39 functions. Top 5 functions:
3677	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=575858.08MB, max=2160.46MB, minor=575811.48MB, major=5384.35MB, promoted=5337.75MB
    minor collections=274598  major collections=40 compactions=0


runtime: 00:05:41.426
vars: 343233, evals: 799089

|rho|=343233
|stable|=343233
|infl|=335734
|wpoint|=1
|sides|=4324
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=338565
|called|=7501
Found 4052 contexts for 39 functions. Top 5 functions:
3740	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=590523.93MB, max=2160.46MB, minor=590476.87MB, major=5487.53MB, promoted=5440.46MB
    minor collections=281592  major collections=40 compactions=0


runtime: 00:05:51.497
vars: 348606, evals: 811578

|rho|=348606
|stable|=348606
|infl|=340985
|wpoint|=0
|sides|=4384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343878
|called|=7620
Found 4112 contexts for 39 functions. Top 5 functions:
3800	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=604798.00MB, max=2160.46MB, minor=604750.46MB, major=5586.89MB, promoted=5539.35MB
    minor collections=288398  major collections=40 compactions=0


runtime: 00:06:01.540
vars: 355023, evals: 826450

|rho|=355023
|stable|=355023
|infl|=347259
|wpoint|=2
|sides|=4455
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=350224
|called|=7769
Found 4183 contexts for 39 functions. Top 5 functions:
3871	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=619066.06MB, max=2160.46MB, minor=619018.46MB, major=5696.46MB, promoted=5648.86MB
    minor collections=295202  major collections=40 compactions=0


runtime: 00:06:11.551
vars: 360898, evals: 840174

|rho|=360898
|stable|=360898
|infl|=353007
|wpoint|=0
|sides|=4520
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356034
|called|=7891
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=633224.70MB, max=2160.46MB, minor=633176.97MB, major=5801.54MB, promoted=5753.81MB
    minor collections=301953  major collections=40 compactions=0


runtime: 00:06:21.562
vars: 366523, evals: 853176

|rho|=366523
|stable|=366523
|infl|=358506
|wpoint|=0
|sides|=4583
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361596
|called|=8017
Found 4311 contexts for 39 functions. Top 5 functions:
3999	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=647351.42MB, max=2160.46MB, minor=647303.46MB, major=5902.62MB, promoted=5854.66MB
    minor collections=308689  major collections=40 compactions=0


runtime: 00:06:31.577
vars: 371837, evals: 865511

|rho|=371837
|stable|=371837
|infl|=363701
|wpoint|=0
|sides|=4642
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=366851
|called|=8135
Found 4370 contexts for 39 functions. Top 5 functions:
4058	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=661291.80MB, max=2160.46MB, minor=661243.52MB, major=5999.03MB, promoted=5950.75MB
    minor collections=315337  major collections=41 compactions=0


runtime: 00:06:41.588
vars: 376983, evals: 877482

|rho|=376983
|stable|=376983
|infl|=368734
|wpoint|=2
|sides|=4699
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=371940
|called|=8257
Found 4427 contexts for 39 functions. Top 5 functions:
4115	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=675284.14MB, max=2160.46MB, minor=675235.33MB, major=6094.59MB, promoted=6045.79MB
    minor collections=322009  major collections=41 compactions=0


runtime: 00:06:51.632
vars: 381960, evals: 889082

|rho|=381960
|stable|=381960
|infl|=373601
|wpoint|=0
|sides|=4754
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376862
|called|=8359
Found 4482 contexts for 39 functions. Top 5 functions:
4170	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=689191.89MB, max=2484.53MB, minor=689142.67MB, major=6187.45MB, promoted=6138.23MB
    minor collections=328640  major collections=41 compactions=0


runtime: 00:07:01.686
vars: 386835, evals: 900383

|rho|=386835
|stable|=386835
|infl|=378366
|wpoint|=0
|sides|=4808
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=381683
|called|=8469
Found 4536 contexts for 39 functions. Top 5 functions:
4224	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=702890.79MB, max=2484.53MB, minor=702841.09MB, major=6278.94MB, promoted=6229.24MB
    minor collections=335172  major collections=41 compactions=0


runtime: 00:07:11.753
vars: 391515, evals: 911251

|rho|=391515
|stable|=391515
|infl|=382943
|wpoint|=0
|sides|=4860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=386311
|called|=8572
Found 4588 contexts for 39 functions. Top 5 functions:
4276	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=716268.08MB, max=2484.53MB, minor=716217.93MB, major=6367.19MB, promoted=6317.03MB
    minor collections=341551  major collections=41 compactions=0


runtime: 00:07:21.784
vars: 397188, evals: 924419

|rho|=397188
|stable|=397188
|infl|=388491
|wpoint|=0
|sides|=4924
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391919
|called|=8696
Found 4652 contexts for 39 functions. Top 5 functions:
4340	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=729594.47MB, max=2484.53MB, minor=729544.28MB, major=6466.14MB, promoted=6415.95MB
    minor collections=347906  major collections=41 compactions=0


runtime: 00:07:31.796
vars: 402467, evals: 936661

|rho|=402467
|stable|=402467
|infl|=393645
|wpoint|=0
|sides|=4982
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=397141
|called|=8822
Found 4710 contexts for 39 functions. Top 5 functions:
4398	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=742821.33MB, max=2484.53MB, minor=742771.04MB, major=6560.99MB, promoted=6510.71MB
    minor collections=354213  major collections=41 compactions=0


runtime: 00:07:41.810
vars: 407408, evals: 948147

|rho|=407408
|stable|=407408
|infl|=398480
|wpoint|=0
|sides|=5037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=402027
|called|=8928
Found 4765 contexts for 39 functions. Top 5 functions:
4453	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=756075.11MB, max=2484.53MB, minor=756024.64MB, major=6651.99MB, promoted=6601.53MB
    minor collections=360533  major collections=41 compactions=0


runtime: 00:07:51.821
vars: 412288, evals: 959481

|rho|=412288
|stable|=412288
|infl|=403251
|wpoint|=1
|sides|=5091
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=406853
|called|=9038
Found 4819 contexts for 39 functions. Top 5 functions:
4507	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=769477.51MB, max=2484.53MB, minor=769426.79MB, major=6742.94MB, promoted=6692.23MB
    minor collections=366924  major collections=41 compactions=0


runtime: 00:08:01.836
vars: 416853, evals: 970033

|rho|=416853
|stable|=416853
|infl|=407715
|wpoint|=2
|sides|=5142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=411367
|called|=9143
Found 4870 contexts for 39 functions. Top 5 functions:
4558	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=782406.84MB, max=2484.53MB, minor=782355.81MB, major=6827.91MB, promoted=6776.88MB
    minor collections=373089  major collections=42 compactions=0


runtime: 00:08:11.856
vars: 421247, evals: 980252

|rho|=421247
|stable|=421247
|infl|=412014
|wpoint|=0
|sides|=5191
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415712
|called|=9233
Found 4919 contexts for 39 functions. Top 5 functions:
4607	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=795306.75MB, max=2484.53MB, minor=795255.37MB, major=6912.23MB, promoted=6860.85MB
    minor collections=379240  major collections=42 compactions=0


runtime: 00:08:21.867
vars: 425608, evals: 990407

|rho|=425608
|stable|=425606
|infl|=416275
|wpoint|=2
|sides|=5239
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420025
|called|=9337
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=808332.55MB, max=2484.53MB, minor=808280.75MB, major=6995.14MB, promoted=6943.35MB
    minor collections=385451  major collections=42 compactions=0


runtime: 00:08:31.897
vars: 429887, evals: 1000316

|rho|=429887
|stable|=429887
|infl|=420460
|wpoint|=0
|sides|=5287
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424256
|called|=9427
Found 5015 contexts for 39 functions. Top 5 functions:
4703	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=821344.00MB, max=2857.21MB, minor=821291.76MB, major=7078.15MB, promoted=7025.91MB
    minor collections=391656  major collections=42 compactions=0


runtime: 00:08:41.948
vars: 433978, evals: 1009866

|rho|=433978
|stable|=433978
|infl|=424459
|wpoint|=1
|sides|=5332
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428302
|called|=9519
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=834027.91MB, max=2857.21MB, minor=833975.23MB, major=7158.10MB, promoted=7105.42MB
    minor collections=397704  major collections=42 compactions=0


runtime: 00:08:52.011
vars: 438118, evals: 1019441

|rho|=438118
|stable|=438107
|infl|=428507
|wpoint|=1
|sides|=5378
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=432396
|called|=9612
Found 5106 contexts for 39 functions. Top 5 functions:
4794	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=846511.24MB, max=2857.21MB, minor=846458.16MB, major=7238.59MB, promoted=7185.52MB
    minor collections=403656  major collections=42 compactions=0


runtime: 00:09:02.038
vars: 443133, evals: 1031109

|rho|=443133
|stable|=443133
|infl|=433414
|wpoint|=2
|sides|=5434
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=437355
|called|=9725
Found 5162 contexts for 39 functions. Top 5 functions:
4850	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=859110.80MB, max=2857.21MB, minor=859057.71MB, major=7328.33MB, promoted=7275.24MB
    minor collections=409664  major collections=42 compactions=0


runtime: 00:09:12.053
vars: 447786, evals: 1041896

|rho|=447786
|stable|=447786
|infl|=437961
|wpoint|=0
|sides|=5486
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=441956
|called|=9825
Found 5214 contexts for 39 functions. Top 5 functions:
4902	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=871490.84MB, max=2857.21MB, minor=871437.68MB, major=7414.19MB, promoted=7361.04MB
    minor collections=415567  major collections=42 compactions=0


runtime: 00:09:22.068
vars: 452177, evals: 1052118

|rho|=452177
|stable|=452177
|infl|=442258
|wpoint|=0
|sides|=5534
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=446298
|called|=9918
Found 5263 contexts for 39 functions. Top 5 functions:
4951	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=883857.22MB, max=2857.21MB, minor=883803.93MB, major=7496.57MB, promoted=7443.28MB
    minor collections=421464  major collections=42 compactions=0


runtime: 00:09:32.079
vars: 456494, evals: 1062148

|rho|=456494
|stable|=456494
|infl|=446473
|wpoint|=0
|sides|=5582
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450568
|called|=10021
Found 5310 contexts for 39 functions. Top 5 functions:
4998	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=896470.94MB, max=2857.21MB, minor=896417.45MB, major=7578.47MB, promoted=7524.98MB
    minor collections=427479  major collections=42 compactions=0


runtime: 00:09:42.090
vars: 460773, evals: 1072025

|rho|=460773
|stable|=460773
|infl|=450659
|wpoint|=2
|sides|=5630
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=454799
|called|=10121
Found 5358 contexts for 39 functions. Top 5 functions:
5046	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=909169.63MB, max=2857.21MB, minor=909115.89MB, major=7659.48MB, promoted=7605.74MB
    minor collections=433534  major collections=42 compactions=0


runtime: 00:09:52.101
vars: 464848, evals: 1081535

|rho|=464848
|stable|=464846
|infl|=454643
|wpoint|=2
|sides|=5675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=458829
|called|=10211
Found 5403 contexts for 39 functions. Top 5 functions:
5091	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=921690.95MB, max=2857.21MB, minor=921636.91MB, major=7738.26MB, promoted=7684.22MB
    minor collections=439505  major collections=43 compactions=0


runtime: 00:10:02.112
vars: 468838, evals: 1090794

|rho|=468838
|stable|=468838
|infl|=458547
|wpoint|=0
|sides|=5720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=462774
|called|=10291
Found 5448 contexts for 39 functions. Top 5 functions:
5136	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=934124.46MB, max=2857.21MB, minor=934070.06MB, major=7816.36MB, promoted=7761.96MB
    minor collections=445434  major collections=43 compactions=0


runtime: 00:10:12.131
vars: 472680, evals: 1099754

|rho|=472680
|stable|=472680
|infl|=462307
|wpoint|=0
|sides|=5762
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=466574
|called|=10373
Found 5490 contexts for 39 functions. Top 5 functions:
5178	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=946429.57MB, max=2857.21MB, minor=946374.79MB, major=7893.44MB, promoted=7838.66MB
    minor collections=451301  major collections=43 compactions=0


runtime: 00:10:22.166
vars: 476523, evals: 1108600

|rho|=476523
|stable|=476523
|infl|=466062
|wpoint|=1
|sides|=5805
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=470374
|called|=10462
Found 5533 contexts for 39 functions. Top 5 functions:
5221	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=958679.47MB, max=2857.21MB, minor=958624.28MB, major=7969.13MB, promoted=7913.94MB
    minor collections=457143  major collections=43 compactions=0


runtime: 00:10:32.209
vars: 480197, evals: 1117147

|rho|=480197
|stable|=480197
|infl|=469653
|wpoint|=0
|sides|=5846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=474007
|called|=10544
Found 5574 contexts for 39 functions. Top 5 functions:
5262	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=970818.18MB, max=2857.21MB, minor=970762.56MB, major=8043.24MB, promoted=7987.62MB
    minor collections=462931  major collections=43 compactions=0


runtime: 00:10:42.236
vars: 483813, evals: 1125529

|rho|=483813
|stable|=483813
|infl|=473187
|wpoint|=1
|sides|=5886
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=477583
|called|=10626
Found 5614 contexts for 39 functions. Top 5 functions:
5302	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=982726.01MB, max=3285.79MB, minor=982669.96MB, major=8115.73MB, promoted=8059.67MB
    minor collections=468609  major collections=43 compactions=0


runtime: 00:10:52.296
vars: 487323, evals: 1133698

|rho|=487323
|stable|=487323
|infl|=476622
|wpoint|=2
|sides|=5925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=481054
|called|=10707
Found 5653 contexts for 39 functions. Top 5 functions:
5341	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=994575.52MB, max=3285.79MB, minor=994519.03MB, major=8186.82MB, promoted=8130.33MB
    minor collections=474259  major collections=43 compactions=0


runtime: 00:11:02.342
vars: 491713, evals: 1143895

|rho|=491713
|stable|=491713
|infl|=480914
|wpoint|=0
|sides|=5974
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=485395
|called|=10799
Found 5702 contexts for 39 functions. Top 5 functions:
5390	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=1006421.85MB, max=3285.79MB, minor=1006365.31MB, major=8267.49MB, promoted=8210.95MB
    minor collections=479908  major collections=43 compactions=0


runtime: 00:11:12.353
vars: 495898, evals: 1153640

|rho|=495898
|stable|=495896
|infl|=485003
|wpoint|=2
|sides|=6020
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=489534
|called|=10900
Found 5748 contexts for 39 functions. Top 5 functions:
5436	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=1018120.31MB, max=3285.79MB, minor=1018063.73MB, major=8346.18MB, promoted=8289.60MB
    minor collections=485486  major collections=43 compactions=0


runtime: 00:11:22.364
vars: 499888, evals: 1162899

|rho|=499888
|stable|=499888
|infl|=488906
|wpoint|=0
|sides|=6065
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=493479
|called|=10982
Found 5793 contexts for 39 functions. Top 5 functions:
5481	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=1029811.98MB, max=3285.79MB, minor=1029755.33MB, major=8421.43MB, promoted=8364.77MB
    minor collections=491061  major collections=43 compactions=0


runtime: 00:11:32.375
vars: 503793, evals: 1171957

|rho|=503793
|stable|=503793
|infl|=492726
|wpoint|=1
|sides|=6108
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=497341
|called|=11079
Found 5836 contexts for 39 functions. Top 5 functions:
5524	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=1041574.30MB, max=3285.79MB, minor=1041517.53MB, major=8496.74MB, promoted=8439.97MB
    minor collections=496670  major collections=43 compactions=0


runtime: 00:11:42.387
vars: 507508, evals: 1180635

|rho|=507508
|stable|=507508
|infl|=496358
|wpoint|=0
|sides|=6149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501015
|called|=11150
Found 5877 contexts for 39 functions. Top 5 functions:
5565	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=1053262.55MB, max=3285.79MB, minor=1053205.61MB, major=8570.95MB, promoted=8514.02MB
    minor collections=502243  major collections=43 compactions=0


runtime: 00:11:52.402
vars: 511198, evals: 1189158

|rho|=511198
|stable|=511196
|infl|=499963
|wpoint|=2
|sides|=6190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=504664
|called|=11242
Found 5918 contexts for 39 functions. Top 5 functions:
5606	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=1065013.08MB, max=3285.79MB, minor=1064955.92MB, major=8642.53MB, promoted=8585.37MB
    minor collections=507846  major collections=43 compactions=0


runtime: 00:12:02.412
vars: 514798, evals: 1197546

|rho|=514798
|stable|=514796
|infl|=503483
|wpoint|=2
|sides|=6230
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=508224
|called|=11319
Found 5958 contexts for 39 functions. Top 5 functions:
5646	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=1076833.93MB, max=3285.79MB, minor=1076776.48MB, major=8714.73MB, promoted=8657.28MB
    minor collections=513483  major collections=44 compactions=0


runtime: 00:12:12.423
vars: 518267, evals: 1205554

|rho|=518267
|stable|=518267
|infl|=506878
|wpoint|=0
|sides|=6269
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511654
|called|=11389
Found 5997 contexts for 39 functions. Top 5 functions:
5685	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=1088335.67MB, max=3285.79MB, minor=1088277.92MB, major=8784.53MB, promoted=8726.77MB
    minor collections=518968  major collections=44 compactions=0


runtime: 00:12:22.434
vars: 521638, evals: 1213406

|rho|=521638
|stable|=521636
|infl|=510171
|wpoint|=2
|sides|=6306
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514988
|called|=11471
Found 6034 contexts for 39 functions. Top 5 functions:
5722	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=1099737.51MB, max=3285.79MB, minor=1099679.40MB, major=8854.06MB, promoted=8795.95MB
    minor collections=524405  major collections=44 compactions=0


runtime: 00:12:32.469
vars: 524853, evals: 1220833

|rho|=524853
|stable|=524853
|infl|=513315
|wpoint|=2
|sides|=6342
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518167
|called|=11541
Found 6070 contexts for 39 functions. Top 5 functions:
5758	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=1110687.66MB, max=3285.79MB, minor=1110612.42MB, major=8936.14MB, promoted=8860.90MB
    minor collections=529621  major collections=44 compactions=0


runtime: 00:12:42.480
vars: 528118, evals: 1228480

|rho|=528118
|stable|=528118
|infl|=516507
|wpoint|=1
|sides|=6378
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=521396
|called|=11611
Found 6106 contexts for 39 functions. Top 5 functions:
5794	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=1122143.05MB, max=3285.79MB, minor=1122067.43MB, major=9004.06MB, promoted=8928.43MB
    minor collections=535083  major collections=44 compactions=0


runtime: 00:12:52.547
vars: 531333, evals: 1235935

|rho|=531333
|stable|=531333
|infl|=519654
|wpoint|=2
|sides|=6414
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=524575
|called|=11688
Found 6142 contexts for 39 functions. Top 5 functions:
5830	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=1133442.94MB, max=3285.79MB, minor=1133358.54MB, major=9079.24MB, promoted=8994.83MB
    minor collections=540468  major collections=44 compactions=0


runtime: 00:13:02.586
vars: 534508, evals: 1243309

|rho|=534508
|stable|=534502
|infl|=522755
|wpoint|=2
|sides|=6449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=527715
|called|=11759
Found 6177 contexts for 39 functions. Top 5 functions:
5865	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=1144695.23MB, max=3285.79MB, minor=1144610.41MB, major=9144.59MB, promoted=9059.78MB
    minor collections=545833  major collections=44 compactions=0


runtime: 00:13:12.649
vars: 537478, evals: 1250230

|rho|=537478
|stable|=537476
|infl|=525659
|wpoint|=2
|sides|=6482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=530652
|called|=11823
Found 6210 contexts for 39 functions. Top 5 functions:
5898	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=1155409.55MB, max=3285.79MB, minor=1155315.95MB, major=9215.56MB, promoted=9121.97MB
    minor collections=550939  major collections=44 compactions=0


runtime: 00:13:22.704
vars: 540808, evals: 1257948

|rho|=540808
|stable|=540807
|infl|=528915
|wpoint|=1
|sides|=6519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=533945
|called|=11896
Found 6247 contexts for 39 functions. Top 5 functions:
5935	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=1166449.44MB, max=3778.66MB, minor=1166355.53MB, major=9281.96MB, promoted=9188.06MB
    minor collections=556203  major collections=44 compactions=0


runtime: 00:13:32.739
vars: 544798, evals: 1267190

|rho|=544798
|stable|=544798
|infl|=532820
|wpoint|=0
|sides|=6564
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=537890
|called|=11978
Found 6292 contexts for 39 functions. Top 5 functions:
5980	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=1177758.28MB, max=3778.66MB, minor=1177664.37MB, major=9356.70MB, promoted=9262.78MB
    minor collections=561596  major collections=44 compactions=0


runtime: 00:13:42.750
vars: 548548, evals: 1275939

|rho|=548548
|stable|=548548
|infl|=536484
|wpoint|=0
|sides|=6605
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=541599
|called|=12064
Found 6333 contexts for 39 functions. Top 5 functions:
6021	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=1189020.06MB, max=3778.66MB, minor=1188926.11MB, major=9428.74MB, promoted=9334.79MB
    minor collections=566966  major collections=44 compactions=0


runtime: 00:13:52.761
vars: 552103, evals: 1284134

|rho|=552103
|stable|=552103
|infl|=539962
|wpoint|=0
|sides|=6645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=545114
|called|=12141
Found 6373 contexts for 39 functions. Top 5 functions:
6061	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=1200043.60MB, max=3778.66MB, minor=1199949.60MB, major=9498.13MB, promoted=9404.13MB
    minor collections=572222  major collections=44 compactions=0


runtime: 00:14:02.776
vars: 555543, evals: 1292138

|rho|=555543
|stable|=555543
|infl|=543326
|wpoint|=2
|sides|=6683
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=548516
|called|=12225
Found 6411 contexts for 39 functions. Top 5 functions:
6099	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=1211191.85MB, max=3778.66MB, minor=1211097.75MB, major=9566.70MB, promoted=9472.59MB
    minor collections=577538  major collections=44 compactions=0


runtime: 00:14:12.791
vars: 558825, evals: 1299782

|rho|=558825
|stable|=558825
|infl|=546533
|wpoint|=0
|sides|=6719
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=551762
|called|=12292
Found 6447 contexts for 39 functions. Top 5 functions:
6135	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=1222084.46MB, max=3778.66MB, minor=1221990.22MB, major=9632.68MB, promoted=9538.45MB
    minor collections=582732  major collections=44 compactions=0


runtime: 00:14:22.806
vars: 562023, evals: 1307180

|rho|=562023
|stable|=562023
|infl|=549662
|wpoint|=1
|sides|=6755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=554924
|called|=12371
Found 6483 contexts for 39 functions. Top 5 functions:
6171	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=1232781.59MB, max=3778.66MB, minor=1232687.16MB, major=9696.29MB, promoted=9601.86MB
    minor collections=587833  major collections=44 compactions=0


runtime: 00:14:32.821
vars: 565108, evals: 1314389

|rho|=565108
|stable|=565106
|infl|=552675
|wpoint|=2
|sides|=6789
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=557975
|called|=12438
Found 6517 contexts for 39 functions. Top 5 functions:
6205	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=1243480.19MB, max=3778.66MB, minor=1243385.57MB, major=9759.49MB, promoted=9664.87MB
    minor collections=592935  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:35.699
vars: 566008, evals: 1316439

|rho|=566008
|stable|=566006
|infl|=553555
|wpoint|=2
|sides|=6799
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=558865
|called|=12460
Found 6527 contexts for 39 functions. Top 5 functions:
6215	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=1246582.46MB, max=3778.65MB, minor=1246487.51MB, major=9778.12MB, promoted=9683.16MB
    minor collections=594414  major collections=44 compactions=0


Fatal error: exception Stack overflow
