./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.214
vars: 16651, evals: 37739

|rho|=16651
|stable|=16366
|infl|=16621
|wpoint|=42
|sides|=1071
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15314
|called|=45
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=23968.60MB, max=151.80MB, minor=23962.53MB, major=324.28MB, promoted=318.20MB
    minor collections=11435  major collections=19 compactions=0


runtime: 00:00:20.233
vars: 23478, evals: 67924

|rho|=23478
|stable|=20927
|infl|=23436
|wpoint|=57
|sides|=1325
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21778
|called|=43
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=47319.96MB, max=200.75MB, minor=47312.96MB, major=593.26MB, promoted=586.26MB
    minor collections=22572  major collections=24 compactions=0


runtime: 00:00:30.255
vars: 28152, evals: 100232

|rho|=28152
|stable|=21166
|infl|=28071
|wpoint|=57
|sides|=1344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26433
|called|=81
Found 373 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
30	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=70742.22MB, max=230.87MB, minor=70734.92MB, major=862.06MB, promoted=854.76MB
    minor collections=33743  major collections=28 compactions=0


runtime: 00:00:40.274
vars: 32700, evals: 131925

|rho|=32700
|stable|=21399
|infl|=32581
|wpoint|=58
|sides|=1362
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30963
|called|=122
Found 391 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
48	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=94127.98MB, max=265.50MB, minor=94120.39MB, major=1132.10MB, promoted=1124.51MB
    minor collections=44896  major collections=32 compactions=0


runtime: 00:00:50.301
vars: 37128, evals: 162668

|rho|=37128
|stable|=21524
|infl|=36973
|wpoint|=58
|sides|=1380
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35373
|called|=157
Found 409 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
66	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=117056.91MB, max=305.32MB, minor=117047.43MB, major=1398.48MB, promoted=1389.00MB
    minor collections=55830  major collections=35 compactions=0


runtime: 00:01:00.324
vars: 41351, evals: 192085

|rho|=41351
|stable|=21451
|infl|=41164
|wpoint|=57
|sides|=1398
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39578
|called|=192
Found 427 contexts for 39 functions. Top 5 functions:
84	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=139301.99MB, max=351.13MB, minor=139292.18MB, major=1653.10MB, promoted=1643.29MB
    minor collections=66438  major collections=37 compactions=0


runtime: 00:01:10.335
vars: 45613, evals: 221478

|rho|=45613
|stable|=21658
|infl|=45392
|wpoint|=59
|sides|=1415
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43823
|called|=226
Found 444 contexts for 39 functions. Top 5 functions:
101	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=161790.19MB, max=351.13MB, minor=161780.06MB, major=1910.44MB, promoted=1900.31MB
    minor collections=77163  major collections=39 compactions=0


runtime: 00:01:20.358
vars: 49674, evals: 249778

|rho|=49674
|stable|=21883
|infl|=49417
|wpoint|=58
|sides|=1431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47868
|called|=258
Found 460 contexts for 39 functions. Top 5 functions:
117	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=183819.84MB, max=403.80MB, minor=183809.37MB, major=2162.91MB, promoted=2152.43MB
    minor collections=87669  major collections=42 compactions=0


runtime: 00:01:30.393
vars: 53731, evals: 277808

|rho|=53731
|stable|=21889
|infl|=53444
|wpoint|=58
|sides|=1448
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51908
|called|=287
Found 477 contexts for 39 functions. Top 5 functions:
134	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=205724.67MB, max=464.37MB, minor=205713.83MB, major=2411.94MB, promoted=2401.10MB
    minor collections=98114  major collections=43 compactions=0


runtime: 00:01:40.424
vars: 57672, evals: 305187

|rho|=57672
|stable|=22006
|infl|=57350
|wpoint|=57
|sides|=1464
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55833
|called|=322
Found 493 contexts for 39 functions. Top 5 functions:
150	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=227461.52MB, max=464.37MB, minor=227450.29MB, major=2659.24MB, promoted=2648.01MB
    minor collections=108480  major collections=45 compactions=0


runtime: 00:01:50.443
vars: 61527, evals: 332310

|rho|=61527
|stable|=22001
|infl|=61176
|wpoint|=61
|sides|=1480
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59672
|called|=376
Found 509 contexts for 39 functions. Top 5 functions:
166	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
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=249255.78MB, max=464.37MB, minor=249244.15MB, major=2908.81MB, promoted=2897.17MB
    minor collections=118874  major collections=47 compactions=0


runtime: 00:02:00.466
vars: 65418, evals: 358860

|rho|=65418
|stable|=22329
|infl|=65033
|wpoint|=59
|sides|=1495
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63548
|called|=460
Found 524 contexts for 39 functions. Top 5 functions:
181	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=270762.27MB, max=534.03MB, minor=270750.28MB, major=3158.32MB, promoted=3146.32MB
    minor collections=129129  major collections=48 compactions=0


runtime: 00:02:10.481
vars: 69108, evals: 384708

|rho|=69108
|stable|=22434
|infl|=68693
|wpoint|=58
|sides|=1510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67223
|called|=417
Found 539 contexts for 39 functions. Top 5 functions:
196	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=292123.19MB, max=534.03MB, minor=292107.62MB, major=3403.63MB, promoted=3388.06MB
    minor collections=139314  major collections=50 compactions=0


runtime: 00:02:20.516
vars: 72798, evals: 410330

|rho|=72798
|stable|=22541
|infl|=72353
|wpoint|=58
|sides|=1525
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70898
|called|=447
Found 554 contexts for 39 functions. Top 5 functions:
211	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=313344.94MB, max=614.13MB, minor=313328.98MB, major=3644.71MB, promoted=3628.76MB
    minor collections=149434  major collections=51 compactions=0


runtime: 00:02:30.539
vars: 76488, evals: 435494

|rho|=76488
|stable|=22646
|infl|=76013
|wpoint|=58
|sides|=1540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74573
|called|=477
Found 569 contexts for 39 functions. Top 5 functions:
226	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=334233.19MB, max=614.13MB, minor=334216.83MB, major=3886.72MB, promoted=3870.37MB
    minor collections=159395  major collections=53 compactions=0


runtime: 00:02:40.565
vars: 79973, evals: 460255

|rho|=79973
|stable|=22564
|infl|=79472
|wpoint|=57
|sides|=1555
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78043
|called|=506
Found 584 contexts for 39 functions. Top 5 functions:
241	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=355236.30MB, max=614.13MB, minor=355219.50MB, major=4128.46MB, promoted=4111.66MB
    minor collections=169411  major collections=54 compactions=0


runtime: 00:02:50.580
vars: 83622, evals: 485004

|rho|=83622
|stable|=22847
|infl|=83089
|wpoint|=59
|sides|=1569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81678
|called|=606
Found 598 contexts for 39 functions. Top 5 functions:
255	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=376127.07MB, max=706.25MB, minor=376109.81MB, major=4369.13MB, promoted=4351.87MB
    minor collections=179373  major collections=55 compactions=0


runtime: 00:03:00.591
vars: 87066, evals: 508916

|rho|=87066
|stable|=22945
|infl|=86505
|wpoint|=59
|sides|=1583
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85108
|called|=611
Found 612 contexts for 39 functions. Top 5 functions:
269	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=396729.15MB, max=706.25MB, minor=396711.41MB, major=4608.84MB, promoted=4591.11MB
    minor collections=189197  major collections=56 compactions=0


runtime: 00:03:10.610
vars: 90510, evals: 532828

|rho|=90510
|stable|=23043
|infl|=89921
|wpoint|=59
|sides|=1597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88538
|called|=683
Found 626 contexts for 39 functions. Top 5 functions:
283	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=417523.78MB, max=812.19MB, minor=417505.59MB, major=4851.86MB, promoted=4833.66MB
    minor collections=199113  major collections=57 compactions=0


runtime: 00:03:20.633
vars: 93749, evals: 555862

|rho|=93749
|stable|=22915
|infl|=93136
|wpoint|=57
|sides|=1611
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91763
|called|=617
Found 640 contexts for 39 functions. Top 5 functions:
297	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=437905.07MB, max=812.19MB, minor=437886.43MB, major=5092.40MB, promoted=5073.77MB
    minor collections=208832  major collections=58 compactions=0


runtime: 00:03:30.652
vars: 97152, evals: 578966

|rho|=97152
|stable|=23234
|infl|=96509
|wpoint|=58
|sides|=1624
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95153
|called|=645
Found 653 contexts for 39 functions. Top 5 functions:
310	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=458200.18MB, max=812.19MB, minor=458181.07MB, major=5329.93MB, promoted=5310.82MB
    minor collections=218510  major collections=59 compactions=0


runtime: 00:03:40.667
vars: 100350, evals: 601512

|rho|=100350
|stable|=23323
|infl|=99681
|wpoint|=58
|sides|=1637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98338
|called|=671
Found 666 contexts for 39 functions. Top 5 functions:
323	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=478434.85MB, max=812.19MB, minor=478415.27MB, major=5566.88MB, promoted=5547.29MB
    minor collections=228159  major collections=60 compactions=0


runtime: 00:03:50.694
vars: 103548, evals: 623830

|rho|=103548
|stable|=23416
|infl|=102853
|wpoint|=58
|sides|=1650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101523
|called|=697
Found 679 contexts for 39 functions. Top 5 functions:
336	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=498498.58MB, max=812.19MB, minor=498478.59MB, major=5803.20MB, promoted=5783.21MB
    minor collections=237727  major collections=61 compactions=0


runtime: 00:04:00.709
vars: 106746, evals: 645804

|rho|=106746
|stable|=23505
|infl|=106025
|wpoint|=59
|sides|=1663
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104708
|called|=726
Found 692 contexts for 39 functions. Top 5 functions:
349	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=518246.81MB, max=934.02MB, minor=518226.38MB, major=6036.16MB, promoted=6015.72MB
    minor collections=247144  major collections=62 compactions=0


runtime: 00:04:10.740
vars: 109824, evals: 667426

|rho|=109824
|stable|=23378
|infl|=109080
|wpoint|=59
|sides|=1676
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107773
|called|=755
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=537991.56MB, max=934.02MB, minor=537970.69MB, major=6266.64MB, promoted=6245.78MB
    minor collections=256560  major collections=63 compactions=0


runtime: 00:04:20.767
vars: 112896, evals: 688620

|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|=849
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=557519.11MB, max=934.02MB, minor=557497.74MB, major=6497.05MB, promoted=6475.69MB
    minor collections=265871  major collections=63 compactions=0


runtime: 00:04:30.805
vars: 115889, evals: 709604

|rho|=115889
|stable|=23567
|infl|=115096
|wpoint|=57
|sides|=1701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113813
|called|=800
Found 730 contexts for 39 functions. Top 5 functions:
387	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=577045.10MB, max=1074.12MB, minor=577023.17MB, major=6727.34MB, promoted=6705.42MB
    minor collections=275182  major collections=64 compactions=0


runtime: 00:04:40.816
vars: 118926, evals: 730617

|rho|=118926
|stable|=23632
|infl|=118108
|wpoint|=61
|sides|=1713
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116838
|called|=896
Found 742 contexts for 39 functions. Top 5 functions:
399	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=596508.09MB, max=1074.12MB, minor=596485.71MB, major=6958.56MB, promoted=6936.18MB
    minor collections=284463  major collections=65 compactions=0


runtime: 00:04:50.835
vars: 121998, evals: 751474

|rho|=121998
|stable|=23941
|infl|=121153
|wpoint|=58
|sides|=1725
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119898
|called|=847
Found 754 contexts for 39 functions. Top 5 functions:
411	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=616149.56MB, max=1074.12MB, minor=616126.76MB, major=7191.21MB, promoted=7168.42MB
    minor collections=293830  major collections=66 compactions=0


runtime: 00:05:00.854
vars: 124950, evals: 771948

|rho|=124950
|stable|=24023
|infl|=124081
|wpoint|=59
|sides|=1737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122838
|called|=876
Found 766 contexts for 39 functions. Top 5 functions:
423	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=635475.20MB, max=1074.12MB, minor=635451.88MB, major=7419.66MB, promoted=7396.34MB
    minor collections=303045  major collections=66 compactions=0


runtime: 00:05:10.865
vars: 127775, evals: 791884

|rho|=127775
|stable|=23994
|infl|=126875
|wpoint|=57
|sides|=1749
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125651
|called|=900
Found 778 contexts for 39 functions. Top 5 functions:
435	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=654726.55MB, max=1074.12MB, minor=654702.62MB, major=7648.00MB, promoted=7624.07MB
    minor collections=312225  major collections=67 compactions=0


runtime: 00:05:20.880
vars: 130638, evals: 812016

|rho|=130638
|stable|=23971
|infl|=129724
|wpoint|=61
|sides|=1761
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128502
|called|=972
Found 790 contexts for 39 functions. Top 5 functions:
447	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=674031.70MB, max=1074.12MB, minor=674007.38MB, major=7877.41MB, promoted=7853.09MB
    minor collections=321431  major collections=68 compactions=0


runtime: 00:05:30.911
vars: 133440, evals: 831395

|rho|=133440
|stable|=24051
|infl|=132504
|wpoint|=58
|sides|=1772
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131293
|called|=943
Found 801 contexts for 39 functions. Top 5 functions:
458	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=692732.94MB, max=1235.24MB, minor=692701.84MB, major=8105.78MB, promoted=8074.68MB
    minor collections=330345  major collections=68 compactions=0


runtime: 00:05:40.926
vars: 136266, evals: 850880

|rho|=136266
|stable|=24345
|infl|=135305
|wpoint|=58
|sides|=1783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134108
|called|=963
Found 812 contexts for 39 functions. Top 5 functions:
469	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=711863.67MB, max=1235.24MB, minor=711831.94MB, major=8337.06MB, promoted=8305.32MB
    minor collections=339468  major collections=69 compactions=0


runtime: 00:05:50.953
vars: 139098, evals: 870674

|rho|=139098
|stable|=24207
|infl|=138116
|wpoint|=61
|sides|=1795
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136928
|called|=1007
Found 824 contexts for 39 functions. Top 5 functions:
481	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=731047.32MB, max=1235.24MB, minor=731015.22MB, major=8566.49MB, promoted=8534.39MB
    minor collections=348616  major collections=70 compactions=0


runtime: 00:06:00.979
vars: 141924, evals: 889800

|rho|=141924
|stable|=24506
|infl|=140917
|wpoint|=59
|sides|=1806
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139743
|called|=1032
Found 835 contexts for 39 functions. Top 5 functions:
492	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=749814.58MB, max=1235.24MB, minor=749781.86MB, major=8790.62MB, promoted=8757.90MB
    minor collections=357565  major collections=70 compactions=0


runtime: 00:06:10.990
vars: 144630, evals: 908720

|rho|=144630
|stable|=24583
|infl|=143601
|wpoint|=59
|sides|=1817
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142438
|called|=1061
Found 846 contexts for 39 functions. Top 5 functions:
503	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=768726.53MB, max=1235.24MB, minor=768693.34MB, major=9024.54MB, promoted=8991.34MB
    minor collections=366583  major collections=71 compactions=0


runtime: 00:06:21.013
vars: 147336, evals: 927508

|rho|=147336
|stable|=24660
|infl|=146285
|wpoint|=59
|sides|=1828
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145133
|called|=1104
Found 857 contexts for 39 functions. Top 5 functions:
514	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=787474.49MB, max=1235.24MB, minor=787440.81MB, major=9250.48MB, promoted=9216.80MB
    minor collections=375523  major collections=71 compactions=0


runtime: 00:06:31.024
vars: 149931, evals: 945939

|rho|=149931
|stable|=24628
|infl|=148857
|wpoint|=57
|sides|=1839
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147717
|called|=1074
Found 868 contexts for 39 functions. Top 5 functions:
525	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=806096.54MB, max=1235.24MB, minor=806062.22MB, major=9472.97MB, promoted=9438.65MB
    minor collections=384403  major collections=72 compactions=0


runtime: 00:06:41.047
vars: 152623, evals: 964424

|rho|=152623
|stable|=24703
|infl|=151532
|wpoint|=59
|sides|=1850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150398
|called|=1099
Found 879 contexts for 39 functions. Top 5 functions:
536	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=824689.71MB, max=1420.53MB, minor=824655.03MB, major=9699.30MB, promoted=9664.62MB
    minor collections=393269  major collections=72 compactions=0


runtime: 00:06:51.078
vars: 155208, evals: 982280

|rho|=155208
|stable|=24884
|infl|=154093
|wpoint|=59
|sides|=1860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152973
|called|=1142
Found 889 contexts for 39 functions. Top 5 functions:
546	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=842953.75MB, max=1420.53MB, minor=842918.29MB, major=9921.54MB, promoted=9886.09MB
    minor collections=401978  major collections=73 compactions=0


runtime: 00:07:01.085
vars: 157914, evals: 1000840

|rho|=157914
|stable|=24961
|infl|=156777
|wpoint|=58
|sides|=1871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155668
|called|=1139
Found 900 contexts for 39 functions. Top 5 functions:
557	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=861669.35MB, max=1420.53MB, minor=861633.62MB, major=10148.83MB, promoted=10113.09MB
    minor collections=410903  major collections=74 compactions=0


runtime: 00:07:11.108
vars: 160374, evals: 1018266

|rho|=160374
|stable|=25033
|infl|=159217
|wpoint|=58
|sides|=1881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158118
|called|=1159
Found 910 contexts for 39 functions. Top 5 functions:
567	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=879965.31MB, max=1420.53MB, minor=879928.86MB, major=10372.36MB, promoted=10335.91MB
    minor collections=419627  major collections=74 compactions=0


runtime: 00:07:21.119
vars: 162960, evals: 1036350

|rho|=162960
|stable|=24886
|infl|=161784
|wpoint|=61
|sides|=1892
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160693
|called|=1228
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=898338.57MB, max=1420.53MB, minor=898301.80MB, major=10597.28MB, promoted=10560.51MB
    minor collections=428388  major collections=75 compactions=0


runtime: 00:07:31.142
vars: 165420, evals: 1053517

|rho|=165420
|stable|=25043
|infl|=164225
|wpoint|=57
|sides|=1902
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163143
|called|=1201
Found 931 contexts for 39 functions. Top 5 functions:
588	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=916340.34MB, max=1420.53MB, minor=916302.82MB, major=10818.09MB, promoted=10780.57MB
    minor collections=436972  major collections=75 compactions=0


runtime: 00:07:41.153
vars: 168000, evals: 1071212

|rho|=168000
|stable|=25248
|infl|=166781
|wpoint|=59
|sides|=1912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165713
|called|=1245
Found 941 contexts for 39 functions. Top 5 functions:
598	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=934844.72MB, max=1420.53MB, minor=934806.87MB, major=11050.85MB, promoted=11013.00MB
    minor collections=445796  major collections=76 compactions=0


runtime: 00:07:51.180
vars: 170460, evals: 1088300

|rho|=170460
|stable|=25214
|infl|=169221
|wpoint|=59
|sides|=1922
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168163
|called|=1244
Found 951 contexts for 39 functions. Top 5 functions:
608	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=953054.99MB, max=1633.61MB, minor=953016.41MB, major=11276.26MB, promoted=11237.67MB
    minor collections=454479  major collections=76 compactions=0


runtime: 00:08:01.191
vars: 173011, evals: 1106125

|rho|=173011
|stable|=25254
|infl|=171746
|wpoint|=57
|sides|=1933
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170703
|called|=1265
Found 962 contexts for 39 functions. Top 5 functions:
619	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=971639.84MB, max=1633.61MB, minor=971600.95MB, major=11504.13MB, promoted=11465.23MB
    minor collections=463342  major collections=77 compactions=0


runtime: 00:08:11.230
vars: 175380, evals: 1122564

|rho|=175380
|stable|=25458
|infl|=174101
|wpoint|=58
|sides|=1942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=173063
|called|=1281
Found 971 contexts for 39 functions. Top 5 functions:
628	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=989420.71MB, max=1633.61MB, minor=989380.98MB, major=11726.88MB, promoted=11687.16MB
    minor collections=471820  major collections=77 compactions=0


runtime: 00:08:21.241
vars: 177840, evals: 1139532

|rho|=177840
|stable|=25528
|infl|=176541
|wpoint|=59
|sides|=1952
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175513
|called|=1360
Found 981 contexts for 39 functions. Top 5 functions:
638	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1007291.60MB, max=1633.61MB, minor=1007251.62MB, major=11949.64MB, promoted=11909.66MB
    minor collections=480342  major collections=78 compactions=0


runtime: 00:08:31.252
vars: 180180, evals: 1155955

|rho|=180180
|stable|=25421
|infl|=178865
|wpoint|=57
|sides|=1962
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177843
|called|=1330
Found 991 contexts for 39 functions. Top 5 functions:
648	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1025041.88MB, max=1633.61MB, minor=1025001.14MB, major=12166.20MB, promoted=12125.46MB
    minor collections=488806  major collections=78 compactions=0


runtime: 00:08:41.283
vars: 182559, evals: 1172674

|rho|=182559
|stable|=25473
|infl|=181224
|wpoint|=57
|sides|=1972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180212
|called|=1336
Found 1001 contexts for 39 functions. Top 5 functions:
658	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1043003.44MB, max=1633.61MB, minor=1042962.36MB, major=12392.52MB, promoted=12351.43MB
    minor collections=497370  major collections=78 compactions=0


runtime: 00:08:51.294
vars: 184974, evals: 1188722

|rho|=184974
|stable|=25733
|infl|=183617
|wpoint|=58
|sides|=1981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182618
|called|=1359
Found 1010 contexts for 39 functions. Top 5 functions:
667	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1060389.03MB, max=1633.61MB, minor=1060347.32MB, major=12610.20MB, promoted=12568.49MB
    minor collections=505661  major collections=79 compactions=0


runtime: 00:09:01.337
vars: 187188, evals: 1204548

|rho|=187188
|stable|=25794
|infl|=185813
|wpoint|=59
|sides|=1990
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184823
|called|=1450
Found 1019 contexts for 39 functions. Top 5 functions:
676	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1077723.71MB, max=1633.61MB, minor=1077681.48MB, major=12826.67MB, promoted=12784.45MB
    minor collections=513927  major collections=79 compactions=0


runtime: 00:09:11.348
vars: 189528, evals: 1220813

|rho|=189528
|stable|=25641
|infl|=188136
|wpoint|=61
|sides|=2000
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187153
|called|=1474
Found 1029 contexts for 39 functions. Top 5 functions:
686	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1095373.25MB, max=1633.61MB, minor=1095330.55MB, major=13045.31MB, promoted=13002.62MB
    minor collections=522343  major collections=80 compactions=0


runtime: 00:09:21.375
vars: 191862, evals: 1236528

|rho|=191862
|stable|=25927
|infl|=190449
|wpoint|=59
|sides|=2009
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189478
|called|=1418
Found 1038 contexts for 39 functions. Top 5 functions:
695	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1112753.46MB, max=1878.66MB, minor=1112709.98MB, major=13262.69MB, promoted=13219.20MB
    minor collections=530630  major collections=80 compactions=0


runtime: 00:09:31.385
vars: 194092, evals: 1252436

|rho|=194092
|stable|=25954
|infl|=192659
|wpoint|=58
|sides|=2018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191699
|called|=1442
Found 1047 contexts for 39 functions. Top 5 functions:
704	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1130539.01MB, max=1878.66MB, minor=1130495.25MB, major=13491.50MB, promoted=13447.75MB
    minor collections=539112  major collections=81 compactions=0


runtime: 00:09:41.396
vars: 196320, evals: 1268051

|rho|=196320
|stable|=25839
|infl|=194872
|wpoint|=61
|sides|=2028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193917
|called|=1557
Found 1057 contexts for 39 functions. Top 5 functions:
714	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1147800.31MB, max=1878.66MB, minor=1147755.79MB, major=13709.21MB, promoted=13664.70MB
    minor collections=547342  major collections=81 compactions=0


runtime: 00:09:51.435
vars: 198625, evals: 1283799

|rho|=198625
|stable|=26012
|infl|=197157
|wpoint|=59
|sides|=2037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196213
|called|=1475
Found 1066 contexts for 39 functions. Top 5 functions:
723	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1165221.11MB, max=1878.66MB, minor=1165176.19MB, major=13929.61MB, promoted=13884.69MB
    minor collections=555649  major collections=81 compactions=0


runtime: 00:10:01.459
vars: 200844, evals: 1299427

|rho|=200844
|stable|=26009
|infl|=199361
|wpoint|=57
|sides|=2046
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198423
|called|=1494
Found 1075 contexts for 39 functions. Top 5 functions:
732	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1182704.41MB, max=1878.66MB, minor=1182658.98MB, major=14152.00MB, promoted=14106.58MB
    minor collections=563986  major collections=82 compactions=0


runtime: 00:10:11.490
vars: 202977, evals: 1314283

|rho|=202977
|stable|=25899
|infl|=201476
|wpoint|=57
|sides|=2055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200547
|called|=1506
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=1199612.27MB, max=1878.66MB, minor=1199566.02MB, major=14368.11MB, promoted=14321.86MB
    minor collections=572048  major collections=82 compactions=0


runtime: 00:10:21.501
vars: 205187, evals: 1329626

|rho|=205187
|stable|=26126
|infl|=203668
|wpoint|=58
|sides|=2064
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202748
|called|=1526
Found 1093 contexts for 39 functions. Top 5 functions:
750	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1216843.55MB, max=1878.66MB, minor=1216797.04MB, major=14585.47MB, promoted=14538.96MB
    minor collections=580265  major collections=82 compactions=0


runtime: 00:10:31.512
vars: 207360, evals: 1344492

|rho|=207360
|stable|=26368
|infl|=205821
|wpoint|=59
|sides|=2072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204913
|called|=1620
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=1233780.52MB, max=1878.66MB, minor=1233733.28MB, major=14802.30MB, promoted=14755.05MB
    minor collections=588341  major collections=83 compactions=0


runtime: 00:10:41.551
vars: 209574, evals: 1359500

|rho|=209574
|stable|=26431
|infl|=208017
|wpoint|=59
|sides|=2081
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207118
|called|=1623
Found 1110 contexts for 39 functions. Top 5 functions:
767	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1250659.61MB, max=1878.66MB, minor=1250611.86MB, major=15014.16MB, promoted=14966.41MB
    minor collections=596390  major collections=83 compactions=0


runtime: 00:10:51.566
vars: 211668, evals: 1374534

|rho|=211668
|stable|=26272
|infl|=210096
|wpoint|=61
|sides|=2090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209203
|called|=1588
Found 1119 contexts for 39 functions. Top 5 functions:
776	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1268061.42MB, max=1878.66MB, minor=1268013.27MB, major=15235.27MB, promoted=15187.12MB
    minor collections=604688  major collections=84 compactions=0


runtime: 00:11:01.585
vars: 213756, evals: 1389012

|rho|=213756
|stable|=26550
|infl|=212165
|wpoint|=59
|sides|=2098
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211283
|called|=1622
Found 1127 contexts for 39 functions. Top 5 functions:
784	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1285038.74MB, max=1878.66MB, minor=1284989.69MB, major=15454.82MB, promoted=15405.78MB
    minor collections=612783  major collections=84 compactions=0


runtime: 00:11:11.620
vars: 215970, evals: 1404044

|rho|=215970
|stable|=26613
|infl|=214361
|wpoint|=58
|sides|=2107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213488
|called|=1611
Found 1136 contexts for 39 functions. Top 5 functions:
793	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1302045.47MB, max=1878.66MB, minor=1301996.14MB, major=15673.60MB, promoted=15624.27MB
    minor collections=620893  major collections=84 compactions=0


runtime: 00:11:21.632
vars: 217983, evals: 1418603

|rho|=217983
|stable|=26458
|infl|=216360
|wpoint|=59
|sides|=2116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215492
|called|=1634
Found 1145 contexts for 39 functions. Top 5 functions:
802	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1318981.76MB, max=1878.66MB, minor=1318931.96MB, major=15890.62MB, promoted=15840.83MB
    minor collections=628969  major collections=85 compactions=0


runtime: 00:11:31.691
vars: 220032, evals: 1432611

|rho|=220032
|stable|=26515
|infl|=218392
|wpoint|=59
|sides|=2124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217533
|called|=1651
Found 1153 contexts for 39 functions. Top 5 functions:
810	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1335366.62MB, max=2160.46MB, minor=1335315.87MB, major=16101.90MB, promoted=16051.15MB
    minor collections=636781  major collections=85 compactions=0


runtime: 00:11:41.702
vars: 222150, evals: 1447258

|rho|=222150
|stable|=26603
|infl|=220491
|wpoint|=57
|sides|=2133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219642
|called|=1661
Found 1162 contexts for 39 functions. Top 5 functions:
819	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1352511.65MB, max=2160.46MB, minor=1352460.73MB, major=16326.84MB, promoted=16275.92MB
    minor collections=644957  major collections=85 compactions=0


runtime: 00:11:51.717
vars: 224334, evals: 1461980

|rho|=224334
|stable|=26851
|infl|=222657
|wpoint|=59
|sides|=2141
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221818
|called|=1764
Found 1170 contexts for 39 functions. Top 5 functions:
827	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1369343.07MB, max=2160.46MB, minor=1369291.57MB, major=16542.15MB, promoted=16490.64MB
    minor collections=652983  major collections=86 compactions=0


runtime: 00:12:01.764
vars: 226302, evals: 1475776

|rho|=226302
|stable|=26907
|infl|=224609
|wpoint|=59
|sides|=2149
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223778
|called|=1702
Found 1178 contexts for 39 functions. Top 5 functions:
835	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1385972.11MB, max=2160.46MB, minor=1385919.72MB, major=16762.58MB, promoted=16710.19MB
    minor collections=660912  major collections=86 compactions=0


runtime: 00:12:11.775
vars: 228270, evals: 1489786

|rho|=228270
|stable|=26965
|infl|=226561
|wpoint|=58
|sides|=2157
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225738
|called|=1711
Found 1186 contexts for 39 functions. Top 5 functions:
843	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1402612.10MB, max=2160.46MB, minor=1402559.52MB, major=16977.02MB, promoted=16924.44MB
    minor collections=668847  major collections=86 compactions=0


runtime: 00:12:21.794
vars: 230359, evals: 1504164

|rho|=230359
|stable|=26915
|infl|=228636
|wpoint|=59
|sides|=2166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227818
|called|=1731
Found 1195 contexts for 39 functions. Top 5 functions:
852	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1419450.54MB, max=2160.46MB, minor=1419397.33MB, major=17195.27MB, promoted=17142.06MB
    minor collections=676876  major collections=87 compactions=0


runtime: 00:12:31.846
vars: 232247, evals: 1517511

|rho|=232247
|stable|=26901
|infl|=230508
|wpoint|=57
|sides|=2174
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229698
|called|=1740
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=1435618.05MB, max=2160.46MB, minor=1435563.96MB, major=17408.79MB, promoted=17354.70MB
    minor collections=684585  major collections=87 compactions=0


runtime: 00:12:41.857
vars: 234300, evals: 1531733

|rho|=234300
|stable|=26979
|infl|=232545
|wpoint|=57
|sides|=2182
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231743
|called|=1761
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=1452303.98MB, max=2160.46MB, minor=1452249.72MB, major=17627.60MB, promoted=17573.33MB
    minor collections=692542  major collections=87 compactions=0


runtime: 00:12:51.868
vars: 236268, evals: 1545438

|rho|=236268
|stable|=27076
|infl|=234497
|wpoint|=58
|sides|=2190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233703
|called|=1775
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=1468830.68MB, max=2160.46MB, minor=1468775.84MB, major=17844.47MB, promoted=17789.63MB
    minor collections=700423  major collections=88 compactions=0


runtime: 00:13:01.911
vars: 238151, evals: 1558503

|rho|=238151
|stable|=27069
|infl|=236364
|wpoint|=57
|sides|=2198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235578
|called|=1788
Found 1227 contexts for 39 functions. Top 5 functions:
884	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1484991.65MB, max=2160.46MB, minor=1484935.83MB, major=18057.27MB, promoted=18001.46MB
    minor collections=708128  major collections=88 compactions=0


runtime: 00:13:11.922
vars: 240123, evals: 1572354

|rho|=240123
|stable|=27119
|infl|=238321
|wpoint|=57
|sides|=2206
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237542
|called|=1803
Found 1235 contexts for 39 functions. Top 5 functions:
892	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1501461.72MB, max=2160.46MB, minor=1501405.77MB, major=18273.21MB, promoted=18217.26MB
    minor collections=715982  major collections=88 compactions=0


runtime: 00:13:21.937
vars: 242087, evals: 1585827

|rho|=242087
|stable|=27177
|infl|=240268
|wpoint|=57
|sides|=2214
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239498
|called|=1824
Found 1243 contexts for 39 functions. Top 5 functions:
900	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1517900.81MB, max=2160.46MB, minor=1517844.35MB, major=18490.02MB, promoted=18433.57MB
    minor collections=723821  major collections=89 compactions=0


runtime: 00:13:31.949
vars: 244014, evals: 1598874

|rho|=244014
|stable|=27413
|infl|=242177
|wpoint|=58
|sides|=2221
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241418
|called|=1839
Found 1250 contexts for 39 functions. Top 5 functions:
907	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1534058.65MB, max=2160.46MB, minor=1534001.22MB, major=18706.13MB, promoted=18648.70MB
    minor collections=731526  major collections=89 compactions=0


runtime: 00:13:41.980
vars: 245982, evals: 1612420

|rho|=245982
|stable|=27467
|infl|=244129
|wpoint|=58
|sides|=2229
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243378
|called|=1855
Found 1258 contexts for 39 functions. Top 5 functions:
915	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1550312.60MB, max=2484.53MB, minor=1550254.89MB, major=18921.22MB, promoted=18863.51MB
    minor collections=739276  major collections=89 compactions=0


runtime: 00:13:51.995
vars: 247950, evals: 1625968

|rho|=247950
|stable|=27523
|infl|=246081
|wpoint|=58
|sides|=2237
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245338
|called|=1871
Found 1266 contexts for 39 functions. Top 5 functions:
923	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1566823.83MB, max=2484.53MB, minor=1566765.72MB, major=19140.04MB, promoted=19081.93MB
    minor collections=747150  major collections=90 compactions=0


runtime: 00:14:02.006
vars: 249702, evals: 1638687

|rho|=249702
|stable|=27358
|infl|=247820
|wpoint|=61
|sides|=2245
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247082
|called|=1971
Found 1274 contexts for 39 functions. Top 5 functions:
931	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1582832.83MB, max=2484.53MB, minor=1582773.92MB, major=19355.18MB, promoted=19296.27MB
    minor collections=754783  major collections=90 compactions=0


runtime: 00:14:12.048
vars: 251640, evals: 1651704

|rho|=251640
|stable|=27628
|infl|=249741
|wpoint|=58
|sides|=2252
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249013
|called|=1901
Found 1281 contexts for 39 functions. Top 5 functions:
938	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1598756.04MB, max=2484.53MB, minor=1598696.57MB, major=19568.60MB, promoted=19509.13MB
    minor collections=762376  major collections=90 compactions=0


runtime: 00:14:22.058
vars: 253488, evals: 1664894

|rho|=253488
|stable|=27462
|infl|=251576
|wpoint|=61
|sides|=2260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250853
|called|=1956
Found 1289 contexts for 39 functions. Top 5 functions:
946	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1614947.38MB, max=2484.53MB, minor=1614887.65MB, major=19782.32MB, promoted=19722.60MB
    minor collections=770096  major collections=90 compactions=0


runtime: 00:14:32.069
vars: 255330, evals: 1677326

|rho|=255330
|stable|=27735
|infl|=253401
|wpoint|=58
|sides|=2267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252688
|called|=1930
Found 1296 contexts for 39 functions. Top 5 functions:
953	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1630633.30MB, max=2484.53MB, minor=1630572.93MB, major=19995.67MB, promoted=19935.30MB
    minor collections=777576  major collections=91 compactions=0


runtime: 00:14:42.128
vars: 257052, evals: 1689508

|rho|=257052
|stable|=27782
|infl|=255109
|wpoint|=58
|sides|=2274
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254403
|called|=1945
Found 1303 contexts for 39 functions. Top 5 functions:
960	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1646087.57MB, max=2484.53MB, minor=1646026.23MB, major=20204.73MB, promoted=20143.40MB
    minor collections=784945  major collections=91 compactions=0


runtime: 00:14:52.139
vars: 258900, evals: 1702574

|rho|=258900
|stable|=27720
|infl|=256945
|wpoint|=58
|sides|=2282
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256243
|called|=1960
Found 1311 contexts for 39 functions. Top 5 functions:
968	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1662030.67MB, max=2484.53MB, minor=1661969.20MB, major=20417.53MB, promoted=20356.06MB
    minor collections=792547  major collections=91 compactions=0

