./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.247
vars: 16906, evals: 38038

|rho|=16906
|stable|=16621
|infl|=16877
|wpoint|=42
|sides|=1074
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15563
|called|=50
Found 245 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
18	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=24809.68MB, max=151.80MB, minor=24803.34MB, major=334.06MB, promoted=327.72MB
    minor collections=11836  major collections=19 compactions=0


runtime: 00:00:20.281
vars: 23729, evals: 69696

|rho|=23729
|stable|=20988
|infl|=23686
|wpoint|=57
|sides|=1327
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22026
|called|=47
Found 356 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=48479.73MB, max=200.75MB, minor=48472.71MB, major=607.67MB, promoted=600.66MB
    minor collections=23125  major collections=24 compactions=0


runtime: 00:00:30.296
vars: 28523, evals: 102449

|rho|=28523
|stable|=21286
|infl|=28438
|wpoint|=58
|sides|=1346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26801
|called|=87
Found 375 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
31	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=72114.84MB, max=230.87MB, minor=72107.52MB, major=881.26MB, promoted=873.94MB
    minor collections=34398  major collections=28 compactions=0


runtime: 00:00:40.323
vars: 32992, evals: 134031

|rho|=32992
|stable|=21221
|infl|=32873
|wpoint|=57
|sides|=1365
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31251
|called|=127
Found 394 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
50	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=95325.74MB, max=265.50MB, minor=95317.08MB, major=1147.44MB, promoted=1138.78MB
    minor collections=45467  major collections=32 compactions=0


runtime: 00:00:50.346
vars: 37424, evals: 164958

|rho|=37424
|stable|=21337
|infl|=37269
|wpoint|=57
|sides|=1383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35665
|called|=158
Found 412 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
68	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=118364.89MB, max=305.32MB, minor=118355.39MB, major=1411.80MB, promoted=1402.30MB
    minor collections=56454  major collections=35 compactions=0


runtime: 00:01:00.377
vars: 41807, evals: 195135

|rho|=41807
|stable|=21662
|infl|=41614
|wpoint|=58
|sides|=1400
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40031
|called|=195
Found 429 contexts for 39 functions. Top 5 functions:
85	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=141202.80MB, max=351.13MB, minor=141192.97MB, major=1673.93MB, promoted=1664.10MB
    minor collections=67345  major collections=37 compactions=0


runtime: 00:01:10.392
vars: 46115, evals: 225064

|rho|=46115
|stable|=21565
|infl|=45889
|wpoint|=61
|sides|=1418
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44321
|called|=344
Found 447 contexts for 39 functions. Top 5 functions:
103	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=163967.62MB, max=351.13MB, minor=163957.44MB, major=1933.12MB, promoted=1922.94MB
    minor collections=78202  major collections=40 compactions=0


runtime: 00:01:20.414
vars: 50216, evals: 253757

|rho|=50216
|stable|=21684
|infl|=49957
|wpoint|=61
|sides|=1435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48405
|called|=284
Found 464 contexts for 39 functions. Top 5 functions:
120	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=186271.59MB, max=403.80MB, minor=186261.05MB, major=2187.61MB, promoted=2177.07MB
    minor collections=88838  major collections=42 compactions=0


runtime: 00:01:30.441
vars: 54353, evals: 282131

|rho|=54353
|stable|=22019
|infl|=54058
|wpoint|=58
|sides|=1451
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52526
|called|=297
Found 480 contexts for 39 functions. Top 5 functions:
136	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=208544.72MB, max=464.37MB, minor=208533.81MB, major=2443.23MB, promoted=2432.32MB
    minor collections=99460  major collections=44 compactions=0


runtime: 00:01:40.484
vars: 58334, evals: 310157

|rho|=58334
|stable|=21951
|infl|=58010
|wpoint|=57
|sides|=1468
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56490
|called|=325
Found 497 contexts for 39 functions. Top 5 functions:
153	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=230826.12MB, max=464.37MB, minor=230814.84MB, major=2697.78MB, promoted=2686.50MB
    minor collections=110086  major collections=46 compactions=0


runtime: 00:01:50.502
vars: 62270, evals: 337448

|rho|=62270
|stable|=22026
|infl|=61913
|wpoint|=61
|sides|=1484
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60410
|called|=459
Found 513 contexts for 39 functions. Top 5 functions:
169	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=252627.85MB, max=534.03MB, minor=252616.17MB, major=2948.40MB, promoted=2936.72MB
    minor collections=120482  major collections=47 compactions=0


runtime: 00:02:00.529
vars: 66161, evals: 364227

|rho|=66161
|stable|=22355
|infl|=65770
|wpoint|=59
|sides|=1499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64286
|called|=461
Found 528 contexts for 39 functions. Top 5 functions:
184	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=274423.80MB, max=534.03MB, minor=274409.61MB, major=3201.27MB, promoted=3187.07MB
    minor collections=130875  major collections=49 compactions=0


runtime: 00:02:10.544
vars: 69977, evals: 390741

|rho|=69977
|stable|=22245
|infl|=69557
|wpoint|=61
|sides|=1515
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=68086
|called|=442
Found 544 contexts for 39 functions. Top 5 functions:
200	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=296152.20MB, max=614.13MB, minor=296136.55MB, major=3452.38MB, promoted=3436.73MB
    minor collections=141236  major collections=50 compactions=0


runtime: 00:02:20.554
vars: 73787, evals: 416947

|rho|=73787
|stable|=22572
|infl|=73334
|wpoint|=59
|sides|=1530
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71881
|called|=537
Found 559 contexts for 39 functions. Top 5 functions:
215	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=317859.34MB, max=614.13MB, minor=317843.28MB, major=3704.15MB, promoted=3688.09MB
    minor collections=151588  major collections=52 compactions=0


runtime: 00:02:30.573
vars: 77477, evals: 442451

|rho|=77477
|stable|=22677
|infl|=76994
|wpoint|=59
|sides|=1545
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75556
|called|=533
Found 574 contexts for 39 functions. Top 5 functions:
230	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=339217.84MB, max=614.13MB, minor=339201.31MB, major=3950.77MB, promoted=3934.25MB
    minor collections=161773  major collections=53 compactions=0


runtime: 00:02:40.592
vars: 81167, evals: 467959

|rho|=81167
|stable|=22782
|infl|=80654
|wpoint|=58
|sides|=1560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79231
|called|=515
Found 589 contexts for 39 functions. Top 5 functions:
245	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=360740.73MB, max=706.25MB, minor=360723.78MB, major=4196.40MB, promoted=4179.45MB
    minor collections=172036  major collections=54 compactions=0


runtime: 00:02:50.607
vars: 84656, evals: 492876

|rho|=84656
|stable|=22663
|infl|=84117
|wpoint|=61
|sides|=1575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=82705
|called|=605
Found 604 contexts for 39 functions. Top 5 functions:
260	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4477) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=382021.03MB, max=706.25MB, minor=382003.65MB, major=4444.46MB, promoted=4427.08MB
    minor collections=182184  major collections=55 compactions=0


runtime: 00:03:00.638
vars: 88181, evals: 517178

|rho|=88181
|stable|=22808
|infl|=87614
|wpoint|=57
|sides|=1589
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86216
|called|=574
Found 618 contexts for 39 functions. Top 5 functions:
274	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=402990.74MB, max=706.25MB, minor=402972.92MB, major=4685.81MB, promoted=4668.00MB
    minor collections=192183  major collections=56 compactions=0


runtime: 00:03:10.661
vars: 91620, evals: 540871

|rho|=91620
|stable|=22972
|infl|=91025
|wpoint|=59
|sides|=1603
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89641
|called|=600
Found 632 contexts for 39 functions. Top 5 functions:
288	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=423620.57MB, max=812.19MB, minor=423602.30MB, major=4925.41MB, promoted=4907.15MB
    minor collections=202021  major collections=57 compactions=0


runtime: 00:03:20.687
vars: 94984, evals: 564424

|rho|=94984
|stable|=22962
|infl|=94361
|wpoint|=57
|sides|=1617
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92991
|called|=628
Found 646 contexts for 39 functions. Top 5 functions:
302	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=444362.78MB, max=812.19MB, minor=444344.05MB, major=5167.38MB, promoted=5148.64MB
    minor collections=211912  major collections=58 compactions=0


runtime: 00:03:30.714
vars: 98387, evals: 587637

|rho|=98387
|stable|=23274
|infl|=97734
|wpoint|=58
|sides|=1630
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96381
|called|=655
Found 659 contexts for 39 functions. Top 5 functions:
315	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=464848.70MB, max=812.19MB, minor=464829.49MB, major=5405.84MB, promoted=5386.63MB
    minor collections=221681  major collections=59 compactions=0


runtime: 00:03:40.737
vars: 101585, evals: 610179

|rho|=101585
|stable|=23363
|infl|=100906
|wpoint|=58
|sides|=1643
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99566
|called|=681
Found 672 contexts for 39 functions. Top 5 functions:
328	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=485072.38MB, max=812.19MB, minor=485052.71MB, major=5639.49MB, promoted=5619.82MB
    minor collections=231325  major collections=60 compactions=0


runtime: 00:03:50.760
vars: 104813, evals: 632696

|rho|=104813
|stable|=23246
|infl|=104109
|wpoint|=58
|sides|=1657
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102780
|called|=709
Found 686 contexts for 39 functions. Top 5 functions:
342	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=505334.14MB, max=934.02MB, minor=505313.97MB, major=5875.43MB, promoted=5855.26MB
    minor collections=240987  major collections=61 compactions=0


runtime: 00:04:00.779
vars: 107981, evals: 654587

|rho|=107981
|stable|=23545
|infl|=107250
|wpoint|=58
|sides|=1669
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105936
|called|=733
Found 698 contexts for 39 functions. Top 5 functions:
354	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=525294.09MB, max=934.02MB, minor=525273.39MB, major=6110.46MB, promoted=6089.77MB
    minor collections=250505  major collections=62 compactions=0


runtime: 00:04:10.794
vars: 111179, evals: 676679

|rho|=111179
|stable|=23636
|infl|=110422
|wpoint|=59
|sides|=1682
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109121
|called|=779
Found 711 contexts for 39 functions. Top 5 functions:
367	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
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=545420.35MB, max=934.02MB, minor=545399.19MB, major=6348.32MB, promoted=6327.16MB
    minor collections=260102  major collections=63 compactions=0


runtime: 00:04:20.805
vars: 114377, evals: 698541

|rho|=114377
|stable|=23729
|infl|=113594
|wpoint|=58
|sides|=1695
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112306
|called|=785
Found 724 contexts for 39 functions. Top 5 functions:
380	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
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=565484.41MB, max=934.02MB, minor=565462.83MB, major=6585.56MB, promoted=6563.98MB
    minor collections=269670  major collections=64 compactions=0


runtime: 00:04:30.820
vars: 117359, evals: 719799

|rho|=117359
|stable|=23598
|infl|=116553
|wpoint|=61
|sides|=1708
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115275
|called|=822
Found 737 contexts for 39 functions. Top 5 functions:
393	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=585281.55MB, max=934.02MB, minor=585259.50MB, major=6816.77MB, promoted=6794.72MB
    minor collections=279110  major collections=64 compactions=0


runtime: 00:04:40.839
vars: 120407, evals: 740881

|rho|=120407
|stable|=23680
|infl|=119577
|wpoint|=61
|sides|=1720
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=118311
|called|=874
Found 749 contexts for 39 functions. Top 5 functions:
405	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=604918.88MB, max=1074.12MB, minor=604896.29MB, major=7049.04MB, promoted=7026.45MB
    minor collections=288474  major collections=65 compactions=0


runtime: 00:04:50.853
vars: 123479, evals: 761735

|rho|=123479
|stable|=23986
|infl|=122622
|wpoint|=58
|sides|=1732
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121371
|called|=859
Found 761 contexts for 39 functions. Top 5 functions:
417	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=624564.19MB, max=1074.12MB, minor=624541.03MB, major=7280.01MB, promoted=7256.85MB
    minor collections=297842  major collections=66 compactions=0


runtime: 00:05:00.867
vars: 126431, evals: 782465

|rho|=126431
|stable|=24072
|infl|=125550
|wpoint|=58
|sides|=1744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124311
|called|=883
Found 773 contexts for 39 functions. Top 5 functions:
429	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=644363.69MB, max=1074.12MB, minor=644340.12MB, major=7518.31MB, promoted=7494.75MB
    minor collections=307284  major collections=67 compactions=0


runtime: 00:05:10.886
vars: 129383, evals: 803183

|rho|=129383
|stable|=24154
|infl|=128478
|wpoint|=58
|sides|=1756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127251
|called|=907
Found 785 contexts for 39 functions. Top 5 functions:
441	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=664217.80MB, max=1074.12MB, minor=664193.73MB, major=7753.92MB, promoted=7729.84MB
    minor collections=316751  major collections=67 compactions=0


runtime: 00:05:20.901
vars: 132335, evals: 823225

|rho|=132335
|stable|=24240
|infl|=131406
|wpoint|=58
|sides|=1768
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130191
|called|=931
Found 797 contexts for 39 functions. Top 5 functions:
453	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=683404.67MB, max=1235.24MB, minor=683375.75MB, major=7985.80MB, promoted=7956.88MB
    minor collections=325899  major collections=68 compactions=0


runtime: 00:05:30.912
vars: 135167, evals: 843361

|rho|=135167
|stable|=24100
|infl|=134217
|wpoint|=61
|sides|=1780
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=133011
|called|=970
Found 809 contexts for 39 functions. Top 5 functions:
465	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4477) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=702897.60MB, max=1235.24MB, minor=702866.22MB, major=8219.05MB, promoted=8187.67MB
    minor collections=335193  major collections=69 compactions=0


runtime: 00:05:40.938
vars: 138038, evals: 863396

|rho|=138038
|stable|=24066
|infl|=137065
|wpoint|=57
|sides|=1792
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135870
|called|=983
Found 821 contexts for 39 functions. Top 5 functions:
477	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=722501.59MB, max=1235.24MB, minor=722469.69MB, major=8454.02MB, promoted=8422.12MB
    minor collections=344541  major collections=69 compactions=0


runtime: 00:05:50.961
vars: 140945, evals: 883127

|rho|=140945
|stable|=24379
|infl|=139946
|wpoint|=59
|sides|=1803
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138766
|called|=1005
Found 832 contexts for 39 functions. Top 5 functions:
488	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=741963.55MB, max=1235.24MB, minor=741930.96MB, major=8688.78MB, promoted=8656.19MB
    minor collections=353822  major collections=70 compactions=0


runtime: 00:06:00.980
vars: 143692, evals: 902608

|rho|=143692
|stable|=24348
|infl|=142673
|wpoint|=57
|sides|=1815
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141501
|called|=1024
Found 844 contexts for 39 functions. Top 5 functions:
500	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=761224.94MB, max=1235.24MB, minor=761192.01MB, major=8920.99MB, promoted=8888.06MB
    minor collections=363007  major collections=71 compactions=0


runtime: 00:06:11.019
vars: 146402, evals: 921585

|rho|=146402
|stable|=24421
|infl|=145361
|wpoint|=61
|sides|=1826
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144200
|called|=1093
Found 855 contexts for 39 functions. Top 5 functions:
511	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=780075.20MB, max=1235.24MB, minor=780041.62MB, major=9148.48MB, promoted=9114.90MB
    minor collections=371995  major collections=71 compactions=0


runtime: 00:06:21.026
vars: 149189, evals: 940788

|rho|=149189
|stable|=24570
|infl|=148126
|wpoint|=57
|sides|=1837
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146976
|called|=1066
Found 866 contexts for 39 functions. Top 5 functions:
522	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=799325.05MB, max=1235.24MB, minor=799290.99MB, major=9381.57MB, promoted=9347.51MB
    minor collections=381175  major collections=72 compactions=0


runtime: 00:06:31.049
vars: 151895, evals: 959592

|rho|=151895
|stable|=24663
|infl|=150810
|wpoint|=57
|sides|=1848
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149671
|called|=1091
Found 877 contexts for 39 functions. Top 5 functions:
533	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=818259.21MB, max=1420.53MB, minor=818224.67MB, major=9612.26MB, promoted=9577.71MB
    minor collections=390203  major collections=72 compactions=0


runtime: 00:06:41.063
vars: 154596, evals: 978135

|rho|=154596
|stable|=24762
|infl|=153489
|wpoint|=58
|sides|=1859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152361
|called|=1117
Found 888 contexts for 39 functions. Top 5 functions:
544	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=837132.78MB, max=1420.53MB, minor=837097.57MB, major=9844.50MB, promoted=9809.29MB
    minor collections=399203  major collections=73 compactions=0


runtime: 00:06:51.102
vars: 157222, evals: 996548

|rho|=157222
|stable|=24733
|infl|=156093
|wpoint|=57
|sides|=1870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154976
|called|=1137
Found 899 contexts for 39 functions. Top 5 functions:
555	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=855838.21MB, max=1420.53MB, minor=855802.64MB, major=10071.66MB, promoted=10036.09MB
    minor collections=408122  major collections=73 compactions=0


runtime: 00:07:01.129
vars: 159887, evals: 1014521

|rho|=159887
|stable|=25024
|infl|=158734
|wpoint|=58
|sides|=1880
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157631
|called|=1155
Found 909 contexts for 39 functions. Top 5 functions:
565	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=874251.59MB, max=1420.53MB, minor=874215.24MB, major=10297.42MB, promoted=10261.07MB
    minor collections=416903  major collections=74 compactions=0


runtime: 00:07:11.144
vars: 162424, evals: 1032679

|rho|=162424
|stable|=24944
|infl|=161245
|wpoint|=57
|sides|=1891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160157
|called|=1179
Found 920 contexts for 39 functions. Top 5 functions:
576	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=892873.41MB, max=1420.53MB, minor=892836.76MB, major=10521.01MB, promoted=10484.36MB
    minor collections=425783  major collections=75 compactions=0


runtime: 00:07:21.163
vars: 164933, evals: 1050100

|rho|=164933
|stable|=25018
|infl|=163742
|wpoint|=57
|sides|=1901
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162656
|called|=1194
Found 930 contexts for 39 functions. Top 5 functions:
586	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=911053.29MB, max=1420.53MB, minor=911015.86MB, major=10743.57MB, promoted=10706.13MB
    minor collections=434452  major collections=75 compactions=0


runtime: 00:07:31.182
vars: 167513, evals: 1067811

|rho|=167513
|stable|=25239
|infl|=166298
|wpoint|=59
|sides|=1911
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165226
|called|=1282
Found 940 contexts for 39 functions. Top 5 functions:
596	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=929473.27MB, max=1420.53MB, minor=929435.54MB, major=10975.27MB, promoted=10937.55MB
    minor collections=443235  major collections=76 compactions=0


runtime: 00:07:41.201
vars: 169989, evals: 1085087

|rho|=169989
|stable|=25273
|infl|=168752
|wpoint|=58
|sides|=1921
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167692
|called|=1240
Found 950 contexts for 39 functions. Top 5 functions:
606	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4477) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=947911.92MB, max=1633.61MB, minor=947873.36MB, major=11201.73MB, promoted=11163.17MB
    minor collections=452027  major collections=76 compactions=0


runtime: 00:07:51.216
vars: 172679, evals: 1103315

|rho|=172679
|stable|=25386
|infl|=171422
|wpoint|=59
|sides|=1932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170371
|called|=1260
Found 961 contexts for 39 functions. Top 5 functions:
617	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=966614.84MB, max=1633.61MB, minor=966576.03MB, major=11434.06MB, promoted=11395.25MB
    minor collections=460946  major collections=77 compactions=0


runtime: 00:08:01.230
vars: 175139, evals: 1120395

|rho|=175139
|stable|=25456
|infl|=173862
|wpoint|=59
|sides|=1942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172821
|called|=1312
Found 971 contexts for 39 functions. Top 5 functions:
627	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=984831.08MB, max=1633.61MB, minor=984791.46MB, major=11658.61MB, promoted=11619.00MB
    minor collections=469632  major collections=77 compactions=0


runtime: 00:08:11.249
vars: 177599, evals: 1137475

|rho|=177599
|stable|=25526
|infl|=176302
|wpoint|=59
|sides|=1952
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175271
|called|=1388
Found 981 contexts for 39 functions. Top 5 functions:
637	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1002871.56MB, max=1633.61MB, minor=1002831.67MB, major=11880.01MB, promoted=11840.12MB
    minor collections=478234  major collections=77 compactions=0


runtime: 00:08:21.260
vars: 179858, evals: 1153873

|rho|=179858
|stable|=25373
|infl|=178545
|wpoint|=61
|sides|=1962
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177520
|called|=1334
Found 991 contexts for 39 functions. Top 5 functions:
647	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1020831.52MB, max=1633.61MB, minor=1020790.90MB, major=12102.57MB, promoted=12061.94MB
    minor collections=486799  major collections=78 compactions=0


runtime: 00:08:31.287
vars: 182273, evals: 1170291

|rho|=182273
|stable|=25659
|infl|=180938
|wpoint|=59
|sides|=1971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179926
|called|=1341
Found 1000 contexts for 39 functions. Top 5 functions:
656	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1038499.46MB, max=1633.61MB, minor=1038458.42MB, major=12325.92MB, promoted=12284.88MB
    minor collections=495223  major collections=78 compactions=0


runtime: 00:08:41.302
vars: 184613, evals: 1186674

|rho|=184613
|stable|=25512
|infl|=183261
|wpoint|=57
|sides|=1981
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182256
|called|=1356
Found 1010 contexts for 39 functions. Top 5 functions:
666	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1056168.43MB, max=1633.61MB, minor=1056126.82MB, major=12543.45MB, promoted=12501.84MB
    minor collections=503649  major collections=79 compactions=0


runtime: 00:08:51.377
vars: 186947, evals: 1202855

|rho|=186947
|stable|=25792
|infl|=185574
|wpoint|=59
|sides|=1990
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184581
|called|=1407
Found 1019 contexts for 39 functions. Top 5 functions:
675	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1073946.27MB, max=1633.61MB, minor=1073904.04MB, major=12765.72MB, promoted=12723.50MB
    minor collections=512126  major collections=79 compactions=0


runtime: 00:09:01.388
vars: 189407, evals: 1219459

|rho|=189407
|stable|=25862
|infl|=188014
|wpoint|=59
|sides|=2000
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=187031
|called|=1433
Found 1029 contexts for 39 functions. Top 5 functions:
685	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1091684.22MB, max=1633.61MB, minor=1091641.59MB, major=12985.68MB, promoted=12943.05MB
    minor collections=520585  major collections=80 compactions=0


runtime: 00:09:11.411
vars: 191621, evals: 1234969

|rho|=191621
|stable|=25927
|infl|=190210
|wpoint|=58
|sides|=2009
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189236
|called|=1413
Found 1038 contexts for 39 functions. Top 5 functions:
694	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1109119.14MB, max=1878.66MB, minor=1109075.64MB, major=13204.55MB, promoted=13161.05MB
    minor collections=528898  major collections=80 compactions=0


runtime: 00:09:21.421
vars: 193956, evals: 1251383

|rho|=193956
|stable|=25884
|infl|=192529
|wpoint|=59
|sides|=2019
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191561
|called|=1435
Found 1048 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=1127017.17MB, max=1878.66MB, minor=1126973.45MB, major=13427.72MB, promoted=13383.99MB
    minor collections=537432  major collections=80 compactions=0


runtime: 00:09:31.436
vars: 196175, evals: 1267002

|rho|=196175
|stable|=25893
|infl|=194730
|wpoint|=57
|sides|=2028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193771
|called|=1449
Found 1057 contexts for 39 functions. Top 5 functions:
713	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1144366.09MB, max=1878.66MB, minor=1144321.64MB, major=13644.60MB, promoted=13600.15MB
    minor collections=545705  major collections=81 compactions=0


runtime: 00:09:41.459
vars: 198509, evals: 1282677

|rho|=198509
|stable|=26123
|infl|=197042
|wpoint|=58
|sides|=2037
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196096
|called|=1469
Found 1066 contexts for 39 functions. Top 5 functions:
722	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1161616.04MB, max=1878.66MB, minor=1161571.14MB, major=13864.98MB, promoted=13820.09MB
    minor collections=553931  major collections=81 compactions=0


runtime: 00:09:51.470
vars: 200723, evals: 1298391

|rho|=200723
|stable|=26184
|infl|=199238
|wpoint|=58
|sides|=2046
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=198301
|called|=1487
Found 1075 contexts for 39 functions. Top 5 functions:
731	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1179449.13MB, max=1878.66MB, minor=1179403.74MB, major=14093.39MB, promoted=14048.00MB
    minor collections=562435  major collections=82 compactions=0


runtime: 00:10:01.489
vars: 202937, evals: 1313763

|rho|=202937
|stable|=26247
|infl|=201434
|wpoint|=59
|sides|=2055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200506
|called|=1540
Found 1084 contexts for 39 functions. Top 5 functions:
740	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1196758.67MB, max=1878.66MB, minor=1196712.46MB, major=14313.21MB, promoted=14267.00MB
    minor collections=570688  major collections=82 compactions=0


runtime: 00:10:11.504
vars: 205151, evals: 1329247

|rho|=205151
|stable|=26310
|infl|=203630
|wpoint|=58
|sides|=2064
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202711
|called|=1523
Found 1093 contexts for 39 functions. Top 5 functions:
749	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
82	contexts for L:entry state of strlcpy (1112) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
56	contexts for L:entry state of tcp_read (1126) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4889:1-4897:1
19	contexts for L:entry state of chain_next (4477) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3723:1-3748:1
16	contexts for L:entry state of strlcat (915) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5957:1-6004:1

Memory statistics: total=1214306.82MB, max=1878.66MB, minor=1214260.38MB, major=14535.11MB, promoted=14488.66MB
    minor collections=579056  major collections=82 compactions=0


runtime: 00:10:21.515
vars: 207365, evals: 1344507

|rho|=207365
|stable|=26373
|infl|=205826
|wpoint|=59
|sides|=2073
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=204916
|called|=1577
Found 1102 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=1231622.86MB, max=1878.66MB, minor=1231575.64MB, major=14755.69MB, promoted=14708.47MB
    minor collections=587313  major collections=83 compactions=0


runtime: 00:10:31.546
vars: 209579, evals: 1359647

|rho|=209579
|stable|=26436
|infl|=208022
|wpoint|=59
|sides|=2082
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=207121
|called|=1592
Found 1111 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=1248685.04MB, max=1878.66MB, minor=1248637.30MB, major=14974.60MB, promoted=14926.86MB
    minor collections=595449  major collections=83 compactions=0


runtime: 00:10:41.557
vars: 211793, evals: 1374909

|rho|=211793
|stable|=26501
|infl|=210218
|wpoint|=58
|sides|=2091
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209326
|called|=1577
Found 1120 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=1266070.58MB, max=1878.66MB, minor=1266022.43MB, major=15195.39MB, promoted=15147.24MB
    minor collections=603739  major collections=84 compactions=0


runtime: 00:10:51.583
vars: 213791, evals: 1389335

|rho|=213791
|stable|=26342
|infl|=212201
|wpoint|=61
|sides|=2100
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=211315
|called|=1642
Found 1129 contexts for 39 functions. Top 5 functions:
785	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1282928.95MB, max=1878.66MB, minor=1282879.92MB, major=15413.86MB, promoted=15364.84MB
    minor collections=611778  major collections=84 compactions=0


runtime: 00:11:01.606
vars: 215975, evals: 1404055

|rho|=215975
|stable|=26618
|infl|=214366
|wpoint|=59
|sides|=2108
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213491
|called|=1705
Found 1137 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=1299524.64MB, max=1878.66MB, minor=1299475.34MB, major=15628.85MB, promoted=15579.55MB
    minor collections=619691  major collections=84 compactions=0


runtime: 00:11:11.617
vars: 217960, evals: 1418212

|rho|=217960
|stable|=26693
|infl|=216337
|wpoint|=57
|sides|=2116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=215468
|called|=1623
Found 1145 contexts for 39 functions. Top 5 functions:
801	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1316242.35MB, max=1878.66MB, minor=1316192.55MB, major=15844.17MB, promoted=15794.38MB
    minor collections=627663  major collections=85 compactions=0


runtime: 00:11:21.643
vars: 220032, evals: 1432441

|rho|=220032
|stable|=26624
|infl|=218393
|wpoint|=58
|sides|=2125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=217531
|called|=1649
Found 1154 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=1332794.78MB, max=2160.46MB, minor=1332744.01MB, major=16053.56MB, promoted=16002.79MB
    minor collections=635556  major collections=85 compactions=0


runtime: 00:11:31.654
vars: 222141, evals: 1447173

|rho|=222141
|stable|=26757
|infl|=220480
|wpoint|=58
|sides|=2133
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=219632
|called|=1673
Found 1162 contexts for 39 functions. Top 5 functions:
818	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1349966.56MB, max=2160.46MB, minor=1349915.64MB, major=16279.35MB, promoted=16228.42MB
    minor collections=643744  major collections=85 compactions=0


runtime: 00:11:41.665
vars: 224339, evals: 1462015

|rho|=224339
|stable|=26856
|infl|=222662
|wpoint|=58
|sides|=2142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221821
|called|=1679
Found 1171 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=1367054.04MB, max=2160.46MB, minor=1367002.52MB, major=16499.31MB, promoted=16447.79MB
    minor collections=651892  major collections=86 compactions=0


runtime: 00:11:51.692
vars: 226307, evals: 1475803

|rho|=226307
|stable|=26808
|infl|=224614
|wpoint|=59
|sides|=2150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223781
|called|=1699
Found 1179 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=1383621.92MB, max=2160.46MB, minor=1383569.55MB, major=16716.01MB, promoted=16663.64MB
    minor collections=659792  major collections=86 compactions=0


runtime: 00:12:01.703
vars: 228396, evals: 1490549

|rho|=228396
|stable|=26864
|infl|=226689
|wpoint|=59
|sides|=2159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=225861
|called|=1717
Found 1188 contexts for 39 functions. Top 5 functions:
844	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1400820.45MB, max=2160.46MB, minor=1400767.88MB, major=16936.87MB, promoted=16884.30MB
    minor collections=667993  major collections=86 compactions=0


runtime: 00:12:11.714
vars: 230489, evals: 1504943

|rho|=230489
|stable|=27031
|infl|=228762
|wpoint|=59
|sides|=2167
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227946
|called|=1759
Found 1196 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=1417907.23MB, max=2160.46MB, minor=1417853.98MB, major=17161.70MB, promoted=17108.45MB
    minor collections=676141  major collections=87 compactions=0


runtime: 00:12:21.768
vars: 232457, evals: 1518607

|rho|=232457
|stable|=27087
|infl|=230714
|wpoint|=59
|sides|=2175
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229906
|called|=1824
Found 1204 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=1434203.06MB, max=2160.46MB, minor=1434149.03MB, major=17374.75MB, promoted=17320.71MB
    minor collections=683911  major collections=87 compactions=0


runtime: 00:12:31.779
vars: 234427, evals: 1532503

|rho|=234427
|stable|=27147
|infl|=232670
|wpoint|=57
|sides|=2183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231868
|called|=1757
Found 1212 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=1450942.73MB, max=2160.46MB, minor=1450888.50MB, major=17596.31MB, promoted=17542.08MB
    minor collections=691893  major collections=87 compactions=0


runtime: 00:12:41.790
vars: 236423, evals: 1546471

|rho|=236423
|stable|=26986
|infl|=234649
|wpoint|=61
|sides|=2192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=233855
|called|=1817
Found 1221 contexts for 39 functions. Top 5 functions:
877	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1467641.04MB, max=2160.46MB, minor=1467586.17MB, major=17815.22MB, promoted=17760.36MB
    minor collections=699856  major collections=88 compactions=0


runtime: 00:12:51.833
vars: 238361, evals: 1559827

|rho|=238361
|stable|=27255
|infl|=236570
|wpoint|=59
|sides|=2199
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=235786
|called|=1836
Found 1228 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=1483924.01MB, max=2160.46MB, minor=1483868.21MB, major=18031.17MB, promoted=17975.37MB
    minor collections=707620  major collections=88 compactions=0


runtime: 00:13:01.848
vars: 240345, evals: 1573555

|rho|=240345
|stable|=27275
|infl|=238536
|wpoint|=58
|sides|=2207
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237762
|called|=1820
Found 1236 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=1500435.29MB, max=2160.46MB, minor=1500379.34MB, major=18248.51MB, promoted=18192.56MB
    minor collections=715493  major collections=88 compactions=0


runtime: 00:13:11.859
vars: 242342, evals: 1587578

|rho|=242342
|stable|=27024
|infl|=240521
|wpoint|=57
|sides|=2216
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239750
|called|=1827
Found 1245 contexts for 39 functions. Top 5 functions:
901	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1517297.11MB, max=2160.46MB, minor=1517240.57MB, major=18471.37MB, promoted=18414.83MB
    minor collections=723534  major collections=89 compactions=0


runtime: 00:13:21.890
vars: 244265, evals: 1600595

|rho|=244265
|stable|=27423
|infl|=242426
|wpoint|=59
|sides|=2223
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=241666
|called|=1842
Found 1252 contexts for 39 functions. Top 5 functions:
908	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1533324.53MB, max=2160.46MB, minor=1533266.96MB, major=18684.76MB, promoted=18627.18MB
    minor collections=731176  major collections=89 compactions=0


runtime: 00:13:31.909
vars: 246233, evals: 1614255

|rho|=246233
|stable|=27479
|infl|=244378
|wpoint|=59
|sides|=2231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243626
|called|=1945
Found 1260 contexts for 39 functions. Top 5 functions:
916	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1549709.04MB, max=2484.53MB, minor=1549651.32MB, major=18904.30MB, promoted=18846.57MB
    minor collections=738989  major collections=89 compactions=0


runtime: 00:13:41.920
vars: 248201, evals: 1627679

|rho|=248201
|stable|=27535
|infl|=246330
|wpoint|=59
|sides|=2239
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=245586
|called|=1876
Found 1268 contexts for 39 functions. Top 5 functions:
924	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1566062.25MB, max=2484.53MB, minor=1566004.08MB, major=19116.10MB, promoted=19057.93MB
    minor collections=746787  major collections=90 compactions=0


runtime: 00:13:51.935
vars: 249968, evals: 1640658

|rho|=249968
|stable|=27373
|infl|=248085
|wpoint|=59
|sides|=2247
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247345
|called|=1894
Found 1276 contexts for 39 functions. Top 5 functions:
932	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1582469.80MB, max=2484.53MB, minor=1582410.71MB, major=19335.42MB, promoted=19276.32MB
    minor collections=754610  major collections=90 compactions=0


runtime: 00:14:01.966
vars: 251891, evals: 1653543

|rho|=251891
|stable|=27640
|infl|=249990
|wpoint|=58
|sides|=2254
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=249261
|called|=1903
Found 1283 contexts for 39 functions. Top 5 functions:
939	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1598332.29MB, max=2484.53MB, minor=1598272.79MB, major=19548.72MB, promoted=19489.22MB
    minor collections=762174  major collections=90 compactions=0


runtime: 00:14:11.976
vars: 253859, evals: 1666977

|rho|=253859
|stable|=27698
|infl|=251942
|wpoint|=58
|sides|=2262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251221
|called|=1919
Found 1291 contexts for 39 functions. Top 5 functions:
947	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1614766.38MB, max=2484.53MB, minor=1614706.56MB, major=19768.46MB, promoted=19708.65MB
    minor collections=770011  major collections=91 compactions=0


runtime: 00:14:21.991
vars: 255626, evals: 1679831

|rho|=255626
|stable|=27423
|infl|=253697
|wpoint|=58
|sides|=2270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=252980
|called|=1946
Found 1299 contexts for 39 functions. Top 5 functions:
955	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1630986.15MB, max=2484.53MB, minor=1630925.58MB, major=19984.85MB, promoted=19924.28MB
    minor collections=777745  major collections=91 compactions=0


runtime: 00:14:32.042
vars: 257549, evals: 1692713

|rho|=257549
|stable|=27803
|infl|=255602
|wpoint|=58
|sides|=2277
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=254896
|called|=1949
Found 1306 contexts for 39 functions. Top 5 functions:
962	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1647065.55MB, max=2484.53MB, minor=1647004.19MB, major=20201.01MB, promoted=20139.65MB
    minor collections=785412  major collections=91 compactions=0


runtime: 00:14:42.053
vars: 259397, evals: 1705929

|rho|=259397
|stable|=27663
|infl|=257437
|wpoint|=57
|sides|=2285
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=256736
|called|=1960
Found 1314 contexts for 39 functions. Top 5 functions:
970	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1663370.99MB, max=2484.53MB, minor=1663309.45MB, major=20418.74MB, promoted=20357.19MB
    minor collections=793187  major collections=91 compactions=0


runtime: 00:14:52.060
vars: 261239, evals: 1718673

|rho|=261239
|stable|=27908
|infl|=259262
|wpoint|=58
|sides|=2292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258571
|called|=1979
Found 1321 contexts for 39 functions. Top 5 functions:
977	contexts for L:entry state of ftp_size (1691) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:3360:1-3530:1
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=1679781.55MB, max=2484.53MB, minor=1679719.42MB, major=20643.19MB, promoted=20581.06MB
    minor collections=801013  major collections=92 compactions=0

