./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 --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c


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


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

runtime: 00:00:10.231
vars: 20608, evals: 49907

|rho|=20608
|stable|=20606
|infl|=20275
|wpoint|=2
|sides|=739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19525
|called|=339
Found 467 contexts for 39 functions. Top 5 functions:
155	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=22743.75MB, max=151.80MB, minor=22738.87MB, major=326.47MB, promoted=321.58MB
    minor collections=10852  major collections=21 compactions=0


runtime: 00:00:20.329
vars: 39688, evals: 94215

|rho|=39688
|stable|=39686
|infl|=38931
|wpoint|=2
|sides|=951
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38393
|called|=762
Found 679 contexts for 39 functions. Top 5 functions:
367	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=43329.05MB, max=265.50MB, minor=43321.83MB, major=593.17MB, promoted=585.95MB
    minor collections=20669  major collections=25 compactions=0


runtime: 00:00:30.392
vars: 57303, evals: 135124

|rho|=57303
|stable|=57301
|infl|=56158
|wpoint|=1
|sides|=1147
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55812
|called|=1155
Found 875 contexts for 39 functions. Top 5 functions:
563	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=63765.53MB, max=351.13MB, minor=63758.03MB, major=841.61MB, promoted=834.11MB
    minor collections=30415  major collections=27 compactions=0


runtime: 00:00:40.495
vars: 72783, evals: 171080

|rho|=72783
|stable|=72783
|infl|=71296
|wpoint|=0
|sides|=1319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71120
|called|=1487
Found 1047 contexts for 39 functions. Top 5 functions:
735	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=83026.29MB, max=464.37MB, minor=83014.31MB, major=1069.17MB, promoted=1057.19MB
    minor collections=39598  major collections=29 compactions=0


runtime: 00:00:50.553
vars: 87208, evals: 204559

|rho|=87208
|stable|=87206
|infl|=85395
|wpoint|=2
|sides|=1479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85385
|called|=1816
Found 1207 contexts for 39 functions. Top 5 functions:
895	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=101696.99MB, max=534.03MB, minor=101684.76MB, major=1278.86MB, promoted=1266.63MB
    minor collections=48502  major collections=30 compactions=0


runtime: 00:01:00.624
vars: 101428, evals: 237621

|rho|=101428
|stable|=101426
|infl|=99299
|wpoint|=2
|sides|=1637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99447
|called|=2134
Found 1365 contexts for 39 functions. Top 5 functions:
1053	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=121108.63MB, max=614.13MB, minor=121096.06MB, major=1488.55MB, promoted=1475.98MB
    minor collections=57758  major collections=31 compactions=0


runtime: 00:01:10.691
vars: 114543, evals: 267996

|rho|=114543
|stable|=114543
|infl|=112121
|wpoint|=2
|sides|=1783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112416
|called|=2424
Found 1511 contexts for 39 functions. Top 5 functions:
1199	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=139887.74MB, max=706.25MB, minor=139874.85MB, major=1683.84MB, promoted=1670.95MB
    minor collections=66713  major collections=32 compactions=0


runtime: 00:01:20.713
vars: 126873, evals: 296689

|rho|=126873
|stable|=126873
|infl|=124182
|wpoint|=2
|sides|=1920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124609
|called|=2697
Found 1648 contexts for 39 functions. Top 5 functions:
1336	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=158210.43MB, max=812.19MB, minor=158197.26MB, major=1871.26MB, promoted=1858.09MB
    minor collections=75451  major collections=33 compactions=0


runtime: 00:01:30.764
vars: 138843, evals: 324468

|rho|=138843
|stable|=138843
|infl|=135886
|wpoint|=2
|sides|=2053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136446
|called|=2965
Found 1781 contexts for 39 functions. Top 5 functions:
1469	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=176414.29MB, max=934.02MB, minor=176392.43MB, major=2061.80MB, promoted=2039.93MB
    minor collections=84129  major collections=33 compactions=0


runtime: 00:01:40.819
vars: 150120, evals: 350698

|rho|=150120
|stable|=150120
|infl|=146915
|wpoint|=0
|sides|=2178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147598
|called|=3205
Found 1906 contexts for 39 functions. Top 5 functions:
1594	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=194706.11MB, max=934.02MB, minor=194683.86MB, major=2237.58MB, promoted=2215.32MB
    minor collections=92852  major collections=34 compactions=0


runtime: 00:01:50.837
vars: 161348, evals: 376741

|rho|=161348
|stable|=161348
|infl|=157890
|wpoint|=0
|sides|=2303
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158701
|called|=3458
Found 2031 contexts for 39 functions. Top 5 functions:
1719	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=212611.96MB, max=934.02MB, minor=212589.47MB, major=2412.08MB, promoted=2389.58MB
    minor collections=101390  major collections=35 compactions=0


runtime: 00:02:00.904
vars: 171423, evals: 400108

|rho|=171423
|stable|=171423
|infl|=167742
|wpoint|=2
|sides|=2415
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168664
|called|=3689
Found 2143 contexts for 39 functions. Top 5 functions:
1831	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=230289.99MB, max=1074.12MB, minor=230267.07MB, major=2571.80MB, promoted=2548.88MB
    minor collections=109820  major collections=35 compactions=0


runtime: 00:02:10.931
vars: 181773, evals: 424155

|rho|=181773
|stable|=181773
|infl|=177862
|wpoint|=2
|sides|=2530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178899
|called|=3921
Found 2258 contexts for 39 functions. Top 5 functions:
1946	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=247468.27MB, max=1074.12MB, minor=247445.16MB, major=2732.62MB, promoted=2709.51MB
    minor collections=118011  major collections=35 compactions=0


runtime: 00:02:20.973
vars: 191113, evals: 445835

|rho|=191113
|stable|=191113
|infl|=186996
|wpoint|=0
|sides|=2634
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188135
|called|=4117
Found 2362 contexts for 39 functions. Top 5 functions:
2050	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=264454.59MB, max=1235.24MB, minor=264431.04MB, major=2883.30MB, promoted=2859.74MB
    minor collections=126111  major collections=36 compactions=0


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

|rho|=200403
|stable|=200403
|infl|=196078
|wpoint|=1
|sides|=2737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=197322
|called|=4327
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=281186.22MB, max=1235.24MB, minor=281162.37MB, major=3032.65MB, promoted=3008.80MB
    minor collections=134089  major collections=36 compactions=0


runtime: 00:02:41.063
vars: 209328, evals: 488147

|rho|=209328
|stable|=209327
|infl|=204799
|wpoint|=0
|sides|=2836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206147
|called|=4528
Found 2564 contexts for 39 functions. Top 5 functions:
2252	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=297527.02MB, max=1235.24MB, minor=297502.92MB, major=3177.48MB, promoted=3153.39MB
    minor collections=141882  major collections=37 compactions=0


runtime: 00:02:51.081
vars: 217438, evals: 507022

|rho|=217438
|stable|=217436
|infl|=212731
|wpoint|=2
|sides|=2926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214168
|called|=4710
Found 2654 contexts for 39 functions. Top 5 functions:
2342	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=313425.52MB, max=1420.53MB, minor=313401.04MB, major=3312.17MB, promoted=3287.69MB
    minor collections=149463  major collections=37 compactions=0


runtime: 00:03:01.176
vars: 225538, evals: 525820

|rho|=225538
|stable|=225536
|infl|=220651
|wpoint|=1
|sides|=3016
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222178
|called|=4889
Found 2744 contexts for 39 functions. Top 5 functions:
2432	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=329261.57MB, max=1420.53MB, minor=329236.74MB, major=3445.68MB, promoted=3420.85MB
    minor collections=157014  major collections=37 compactions=0


runtime: 00:03:11.190
vars: 233703, evals: 544754

|rho|=233703
|stable|=233703
|infl|=228638
|wpoint|=2
|sides|=3107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230252
|called|=5075
Found 2835 contexts for 39 functions. Top 5 functions:
2523	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=344572.74MB, max=1420.53MB, minor=344547.75MB, major=3578.20MB, promoted=3553.22MB
    minor collections=164315  major collections=37 compactions=0


runtime: 00:03:21.201
vars: 241408, evals: 562651

|rho|=241408
|stable|=241408
|infl|=236173
|wpoint|=0
|sides|=3193
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237871
|called|=5235
Found 2921 contexts for 39 functions. Top 5 functions:
2609	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=360251.11MB, max=1420.53MB, minor=360225.79MB, major=3706.69MB, promoted=3681.38MB
    minor collections=171791  major collections=38 compactions=0


runtime: 00:03:31.239
vars: 248436, evals: 578961

|rho|=248436
|stable|=248436
|infl|=243044
|wpoint|=0
|sides|=3271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244821
|called|=5392
Found 2999 contexts for 39 functions. Top 5 functions:
2687	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=375233.63MB, max=1633.61MB, minor=375207.91MB, major=3825.95MB, promoted=3800.23MB
    minor collections=178936  major collections=38 compactions=0


runtime: 00:03:41.314
vars: 255238, evals: 594792

|rho|=255238
|stable|=255238
|infl|=249691
|wpoint|=1
|sides|=3346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251548
|called|=5547
Found 3074 contexts for 39 functions. Top 5 functions:
2762	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=389515.70MB, max=1633.61MB, minor=389489.63MB, major=3940.51MB, promoted=3914.44MB
    minor collections=185746  major collections=38 compactions=0


runtime: 00:03:51.336
vars: 262413, evals: 611407

|rho|=262413
|stable|=262413
|infl|=256710
|wpoint|=2
|sides|=3426
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258643
|called|=5713
Found 3154 contexts for 39 functions. Top 5 functions:
2842	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=403499.07MB, max=1633.61MB, minor=403464.50MB, major=4066.58MB, promoted=4032.02MB
    minor collections=192412  major collections=38 compactions=0


runtime: 00:04:01.354
vars: 268983, evals: 626682

|rho|=268983
|stable|=268983
|infl|=263134
|wpoint|=2
|sides|=3499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265140
|called|=5859
Found 3227 contexts for 39 functions. Top 5 functions:
2915	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=417450.68MB, max=1633.61MB, minor=417407.49MB, major=4187.29MB, promoted=4144.10MB
    minor collections=199063  major collections=39 compactions=0


runtime: 00:04:11.381
vars: 275463, evals: 641694

|rho|=275463
|stable|=275463
|infl|=269467
|wpoint|=2
|sides|=3571
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=271548
|called|=6001
Found 3299 contexts for 39 functions. Top 5 functions:
2987	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=431781.02MB, max=1633.61MB, minor=431737.48MB, major=4297.73MB, promoted=4254.18MB
    minor collections=205897  major collections=39 compactions=0


runtime: 00:04:21.455
vars: 281223, evals: 655084

|rho|=281223
|stable|=281219
|infl|=275102
|wpoint|=2
|sides|=3635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=277244
|called|=6127
Found 3363 contexts for 39 functions. Top 5 functions:
3051	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (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=445055.04MB, max=1878.66MB, minor=445011.12MB, major=4398.22MB, promoted=4354.30MB
    minor collections=212226  major collections=39 compactions=0


runtime: 00:04:31.546
vars: 287793, evals: 670381

|rho|=287793
|stable|=287793
|infl|=281526
|wpoint|=0
|sides|=3708
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=283741
|called|=6267
Found 3436 contexts for 39 functions. Top 5 functions:
3124	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=459774.69MB, max=1878.66MB, minor=459730.41MB, major=4511.72MB, promoted=4467.45MB
    minor collections=219245  major collections=39 compactions=0


runtime: 00:04:41.561
vars: 294748, evals: 686504

|rho|=294748
|stable|=294737
|infl|=288323
|wpoint|=1
|sides|=3785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290619
|called|=6426
Found 3513 contexts for 39 functions. Top 5 functions:
3201	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=474143.50MB, max=1878.66MB, minor=474099.11MB, major=4628.15MB, promoted=4583.76MB
    minor collections=226097  major collections=39 compactions=0


runtime: 00:04:51.571
vars: 301293, evals: 701725

|rho|=301293
|stable|=301293
|infl|=294726
|wpoint|=2
|sides|=3858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=297091
|called|=6574
Found 3586 contexts for 39 functions. Top 5 functions:
3274	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=488870.40MB, max=1878.66MB, minor=488825.78MB, major=4741.12MB, promoted=4696.49MB
    minor collections=233119  major collections=39 compactions=0


runtime: 00:05:01.581
vars: 307528, evals: 716191

|rho|=307528
|stable|=307526
|infl|=300819
|wpoint|=2
|sides|=3927
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=303257
|called|=6718
Found 3655 contexts for 39 functions. Top 5 functions:
3343	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=503445.99MB, max=1878.66MB, minor=503401.04MB, major=4849.32MB, promoted=4804.37MB
    minor collections=240070  major collections=40 compactions=0


runtime: 00:05:11.616
vars: 313307, evals: 729631

|rho|=313307
|stable|=313307
|infl|=306475
|wpoint|=0
|sides|=3992
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=308971
|called|=6832
Found 3720 contexts for 39 functions. Top 5 functions:
3408	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=517596.97MB, max=1878.66MB, minor=517551.62MB, major=4952.11MB, promoted=4906.76MB
    minor collections=246817  major collections=40 compactions=0


runtime: 00:05:21.719
vars: 318753, evals: 742235

|rho|=318753
|stable|=318753
|infl|=311798
|wpoint|=2
|sides|=4052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=314357
|called|=6965
Found 3780 contexts for 39 functions. Top 5 functions:
3468	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=531159.22MB, max=1878.66MB, minor=531113.43MB, major=5049.35MB, promoted=5003.56MB
    minor collections=253284  major collections=40 compactions=0


runtime: 00:05:31.801
vars: 324538, evals: 755738

|rho|=324538
|stable|=324538
|infl|=317451
|wpoint|=1
|sides|=4116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=320078
|called|=7088
Found 3844 contexts for 39 functions. Top 5 functions:
3532	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=544968.23MB, max=2160.46MB, minor=544922.05MB, major=5151.85MB, promoted=5105.67MB
    minor collections=259869  major collections=40 compactions=0


runtime: 00:05:41.812
vars: 330748, evals: 770121

|rho|=330748
|stable|=330746
|infl|=323523
|wpoint|=2
|sides|=4185
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=326219
|called|=7230
Found 3913 contexts for 39 functions. Top 5 functions:
3601	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=558613.57MB, max=2160.46MB, minor=558567.32MB, major=5257.83MB, promoted=5211.57MB
    minor collections=266375  major collections=40 compactions=0


runtime: 00:05:51.826
vars: 336508, evals: 783493

|rho|=336508
|stable|=336506
|infl|=329155
|wpoint|=2
|sides|=4249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=331915
|called|=7358
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=572175.04MB, max=2160.46MB, minor=572128.60MB, major=5358.94MB, promoted=5312.50MB
    minor collections=272842  major collections=40 compactions=0


runtime: 00:06:01.841
vars: 342153, evals: 796617

|rho|=342153
|stable|=342153
|infl|=334678
|wpoint|=2
|sides|=4312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=337497
|called|=7480
Found 4040 contexts for 39 functions. Top 5 functions:
3728	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=586092.00MB, max=2160.46MB, minor=586045.30MB, major=5459.65MB, promoted=5412.95MB
    minor collections=279479  major collections=41 compactions=0


runtime: 00:06:11.855
vars: 347578, evals: 809216

|rho|=347578
|stable|=347572
|infl|=339979
|wpoint|=2
|sides|=4372
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=342862
|called|=7605
Found 4100 contexts for 39 functions. Top 5 functions:
3788	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=599857.41MB, max=2160.46MB, minor=599810.35MB, major=5557.54MB, promoted=5510.48MB
    minor collections=286042  major collections=41 compactions=0


runtime: 00:06:21.870
vars: 352708, evals: 821113

|rho|=352708
|stable|=352706
|infl|=344995
|wpoint|=2
|sides|=4429
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347935
|called|=7719
Found 4157 contexts for 39 functions. Top 5 functions:
3845	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=613283.39MB, max=2160.46MB, minor=613235.93MB, major=5651.38MB, promoted=5603.92MB
    minor collections=292444  major collections=41 compactions=0


runtime: 00:06:31.965
vars: 357633, evals: 832547

|rho|=357633
|stable|=357633
|infl|=349814
|wpoint|=2
|sides|=4484
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=352805
|called|=7829
Found 4212 contexts for 39 functions. Top 5 functions:
3900	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=626497.63MB, max=2160.46MB, minor=626449.75MB, major=5742.70MB, promoted=5694.82MB
    minor collections=298745  major collections=41 compactions=0


runtime: 00:06:42.042
vars: 362403, evals: 843618

|rho|=362403
|stable|=362403
|infl|=354478
|wpoint|=2
|sides|=4537
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=357522
|called|=7933
Found 4265 contexts for 39 functions. Top 5 functions:
3953	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=639532.19MB, max=2484.53MB, minor=639483.86MB, major=5832.52MB, promoted=5784.19MB
    minor collections=304961  major collections=41 compactions=0


runtime: 00:06:52.097
vars: 367866, evals: 856304

|rho|=367866
|stable|=367866
|infl|=359817
|wpoint|=0
|sides|=4598
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=362924
|called|=8049
Found 4326 contexts for 39 functions. Top 5 functions:
4014	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=651912.97MB, max=2484.53MB, minor=651864.59MB, major=5927.03MB, promoted=5878.65MB
    minor collections=310864  major collections=41 compactions=0


runtime: 00:07:02.107
vars: 373203, evals: 868698

|rho|=373203
|stable|=373203
|infl|=365038
|wpoint|=1
|sides|=4657
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=368202
|called|=8177
Found 4385 contexts for 39 functions. Top 5 functions:
4073	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=664759.60MB, max=2484.53MB, minor=664711.13MB, major=6020.35MB, promoted=5971.87MB
    minor collections=316990  major collections=41 compactions=0


runtime: 00:07:12.126
vars: 378331, evals: 880573

|rho|=378331
|stable|=378331
|infl|=370040
|wpoint|=0
|sides|=4714
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=373273
|called|=8291
Found 4442 contexts for 39 functions. Top 5 functions:
4130	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=677685.79MB, max=2484.53MB, minor=677637.00MB, major=6112.20MB, promoted=6063.41MB
    minor collections=323154  major collections=41 compactions=0


runtime: 00:07:22.137
vars: 383283, evals: 892076

|rho|=383283
|stable|=383283
|infl|=374891
|wpoint|=2
|sides|=4769
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=378170
|called|=8395
Found 4497 contexts for 39 functions. Top 5 functions:
4185	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=690719.19MB, max=2484.53MB, minor=690670.16MB, major=6202.69MB, promoted=6153.65MB
    minor collections=329368  major collections=41 compactions=0


runtime: 00:07:32.151
vars: 387963, evals: 902956

|rho|=387963
|stable|=387963
|infl|=379470
|wpoint|=2
|sides|=4821
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=382798
|called|=8500
Found 4549 contexts for 39 functions. Top 5 functions:
4237	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=703427.12MB, max=2484.53MB, minor=703377.76MB, major=6289.58MB, promoted=6240.23MB
    minor collections=335429  major collections=42 compactions=0


runtime: 00:07:42.166
vars: 392490, evals: 913535

|rho|=392490
|stable|=392490
|infl|=383895
|wpoint|=0
|sides|=4871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=387275
|called|=8595
Found 4599 contexts for 39 functions. Top 5 functions:
4287	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=716133.00MB, max=2484.53MB, minor=716083.29MB, major=6375.30MB, promoted=6325.58MB
    minor collections=341487  major collections=42 compactions=0


runtime: 00:07:52.204
vars: 396898, evals: 923740

|rho|=396898
|stable|=396896
|infl|=388203
|wpoint|=2
|sides|=4920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391634
|called|=8701
Found 4648 contexts for 39 functions. Top 5 functions:
4336	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=728615.78MB, max=2484.53MB, minor=728565.67MB, major=6458.43MB, promoted=6408.32MB
    minor collections=347439  major collections=42 compactions=0


runtime: 00:08:02.275
vars: 401218, evals: 933768

|rho|=401218
|stable|=401216
|infl|=392427
|wpoint|=2
|sides|=4968
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=395906
|called|=8797
Found 4696 contexts for 39 functions. Top 5 functions:
4384	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=741112.05MB, max=2484.53MB, minor=741061.54MB, major=6540.70MB, promoted=6490.19MB
    minor collections=353398  major collections=42 compactions=0


runtime: 00:08:12.366
vars: 405423, evals: 943484

|rho|=405423
|stable|=405423
|infl|=396537
|wpoint|=2
|sides|=5015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=400064
|called|=8888
Found 4743 contexts for 39 functions. Top 5 functions:
4431	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=753487.71MB, max=2484.53MB, minor=753436.77MB, major=6622.14MB, promoted=6571.20MB
    minor collections=359299  major collections=42 compactions=0


runtime: 00:08:22.433
vars: 410346, evals: 954952

|rho|=410346
|stable|=410346
|infl|=401353
|wpoint|=0
|sides|=5070
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=404932
|called|=8993
Found 4798 contexts for 39 functions. Top 5 functions:
4486	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=765829.63MB, max=2857.21MB, minor=765778.55MB, major=6710.63MB, promoted=6659.56MB
    minor collections=365184  major collections=42 compactions=0


runtime: 00:08:32.447
vars: 415143, evals: 966098

|rho|=415143
|stable|=415143
|infl|=406046
|wpoint|=2
|sides|=5123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=409676
|called|=9102
Found 4851 contexts for 39 functions. Top 5 functions:
4539	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=777840.08MB, max=2857.21MB, minor=777788.95MB, major=6796.46MB, promoted=6745.34MB
    minor collections=370911  major collections=42 compactions=0


runtime: 00:08:42.458
vars: 419684, evals: 976667

|rho|=419684
|stable|=419684
|infl|=410478
|wpoint|=0
|sides|=5173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=414167
|called|=9206
Found 4901 contexts for 39 functions. Top 5 functions:
4589	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=789911.39MB, max=2857.21MB, minor=789860.15MB, major=6880.08MB, promoted=6828.84MB
    minor collections=376667  major collections=42 compactions=0


runtime: 00:08:52.472
vars: 424108, evals: 986921

|rho|=424108
|stable|=424108
|infl|=414810
|wpoint|=0
|sides|=5223
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=418541
|called|=9298
Found 4951 contexts for 39 functions. Top 5 functions:
4639	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=802108.61MB, max=2857.21MB, minor=802057.18MB, major=6962.55MB, promoted=6911.13MB
    minor collections=382483  major collections=42 compactions=0


runtime: 00:09:02.483
vars: 428436, evals: 996961

|rho|=428436
|stable|=428436
|infl|=419041
|wpoint|=0
|sides|=5271
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422821
|called|=9395
Found 4999 contexts for 39 functions. Top 5 functions:
4687	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=814398.15MB, max=2857.21MB, minor=814346.47MB, major=7043.32MB, promoted=6991.64MB
    minor collections=388343  major collections=42 compactions=0


runtime: 00:09:12.493
vars: 432374, evals: 1006136

|rho|=432374
|stable|=432374
|infl|=422892
|wpoint|=0
|sides|=5314
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=426716
|called|=9482
Found 5042 contexts for 39 functions. Top 5 functions:
4730	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=825988.32MB, max=2857.21MB, minor=825936.36MB, major=7119.24MB, promoted=7067.27MB
    minor collections=393871  major collections=43 compactions=0


runtime: 00:09:22.512
vars: 436359, evals: 1015356

|rho|=436359
|stable|=436359
|infl|=426790
|wpoint|=0
|sides|=5359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=430656
|called|=9569
Found 5087 contexts for 39 functions. Top 5 functions:
4775	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=837822.87MB, max=2857.21MB, minor=837770.57MB, major=7196.18MB, promoted=7143.88MB
    minor collections=399514  major collections=43 compactions=0


runtime: 00:09:32.522
vars: 440161, evals: 1024156

|rho|=440161
|stable|=440161
|infl|=430496
|wpoint|=0
|sides|=5401
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=434416
|called|=9665
Found 5129 contexts for 39 functions. Top 5 functions:
4817	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=849313.49MB, max=2857.21MB, minor=849260.84MB, major=7270.60MB, promoted=7217.95MB
    minor collections=404993  major collections=43 compactions=0


runtime: 00:09:42.557
vars: 443943, evals: 1032936

|rho|=443943
|stable|=443943
|infl|=434200
|wpoint|=2
|sides|=5443
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=438156
|called|=9745
Found 5171 contexts for 39 functions. Top 5 functions:
4859	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=860980.31MB, max=2857.21MB, minor=860927.27MB, major=7343.15MB, promoted=7290.11MB
    minor collections=410556  major collections=43 compactions=0


runtime: 00:09:52.639
vars: 447688, evals: 1041679

|rho|=447688
|stable|=447688
|infl|=437862
|wpoint|=0
|sides|=5485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=441859
|called|=9826
Found 5213 contexts for 39 functions. Top 5 functions:
4901	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=872699.58MB, max=2857.21MB, minor=872646.13MB, major=7416.88MB, promoted=7363.43MB
    minor collections=416144  major collections=43 compactions=0


runtime: 00:10:02.718
vars: 451288, evals: 1050039

|rho|=451288
|stable|=451288
|infl|=441385
|wpoint|=0
|sides|=5525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=445419
|called|=9903
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=884191.90MB, max=2857.21MB, minor=884138.03MB, major=7488.54MB, promoted=7434.66MB
    minor collections=421624  major collections=43 compactions=0


runtime: 00:10:12.820
vars: 455103, evals: 1058894

|rho|=455103
|stable|=455103
|infl|=445118
|wpoint|=1
|sides|=5567
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449192
|called|=9988
Found 5295 contexts for 39 functions. Top 5 functions:
4983	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=895517.98MB, max=2857.21MB, minor=895463.79MB, major=7561.57MB, promoted=7507.38MB
    minor collections=427024  major collections=43 compactions=0


runtime: 00:10:22.870
vars: 459513, evals: 1069129

|rho|=459513
|stable|=459513
|infl|=449430
|wpoint|=2
|sides|=5616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=453553
|called|=10093
Found 5344 contexts for 39 functions. Top 5 functions:
5032	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=906793.40MB, max=2857.21MB, minor=906739.19MB, major=7641.42MB, promoted=7587.21MB
    minor collections=432401  major collections=43 compactions=0


runtime: 00:10:32.885
vars: 463618, evals: 1078672

|rho|=463618
|stable|=463618
|infl|=453438
|wpoint|=0
|sides|=5662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=457612
|called|=10180
Found 5390 contexts for 39 functions. Top 5 functions:
5078	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=917934.80MB, max=2857.21MB, minor=917880.54MB, major=7717.97MB, promoted=7663.71MB
    minor collections=437714  major collections=43 compactions=0


runtime: 00:10:42.900
vars: 467548, evals: 1087823

|rho|=467548
|stable|=467548
|infl|=457283
|wpoint|=1
|sides|=5705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=461499
|called|=10267
Found 5433 contexts for 39 functions. Top 5 functions:
5121	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=929065.56MB, max=2857.21MB, minor=929011.20MB, major=7791.72MB, promoted=7737.36MB
    minor collections=443021  major collections=43 compactions=0


runtime: 00:10:52.910
vars: 471303, evals: 1096488

|rho|=471303
|stable|=471301
|infl|=460958
|wpoint|=1
|sides|=5747
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=465212
|called|=10355
Found 5475 contexts for 39 functions. Top 5 functions:
5163	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=940018.06MB, max=2857.21MB, minor=939963.56MB, major=7862.94MB, promoted=7808.44MB
    minor collections=448244  major collections=43 compactions=0


runtime: 00:11:02.924
vars: 475034, evals: 1105202

|rho|=475034
|stable|=475034
|infl|=464597
|wpoint|=0
|sides|=5788
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=468902
|called|=10437
Found 5516 contexts for 39 functions. Top 5 functions:
5204	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=951281.47MB, max=2857.21MB, minor=951226.78MB, major=7934.56MB, promoted=7879.86MB
    minor collections=453615  major collections=43 compactions=0


runtime: 00:11:12.935
vars: 478618, evals: 1113524

|rho|=478618
|stable|=478616
|infl|=468107
|wpoint|=2
|sides|=5828
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=472446
|called|=10520
Found 5556 contexts for 39 functions. Top 5 functions:
5244	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=962392.95MB, max=2857.21MB, minor=962338.02MB, major=8003.90MB, promoted=7948.97MB
    minor collections=458914  major collections=44 compactions=0


runtime: 00:11:22.949
vars: 481966, evals: 1121297

|rho|=481966
|stable|=481966
|infl|=471386
|wpoint|=0
|sides|=5865
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=475757
|called|=10580
Found 5593 contexts for 39 functions. Top 5 functions:
5281	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=972908.83MB, max=2857.21MB, minor=972853.63MB, major=8069.92MB, promoted=8014.72MB
    minor collections=463928  major collections=44 compactions=0


runtime: 00:11:32.968
vars: 485433, evals: 1129309

|rho|=485433
|stable|=485433
|infl|=474774
|wpoint|=1
|sides|=5904
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=479185
|called|=10661
Found 5632 contexts for 39 functions. Top 5 functions:
5320	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=983994.14MB, max=2857.21MB, minor=983938.62MB, major=8138.54MB, promoted=8083.02MB
    minor collections=469214  major collections=44 compactions=0


runtime: 00:11:42.990
vars: 488878, evals: 1137346

|rho|=488878
|stable|=488872
|infl|=478139
|wpoint|=2
|sides|=5942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=482592
|called|=10745
Found 5670 contexts for 39 functions. Top 5 functions:
5358	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=995220.16MB, max=2857.21MB, minor=995164.29MB, major=8207.53MB, promoted=8151.67MB
    minor collections=474567  major collections=44 compactions=0


runtime: 00:11:53.009
vars: 492163, evals: 1144940

|rho|=492163
|stable|=492163
|infl|=481355
|wpoint|=0
|sides|=5979
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=485840
|called|=10808
Found 5707 contexts for 39 functions. Top 5 functions:
5395	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1006053.33MB, max=2857.21MB, minor=1005997.10MB, major=8274.03MB, promoted=8217.80MB
    minor collections=479732  major collections=44 compactions=0


runtime: 00:12:03.067
vars: 495423, evals: 1152538

|rho|=495423
|stable|=495423
|infl|=484542
|wpoint|=1
|sides|=6015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=489064
|called|=10893
Found 5743 contexts for 39 functions. Top 5 functions:
5431	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1016941.36MB, max=2857.21MB, minor=1016884.77MB, major=8340.78MB, promoted=8284.20MB
    minor collections=484924  major collections=44 compactions=0


runtime: 00:12:13.162
vars: 498598, evals: 1159943

|rho|=498598
|stable|=498597
|infl|=487643
|wpoint|=1
|sides|=6050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=492204
|called|=10957
Found 5778 contexts for 39 functions. Top 5 functions:
5466	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1027742.06MB, max=3285.79MB, minor=1027685.06MB, major=8404.97MB, promoted=8347.97MB
    minor collections=490074  major collections=44 compactions=0


runtime: 00:12:23.252
vars: 501703, evals: 1167094

|rho|=501703
|stable|=501703
|infl|=490684
|wpoint|=0
|sides|=6085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=495274
|called|=11019
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=1038284.50MB, max=3285.79MB, minor=1038227.14MB, major=8467.56MB, promoted=8410.20MB
    minor collections=495101  major collections=44 compactions=0


runtime: 00:12:33.307
vars: 504693, evals: 1174029

|rho|=504693
|stable|=504693
|infl|=493606
|wpoint|=1
|sides|=6118
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498231
|called|=11097
Found 5846 contexts for 39 functions. Top 5 functions:
5534	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1048559.08MB, max=3285.79MB, minor=1048501.32MB, major=8528.83MB, promoted=8471.07MB
    minor collections=500000  major collections=44 compactions=0


runtime: 00:12:43.376
vars: 508424, evals: 1182741

|rho|=508424
|stable|=508424
|infl|=497247
|wpoint|=0
|sides|=6159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=501921
|called|=11177
Found 5887 contexts for 39 functions. Top 5 functions:
5575	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1058977.80MB, max=3285.79MB, minor=1058919.96MB, major=8598.19MB, promoted=8540.35MB
    minor collections=504968  major collections=44 compactions=0


runtime: 00:12:53.395
vars: 512116, evals: 1191312

|rho|=512116
|stable|=512116
|infl|=500866
|wpoint|=0
|sides|=6200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=505572
|called|=11250
Found 5928 contexts for 39 functions. Top 5 functions:
5616	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1069352.76MB, max=3285.79MB, minor=1069294.90MB, major=8667.69MB, promoted=8609.82MB
    minor collections=509915  major collections=44 compactions=0


runtime: 00:13:03.409
vars: 515673, evals: 1199569

|rho|=515673
|stable|=515673
|infl|=504342
|wpoint|=1
|sides|=6240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=509089
|called|=11332
Found 5968 contexts for 39 functions. Top 5 functions:
5656	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1079855.38MB, max=3285.79MB, minor=1079797.47MB, major=8735.93MB, promoted=8678.02MB
    minor collections=514924  major collections=44 compactions=0


runtime: 00:13:13.424
vars: 519183, evals: 1207684

|rho|=519183
|stable|=519183
|infl|=507774
|wpoint|=1
|sides|=6279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=512560
|called|=11412
Found 6007 contexts for 39 functions. Top 5 functions:
5695	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1090436.25MB, max=3285.79MB, minor=1090378.25MB, major=8803.17MB, promoted=8745.17MB
    minor collections=519969  major collections=44 compactions=0


runtime: 00:13:23.438
vars: 522513, evals: 1215417

|rho|=522513
|stable|=522513
|infl|=511030
|wpoint|=2
|sides|=6316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=515853
|called|=11491
Found 6044 contexts for 39 functions. Top 5 functions:
5732	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1100868.88MB, max=3285.79MB, minor=1100810.75MB, major=8868.54MB, promoted=8810.41MB
    minor collections=524944  major collections=44 compactions=0


runtime: 00:13:33.452
vars: 525615, evals: 1222661

|rho|=525615
|stable|=525615
|infl|=514062
|wpoint|=0
|sides|=6350
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518921
|called|=11553
Found 6078 contexts for 39 functions. Top 5 functions:
5766	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1110922.09MB, max=3285.79MB, minor=1110847.02MB, major=8947.50MB, promoted=8872.43MB
    minor collections=529733  major collections=44 compactions=0


runtime: 00:13:43.463
vars: 528872, evals: 1230201

|rho|=528872
|stable|=528872
|infl|=517249
|wpoint|=0
|sides|=6387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=522141
|called|=11623
Found 6115 contexts for 39 functions. Top 5 functions:
5803	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1121558.17MB, max=3285.79MB, minor=1121482.91MB, major=9011.88MB, promoted=8936.61MB
    minor collections=534804  major collections=44 compactions=0


runtime: 00:13:53.485
vars: 531963, evals: 1237380

|rho|=531963
|stable|=531963
|infl|=520270
|wpoint|=1
|sides|=6421
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=525198
|called|=11696
Found 6149 contexts for 39 functions. Top 5 functions:
5837	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1131877.68MB, max=3285.79MB, minor=1131793.80MB, major=9082.46MB, promoted=8998.59MB
    minor collections=539723  major collections=45 compactions=0


runtime: 00:14:03.515
vars: 535023, evals: 1244498

|rho|=535023
|stable|=535023
|infl|=523262
|wpoint|=1
|sides|=6455
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=528224
|called|=11773
Found 6183 contexts for 39 functions. Top 5 functions:
5871	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1142298.66MB, max=3285.79MB, minor=1142214.51MB, major=9144.87MB, promoted=9060.72MB
    minor collections=544692  major collections=45 compactions=0


runtime: 00:14:13.533
vars: 537928, evals: 1251231

|rho|=537928
|stable|=537926
|infl|=526099
|wpoint|=2
|sides|=6487
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=531097
|called|=11835
Found 6215 contexts for 39 functions. Top 5 functions:
5903	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1152262.58MB, max=3285.79MB, minor=1152169.77MB, major=9212.17MB, promoted=9119.36MB
    minor collections=549440  major collections=45 compactions=0


runtime: 00:14:23.548
vars: 540963, evals: 1258256

|rho|=540963
|stable|=540963
|infl|=529070
|wpoint|=1
|sides|=6521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=534098
|called|=11904
Found 6249 contexts for 39 functions. Top 5 functions:
5937	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1162819.91MB, max=3285.79MB, minor=1162726.80MB, major=9274.95MB, promoted=9181.84MB
    minor collections=554474  major collections=45 compactions=0


runtime: 00:14:33.558
vars: 543843, evals: 1264986

|rho|=543843
|stable|=543843
|infl|=531886
|wpoint|=2
|sides|=6553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=536946
|called|=11964
Found 6281 contexts for 39 functions. Top 5 functions:
5969	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1173045.98MB, max=3285.79MB, minor=1172952.53MB, major=9335.11MB, promoted=9241.67MB
    minor collections=559350  major collections=45 compactions=0


runtime: 00:14:43.578
vars: 546723, evals: 1271638

|rho|=546723
|stable|=546723
|infl|=534702
|wpoint|=2
|sides|=6585
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=539794
|called|=12029
Found 6313 contexts for 39 functions. Top 5 functions:
6001	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1183221.59MB, max=3285.79MB, minor=1183127.80MB, major=9394.38MB, promoted=9300.59MB
    minor collections=564202  major collections=45 compactions=0


runtime: 00:14:53.632
vars: 549513, evals: 1278111

|rho|=549513
|stable|=549513
|infl|=537430
|wpoint|=1
|sides|=6616
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=542553
|called|=12095
Found 6344 contexts for 39 functions. Top 5 functions:
6032	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
33	contexts for L:entry state of tcp_read (1126) 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=1193225.32MB, max=3285.79MB, minor=1193131.17MB, major=9452.59MB, promoted=9358.44MB
    minor collections=568972  major collections=45 compactions=0

