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


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


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

runtime: 00:00:10.231
vars: 21283, evals: 51452

|rho|=21283
|stable|=21283
|infl|=20939
|wpoint|=0
|sides|=747
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20192
|called|=344
Found 475 contexts for 39 functions. Top 5 functions:
163	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 (4477) 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=23428.42MB, max=151.80MB, minor=23423.53MB, major=336.14MB, promoted=331.25MB
    minor collections=11179  major collections=21 compactions=0


runtime: 00:00:20.281
vars: 40858, evals: 96970

|rho|=40858
|stable|=40858
|infl|=40075
|wpoint|=0
|sides|=964
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39550
|called|=783
Found 692 contexts for 39 functions. Top 5 functions:
380	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 (4477) 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=44600.51MB, max=265.50MB, minor=44593.27MB, major=610.59MB, promoted=603.36MB
    minor collections=21276  major collections=25 compactions=0


runtime: 00:00:30.324
vars: 58563, evals: 138004

|rho|=58563
|stable|=58563
|infl|=57389
|wpoint|=1
|sides|=1161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57058
|called|=1175
Found 889 contexts for 39 functions. Top 5 functions:
577	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 (4477) 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=65225.98MB, max=403.80MB, minor=65218.44MB, major=858.70MB, promoted=851.16MB
    minor collections=31112  major collections=27 compactions=0


runtime: 00:00:40.371
vars: 74417, evals: 174856

|rho|=74417
|stable|=74417
|infl|=72885
|wpoint|=0
|sides|=1337
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72736
|called|=1532
Found 1065 contexts for 39 functions. Top 5 functions:
753	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 (4477) 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=84821.54MB, max=464.37MB, minor=84809.55MB, major=1090.69MB, promoted=1078.71MB
    minor collections=40455  major collections=29 compactions=0


runtime: 00:00:50.426
vars: 89312, evals: 209445

|rho|=89312
|stable|=89312
|infl|=87454
|wpoint|=0
|sides|=1503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87465
|called|=1858
Found 1231 contexts for 39 functions. Top 5 functions:
919	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 (4477) 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=104337.16MB, max=534.03MB, minor=104324.87MB, major=1309.80MB, promoted=1297.51MB
    minor collections=49761  major collections=30 compactions=0


runtime: 00:01:00.481
vars: 103228, evals: 241781

|rho|=103228
|stable|=103222
|infl|=101059
|wpoint|=2
|sides|=1657
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101227
|called|=2174
Found 1385 contexts for 39 functions. Top 5 functions:
1073	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 (4477) 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=123416.66MB, max=614.13MB, minor=123404.04MB, major=1516.25MB, promoted=1503.64MB
    minor collections=58859  major collections=31 compactions=0


runtime: 00:01:10.544
vars: 115828, evals: 271025

|rho|=115828
|stable|=115826
|infl|=113379
|wpoint|=2
|sides|=1797
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113687
|called|=2452
Found 1525 contexts for 39 functions. Top 5 functions:
1213	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 (4477) 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=141333.34MB, max=706.25MB, minor=141320.46MB, major=1704.13MB, promoted=1691.25MB
    minor collections=67403  major collections=32 compactions=0


runtime: 00:01:20.595
vars: 127888, evals: 299073

|rho|=127888
|stable|=127888
|infl|=125171
|wpoint|=1
|sides|=1931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125613
|called|=2720
Found 1659 contexts for 39 functions. Top 5 functions:
1347	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 (4477) 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=159288.66MB, max=812.19MB, minor=159275.48MB, major=1886.18MB, promoted=1873.00MB
    minor collections=75965  major collections=32 compactions=0


runtime: 00:01:30.627
vars: 139293, evals: 325525

|rho|=139293
|stable|=139293
|infl|=136326
|wpoint|=2
|sides|=2058
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136891
|called|=2973
Found 1786 contexts for 39 functions. Top 5 functions:
1474	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 (4477) 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=177157.64MB, max=934.02MB, minor=177135.68MB, major=2070.11MB, promoted=2048.14MB
    minor collections=84483  major collections=33 compactions=0


runtime: 00:01:40.646
vars: 151173, evals: 353113

|rho|=151173
|stable|=151173
|infl|=147942
|wpoint|=1
|sides|=2190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148639
|called|=3242
Found 1918 contexts for 39 functions. Top 5 functions:
1606	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 (4477) 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=195564.08MB, max=934.02MB, minor=195541.88MB, major=2251.59MB, promoted=2229.40MB
    minor collections=93260  major collections=34 compactions=0


runtime: 00:01:50.701
vars: 161793, evals: 377781

|rho|=161793
|stable|=161793
|infl|=158326
|wpoint|=2
|sides|=2308
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159141
|called|=3476
Found 2036 contexts for 39 functions. Top 5 functions:
1724	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 (4477) 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=213350.09MB, max=1074.12MB, minor=213327.51MB, major=2418.40MB, promoted=2395.82MB
    minor collections=101741  major collections=34 compactions=0


runtime: 00:02:00.712
vars: 172348, evals: 402273

|rho|=172348
|stable|=172346
|infl|=168643
|wpoint|=2
|sides|=2425
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169579
|called|=3711
Found 2153 contexts for 39 functions. Top 5 functions:
1841	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 (4477) 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=230727.32MB, max=1074.12MB, minor=230704.50MB, major=2581.85MB, promoted=2559.03MB
    minor collections=110028  major collections=35 compactions=0


runtime: 00:02:10.788
vars: 181926, evals: 424510

|rho|=181926
|stable|=181926
|infl|=178009
|wpoint|=0
|sides|=2532
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179050
|called|=3917
Found 2260 contexts for 39 functions. Top 5 functions:
1948	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 (4477) 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=247916.30MB, max=1235.24MB, minor=247893.07MB, major=2736.12MB, promoted=2712.89MB
    minor collections=118224  major collections=35 compactions=0


runtime: 00:02:20.839
vars: 191248, evals: 446209

|rho|=191248
|stable|=191248
|infl|=187123
|wpoint|=0
|sides|=2635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188269
|called|=4125
Found 2363 contexts for 39 functions. Top 5 functions:
2051	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 (4477) 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=263890.80MB, max=1235.24MB, minor=263867.30MB, major=2882.40MB, promoted=2858.90MB
    minor collections=125842  major collections=35 compactions=0


runtime: 00:02:30.859
vars: 200403, evals: 467424

|rho|=200403
|stable|=200403
|infl|=196078
|wpoint|=2
|sides|=2737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197322
|called|=4335
Found 2465 contexts for 39 functions. Top 5 functions:
2153	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 (4477) 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=280543.03MB, max=1235.24MB, minor=280519.21MB, major=3028.84MB, promoted=3005.03MB
    minor collections=133782  major collections=36 compactions=0


runtime: 00:02:40.913
vars: 208528, evals: 486337

|rho|=208528
|stable|=208528
|infl|=204019
|wpoint|=0
|sides|=2827
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205357
|called|=4509
Found 2555 contexts for 39 functions. Top 5 functions:
2243	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 (4477) 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=296408.49MB, max=1420.53MB, minor=296384.26MB, major=3162.75MB, promoted=3138.51MB
    minor collections=141348  major collections=36 compactions=0


runtime: 00:02:50.941
vars: 217348, evals: 506803

|rho|=217348
|stable|=217348
|infl|=212643
|wpoint|=1
|sides|=2925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214079
|called|=4705
Found 2653 contexts for 39 functions. Top 5 functions:
2341	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 (4477) 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=312240.20MB, max=1420.53MB, minor=312215.78MB, major=3304.93MB, promoted=3280.51MB
    minor collections=148897  major collections=36 compactions=0


runtime: 00:03:00.956
vars: 225576, evals: 525875

|rho|=225576
|stable|=225576
|infl|=220689
|wpoint|=0
|sides|=3017
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222215
|called|=4887
Found 2745 contexts for 39 functions. Top 5 functions:
2433	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 (4477) 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=328075.11MB, max=1420.53MB, minor=328050.42MB, major=3439.14MB, promoted=3414.45MB
    minor collections=156448  major collections=37 compactions=0


runtime: 00:03:11.007
vars: 233204, evals: 543619

|rho|=233204
|stable|=233204
|infl|=228139
|wpoint|=0
|sides|=3101
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229759
|called|=5065
Found 2829 contexts for 39 functions. Top 5 functions:
2517	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 (4477) 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=343688.29MB, max=1420.53MB, minor=343663.19MB, major=3566.77MB, promoted=3541.67MB
    minor collections=163893  major collections=37 compactions=0


runtime: 00:03:21.094
vars: 240703, evals: 560994

|rho|=240703
|stable|=240703
|infl|=235481
|wpoint|=0
|sides|=3185
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237174
|called|=5222
Found 2913 contexts for 39 functions. Top 5 functions:
2601	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 (4477) 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=358896.46MB, max=1633.61MB, minor=358871.01MB, major=3692.65MB, promoted=3667.20MB
    minor collections=171145  major collections=37 compactions=0


runtime: 00:03:31.109
vars: 248518, evals: 579162

|rho|=248518
|stable|=248518
|infl|=243116
|wpoint|=0
|sides|=3272
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244902
|called|=5402
Found 3000 contexts for 39 functions. Top 5 functions:
2688	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 (4477) 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=373910.98MB, max=1633.61MB, minor=373885.39MB, major=3821.02MB, promoted=3795.43MB
    minor collections=178304  major collections=37 compactions=0


runtime: 00:03:41.125
vars: 255628, evals: 595673

|rho|=255628
|stable|=255628
|infl|=250075
|wpoint|=0
|sides|=3351
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251933
|called|=5553
Found 3079 contexts for 39 functions. Top 5 functions:
2767	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 (4477) 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=388671.92MB, max=1633.61MB, minor=388646.05MB, major=3941.22MB, promoted=3915.35MB
    minor collections=185343  major collections=38 compactions=0


runtime: 00:03:51.148
vars: 262348, evals: 611301

|rho|=262348
|stable|=262346
|infl|=256643
|wpoint|=2
|sides|=3425
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258579
|called|=5710
Found 3153 contexts for 39 functions. Top 5 functions:
2841	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 (4477) 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=403286.55MB, max=1633.61MB, minor=403251.91MB, major=4064.88MB, promoted=4030.24MB
    minor collections=192311  major collections=38 compactions=0


runtime: 00:04:01.231
vars: 268934, evals: 626592

|rho|=268934
|stable|=268934
|infl|=263075
|wpoint|=0
|sides|=3498
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265092
|called|=5859
Found 3226 contexts for 39 functions. Top 5 functions:
2914	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 (4477) 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=418160.79MB, max=1633.61MB, minor=418117.32MB, major=4186.62MB, promoted=4143.15MB
    minor collections=199402  major collections=38 compactions=0


runtime: 00:04:11.263
vars: 276363, evals: 643802

|rho|=276363
|stable|=276363
|infl|=270350
|wpoint|=2
|sides|=3581
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272438
|called|=6023
Found 3309 contexts for 39 functions. Top 5 functions:
2997	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 (4477) 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=432942.33MB, max=1878.66MB, minor=432898.75MB, major=4308.90MB, promoted=4265.31MB
    minor collections=206451  major collections=38 compactions=0


runtime: 00:04:21.274
vars: 283138, evals: 659552

|rho|=283138
|stable|=283136
|infl|=276971
|wpoint|=2
|sides|=3656
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=279138
|called|=6173
Found 3384 contexts for 39 functions. Top 5 functions:
3072	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 (4477) 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=447416.83MB, max=1878.66MB, minor=447373.05MB, major=4424.42MB, promoted=4380.63MB
    minor collections=213353  major collections=38 compactions=0


runtime: 00:04:31.293
vars: 289683, evals: 674728

|rho|=289683
|stable|=289683
|infl|=283374
|wpoint|=1
|sides|=3729
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=285610
|called|=6320
Found 3457 contexts for 39 functions. Top 5 functions:
3145	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 (4477) 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=462065.26MB, max=1878.66MB, minor=462021.16MB, major=4536.55MB, promoted=4492.46MB
    minor collections=220338  major collections=39 compactions=0


runtime: 00:04:41.308
vars: 295846, evals: 689085

|rho|=295846
|stable|=295846
|infl|=289401
|wpoint|=0
|sides|=3797
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=291705
|called|=6445
Found 3525 contexts for 39 functions. Top 5 functions:
3213	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 (4477) 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=476493.99MB, max=1878.66MB, minor=476449.51MB, major=4646.12MB, promoted=4601.64MB
    minor collections=227218  major collections=39 compactions=0


runtime: 00:04:51.396
vars: 301678, evals: 702634

|rho|=301678
|stable|=301676
|infl|=295099
|wpoint|=2
|sides|=3862
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=297472
|called|=6585
Found 3590 contexts for 39 functions. Top 5 functions:
3278	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 (4477) 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=490579.25MB, max=1878.66MB, minor=490534.33MB, major=4749.72MB, promoted=4704.80MB
    minor collections=233934  major collections=39 compactions=0


runtime: 00:05:01.455
vars: 307953, evals: 717155

|rho|=307953
|stable|=307953
|infl|=301238
|wpoint|=2
|sides|=3932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=303677
|called|=6722
Found 3660 contexts for 39 functions. Top 5 functions:
3348	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 (4477) 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=504410.79MB, max=1878.66MB, minor=504365.63MB, major=4857.33MB, promoted=4812.18MB
    minor collections=240530  major collections=39 compactions=0


runtime: 00:05:11.471
vars: 314278, evals: 731870

|rho|=314278
|stable|=314276
|infl|=307419
|wpoint|=2
|sides|=4002
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=309932
|called|=6862
Found 3730 contexts for 39 functions. Top 5 functions:
3418	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 (4477) 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=518227.00MB, max=1878.66MB, minor=518181.72MB, major=4965.07MB, promoted=4919.79MB
    minor collections=247118  major collections=39 compactions=0


runtime: 00:05:21.486
vars: 320218, evals: 745660

|rho|=320218
|stable|=320216
|infl|=313227
|wpoint|=2
|sides|=4068
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=315806
|called|=6994
Found 3796 contexts for 39 functions. Top 5 functions:
3484	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 (4477) 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=531967.78MB, max=1878.66MB, minor=531922.29MB, major=5068.84MB, promoted=5023.34MB
    minor collections=253670  major collections=39 compactions=0


runtime: 00:05:31.505
vars: 325753, evals: 758499

|rho|=325753
|stable|=325753
|infl|=318642
|wpoint|=0
|sides|=4130
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=321279
|called|=7111
Found 3858 contexts for 39 functions. Top 5 functions:
3546	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 (4477) 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=545384.10MB, max=1878.66MB, minor=545338.21MB, major=5167.33MB, promoted=5121.45MB
    minor collections=260068  major collections=40 compactions=0


runtime: 00:05:41.516
vars: 331173, evals: 771119

|rho|=331173
|stable|=331173
|infl|=323942
|wpoint|=2
|sides|=4190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=326639
|called|=7241
Found 3918 contexts for 39 functions. Top 5 functions:
3606	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 (4477) 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=559045.95MB, max=1878.66MB, minor=558999.70MB, major=5265.06MB, promoted=5218.81MB
    minor collections=266582  major collections=40 compactions=0


runtime: 00:05:51.576
vars: 336508, evals: 783519

|rho|=336508
|stable|=336508
|infl|=329155
|wpoint|=1
|sides|=4249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=331915
|called|=7355
Found 3977 contexts for 39 functions. Top 5 functions:
3665	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 (4477) 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=572751.28MB, max=2160.46MB, minor=572704.60MB, major=5362.21MB, promoted=5315.53MB
    minor collections=273117  major collections=40 compactions=0


runtime: 00:06:01.643
vars: 341578, evals: 795268

|rho|=341578
|stable|=341578
|infl|=334113
|wpoint|=0
|sides|=4306
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=336928
|called|=7465
Found 4034 contexts for 39 functions. Top 5 functions:
3722	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 (4477) 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=586012.66MB, max=2160.46MB, minor=585965.54MB, major=5454.83MB, promoted=5407.70MB
    minor collections=279441  major collections=40 compactions=0


runtime: 00:06:11.710
vars: 347218, evals: 808368

|rho|=347218
|stable|=347216
|infl|=339627
|wpoint|=2
|sides|=4368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=342506
|called|=7596
Found 4096 contexts for 39 functions. Top 5 functions:
3784	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 (4477) 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=598767.23MB, max=2160.46MB, minor=598719.97MB, major=5552.78MB, promoted=5505.52MB
    minor collections=285523  major collections=40 compactions=0


runtime: 00:06:21.721
vars: 352888, evals: 821541

|rho|=352888
|stable|=352888
|infl|=345171
|wpoint|=1
|sides|=4431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=348113
|called|=7718
Found 4159 contexts for 39 functions. Top 5 functions:
3847	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 (4477) 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=611946.03MB, max=2160.46MB, minor=611898.67MB, major=5651.75MB, promoted=5604.39MB
    minor collections=291807  major collections=40 compactions=0


runtime: 00:06:31.733
vars: 358173, evals: 833819

|rho|=358173
|stable|=358173
|infl|=350342
|wpoint|=2
|sides|=4490
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=353339
|called|=7841
Found 4218 contexts for 39 functions. Top 5 functions:
3906	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 (4477) 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=624903.20MB, max=2160.46MB, minor=624855.66MB, major=5744.93MB, promoted=5697.39MB
    minor collections=297985  major collections=40 compactions=0


runtime: 00:06:41.748
vars: 363218, evals: 845528

|rho|=363218
|stable|=363218
|infl|=355275
|wpoint|=0
|sides|=4546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=358328
|called|=7943
Found 4274 contexts for 39 functions. Top 5 functions:
3962	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 (4477) 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=637798.11MB, max=2160.46MB, minor=637750.31MB, major=5835.76MB, promoted=5787.96MB
    minor collections=304135  major collections=41 compactions=0


runtime: 00:06:51.759
vars: 368042, evals: 856718

|rho|=368042
|stable|=368042
|infl|=359993
|wpoint|=0
|sides|=4600
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=363098
|called|=8049
Found 4328 contexts for 39 functions. Top 5 functions:
4016	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 (4477) 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=650494.67MB, max=2160.46MB, minor=650446.55MB, major=5924.80MB, promoted=5876.68MB
    minor collections=310189  major collections=41 compactions=0


runtime: 00:07:01.774
vars: 372726, evals: 867590

|rho|=372726
|stable|=372726
|infl|=364569
|wpoint|=0
|sides|=4652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=367730
|called|=8157
Found 4380 contexts for 39 functions. Top 5 functions:
4068	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 (4477) 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=663189.69MB, max=2160.46MB, minor=663141.20MB, major=6011.96MB, promoted=5963.47MB
    minor collections=316242  major collections=41 compactions=0


runtime: 00:07:11.829
vars: 377343, evals: 878330

|rho|=377343
|stable|=377343
|infl|=369086
|wpoint|=2
|sides|=4703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=372296
|called|=8267
Found 4431 contexts for 39 functions. Top 5 functions:
4119	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4477) 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=675932.24MB, max=2484.53MB, minor=675883.22MB, major=6098.86MB, promoted=6049.83MB
    minor collections=322318  major collections=41 compactions=0


runtime: 00:07:21.893
vars: 381823, evals: 888706

|rho|=381823
|stable|=381823
|infl|=373464
|wpoint|=0
|sides|=4753
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376726
|called|=8359
Found 4481 contexts for 39 functions. Top 5 functions:
4169	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 (4477) 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=688509.87MB, max=2484.53MB, minor=688460.41MB, major=6183.12MB, promoted=6133.65MB
    minor collections=328316  major collections=41 compactions=0


runtime: 00:07:31.992
vars: 386676, evals: 899985

|rho|=386676
|stable|=386676
|infl|=378209
|wpoint|=0
|sides|=4807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=381525
|called|=8467
Found 4535 contexts for 39 functions. Top 5 functions:
4223	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 (4477) 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=701178.77MB, max=2484.53MB, minor=701128.99MB, major=6271.76MB, promoted=6221.98MB
    minor collections=334357  major collections=41 compactions=0


runtime: 00:07:42.023
vars: 391858, evals: 912032

|rho|=391858
|stable|=391856
|infl|=383275
|wpoint|=2
|sides|=4864
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=386650
|called|=8585
Found 4592 contexts for 39 functions. Top 5 functions:
4280	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 (4477) 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=713568.80MB, max=2484.53MB, minor=713518.98MB, major=6362.96MB, promoted=6313.14MB
    minor collections=340265  major collections=41 compactions=0


runtime: 00:07:52.038
vars: 396783, evals: 923462

|rho|=396783
|stable|=396783
|infl|=388094
|wpoint|=2
|sides|=4919
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391520
|called|=8697
Found 4647 contexts for 39 functions. Top 5 functions:
4335	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 (4477) 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=725980.85MB, max=2484.53MB, minor=725930.92MB, major=6451.61MB, promoted=6401.68MB
    minor collections=346183  major collections=41 compactions=0


runtime: 00:08:02.049
vars: 401447, evals: 934272

|rho|=401447
|stable|=401447
|infl|=392653
|wpoint|=0
|sides|=4971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=396132
|called|=8794
Found 4699 contexts for 39 functions. Top 5 functions:
4387	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 (4477) 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=738268.24MB, max=2484.53MB, minor=738218.15MB, major=6536.12MB, promoted=6486.02MB
    minor collections=352042  major collections=41 compactions=0


runtime: 00:08:12.061
vars: 405988, evals: 944877

|rho|=405988
|stable|=405986
|infl|=397091
|wpoint|=2
|sides|=5021
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=400623
|called|=8900
Found 4749 contexts for 39 functions. Top 5 functions:
4437	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 (4477) 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=750787.49MB, max=2484.53MB, minor=750737.14MB, major=6621.12MB, promoted=6570.78MB
    minor collections=358012  major collections=41 compactions=0


runtime: 00:08:22.075
vars: 410308, evals: 954909

|rho|=410308
|stable|=410306
|infl|=401315
|wpoint|=2
|sides|=5069
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404895
|called|=8998
Found 4797 contexts for 39 functions. Top 5 functions:
4485	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 (4477) 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=763010.41MB, max=2484.53MB, minor=762959.76MB, major=6702.74MB, promoted=6652.08MB
    minor collections=363841  major collections=42 compactions=0


runtime: 00:08:32.091
vars: 414513, evals: 964593

|rho|=414513
|stable|=414513
|infl|=405425
|wpoint|=2
|sides|=5116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=409053
|called|=9090
Found 4844 contexts for 39 functions. Top 5 functions:
4532	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 (4477) 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=775013.35MB, max=2484.53MB, minor=774962.37MB, major=6782.12MB, promoted=6731.14MB
    minor collections=369564  major collections=42 compactions=0


runtime: 00:08:42.103
vars: 418563, evals: 974040

|rho|=418563
|stable|=418563
|infl|=409390
|wpoint|=1
|sides|=5161
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=413058
|called|=9173
Found 4889 contexts for 39 functions. Top 5 functions:
4577	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 (4477) 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=786975.86MB, max=2484.53MB, minor=786924.50MB, major=6860.26MB, promoted=6808.90MB
    minor collections=375268  major collections=42 compactions=0


runtime: 00:08:52.153
vars: 422523, evals: 983248

|rho|=422523
|stable|=422523
|infl|=413262
|wpoint|=2
|sides|=5205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=416974
|called|=9269
Found 4933 contexts for 39 functions. Top 5 functions:
4621	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 (4477) 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=798846.58MB, max=2484.53MB, minor=798794.85MB, major=6937.26MB, promoted=6885.53MB
    minor collections=380929  major collections=42 compactions=0


runtime: 00:09:02.221
vars: 426393, evals: 992181

|rho|=426393
|stable|=426393
|infl|=417041
|wpoint|=2
|sides|=5248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=420801
|called|=9354
Found 4976 contexts for 39 functions. Top 5 functions:
4664	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 (4477) 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=810540.21MB, max=2857.21MB, minor=810488.06MB, major=7011.80MB, promoted=6959.65MB
    minor collections=386504  major collections=42 compactions=0


runtime: 00:09:12.272
vars: 430173, evals: 1001019

|rho|=430173
|stable|=430173
|infl|=420742
|wpoint|=0
|sides|=5290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=424539
|called|=9431
Found 5018 contexts for 39 functions. Top 5 functions:
4706	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 (4477) 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=822234.31MB, max=2857.21MB, minor=822181.75MB, major=7086.11MB, promoted=7033.54MB
    minor collections=392081  major collections=42 compactions=0


runtime: 00:09:22.323
vars: 434853, evals: 1011887

|rho|=434853
|stable|=434853
|infl|=425318
|wpoint|=2
|sides|=5342
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=429167
|called|=9543
Found 5070 contexts for 39 functions. Top 5 functions:
4758	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 (4477) 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=833871.48MB, max=2857.21MB, minor=833818.85MB, major=7169.95MB, promoted=7117.33MB
    minor collections=397630  major collections=42 compactions=0


runtime: 00:09:32.334
vars: 439268, evals: 1022133

|rho|=439268
|stable|=439268
|infl|=429633
|wpoint|=0
|sides|=5391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=433533
|called|=9635
Found 5119 contexts for 39 functions. Top 5 functions:
4807	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 (4477) 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=845346.24MB, max=2857.21MB, minor=845293.57MB, major=7249.51MB, promoted=7196.85MB
    minor collections=403101  major collections=42 compactions=0


runtime: 00:09:42.350
vars: 443403, evals: 1031706

|rho|=443403
|stable|=443403
|infl|=433678
|wpoint|=2
|sides|=5437
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=437622
|called|=9731
Found 5165 contexts for 39 functions. Top 5 functions:
4853	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 (4477) 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=856634.10MB, max=2857.21MB, minor=856581.34MB, major=7325.92MB, promoted=7273.16MB
    minor collections=408484  major collections=42 compactions=0


runtime: 00:09:52.370
vars: 447388, evals: 1041021

|rho|=447388
|stable|=447386
|infl|=437571
|wpoint|=1
|sides|=5481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=441563
|called|=9819
Found 5209 contexts for 39 functions. Top 5 functions:
4897	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 (4477) 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=867912.36MB, max=2857.21MB, minor=867859.46MB, major=7401.86MB, promoted=7348.95MB
    minor collections=413862  major collections=42 compactions=0


runtime: 00:10:02.386
vars: 451348, evals: 1050219

|rho|=451348
|stable|=451348
|infl|=441443
|wpoint|=1
|sides|=5525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=445479
|called|=9906
Found 5253 contexts for 39 functions. Top 5 functions:
4941	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 (4477) 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=879522.73MB, max=2857.21MB, minor=879469.61MB, major=7477.81MB, promoted=7424.70MB
    minor collections=419398  major collections=42 compactions=0


runtime: 00:10:12.400
vars: 455166, evals: 1059034

|rho|=455166
|stable|=455166
|infl|=445177
|wpoint|=0
|sides|=5568
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449254
|called|=9989
Found 5296 contexts for 39 functions. Top 5 functions:
4984	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 (4477) 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=890863.11MB, max=2857.21MB, minor=890809.75MB, major=7551.36MB, promoted=7498.00MB
    minor collections=424806  major collections=43 compactions=0


runtime: 00:10:22.412
vars: 458910, evals: 1067777

|rho|=458910
|stable|=458910
|infl|=448843
|wpoint|=0
|sides|=5609
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=452957
|called|=10067
Found 5337 contexts for 39 functions. Top 5 functions:
5025	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 (4477) 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=902335.02MB, max=2857.21MB, minor=902281.34MB, major=7624.23MB, promoted=7570.56MB
    minor collections=430276  major collections=43 compactions=0


runtime: 00:10:32.439
vars: 462553, evals: 1076179

|rho|=462553
|stable|=462553
|infl|=452401
|wpoint|=0
|sides|=5650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=456559
|called|=10152
Found 5378 contexts for 39 functions. Top 5 functions:
5066	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 (4477) 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=913561.56MB, max=2857.21MB, minor=913507.57MB, major=7694.94MB, promoted=7640.95MB
    minor collections=435629  major collections=43 compactions=0


runtime: 00:10:42.450
vars: 466110, evals: 1084497

|rho|=466110
|stable|=466110
|infl|=455883
|wpoint|=0
|sides|=5689
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=460077
|called|=10227
Found 5417 contexts for 39 functions. Top 5 functions:
5105	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 (4477) 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=924792.99MB, max=2857.21MB, minor=924738.63MB, major=7766.15MB, promoted=7711.79MB
    minor collections=440985  major collections=43 compactions=0


runtime: 00:10:52.522
vars: 469573, evals: 1092481

|rho|=469573
|stable|=469573
|infl|=459266
|wpoint|=0
|sides|=5728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=463501
|called|=10307
Found 5456 contexts for 39 functions. Top 5 functions:
5144	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 (4477) 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=935772.97MB, max=2857.21MB, minor=935718.25MB, major=7834.34MB, promoted=7779.62MB
    minor collections=446220  major collections=43 compactions=0


runtime: 00:11:02.585
vars: 472858, evals: 1100132

|rho|=472858
|stable|=472856
|infl|=462475
|wpoint|=2
|sides|=5764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=466750
|called|=10385
Found 5492 contexts for 39 functions. Top 5 functions:
5180	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 (4477) 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=946452.01MB, max=2857.21MB, minor=946396.91MB, major=7899.53MB, promoted=7844.43MB
    minor collections=451312  major collections=43 compactions=0


runtime: 00:11:12.672
vars: 476188, evals: 1107886

|rho|=476188
|stable|=476187
|infl|=465731
|wpoint|=1
|sides|=5801
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=470043
|called|=10459
Found 5529 contexts for 39 functions. Top 5 functions:
5217	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 (4477) 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=957355.47MB, max=2857.21MB, minor=957299.97MB, major=7966.15MB, promoted=7910.65MB
    minor collections=456512  major collections=43 compactions=0


runtime: 00:11:22.731
vars: 479493, evals: 1115491

|rho|=479493
|stable|=479493
|infl|=468961
|wpoint|=2
|sides|=5838
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473311
|called|=10534
Found 5566 contexts for 39 functions. Top 5 functions:
5254	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 (4477) 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=968313.24MB, max=3285.79MB, minor=968257.35MB, major=8032.09MB, promoted=7976.19MB
    minor collections=461737  major collections=43 compactions=0


runtime: 00:11:32.790
vars: 483543, evals: 1124902

|rho|=483543
|stable|=483543
|infl|=472924
|wpoint|=1
|sides|=5883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=477316
|called|=10620
Found 5611 contexts for 39 functions. Top 5 functions:
5299	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 (4477) 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=979136.29MB, max=3285.79MB, minor=979080.33MB, major=8105.85MB, promoted=8049.89MB
    minor collections=466897  major collections=43 compactions=0


runtime: 00:11:42.801
vars: 487454, evals: 1134044

|rho|=487454
|stable|=487454
|infl|=476744
|wpoint|=0
|sides|=5926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=481184
|called|=10709
Found 5654 contexts for 39 functions. Top 5 functions:
5342	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 (4477) 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=989847.93MB, max=3285.79MB, minor=989791.94MB, major=8178.69MB, promoted=8122.70MB
    minor collections=472005  major collections=43 compactions=0


runtime: 00:11:52.816
vars: 491128, evals: 1142580

|rho|=491128
|stable|=491127
|infl|=480339
|wpoint|=1
|sides|=5967
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=484817
|called|=10791
Found 5695 contexts for 39 functions. Top 5 functions:
5383	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 (4477) 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=1000473.80MB, max=3285.79MB, minor=1000417.75MB, major=8248.30MB, promoted=8192.24MB
    minor collections=477072  major collections=43 compactions=0


runtime: 00:12:02.828
vars: 494793, evals: 1151045

|rho|=494793
|stable|=494793
|infl|=483926
|wpoint|=1
|sides|=6008
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=488441
|called|=10867
Found 5736 contexts for 39 functions. Top 5 functions:
5424	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 (4477) 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=1011210.90MB, max=3285.79MB, minor=1011154.75MB, major=8317.62MB, promoted=8261.46MB
    minor collections=482192  major collections=43 compactions=0


runtime: 00:12:12.848
vars: 498303, evals: 1159172

|rho|=498303
|stable|=498303
|infl|=487353
|wpoint|=2
|sides|=6047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491912
|called|=10952
Found 5775 contexts for 39 functions. Top 5 functions:
5463	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 (4477) 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=1021965.22MB, max=3285.79MB, minor=1021908.92MB, major=8384.74MB, promoted=8328.44MB
    minor collections=487320  major collections=43 compactions=0


runtime: 00:12:22.858
vars: 501723, evals: 1167120

|rho|=501723
|stable|=501723
|infl|=490699
|wpoint|=2
|sides|=6085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=495294
|called|=11029
Found 5813 contexts for 39 functions. Top 5 functions:
5501	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 (4477) 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=1032730.07MB, max=3285.79MB, minor=1032673.56MB, major=8451.85MB, promoted=8395.35MB
    minor collections=492453  major collections=43 compactions=0


runtime: 00:12:32.874
vars: 505078, evals: 1174970

|rho|=505078
|stable|=505076
|infl|=493979
|wpoint|=2
|sides|=6122
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498612
|called|=11105
Found 5850 contexts for 39 functions. Top 5 functions:
5538	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 (4477) 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=1043488.64MB, max=3285.79MB, minor=1043431.93MB, major=8518.72MB, promoted=8462.00MB
    minor collections=497583  major collections=43 compactions=0


runtime: 00:12:42.885
vars: 508293, evals: 1182413

|rho|=508293
|stable|=508293
|infl|=497126
|wpoint|=2
|sides|=6158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501791
|called|=11174
Found 5886 contexts for 39 functions. Top 5 functions:
5574	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 (4477) 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=1054013.44MB, max=3285.79MB, minor=1053956.45MB, major=8582.49MB, promoted=8525.50MB
    minor collections=502602  major collections=44 compactions=0


runtime: 00:12:52.900
vars: 511443, evals: 1189722

|rho|=511443
|stable|=511443
|infl|=500206
|wpoint|=2
|sides|=6193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=504906
|called|=11246
Found 5921 contexts for 39 functions. Top 5 functions:
5609	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 (4477) 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=1064442.82MB, max=3285.79MB, minor=1064385.56MB, major=8645.69MB, promoted=8588.42MB
    minor collections=507575  major collections=44 compactions=0


runtime: 00:13:02.924
vars: 514562, evals: 1196970

|rho|=514562
|stable|=514562
|infl|=503253
|wpoint|=0
|sides|=6228
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=507990
|called|=11309
Found 5956 contexts for 39 functions. Top 5 functions:
5644	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 (4477) 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=1074943.56MB, max=3285.79MB, minor=1074885.96MB, major=8708.22MB, promoted=8650.62MB
    minor collections=512582  major collections=44 compactions=0


runtime: 00:13:12.939
vars: 517622, evals: 1204076

|rho|=517622
|stable|=517622
|infl|=506247
|wpoint|=0
|sides|=6262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511016
|called|=11375
Found 5990 contexts for 39 functions. Top 5 functions:
5678	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 (4477) 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=1085337.34MB, max=3285.79MB, minor=1085279.41MB, major=8771.36MB, promoted=8713.43MB
    minor collections=517538  major collections=44 compactions=0


runtime: 00:13:22.958
vars: 520648, evals: 1211148

|rho|=520648
|stable|=520647
|infl|=509203
|wpoint|=1
|sides|=6295
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514009
|called|=11448
Found 6023 contexts for 39 functions. Top 5 functions:
5711	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 (4477) 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=1095791.95MB, max=3285.79MB, minor=1095733.67MB, major=8833.20MB, promoted=8774.92MB
    minor collections=522524  major collections=44 compactions=0


runtime: 00:13:33.033
vars: 523593, evals: 1217901

|rho|=523593
|stable|=523593
|infl|=512080
|wpoint|=2
|sides|=6328
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=516921
|called|=11515
Found 6056 contexts for 39 functions. Top 5 functions:
5744	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 (4477) 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=1105887.96MB, max=3285.79MB, minor=1105829.32MB, major=8892.51MB, promoted=8833.87MB
    minor collections=527338  major collections=44 compactions=0


runtime: 00:13:43.124
vars: 526383, evals: 1224386

|rho|=526383
|stable|=526383
|infl|=514814
|wpoint|=1
|sides|=6359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=519680
|called|=11570
Found 6087 contexts for 39 functions. Top 5 functions:
5775	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 (4477) 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=1115742.73MB, max=3285.79MB, minor=1115666.95MB, major=8966.84MB, promoted=8891.06MB
    minor collections=532032  major collections=44 compactions=0


runtime: 00:13:53.207
vars: 529288, evals: 1231207

|rho|=529288
|stable|=529286
|infl|=517651
|wpoint|=2
|sides|=6391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=522553
|called|=11642
Found 6119 contexts for 39 functions. Top 5 functions:
5807	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 (4477) 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=1126130.27MB, max=3285.79MB, minor=1126054.10MB, major=9027.81MB, promoted=8951.64MB
    minor collections=536985  major collections=44 compactions=0


runtime: 00:14:03.291
vars: 532053, evals: 1237565

|rho|=532053
|stable|=532053
|infl|=520358
|wpoint|=1
|sides|=6422
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525287
|called|=11706
Found 6150 contexts for 39 functions. Top 5 functions:
5838	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 (4477) 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=1135899.35MB, max=3285.79MB, minor=1135814.42MB, major=9092.54MB, promoted=9007.61MB
    minor collections=541640  major collections=44 compactions=0


runtime: 00:14:13.369
vars: 535539, evals: 1245674

|rho|=535539
|stable|=535539
|infl|=523768
|wpoint|=0
|sides|=6461
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=528734
|called|=11771
Found 6189 contexts for 39 functions. Top 5 functions:
5877	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 (4477) 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=1145627.46MB, max=3285.79MB, minor=1145542.50MB, major=9157.32MB, promoted=9072.36MB
    minor collections=546278  major collections=44 compactions=0


runtime: 00:14:23.384
vars: 538828, evals: 1253365

|rho|=538828
|stable|=538826
|infl|=526979
|wpoint|=1
|sides|=6497
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=531987
|called|=11851
Found 6225 contexts for 39 functions. Top 5 functions:
5913	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 (4477) 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=1155273.53MB, max=3285.79MB, minor=1155180.17MB, major=9227.98MB, promoted=9134.62MB
    minor collections=550875  major collections=44 compactions=0


runtime: 00:14:33.399
vars: 542223, evals: 1261170

|rho|=542223
|stable|=542223
|infl|=530299
|wpoint|=2
|sides|=6535
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535344
|called|=11929
Found 6263 contexts for 39 functions. Top 5 functions:
5951	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 (4477) 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=1165412.05MB, max=3285.79MB, minor=1165318.64MB, major=9292.14MB, promoted=9198.72MB
    minor collections=555709  major collections=44 compactions=0


runtime: 00:14:43.415
vars: 545463, evals: 1268730

|rho|=545463
|stable|=545463
|infl|=533470
|wpoint|=1
|sides|=6571
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=538548
|called|=11997
Found 6299 contexts for 39 functions. Top 5 functions:
5987	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 (4477) 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=1175574.03MB, max=3285.79MB, minor=1175480.55MB, major=9355.58MB, promoted=9262.10MB
    minor collections=560555  major collections=44 compactions=0


runtime: 00:14:53.429
vars: 548597, evals: 1275987

|rho|=548597
|stable|=548597
|infl|=536532
|wpoint|=0
|sides|=6606
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=541647
|called|=12065
Found 6334 contexts for 39 functions. Top 5 functions:
6022	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 (4477) 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=1185582.13MB, max=3285.79MB, minor=1185488.55MB, major=9416.92MB, promoted=9323.34MB
    minor collections=565327  major collections=44 compactions=0

