./goblint --conf conf/svcomp.json --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.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:451:3-463:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:959:3-971:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1200:3-1203:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1231:3-1235:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1275:3-1295:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1414:7-1420:7 with factor 5
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1454:9-1479:9 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1503:3-1510:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1532:3-1542:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1548:3-1572:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1642:3-1659:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1682:3-1768:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1775:3-1818:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1873:3-1880:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:1930:3-1934:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2049:3-2053:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2067:3-2077:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2263:5-2269:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2271:5-2281:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2518:3-2523:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2548:3-2552:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2572:5-2585:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2587:5-2600:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2791:5-2800:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2921:5-2933:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3023:5-3026:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3123:3-3176:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3236:5-3242:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3243:5-3249:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3427:3-3445:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3468:7-3477:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3552:3-3561:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3630:5-3651:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3661:5-3677:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3729:3-3738:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4053:3-4071:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4074:3-4104:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4141:5-4150:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4226:5-4238:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4251:5-4258:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4316:3-4325:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4343:5-4356:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4374:3-4396:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4496:3-4513:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4542:5-4549:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4583:3-4592:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4596:5-4645:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4824:3-4872:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5326:7-5330:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5350:5-5353:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5416:5-5446:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5470:3-5517:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5660:3-5666:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5681:3-5698:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5709:3-5719:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5746:3-5764:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5899:3-5907:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5925:5-5939:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5945:5-5951:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5972:3-5983:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5992:3-6000:3 with factor 5
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 150
functionCalls: 1325
loops: 80
loopBreaks: 0
controlFlowStatements: 3957
expressions: 22981
instructions: 3825
integralVars: (7,506)
arrayVars: (3,34)
pointerVars: (5,407)

Complexity estimates:
File: 36230883
function ftp_size is recursive, disable interval and interval_set contexts
Total: 36230883
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.304
vars: 16720, evals: 37816

|rho|=16720
|stable|=16435
|infl|=16691
|wpoint|=42
|sides|=1071
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15383
|called|=44
Found 242 contexts for 35 functions. Top 5 functions:
79	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
19	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
16	contexts for L:entry state of chain_next (4477) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
15	contexts for L:entry state of get_if_ip (1522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
14	contexts for L:entry state of encode_byte (4481) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4290:1-4305:1

Memory statistics: total=24191.16MB, max=151.80MB, minor=24184.83MB, major=326.85MB, promoted=320.51MB
    minor collections=11541  major collections=19 compactions=0


runtime: 00:00:20.326
vars: 23397, evals: 67570

|rho|=23397
|stable|=20916
|infl|=23356
|wpoint|=61
|sides|=1325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21697
|called|=93
Found 354 contexts for 39 functions. Top 5 functions:
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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
15	contexts for L:entry state of get_if_ip (1522) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1

Memory statistics: total=47025.89MB, max=200.75MB, minor=47018.90MB, major=589.94MB, promoted=582.95MB
    minor collections=22432  major collections=24 compactions=0


runtime: 00:00:30.353
vars: 28026, evals: 99128

|rho|=28026
|stable|=21265
|infl|=27945
|wpoint|=59
|sides|=1343
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26308
|called|=115
Found 372 contexts for 39 functions. Top 5 functions:
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
29	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530: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=69872.25MB, max=230.87MB, minor=69864.96MB, major=853.01MB, promoted=845.73MB
    minor collections=33328  major collections=28 compactions=0


runtime: 00:00:40.380
vars: 32208, evals: 128508

|rho|=32208
|stable|=21384
|infl|=32093
|wpoint|=59
|sides|=1360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30473
|called|=197
Found 389 contexts for 39 functions. Top 5 functions:
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
46	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530: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=91530.94MB, max=265.50MB, minor=91523.37MB, major=1100.95MB, promoted=1093.38MB
    minor collections=43657  major collections=31 compactions=0


runtime: 00:00:50.411
vars: 36390, evals: 157546

|rho|=36390
|stable|=21505
|infl|=36241
|wpoint|=58
|sides|=1377
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34638
|called|=150
Found 406 contexts for 39 functions. Top 5 functions:
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
63	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
56	contexts for L:entry state of tcp_read (1126) 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=113263.62MB, max=305.32MB, minor=113254.17MB, major=1350.24MB, promoted=1340.79MB
    minor collections=54021  major collections=34 compactions=0


runtime: 00:01:00.438
vars: 40602, evals: 186887

|rho|=40602
|stable|=21408
|infl|=40420
|wpoint|=61
|sides|=1395
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38832
|called|=259
Found 424 contexts for 39 functions. Top 5 functions:
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
81	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
56	contexts for L:entry state of tcp_read (1126) 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=135286.91MB, max=351.13MB, minor=135277.17MB, major=1601.90MB, promoted=1592.16MB
    minor collections=64524  major collections=37 compactions=0


runtime: 00:01:10.449
vars: 44754, evals: 215388

|rho|=44754
|stable|=21741
|infl|=44537
|wpoint|=59
|sides|=1411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42968
|called|=307
Found 440 contexts for 39 functions. Top 5 functions:
97	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=157062.10MB, max=351.13MB, minor=157052.02MB, major=1852.21MB, promoted=1842.13MB
    minor collections=74908  major collections=39 compactions=0


runtime: 00:01:20.469
vars: 48720, evals: 243251

|rho|=48720
|stable|=21639
|infl|=48472
|wpoint|=61
|sides|=1428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46917
|called|=337
Found 457 contexts for 39 functions. Top 5 functions:
114	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=178628.24MB, max=403.80MB, minor=178617.81MB, major=2099.20MB, promoted=2088.77MB
    minor collections=85193  major collections=41 compactions=0


runtime: 00:01:30.496
vars: 52642, evals: 270316

|rho|=52642
|stable|=21909
|infl|=52359
|wpoint|=57
|sides|=1443
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50824
|called|=291
Found 472 contexts for 39 functions. Top 5 functions:
129	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=199909.97MB, max=403.80MB, minor=199899.20MB, major=2343.96MB, promoted=2333.19MB
    minor collections=95342  major collections=43 compactions=0


runtime: 00:01:40.515
vars: 56562, evals: 297372

|rho|=56562
|stable|=22077
|infl|=56249
|wpoint|=59
|sides|=1459
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54728
|called|=358
Found 488 contexts for 39 functions. Top 5 functions:
145	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=221186.83MB, max=464.37MB, minor=221175.72MB, major=2586.47MB, promoted=2575.35MB
    minor collections=105488  major collections=45 compactions=0


runtime: 00:01:50.530
vars: 60252, evals: 323222

|rho|=60252
|stable|=22184
|infl|=59909
|wpoint|=58
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58403
|called|=345
Found 503 contexts for 39 functions. Top 5 functions:
160	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=242005.21MB, max=464.37MB, minor=241993.72MB, major=2825.36MB, promoted=2813.87MB
    minor collections=115416  major collections=46 compactions=0


runtime: 00:02:00.557
vars: 63942, evals: 348840

|rho|=63942
|stable|=22287
|infl|=63569
|wpoint|=58
|sides|=1489
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62078
|called|=375
Found 518 contexts for 39 functions. Top 5 functions:
175	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=262701.90MB, max=534.03MB, minor=262690.02MB, major=3063.13MB, promoted=3051.26MB
    minor collections=125286  major collections=48 compactions=0


runtime: 00:02:10.584
vars: 67632, evals: 374004

|rho|=67632
|stable|=22392
|infl|=67229
|wpoint|=58
|sides|=1504
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65753
|called|=405
Found 533 contexts for 39 functions. Top 5 functions:
190	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=283081.50MB, max=534.03MB, minor=283066.12MB, major=3300.63MB, promoted=3285.25MB
    minor collections=135002  major collections=49 compactions=0


runtime: 00:02:20.603
vars: 71106, evals: 398680

|rho|=71106
|stable|=22277
|infl|=70676
|wpoint|=61
|sides|=1519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69212
|called|=476
Found 548 contexts for 39 functions. Top 5 functions:
205	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=303525.54MB, max=614.13MB, minor=303509.78MB, major=3537.52MB, promoted=3521.75MB
    minor collections=144752  major collections=51 compactions=0


runtime: 00:02:30.626
vars: 74646, evals: 423178

|rho|=74646
|stable|=22373
|infl|=74188
|wpoint|=61
|sides|=1533
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72738
|called|=481
Found 562 contexts for 39 functions. Top 5 functions:
219	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=323937.63MB, max=614.13MB, minor=323921.42MB, major=3772.75MB, promoted=3756.54MB
    minor collections=154486  major collections=52 compactions=0


runtime: 00:02:40.656
vars: 78085, evals: 446891

|rho|=78085
|stable|=22582
|infl|=77600
|wpoint|=59
|sides|=1547
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76163
|called|=495
Found 576 contexts for 39 functions. Top 5 functions:
233	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=343866.90MB, max=614.13MB, minor=343850.28MB, major=4002.21MB, promoted=3985.60MB
    minor collections=163989  major collections=53 compactions=0


runtime: 00:02:50.668
vars: 81438, evals: 470426

|rho|=81438
|stable|=22581
|infl|=80924
|wpoint|=57
|sides|=1561
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79502
|called|=516
Found 590 contexts for 39 functions. Top 5 functions:
247	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=363869.78MB, max=706.25MB, minor=363852.78MB, major=4234.74MB, promoted=4217.74MB
    minor collections=173528  major collections=54 compactions=0


runtime: 00:03:00.695
vars: 84732, evals: 493310

|rho|=84732
|stable|=22764
|infl|=84193
|wpoint|=57
|sides|=1574
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82783
|called|=540
Found 603 contexts for 39 functions. Top 5 functions:
260	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=383392.35MB, max=706.25MB, minor=383374.95MB, major=4457.86MB, promoted=4440.47MB
    minor collections=182837  major collections=55 compactions=0


runtime: 00:03:10.718
vars: 88050, evals: 516112

|rho|=88050
|stable|=22973
|infl|=87481
|wpoint|=58
|sides|=1587
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86088
|called|=571
Found 616 contexts for 39 functions. Top 5 functions:
273	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=403131.19MB, max=706.25MB, minor=403113.35MB, major=4688.20MB, promoted=4670.36MB
    minor collections=192250  major collections=56 compactions=0


runtime: 00:03:20.733
vars: 91248, evals: 538316

|rho|=91248
|stable|=23064
|infl|=90653
|wpoint|=59
|sides|=1600
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89273
|called|=622
Found 629 contexts for 39 functions. Top 5 functions:
286	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=422452.77MB, max=812.19MB, minor=422434.52MB, major=4912.86MB, promoted=4894.61MB
    minor collections=201464  major collections=57 compactions=0


runtime: 00:03:30.761
vars: 94476, evals: 560939

|rho|=94476
|stable|=22941
|infl|=93856
|wpoint|=61
|sides|=1614
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92487
|called|=734
Found 643 contexts for 39 functions. Top 5 functions:
300	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=442232.69MB, max=812.19MB, minor=442214.00MB, major=5141.58MB, promoted=5122.89MB
    minor collections=210896  major collections=58 compactions=0


runtime: 00:03:40.796
vars: 97674, evals: 583143

|rho|=97674
|stable|=23032
|infl|=97028
|wpoint|=61
|sides|=1627
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95672
|called|=757
Found 656 contexts for 39 functions. Top 5 functions:
313	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=461866.20MB, max=812.19MB, minor=461847.05MB, major=5371.37MB, promoted=5352.23MB
    minor collections=220258  major collections=59 compactions=0


runtime: 00:03:50.815
vars: 100842, evals: 604812

|rho|=100842
|stable|=23337
|infl|=100169
|wpoint|=59
|sides|=1639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98828
|called|=751
Found 668 contexts for 39 functions. Top 5 functions:
325	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=481238.67MB, max=812.19MB, minor=481219.03MB, major=5599.88MB, promoted=5580.23MB
    minor collections=229496  major collections=60 compactions=0


runtime: 00:04:00.831
vars: 103915, evals: 626240

|rho|=103915
|stable|=23317
|infl|=103220
|wpoint|=59
|sides|=1652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101888
|called|=702
Found 681 contexts for 39 functions. Top 5 functions:
338	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=500541.07MB, max=812.19MB, minor=500521.00MB, major=5824.91MB, promoted=5804.84MB
    minor collections=238701  major collections=61 compactions=0


runtime: 00:04:10.842
vars: 106992, evals: 647403

|rho|=106992
|stable|=23403
|infl|=106269
|wpoint|=58
|sides|=1664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104953
|called|=724
Found 693 contexts for 39 functions. Top 5 functions:
350	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=519730.39MB, max=934.02MB, minor=519709.92MB, major=6052.10MB, promoted=6031.64MB
    minor collections=247852  major collections=62 compactions=0


runtime: 00:04:20.869
vars: 109944, evals: 668124

|rho|=109944
|stable|=23596
|infl|=109197
|wpoint|=58
|sides|=1676
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107893
|called|=749
Found 705 contexts for 39 functions. Top 5 functions:
362	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=538710.50MB, max=934.02MB, minor=538689.61MB, major=6273.98MB, promoted=6253.09MB
    minor collections=256902  major collections=63 compactions=0


runtime: 00:04:30.900
vars: 112896, evals: 688504

|rho|=112896
|stable|=23680
|infl|=112125
|wpoint|=59
|sides|=1688
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110833
|called|=837
Found 717 contexts for 39 functions. Top 5 functions:
374	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=557365.70MB, max=934.02MB, minor=557344.35MB, major=6493.98MB, promoted=6472.62MB
    minor collections=265798  major collections=63 compactions=0


runtime: 00:04:40.920
vars: 115728, evals: 708414

|rho|=115728
|stable|=23542
|infl|=114936
|wpoint|=61
|sides|=1700
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113653
|called|=824
Found 729 contexts for 39 functions. Top 5 functions:
386	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=575857.49MB, max=934.02MB, minor=575835.55MB, major=6709.62MB, promoted=6687.69MB
    minor collections=274616  major collections=64 compactions=0


runtime: 00:04:50.931
vars: 118680, evals: 728915

|rho|=118680
|stable|=23631
|infl|=117864
|wpoint|=59
|sides|=1712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116593
|called|=827
Found 741 contexts for 39 functions. Top 5 functions:
398	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=594945.53MB, max=934.02MB, minor=594923.24MB, major=6933.72MB, promoted=6911.43MB
    minor collections=283718  major collections=65 compactions=0


runtime: 00:05:00.958
vars: 121506, evals: 748402

|rho|=121506
|stable|=23927
|infl|=120665
|wpoint|=58
|sides|=1723
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119408
|called|=843
Found 752 contexts for 39 functions. Top 5 functions:
409	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=613380.57MB, max=1074.12MB, minor=613357.83MB, major=7154.46MB, promoted=7131.71MB
    minor collections=292509  major collections=65 compactions=0


runtime: 00:05:10.997
vars: 124257, evals: 767850

|rho|=124257
|stable|=23786
|infl|=123396
|wpoint|=61
|sides|=1735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122147
|called|=886
Found 764 contexts for 39 functions. Top 5 functions:
421	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=631794.94MB, max=1074.12MB, minor=631771.65MB, major=7372.64MB, promoted=7349.35MB
    minor collections=301290  major collections=66 compactions=0


runtime: 00:05:21.029
vars: 127164, evals: 787320

|rho|=127164
|stable|=24086
|infl|=126277
|wpoint|=59
|sides|=1746
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125043
|called|=957
Found 775 contexts for 39 functions. Top 5 functions:
432	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=650100.58MB, max=1074.12MB, minor=650076.87MB, major=7591.52MB, promoted=7567.81MB
    minor collections=310019  major collections=67 compactions=0


runtime: 00:05:31.076
vars: 129750, evals: 805770

|rho|=129750
|stable|=23941
|infl|=128844
|wpoint|=61
|sides|=1757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127618
|called|=958
Found 786 contexts for 39 functions. Top 5 functions:
443	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=667905.52MB, max=1074.12MB, minor=667881.38MB, major=7803.81MB, promoted=7779.67MB
    minor collections=318509  major collections=67 compactions=0


runtime: 00:05:41.107
vars: 132360, evals: 823972

|rho|=132360
|stable|=24020
|infl|=131432
|wpoint|=61
|sides|=1768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130217
|called|=944
Found 797 contexts for 39 functions. Top 5 functions:
454	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=685655.87MB, max=1235.24MB, minor=685626.90MB, major=8019.29MB, promoted=7990.32MB
    minor collections=326971  major collections=68 compactions=0


runtime: 00:05:51.122
vars: 135081, evals: 843001

|rho|=135081
|stable|=24093
|infl|=134132
|wpoint|=61
|sides|=1779
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132927
|called|=1044
Found 808 contexts for 39 functions. Top 5 functions:
465	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=703955.32MB, max=1235.24MB, minor=703923.93MB, major=8242.29MB, promoted=8210.90MB
    minor collections=335697  major collections=69 compactions=0


runtime: 00:06:01.138
vars: 137758, evals: 861334

|rho|=137758
|stable|=24351
|infl|=136783
|wpoint|=58
|sides|=1789
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135594
|called|=984
Found 818 contexts for 39 functions. Top 5 functions:
475	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=722028.07MB, max=1235.24MB, minor=721996.16MB, major=8457.82MB, promoted=8425.91MB
    minor collections=344314  major collections=69 compactions=0


runtime: 00:06:11.157
vars: 140448, evals: 879688

|rho|=140448
|stable|=24464
|infl|=139453
|wpoint|=58
|sides|=1800
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138273
|called|=997
Found 829 contexts for 39 functions. Top 5 functions:
486	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=739903.98MB, max=1235.24MB, minor=739871.53MB, major=8675.83MB, promoted=8643.39MB
    minor collections=352839  major collections=70 compactions=0


runtime: 00:06:21.212
vars: 142908, evals: 896884

|rho|=142908
|stable|=24534
|infl|=141893
|wpoint|=58
|sides|=1810
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140723
|called|=1017
Found 839 contexts for 39 functions. Top 5 functions:
496	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=756969.24MB, max=1235.24MB, minor=756936.40MB, major=8878.14MB, promoted=8845.31MB
    minor collections=360976  major collections=70 compactions=0


runtime: 00:06:31.223
vars: 145384, evals: 914336

|rho|=145384
|stable|=24622
|infl|=144347
|wpoint|=57
|sides|=1820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143189
|called|=1039
Found 849 contexts for 39 functions. Top 5 functions:
506	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=774491.75MB, max=1235.24MB, minor=774458.29MB, major=9089.26MB, promoted=9055.80MB
    minor collections=369332  major collections=71 compactions=0


runtime: 00:06:41.246
vars: 148074, evals: 932522

|rho|=148074
|stable|=24683
|infl|=147017
|wpoint|=58
|sides|=1831
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145868
|called|=1059
Found 860 contexts for 39 functions. Top 5 functions:
517	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=792412.87MB, max=1235.24MB, minor=792379.08MB, major=9303.50MB, promoted=9269.71MB
    minor collections=377877  major collections=71 compactions=0


runtime: 00:06:51.277
vars: 150534, evals: 949828

|rho|=150534
|stable|=24751
|infl|=149457
|wpoint|=59
|sides|=1841
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148318
|called|=1136
Found 870 contexts for 39 functions. Top 5 functions:
527	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=809965.84MB, max=1420.53MB, minor=809931.33MB, major=9516.73MB, promoted=9482.22MB
    minor collections=386247  major collections=72 compactions=0


runtime: 00:07:01.289
vars: 153071, evals: 967757

|rho|=153071
|stable|=24673
|infl|=151967
|wpoint|=57
|sides|=1852
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150844
|called|=1104
Found 881 contexts for 39 functions. Top 5 functions:
538	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=828012.07MB, max=1420.53MB, minor=827977.30MB, major=9735.71MB, promoted=9700.94MB
    minor collections=394853  major collections=73 compactions=0


runtime: 00:07:11.312
vars: 155495, evals: 984611

|rho|=155495
|stable|=24713
|infl|=154380
|wpoint|=57
|sides|=1862
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153258
|called|=1120
Found 891 contexts for 39 functions. Top 5 functions:
548	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=845330.34MB, max=1420.53MB, minor=845294.85MB, major=9946.00MB, promoted=9910.51MB
    minor collections=403111  major collections=73 compactions=0


runtime: 00:07:21.323
vars: 158040, evals: 1002294

|rho|=158040
|stable|=24850
|infl|=156905
|wpoint|=57
|sides|=1872
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155793
|called|=1136
Found 901 contexts for 39 functions. Top 5 functions:
558	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=863211.79MB, max=1420.53MB, minor=863176.03MB, major=10160.76MB, promoted=10124.99MB
    minor collections=411638  major collections=74 compactions=0


runtime: 00:07:31.346
vars: 160419, evals: 1018791

|rho|=160419
|stable|=24860
|infl|=159263
|wpoint|=57
|sides|=1882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158162
|called|=1167
Found 911 contexts for 39 functions. Top 5 functions:
568	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=880410.68MB, max=1420.53MB, minor=880374.18MB, major=10370.21MB, promoted=10333.70MB
    minor collections=419839  major collections=74 compactions=0


runtime: 00:07:41.358
vars: 162879, evals: 1036006

|rho|=162879
|stable|=24885
|infl|=161704
|wpoint|=61
|sides|=1892
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160612
|called|=1215
Found 921 contexts for 39 functions. Top 5 functions:
578	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=897991.34MB, max=1420.53MB, minor=897954.58MB, major=10584.52MB, promoted=10547.76MB
    minor collections=428222  major collections=75 compactions=0


runtime: 00:07:51.385
vars: 165294, evals: 1052308

|rho|=165294
|stable|=25171
|infl|=164097
|wpoint|=59
|sides|=1901
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163018
|called|=1252
Found 930 contexts for 39 functions. Top 5 functions:
587	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=915078.34MB, max=1420.53MB, minor=915040.80MB, major=10794.26MB, promoted=10756.71MB
    minor collections=436370  major collections=75 compactions=0


runtime: 00:08:01.408
vars: 167754, evals: 1069162

|rho|=167754
|stable|=25243
|infl|=166537
|wpoint|=58
|sides|=1911
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165468
|called|=1219
Found 940 contexts for 39 functions. Top 5 functions:
597	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=932541.37MB, max=1420.53MB, minor=932503.59MB, major=11007.65MB, promoted=10969.87MB
    minor collections=444697  major collections=75 compactions=0


runtime: 00:08:11.423
vars: 169984, evals: 1085124

|rho|=169984
|stable|=25310
|infl|=168747
|wpoint|=57
|sides|=1920
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167689
|called|=1240
Found 949 contexts for 39 functions. Top 5 functions:
606	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=949667.23MB, max=1420.53MB, minor=949628.74MB, major=11219.23MB, promoted=11180.74MB
    minor collections=452863  major collections=76 compactions=0


runtime: 00:08:21.459
vars: 172428, evals: 1101612

|rho|=172428
|stable|=25374
|infl|=171173
|wpoint|=58
|sides|=1930
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170123
|called|=1257
Found 959 contexts for 39 functions. Top 5 functions:
616	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=966721.74MB, max=1633.61MB, minor=966682.94MB, major=11432.22MB, promoted=11393.42MB
    minor collections=460996  major collections=76 compactions=0


runtime: 00:08:31.470
vars: 174672, evals: 1117747

|rho|=174672
|stable|=25223
|infl|=173400
|wpoint|=61
|sides|=1940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172357
|called|=1386
Found 969 contexts for 39 functions. Top 5 functions:
626	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=984053.52MB, max=1633.61MB, minor=984014.12MB, major=11646.12MB, promoted=11606.71MB
    minor collections=469260  major collections=77 compactions=0


runtime: 00:08:41.489
vars: 176977, evals: 1133495

|rho|=176977
|stable|=25396
|infl|=175685
|wpoint|=59
|sides|=1949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174653
|called|=1296
Found 978 contexts for 39 functions. Top 5 functions:
635	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1000775.85MB, max=1633.61MB, minor=1000735.98MB, major=11851.63MB, promoted=11811.76MB
    minor collections=477234  major collections=77 compactions=0


runtime: 00:08:51.500
vars: 179196, evals: 1149171

|rho|=179196
|stable|=25441
|infl|=177889
|wpoint|=57
|sides|=1958
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176863
|called|=1317
Found 987 contexts for 39 functions. Top 5 functions:
644	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1017626.89MB, max=1633.61MB, minor=1017586.56MB, major=12058.90MB, promoted=12018.56MB
    minor collections=485270  major collections=78 compactions=0


runtime: 00:09:01.535
vars: 181530, evals: 1164810

|rho|=181530
|stable|=25635
|infl|=180201
|wpoint|=58
|sides|=1967
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179188
|called|=1331
Found 996 contexts for 39 functions. Top 5 functions:
653	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1034499.37MB, max=1633.61MB, minor=1034458.30MB, major=12265.33MB, promoted=12224.26MB
    minor collections=493315  major collections=78 compactions=0


runtime: 00:09:11.546
vars: 183744, evals: 1180526

|rho|=183744
|stable|=25698
|infl|=182397
|wpoint|=58
|sides|=1976
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=181393
|called|=1349
Found 1005 contexts for 39 functions. Top 5 functions:
662	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1051606.55MB, max=1633.61MB, minor=1051565.20MB, major=12480.97MB, promoted=12439.62MB
    minor collections=501473  major collections=79 compactions=0


runtime: 00:09:21.558
vars: 185958, evals: 1195896

|rho|=185958
|stable|=25759
|infl|=184593
|wpoint|=59
|sides|=1985
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183598
|called|=1384
Found 1014 contexts for 39 functions. Top 5 functions:
671	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1068377.60MB, max=1633.61MB, minor=1068335.47MB, major=12688.64MB, promoted=12646.52MB
    minor collections=509470  major collections=79 compactions=0


runtime: 00:09:31.584
vars: 188172, evals: 1211268

|rho|=188172
|stable|=25822
|infl|=186789
|wpoint|=58
|sides|=1994
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185803
|called|=1385
Found 1023 contexts for 39 functions. Top 5 functions:
680	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1085097.02MB, max=1633.61MB, minor=1085054.61MB, major=12897.04MB, promoted=12854.63MB
    minor collections=517442  major collections=79 compactions=0


runtime: 00:09:41.595
vars: 190386, evals: 1226414

|rho|=190386
|stable|=25887
|infl|=188985
|wpoint|=58
|sides|=2003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188008
|called|=1403
Found 1032 contexts for 39 functions. Top 5 functions:
689	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1101671.35MB, max=1633.61MB, minor=1101628.39MB, major=13104.79MB, promoted=13061.84MB
    minor collections=525346  major collections=80 compactions=0


runtime: 00:09:51.626
vars: 192480, evals: 1241204

|rho|=192480
|stable|=25620
|infl|=191064
|wpoint|=59
|sides|=2012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=190093
|called|=1432
Found 1041 contexts for 39 functions. Top 5 functions:
698	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1118073.24MB, max=1878.66MB, minor=1118029.58MB, major=13306.94MB, promoted=13263.28MB
    minor collections=533167  major collections=80 compactions=0


runtime: 00:10:01.642
vars: 194689, evals: 1256536

|rho|=194689
|stable|=25898
|infl|=193256
|wpoint|=58
|sides|=2021
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192293
|called|=1443
Found 1050 contexts for 39 functions. Top 5 functions:
707	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1134900.29MB, max=1878.66MB, minor=1134856.37MB, major=13516.88MB, promoted=13472.95MB
    minor collections=541191  major collections=81 compactions=0


runtime: 00:10:11.657
vars: 196782, evals: 1271160

|rho|=196782
|stable|=26067
|infl|=195329
|wpoint|=58
|sides|=2029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194378
|called|=1455
Found 1058 contexts for 39 functions. Top 5 functions:
715	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1151399.03MB, max=1878.66MB, minor=1151354.37MB, major=13726.70MB, promoted=13682.04MB
    minor collections=549058  major collections=81 compactions=0


runtime: 00:10:21.692
vars: 198996, evals: 1286060

|rho|=198996
|stable|=26130
|infl|=197525
|wpoint|=59
|sides|=2038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196583
|called|=1474
Found 1067 contexts for 39 functions. Top 5 functions:
724	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1167562.70MB, max=1878.66MB, minor=1167517.65MB, major=13930.43MB, promoted=13885.38MB
    minor collections=556765  major collections=81 compactions=0


runtime: 00:10:31.707
vars: 201005, evals: 1300590

|rho|=201005
|stable|=26007
|infl|=199520
|wpoint|=58
|sides|=2047
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198583
|called|=1491
Found 1076 contexts for 39 functions. Top 5 functions:
733	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1184094.74MB, max=1878.66MB, minor=1184049.28MB, major=14142.09MB, promoted=14096.62MB
    minor collections=564649  major collections=82 compactions=0


runtime: 00:10:41.731
vars: 203053, evals: 1314576

|rho|=203053
|stable|=26138
|infl|=201552
|wpoint|=59
|sides|=2055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200623
|called|=1509
Found 1084 contexts for 39 functions. Top 5 functions:
741	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1199909.69MB, max=1878.66MB, minor=1199863.33MB, major=14340.70MB, promoted=14294.33MB
    minor collections=572190  major collections=82 compactions=0


runtime: 00:10:51.754
vars: 205146, evals: 1329120

|rho|=205146
|stable|=26305
|infl|=203625
|wpoint|=58
|sides|=2063
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202708
|called|=1523
Found 1092 contexts for 39 functions. Top 5 functions:
749	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1216304.15MB, max=1878.66MB, minor=1216257.59MB, major=14551.08MB, promoted=14504.53MB
    minor collections=580007  major collections=82 compactions=0


runtime: 00:11:01.765
vars: 207159, evals: 1343474

|rho|=207159
|stable|=26173
|infl|=205624
|wpoint|=57
|sides|=2072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204712
|called|=1536
Found 1101 contexts for 39 functions. Top 5 functions:
758	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1232529.96MB, max=1878.66MB, minor=1232482.89MB, major=14756.56MB, promoted=14709.49MB
    minor collections=587745  major collections=83 compactions=0


runtime: 00:11:11.788
vars: 209127, evals: 1356983

|rho|=209127
|stable|=26074
|infl|=207576
|wpoint|=57
|sides|=2080
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206672
|called|=1555
Found 1109 contexts for 39 functions. Top 5 functions:
766	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1248201.68MB, max=1878.66MB, minor=1248153.83MB, major=14955.76MB, promoted=14907.92MB
    minor collections=595217  major collections=83 compactions=0


runtime: 00:11:21.799
vars: 211176, evals: 1371211

|rho|=211176
|stable|=26351
|infl|=209609
|wpoint|=57
|sides|=2088
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208713
|called|=1576
Found 1117 contexts for 39 functions. Top 5 functions:
774	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1264228.56MB, max=1878.66MB, minor=1264180.53MB, major=15161.47MB, promoted=15113.44MB
    minor collections=602859  major collections=83 compactions=0


runtime: 00:11:31.822
vars: 213264, evals: 1385142

|rho|=213264
|stable|=26538
|infl|=211677
|wpoint|=58
|sides|=2096
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=210793
|called|=1589
Found 1125 contexts for 39 functions. Top 5 functions:
782	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1280262.20MB, max=1878.66MB, minor=1280213.57MB, major=15368.63MB, promoted=15320.00MB
    minor collections=610505  major collections=84 compactions=0


runtime: 00:11:41.873
vars: 215232, evals: 1398804

|rho|=215232
|stable|=26592
|infl|=213629
|wpoint|=58
|sides|=2104
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=212753
|called|=1605
Found 1133 contexts for 39 functions. Top 5 functions:
790	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1295978.72MB, max=1878.66MB, minor=1295929.37MB, major=15567.22MB, promoted=15517.87MB
    minor collections=617999  major collections=84 compactions=0


runtime: 00:11:51.884
vars: 217200, evals: 1412812

|rho|=217200
|stable|=26648
|infl|=215581
|wpoint|=59
|sides|=2112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=214713
|called|=1674
Found 1141 contexts for 39 functions. Top 5 functions:
798	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1312199.46MB, max=1878.66MB, minor=1312149.86MB, major=15780.54MB, promoted=15730.94MB
    minor collections=625734  major collections=84 compactions=0


runtime: 00:12:01.899
vars: 219168, evals: 1426476

|rho|=219168
|stable|=26704
|infl|=217533
|wpoint|=59
|sides|=2120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=216673
|called|=1725
Found 1149 contexts for 39 functions. Top 5 functions:
806	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1328065.56MB, max=1878.66MB, minor=1328015.35MB, major=15984.31MB, promoted=15934.10MB
    minor collections=633300  major collections=85 compactions=0


runtime: 00:12:11.930
vars: 221136, evals: 1439908

|rho|=221136
|stable|=26760
|infl|=219485
|wpoint|=59
|sides|=2128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218633
|called|=1737
Found 1157 contexts for 39 functions. Top 5 functions:
814	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1343690.52MB, max=2160.46MB, minor=1343639.57MB, major=16185.81MB, promoted=16134.86MB
    minor collections=640750  major collections=85 compactions=0


runtime: 00:12:21.946
vars: 223104, evals: 1453576

|rho|=223104
|stable|=26816
|infl|=221437
|wpoint|=58
|sides|=2136
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220593
|called|=1669
Found 1165 contexts for 39 functions. Top 5 functions:
822	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1359668.03MB, max=2160.46MB, minor=1359616.87MB, major=16393.24MB, promoted=16342.07MB
    minor collections=648369  major collections=85 compactions=0


runtime: 00:12:31.961
vars: 224947, evals: 1466567

|rho|=224947
|stable|=26761
|infl|=223268
|wpoint|=59
|sides|=2144
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=222428
|called|=1687
Found 1173 contexts for 39 functions. Top 5 functions:
830	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1374984.13MB, max=2160.46MB, minor=1374932.39MB, major=16589.56MB, promoted=16537.82MB
    minor collections=655672  major collections=86 compactions=0


runtime: 00:12:41.992
vars: 226794, evals: 1479424

|rho|=226794
|stable|=26921
|infl|=225097
|wpoint|=58
|sides|=2151
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=224268
|called|=1699
Found 1180 contexts for 39 functions. Top 5 functions:
837	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1390449.34MB, max=2160.46MB, minor=1390396.78MB, major=16790.69MB, promoted=16738.14MB
    minor collections=663047  major collections=86 compactions=0


runtime: 00:12:52.007
vars: 228762, evals: 1492976

|rho|=228762
|stable|=26977
|infl|=227049
|wpoint|=58
|sides|=2159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=226228
|called|=1715
Found 1188 contexts for 39 functions. Top 5 functions:
845	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1406199.62MB, max=2160.46MB, minor=1406146.88MB, major=16995.76MB, promoted=16943.02MB
    minor collections=670557  major collections=86 compactions=0


runtime: 00:13:02.019
vars: 230730, evals: 1506408

|rho|=230730
|stable|=27033
|infl|=229001
|wpoint|=58
|sides|=2167
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228188
|called|=1731
Found 1196 contexts for 39 functions. Top 5 functions:
853	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1421878.81MB, max=2160.46MB, minor=1421825.53MB, major=17197.81MB, promoted=17144.52MB
    minor collections=678034  major collections=87 compactions=0


runtime: 00:13:12.050
vars: 232452, evals: 1518820

|rho|=232452
|stable|=27082
|infl|=230709
|wpoint|=59
|sides|=2174
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229903
|called|=1794
Found 1203 contexts for 39 functions. Top 5 functions:
860	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1437201.61MB, max=2160.46MB, minor=1437147.43MB, major=17402.21MB, promoted=17348.03MB
    minor collections=685340  major collections=87 compactions=0


runtime: 00:13:22.074
vars: 234420, evals: 1532008

|rho|=234420
|stable|=27138
|infl|=232661
|wpoint|=59
|sides|=2182
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231863
|called|=1828
Found 1211 contexts for 39 functions. Top 5 functions:
868	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1452397.45MB, max=2160.46MB, minor=1452343.08MB, major=17597.39MB, promoted=17543.02MB
    minor collections=692586  major collections=87 compactions=0


runtime: 00:13:32.089
vars: 236172, evals: 1544753

|rho|=236172
|stable|=26979
|infl|=234400
|wpoint|=58
|sides|=2190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233607
|called|=1778
Found 1219 contexts for 39 functions. Top 5 functions:
876	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1468105.01MB, max=2160.46MB, minor=1468050.22MB, major=17805.93MB, promoted=17751.14MB
    minor collections=700076  major collections=88 compactions=0


runtime: 00:13:42.101
vars: 237990, evals: 1557377

|rho|=237990
|stable|=27108
|infl|=236205
|wpoint|=57
|sides|=2197
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235418
|called|=1792
Found 1226 contexts for 39 functions. Top 5 functions:
883	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1483331.12MB, max=2160.46MB, minor=1483275.57MB, major=18004.88MB, promoted=17949.34MB
    minor collections=707336  major collections=88 compactions=0


runtime: 00:13:52.148
vars: 239832, evals: 1570060

|rho|=239832
|stable|=27292
|infl|=238029
|wpoint|=59
|sides|=2204
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237253
|called|=1909
Found 1233 contexts for 39 functions. Top 5 functions:
890	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1498747.99MB, max=2160.46MB, minor=1498691.97MB, major=18215.37MB, promoted=18159.36MB
    minor collections=714688  major collections=88 compactions=0


runtime: 00:14:02.160
vars: 241800, evals: 1583264

|rho|=241800
|stable|=27348
|infl|=239981
|wpoint|=59
|sides|=2212
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239213
|called|=1825
Found 1241 contexts for 39 functions. Top 5 functions:
898	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1514373.84MB, max=2160.46MB, minor=1514317.55MB, major=18418.41MB, promoted=18362.12MB
    minor collections=722139  major collections=88 compactions=0


runtime: 00:14:12.176
vars: 243522, evals: 1595336

|rho|=243522
|stable|=27397
|infl|=241689
|wpoint|=59
|sides|=2219
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=240928
|called|=1911
Found 1248 contexts for 39 functions. Top 5 functions:
905	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1529271.44MB, max=2160.46MB, minor=1529214.50MB, major=18618.80MB, promoted=18561.86MB
    minor collections=729243  major collections=89 compactions=0


runtime: 00:14:22.219
vars: 245244, evals: 1607292

|rho|=245244
|stable|=27446
|infl|=243397
|wpoint|=59
|sides|=2226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242643
|called|=1870
Found 1255 contexts for 39 functions. Top 5 functions:
912	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1544066.65MB, max=2484.53MB, minor=1544008.93MB, major=18816.00MB, promoted=18758.28MB
    minor collections=736297  major collections=89 compactions=0


runtime: 00:14:32.235
vars: 246966, evals: 1619594

|rho|=246966
|stable|=27497
|infl|=245105
|wpoint|=58
|sides|=2233
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244358
|called|=1863
Found 1262 contexts for 39 functions. Top 5 functions:
919	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1559322.38MB, max=2484.53MB, minor=1559264.50MB, major=19020.52MB, promoted=18962.64MB
    minor collections=743572  major collections=89 compactions=0


runtime: 00:14:42.250
vars: 248809, evals: 1632252

|rho|=248809
|stable|=27440
|infl|=246936
|wpoint|=59
|sides|=2241
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=246193
|called|=1879
Found 1270 contexts for 39 functions. Top 5 functions:
927	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1574639.89MB, max=2484.53MB, minor=1574581.57MB, major=19221.36MB, promoted=19163.04MB
    minor collections=750876  major collections=90 compactions=0


runtime: 00:14:52.262
vars: 250531, evals: 1644181

|rho|=250531
|stable|=27489
|infl|=248640
|wpoint|=59
|sides|=2248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247908
|called|=1893
Found 1277 contexts for 39 functions. Top 5 functions:
934	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) 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=1589486.71MB, max=2484.53MB, minor=1589427.55MB, major=19417.31MB, promoted=19358.15MB
    minor collections=757955  major collections=90 compactions=0

