./goblint --conf conf/svcomp23.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 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
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
Collected factors:
functions: 149
functionCalls: 1320
loops: 79
loopBreaks: 0
controlFlowStatements: 3930
expressions: 22816
instructions: 3793
integralVars: (7,500)
arrayVars: (3,34)
pointerVars: (5,403)

Complexity estimates:
File: 35128317
function ftp_size is recursive, disable interval context
thread created by pthread_create, called by:
  axel_start
  axel_do
  search_getspeeds
Total: 35128317
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.190
vars: 8592, evals: 29199

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=26016.58MB, max=86.79MB, minor=26011.03MB, major=391.05MB, promoted=385.49MB
    minor collections=12414  major collections=22 compactions=0


runtime: 00:00:20.202
vars: 8592, evals: 44060

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=51988.48MB, max=86.79MB, minor=51982.93MB, major=816.65MB, promoted=811.10MB
    minor collections=24807  major collections=39 compactions=0


runtime: 00:00:30.213
vars: 8592, evals: 58987

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=78088.11MB, max=86.79MB, minor=78082.56MB, major=1247.33MB, promoted=1241.77MB
    minor collections=37260  major collections=55 compactions=0


runtime: 00:00:40.224
vars: 8592, evals: 73694

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=103783.15MB, max=86.79MB, minor=103777.60MB, major=1670.01MB, promoted=1664.46MB
    minor collections=49521  major collections=71 compactions=0


runtime: 00:00:50.235
vars: 8592, evals: 88423

|rho|=8592
|called|=50
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=129522.16MB, max=86.79MB, minor=129516.61MB, major=2094.64MB, promoted=2089.09MB
    minor collections=61802  major collections=86 compactions=0


runtime: 00:01:00.247
vars: 8592, evals: 103042

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=155081.39MB, max=86.79MB, minor=155075.84MB, major=2515.78MB, promoted=2510.23MB
    minor collections=73998  major collections=102 compactions=0


runtime: 00:01:10.258
vars: 8592, evals: 117826

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=180918.58MB, max=99.81MB, minor=180913.03MB, major=2941.45MB, promoted=2935.89MB
    minor collections=86325  major collections=117 compactions=0


runtime: 00:01:20.269
vars: 8592, evals: 132489

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=206543.61MB, max=99.81MB, minor=206538.06MB, major=3363.68MB, promoted=3358.13MB
    minor collections=98552  major collections=133 compactions=0


runtime: 00:01:30.280
vars: 8592, evals: 147141

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=232151.89MB, max=99.81MB, minor=232146.33MB, major=3784.95MB, promoted=3779.40MB
    minor collections=110771  major collections=148 compactions=0


runtime: 00:01:40.292
vars: 8592, evals: 161661

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=257537.99MB, max=99.81MB, minor=257532.43MB, major=4203.77MB, promoted=4198.22MB
    minor collections=122884  major collections=163 compactions=0


runtime: 00:01:50.303
vars: 8592, evals: 175950

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=282500.14MB, max=99.81MB, minor=282494.59MB, major=4616.05MB, promoted=4610.49MB
    minor collections=134794  major collections=177 compactions=0


runtime: 00:02:00.314
vars: 8592, evals: 190272

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=307544.01MB, max=99.81MB, minor=307538.46MB, major=5028.36MB, promoted=5022.80MB
    minor collections=146743  major collections=191 compactions=0


runtime: 00:02:10.326
vars: 8592, evals: 204913

|rho|=8592
|called|=51
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=333119.14MB, max=99.81MB, minor=333113.59MB, major=5447.60MB, promoted=5442.05MB
    minor collections=158946  major collections=206 compactions=0


runtime: 00:02:20.337
vars: 8592, evals: 219466

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=358569.80MB, max=99.81MB, minor=358564.24MB, major=5865.32MB, promoted=5859.77MB
    minor collections=171089  major collections=220 compactions=0


runtime: 00:02:30.344
vars: 8592, evals: 233898

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=383790.30MB, max=99.81MB, minor=383784.75MB, major=6280.62MB, promoted=6275.07MB
    minor collections=183122  major collections=234 compactions=0


runtime: 00:02:40.355
vars: 8592, evals: 248231

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=408834.09MB, max=99.81MB, minor=408828.54MB, major=6690.66MB, promoted=6685.11MB
    minor collections=195071  major collections=248 compactions=0


runtime: 00:02:50.367
vars: 8592, evals: 262476

|rho|=8592
|called|=43
|stable|=8308
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=433743.22MB, max=99.81MB, minor=433737.67MB, major=7098.98MB, promoted=7093.43MB
    minor collections=206956  major collections=262 compactions=0


runtime: 00:03:00.378
vars: 8592, evals: 276897

|rho|=8592
|called|=51
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=458930.55MB, max=99.81MB, minor=458925.00MB, major=7512.34MB, promoted=7506.78MB
    minor collections=218973  major collections=276 compactions=0


runtime: 00:03:10.385
vars: 8592, evals: 291142

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=483842.55MB, max=99.81MB, minor=483836.99MB, major=7921.28MB, promoted=7915.73MB
    minor collections=230859  major collections=289 compactions=0


runtime: 00:03:20.397
vars: 8592, evals: 305321

|rho|=8592
|called|=45
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=508615.62MB, max=99.81MB, minor=508610.07MB, major=8328.82MB, promoted=8323.27MB
    minor collections=242679  major collections=303 compactions=0


runtime: 00:03:30.408
vars: 8592, evals: 319489

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=533384.73MB, max=99.81MB, minor=533379.17MB, major=8735.87MB, promoted=8730.32MB
    minor collections=254496  major collections=316 compactions=0


runtime: 00:03:40.419
vars: 8592, evals: 333382

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=557660.29MB, max=99.81MB, minor=557654.73MB, major=9134.72MB, promoted=9129.17MB
    minor collections=266078  major collections=329 compactions=0


runtime: 00:03:50.442
vars: 8592, evals: 347484

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=582312.67MB, max=99.81MB, minor=582307.12MB, major=9539.91MB, promoted=9534.36MB
    minor collections=277840  major collections=342 compactions=0


runtime: 00:04:00.465
vars: 8592, evals: 361575

|rho|=8592
|called|=53
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=606927.27MB, max=99.81MB, minor=606921.72MB, major=9944.90MB, promoted=9939.35MB
    minor collections=289584  major collections=355 compactions=0


runtime: 00:04:10.476
vars: 8592, evals: 375710

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=631646.44MB, max=114.78MB, minor=631640.89MB, major=10352.98MB, promoted=10347.43MB
    minor collections=301377  major collections=367 compactions=0


runtime: 00:04:20.484
vars: 8592, evals: 389724

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=656137.22MB, max=114.78MB, minor=656131.66MB, major=10755.88MB, promoted=10750.32MB
    minor collections=313062  major collections=380 compactions=0


runtime: 00:04:30.499
vars: 8592, evals: 403750

|rho|=8592
|called|=44
|stable|=8299
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=680655.35MB, max=114.78MB, minor=680649.80MB, major=11158.55MB, promoted=11153.00MB
    minor collections=324760  major collections=393 compactions=0


runtime: 00:04:40.510
vars: 8592, evals: 417906

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=705384.73MB, max=114.78MB, minor=705379.17MB, major=11563.21MB, promoted=11557.66MB
    minor collections=336558  major collections=405 compactions=0


runtime: 00:04:50.517
vars: 8592, evals: 431997

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=730011.47MB, max=114.78MB, minor=730005.92MB, major=11967.50MB, promoted=11961.94MB
    minor collections=348307  major collections=417 compactions=0


runtime: 00:05:00.529
vars: 8592, evals: 446088

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=754638.41MB, max=114.78MB, minor=754632.85MB, major=12372.03MB, promoted=12366.48MB
    minor collections=360057  major collections=430 compactions=0


runtime: 00:05:10.540
vars: 8592, evals: 459970

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=778907.05MB, max=114.78MB, minor=778901.50MB, major=12771.31MB, promoted=12765.76MB
    minor collections=371635  major collections=442 compactions=0


runtime: 00:05:20.551
vars: 8592, evals: 473698

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=802904.62MB, max=114.78MB, minor=802899.06MB, major=13164.51MB, promoted=13158.96MB
    minor collections=383084  major collections=454 compactions=0


runtime: 00:05:30.563
vars: 8592, evals: 487778

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=827516.64MB, max=114.78MB, minor=827511.09MB, major=13569.65MB, promoted=13564.10MB
    minor collections=394826  major collections=466 compactions=0


runtime: 00:05:40.570
vars: 8592, evals: 501858

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=852113.68MB, max=114.78MB, minor=852108.13MB, major=13975.20MB, promoted=13969.64MB
    minor collections=406561  major collections=478 compactions=0


runtime: 00:05:50.582
vars: 8592, evals: 515652

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=876225.41MB, max=114.78MB, minor=876219.86MB, major=14369.97MB, promoted=14364.42MB
    minor collections=418064  major collections=489 compactions=0


runtime: 00:06:00.593
vars: 8592, evals: 529468

|rho|=8592
|called|=52
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=900365.30MB, max=114.78MB, minor=900359.74MB, major=14766.13MB, promoted=14760.58MB
    minor collections=429581  major collections=501 compactions=0


runtime: 00:06:10.605
vars: 8592, evals: 543449

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=924803.24MB, max=114.78MB, minor=924797.69MB, major=15168.24MB, promoted=15162.69MB
    minor collections=441240  major collections=513 compactions=0


runtime: 00:06:20.612
vars: 8592, evals: 557276

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=948977.07MB, max=114.78MB, minor=948971.52MB, major=15566.27MB, promoted=15560.72MB
    minor collections=452773  major collections=524 compactions=0


runtime: 00:06:30.624
vars: 8592, evals: 571246

|rho|=8592
|called|=52
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=973383.46MB, max=114.78MB, minor=973377.91MB, major=15966.37MB, promoted=15960.81MB
    minor collections=464417  major collections=536 compactions=0


runtime: 00:06:40.635
vars: 8592, evals: 585073

|rho|=8592
|called|=53
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=997549.96MB, max=114.78MB, minor=997544.41MB, major=16364.54MB, promoted=16358.99MB
    minor collections=475946  major collections=547 compactions=0


runtime: 00:06:50.642
vars: 8592, evals: 598933

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1021776.67MB, max=114.78MB, minor=1021771.12MB, major=16763.32MB, promoted=16757.77MB
    minor collections=487504  major collections=558 compactions=0


runtime: 00:07:00.653
vars: 8592, evals: 612694

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1045828.76MB, max=114.78MB, minor=1045823.20MB, major=17158.09MB, promoted=17152.53MB
    minor collections=498979  major collections=569 compactions=0


runtime: 00:07:10.665
vars: 8592, evals: 626554

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1070060.72MB, max=114.78MB, minor=1070055.16MB, major=17557.15MB, promoted=17551.60MB
    minor collections=510539  major collections=581 compactions=0


runtime: 00:07:20.672
vars: 8592, evals: 640315

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1094106.50MB, max=114.78MB, minor=1094100.94MB, major=17952.73MB, promoted=17947.18MB
    minor collections=522011  major collections=592 compactions=0


runtime: 00:07:30.684
vars: 8592, evals: 654021

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1118059.80MB, max=114.78MB, minor=1118054.25MB, major=18345.42MB, promoted=18339.87MB
    minor collections=533438  major collections=602 compactions=0


runtime: 00:07:40.695
vars: 8592, evals: 667639

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1141871.95MB, max=132.00MB, minor=1141866.40MB, major=18735.71MB, promoted=18730.15MB
    minor collections=544798  major collections=613 compactions=0


runtime: 00:07:50.706
vars: 8592, evals: 681323

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1165781.51MB, max=132.00MB, minor=1165775.96MB, major=19129.05MB, promoted=19123.50MB
    minor collections=556205  major collections=624 compactions=0


runtime: 00:08:00.713
vars: 8592, evals: 695139

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1189926.73MB, max=132.00MB, minor=1189921.17MB, major=19524.99MB, promoted=19519.44MB
    minor collections=567724  major collections=635 compactions=0


runtime: 00:08:10.724
vars: 8592, evals: 708802

|rho|=8592
|called|=44
|stable|=8299
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1213816.99MB, max=132.00MB, minor=1213811.44MB, major=19915.89MB, promoted=19910.34MB
    minor collections=579121  major collections=645 compactions=0


runtime: 00:08:20.736
vars: 8592, evals: 722518

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1237784.82MB, max=132.00MB, minor=1237779.26MB, major=20309.73MB, promoted=20304.18MB
    minor collections=590555  major collections=656 compactions=0


runtime: 00:08:30.747
vars: 8592, evals: 736037

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1261406.92MB, max=132.00MB, minor=1261401.37MB, major=20697.67MB, promoted=20692.12MB
    minor collections=601824  major collections=666 compactions=0


runtime: 00:08:40.754
vars: 8592, evals: 749479

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1284909.16MB, max=132.00MB, minor=1284903.61MB, major=21084.65MB, promoted=21079.09MB
    minor collections=613036  major collections=676 compactions=0


runtime: 00:08:50.765
vars: 8592, evals: 763152

|rho|=8592
|called|=50
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1308794.38MB, max=132.00MB, minor=1308788.83MB, major=21476.54MB, promoted=21470.99MB
    minor collections=624431  major collections=687 compactions=0


runtime: 00:09:00.777
vars: 8592, evals: 776781

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1332621.49MB, max=132.00MB, minor=1332615.94MB, major=21866.51MB, promoted=21860.96MB
    minor collections=635798  major collections=697 compactions=0


runtime: 00:09:10.784
vars: 8592, evals: 790388

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1356401.94MB, max=132.00MB, minor=1356396.39MB, major=22256.23MB, promoted=22250.68MB
    minor collections=647143  major collections=707 compactions=0


runtime: 00:09:20.800
vars: 8592, evals: 803698

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1379660.31MB, max=132.00MB, minor=1379654.75MB, major=22639.06MB, promoted=22633.50MB
    minor collections=658238  major collections=717 compactions=0


runtime: 00:09:30.807
vars: 8592, evals: 817162

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1403202.44MB, max=132.00MB, minor=1403196.89MB, major=23025.57MB, promoted=23020.02MB
    minor collections=669469  major collections=727 compactions=0


runtime: 00:09:40.818
vars: 8592, evals: 830593

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1426673.55MB, max=132.00MB, minor=1426668.00MB, major=23410.81MB, promoted=23405.26MB
    minor collections=680666  major collections=737 compactions=0


runtime: 00:09:50.829
vars: 8592, evals: 843903

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1449937.61MB, max=132.00MB, minor=1449932.06MB, major=23793.06MB, promoted=23787.51MB
    minor collections=691764  major collections=746 compactions=0


runtime: 00:10:00.840
vars: 8592, evals: 857224

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1473215.84MB, max=132.00MB, minor=1473210.28MB, major=24174.65MB, promoted=24169.10MB
    minor collections=702869  major collections=756 compactions=0


runtime: 00:10:10.852
vars: 8592, evals: 870699

|rho|=8592
|called|=53
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1496762.48MB, max=132.00MB, minor=1496756.93MB, major=24560.20MB, promoted=24554.65MB
    minor collections=714102  major collections=766 compactions=0


runtime: 00:10:20.859
vars: 8592, evals: 884031

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1520079.82MB, max=132.00MB, minor=1520074.26MB, major=24943.12MB, promoted=24937.56MB
    minor collections=725225  major collections=775 compactions=0


runtime: 00:10:30.870
vars: 8592, evals: 897451

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1543532.01MB, max=132.00MB, minor=1543526.45MB, major=25326.54MB, promoted=25320.99MB
    minor collections=736414  major collections=785 compactions=0


runtime: 00:10:40.881
vars: 8592, evals: 910981

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1567176.92MB, max=132.00MB, minor=1567171.37MB, major=25712.59MB, promoted=25707.04MB
    minor collections=747693  major collections=795 compactions=0


runtime: 00:10:50.893
vars: 8592, evals: 924214

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1590312.76MB, max=132.00MB, minor=1590307.21MB, major=26091.94MB, promoted=26086.39MB
    minor collections=758730  major collections=804 compactions=0


runtime: 00:11:00.904
vars: 8592, evals: 937568

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1613646.31MB, max=132.00MB, minor=1613640.76MB, major=26474.03MB, promoted=26468.48MB
    minor collections=769861  major collections=813 compactions=0


runtime: 00:11:10.915
vars: 8592, evals: 951098

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1637295.73MB, max=132.00MB, minor=1637290.18MB, major=26862.52MB, promoted=26856.97MB
    minor collections=781143  major collections=823 compactions=0


runtime: 00:11:20.926
vars: 8592, evals: 964397

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1660532.35MB, max=132.00MB, minor=1660526.80MB, major=27246.31MB, promoted=27240.76MB
    minor collections=792228  major collections=832 compactions=0


runtime: 00:11:30.937
vars: 8592, evals: 977542

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1683519.78MB, max=132.00MB, minor=1683514.23MB, major=27624.99MB, promoted=27619.44MB
    minor collections=803194  major collections=841 compactions=0


runtime: 00:11:40.952
vars: 8592, evals: 991039

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1707110.23MB, max=132.00MB, minor=1707104.67MB, major=28010.46MB, promoted=28004.91MB
    minor collections=814448  major collections=851 compactions=0


runtime: 00:11:50.964
vars: 8592, evals: 1004371

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1730408.65MB, max=132.00MB, minor=1730403.10MB, major=28392.91MB, promoted=28387.35MB
    minor collections=825562  major collections=860 compactions=0


runtime: 00:12:00.972
vars: 8592, evals: 1017703

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1753709.14MB, max=151.80MB, minor=1753703.59MB, major=28776.62MB, promoted=28771.07MB
    minor collections=836677  major collections=869 compactions=0


runtime: 00:12:10.990
vars: 8592, evals: 1030936

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1776840.38MB, max=151.80MB, minor=1776834.83MB, major=29155.30MB, promoted=29149.75MB
    minor collections=847712  major collections=878 compactions=0


runtime: 00:12:21.002
vars: 8592, evals: 1044125

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1799889.73MB, max=151.80MB, minor=1799884.18MB, major=29532.73MB, promoted=29527.18MB
    minor collections=858707  major collections=887 compactions=0


runtime: 00:12:31.013
vars: 8592, evals: 1057369

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1823038.90MB, max=151.80MB, minor=1823033.35MB, major=29914.31MB, promoted=29908.75MB
    minor collections=869750  major collections=896 compactions=0


runtime: 00:12:41.025
vars: 8592, evals: 1070723

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1846374.63MB, max=151.80MB, minor=1846369.07MB, major=30296.62MB, promoted=30291.06MB
    minor collections=880882  major collections=905 compactions=0


runtime: 00:12:51.036
vars: 8592, evals: 1083879

|rho|=8592
|called|=46
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1869365.58MB, max=151.80MB, minor=1869360.03MB, major=30673.31MB, promoted=30667.76MB
    minor collections=891849  major collections=913 compactions=0


runtime: 00:13:01.047
vars: 8592, evals: 1097035

|rho|=8592
|called|=48
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1892356.48MB, max=151.80MB, minor=1892350.92MB, major=31051.70MB, promoted=31046.15MB
    minor collections=902817  major collections=922 compactions=0


runtime: 00:13:11.058
vars: 8592, evals: 1110378

|rho|=8592
|called|=44
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1915684.92MB, max=151.80MB, minor=1915679.36MB, major=31434.37MB, promoted=31428.82MB
    minor collections=913945  major collections=931 compactions=0


runtime: 00:13:21.070
vars: 8592, evals: 1123578

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1938763.12MB, max=151.80MB, minor=1938757.57MB, major=31815.39MB, promoted=31809.84MB
    minor collections=924955  major collections=940 compactions=0


runtime: 00:13:31.081
vars: 8592, evals: 1136646

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1961596.69MB, max=151.80MB, minor=1961591.13MB, major=32188.92MB, promoted=32183.36MB
    minor collections=935847  major collections=948 compactions=0


runtime: 00:13:41.096
vars: 8592, evals: 1149901

|rho|=8592
|called|=47
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=1984756.31MB, max=151.80MB, minor=1984750.76MB, major=32570.31MB, promoted=32564.76MB
    minor collections=946895  major collections=957 compactions=0


runtime: 00:13:51.107
vars: 8592, evals: 1163090

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2007818.66MB, max=151.80MB, minor=2007813.11MB, major=32947.26MB, promoted=32941.71MB
    minor collections=957896  major collections=965 compactions=0


runtime: 00:14:01.116
vars: 8592, evals: 1176389

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2031060.75MB, max=151.80MB, minor=2031055.20MB, major=33328.28MB, promoted=33322.72MB
    minor collections=968983  major collections=974 compactions=0


runtime: 00:14:11.130
vars: 8592, evals: 1189479

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2053939.14MB, max=151.80MB, minor=2053933.59MB, major=33704.35MB, promoted=33698.79MB
    minor collections=979897  major collections=982 compactions=0


runtime: 00:14:21.141
vars: 8592, evals: 1202723

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2077086.59MB, max=151.80MB, minor=2077081.03MB, major=34082.98MB, promoted=34077.43MB
    minor collections=990939  major collections=991 compactions=0


runtime: 00:14:31.152
vars: 8592, evals: 1215901

|rho|=8592
|called|=49
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2100109.51MB, max=151.80MB, minor=2100103.95MB, major=34461.06MB, promoted=34455.51MB
    minor collections=1001921  major collections=999 compactions=0


runtime: 00:14:41.164
vars: 8592, evals: 1229123

|rho|=8592
|called|=43
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2123228.42MB, max=151.80MB, minor=2123222.87MB, major=34840.16MB, promoted=34834.61MB
    minor collections=1012949  major collections=1007 compactions=0


runtime: 00:14:51.175
vars: 8592, evals: 1242378

|rho|=8592
|called|=45
|stable|=8309
|infl|=8543
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7985
Found 118 contexts for 18 functions. Top 5 functions:
50	contexts for entry state of strlcpy (2792) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:5912:1-5955:1
12	contexts for entry state of get_if_ip (3202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:4919:1-4954:1
10	contexts for entry state of axel_fscanf (4435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2120:1-2155:1
9	contexts for entry state of conf_hdr_make (4434) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:2108:1-2117:1
7	contexts for entry state of atoi (1993) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/axel/main.c:393:1-402:1

Memory statistics: total=2146391.11MB, max=151.80MB, minor=2146385.56MB, major=35219.89MB, promoted=35214.34MB
    minor collections=1023999  major collections=1016 compactions=0

