./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.206
vars: 8592, evals: 28902

|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=25494.45MB, max=86.79MB, minor=25488.89MB, major=381.92MB, promoted=376.37MB
    minor collections=12165  major collections=22 compactions=0


runtime: 00:00:20.221
vars: 8592, evals: 43554

|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=51101.45MB, max=86.79MB, minor=51095.90MB, major=800.65MB, promoted=795.10MB
    minor collections=24383  major collections=38 compactions=0


runtime: 00:00:30.232
vars: 8592, evals: 57953

|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=76267.87MB, max=86.79MB, minor=76262.32MB, major=1213.47MB, promoted=1207.92MB
    minor collections=36392  major collections=54 compactions=0


runtime: 00:00:40.238
vars: 8592, evals: 72451

|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=101610.28MB, max=86.79MB, minor=101604.73MB, major=1628.05MB, promoted=1622.50MB
    minor collections=48484  major collections=69 compactions=0


runtime: 00:00:50.254
vars: 8592, evals: 86729

|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=126560.84MB, max=86.79MB, minor=126555.28MB, major=2037.45MB, promoted=2031.89MB
    minor collections=60389  major collections=84 compactions=0


runtime: 00:01:00.265
vars: 8592, evals: 100666

|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=150926.40MB, max=86.79MB, minor=150920.85MB, major=2439.01MB, promoted=2433.46MB
    minor collections=72015  major collections=99 compactions=0


runtime: 00:01:10.276
vars: 8592, evals: 114724

|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=175493.80MB, max=99.81MB, minor=175488.25MB, major=2843.80MB, promoted=2838.25MB
    minor collections=83737  major collections=114 compactions=0


runtime: 00:01:20.287
vars: 8592, evals: 128958

|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=200369.19MB, max=99.81MB, minor=200363.63MB, major=3252.22MB, promoted=3246.67MB
    minor collections=95606  major collections=129 compactions=0


runtime: 00:01:30.298
vars: 8592, evals: 143049

|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=224998.78MB, max=99.81MB, minor=224993.22MB, major=3655.56MB, promoted=3650.00MB
    minor collections=107358  major collections=143 compactions=0


runtime: 00:01:40.309
vars: 8592, evals: 157195

|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=249724.01MB, max=99.81MB, minor=249718.45MB, major=4059.36MB, promoted=4053.81MB
    minor collections=119155  major collections=157 compactions=0


runtime: 00:01:50.316
vars: 8592, evals: 171264

|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=274314.90MB, max=99.81MB, minor=274309.35MB, major=4463.85MB, promoted=4458.30MB
    minor collections=130888  major collections=172 compactions=0


runtime: 00:02:00.327
vars: 8592, evals: 185289

|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=298827.98MB, max=99.81MB, minor=298822.43MB, major=4868.31MB, promoted=4862.75MB
    minor collections=142584  major collections=186 compactions=0


runtime: 00:02:10.342
vars: 8592, evals: 199072

|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=322927.07MB, max=99.81MB, minor=322921.51MB, major=5264.08MB, promoted=5258.53MB
    minor collections=154083  major collections=200 compactions=0


runtime: 00:02:20.353
vars: 8592, evals: 213009

|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=347270.84MB, max=99.81MB, minor=347265.29MB, major=5663.83MB, promoted=5658.27MB
    minor collections=165697  major collections=213 compactions=0


runtime: 00:02:30.368
vars: 8592, evals: 226638

|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=371094.77MB, max=99.81MB, minor=371089.22MB, major=6055.83MB, promoted=6050.28MB
    minor collections=177065  major collections=227 compactions=0


runtime: 00:02:40.379
vars: 8592, evals: 240388

|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=395136.88MB, max=99.81MB, minor=395131.33MB, major=6452.28MB, promoted=6446.73MB
    minor collections=188536  major collections=240 compactions=0


runtime: 00:02:50.394
vars: 8592, evals: 253753

|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=418483.82MB, max=99.81MB, minor=418478.27MB, major=6835.07MB, promoted=6829.51MB
    minor collections=199675  major collections=253 compactions=0


runtime: 00:03:00.409
vars: 8592, evals: 267250

|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=442086.49MB, max=99.81MB, minor=442080.93MB, major=7223.35MB, promoted=7217.80MB
    minor collections=210936  major collections=266 compactions=0


runtime: 00:03:10.424
vars: 8592, evals: 281045

|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=466196.48MB, max=99.81MB, minor=466190.93MB, major=7618.23MB, promoted=7612.68MB
    minor collections=222439  major collections=279 compactions=0


runtime: 00:03:20.435
vars: 8592, evals: 294795

|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=490228.22MB, max=99.81MB, minor=490222.66MB, major=8012.90MB, promoted=8007.35MB
    minor collections=233905  major collections=292 compactions=0


runtime: 00:03:30.442
vars: 8592, evals: 308500

|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=514172.09MB, max=99.81MB, minor=514166.54MB, major=8406.72MB, promoted=8401.17MB
    minor collections=245329  major collections=305 compactions=0


runtime: 00:03:40.453
vars: 8592, evals: 322151

|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=538029.20MB, max=99.81MB, minor=538023.65MB, major=8797.23MB, promoted=8791.68MB
    minor collections=256712  major collections=318 compactions=0


runtime: 00:03:50.464
vars: 8592, evals: 335703

|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=561718.70MB, max=99.81MB, minor=561713.14MB, major=9186.62MB, promoted=9181.06MB
    minor collections=268014  major collections=330 compactions=0


runtime: 00:04:00.479
vars: 8592, evals: 349376

|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=585606.55MB, max=99.81MB, minor=585601.00MB, major=9577.87MB, promoted=9572.32MB
    minor collections=279411  major collections=343 compactions=0


runtime: 00:04:10.490
vars: 8592, evals: 362950

|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=609347.71MB, max=99.81MB, minor=609342.16MB, major=9967.87MB, promoted=9962.31MB
    minor collections=290738  major collections=355 compactions=0


runtime: 00:04:20.501
vars: 8592, evals: 376271

|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=632619.79MB, max=114.78MB, minor=632614.23MB, major=10350.12MB, promoted=10344.56MB
    minor collections=301841  major collections=367 compactions=0


runtime: 00:04:30.516
vars: 8592, evals: 389900

|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=656434.89MB, max=114.78MB, minor=656429.34MB, major=10741.76MB, promoted=10736.20MB
    minor collections=313203  major collections=379 compactions=0


runtime: 00:04:40.532
vars: 8592, evals: 403034

|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=679406.67MB, max=114.78MB, minor=679401.11MB, major=11120.16MB, promoted=11114.61MB
    minor collections=324163  major collections=391 compactions=0


runtime: 00:04:50.543
vars: 8592, evals: 416652

|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=703192.86MB, max=114.78MB, minor=703187.30MB, major=11509.83MB, promoted=11504.28MB
    minor collections=335512  major collections=403 compactions=0


runtime: 00:05:00.554
vars: 8592, evals: 429874

|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=726312.28MB, max=114.78MB, minor=726306.72MB, major=11889.87MB, promoted=11884.31MB
    minor collections=346542  major collections=415 compactions=0


runtime: 00:05:10.565
vars: 8592, evals: 443283

|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=749736.62MB, max=114.78MB, minor=749731.06MB, major=12273.83MB, promoted=12268.28MB
    minor collections=357718  major collections=427 compactions=0


runtime: 00:05:20.580
vars: 8592, evals: 456769

|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=773308.77MB, max=114.78MB, minor=773303.21MB, major=12661.25MB, promoted=12655.69MB
    minor collections=368964  major collections=438 compactions=0


runtime: 00:05:30.591
vars: 8592, evals: 470068

|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=796565.34MB, max=114.78MB, minor=796559.79MB, major=13043.18MB, promoted=13037.63MB
    minor collections=380059  major collections=450 compactions=0


runtime: 00:05:40.607
vars: 8592, evals: 483246

|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=819579.97MB, max=114.78MB, minor=819574.41MB, major=13421.07MB, promoted=13415.52MB
    minor collections=391039  major collections=461 compactions=0


runtime: 00:05:50.621
vars: 8592, evals: 496633

|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=842980.43MB, max=114.78MB, minor=842974.88MB, major=13805.22MB, promoted=13799.66MB
    minor collections=402204  major collections=473 compactions=0


runtime: 00:06:00.633
vars: 8592, evals: 509998

|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=866346.46MB, max=114.78MB, minor=866340.90MB, major=14188.40MB, promoted=14182.84MB
    minor collections=413351  major collections=484 compactions=0


runtime: 00:06:10.644
vars: 8592, evals: 523363

|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=889697.00MB, max=114.78MB, minor=889691.44MB, major=14571.75MB, promoted=14566.20MB
    minor collections=424491  major collections=495 compactions=0


runtime: 00:06:20.655
vars: 8592, evals: 536684

|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=912994.46MB, max=114.78MB, minor=912988.91MB, major=14954.66MB, promoted=14949.11MB
    minor collections=435606  major collections=506 compactions=0


runtime: 00:06:30.666
vars: 8592, evals: 550247

|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=936686.92MB, max=114.78MB, minor=936681.36MB, major=15343.60MB, promoted=15338.05MB
    minor collections=446909  major collections=518 compactions=0


runtime: 00:06:40.681
vars: 8592, evals: 563568

|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=959973.14MB, max=114.78MB, minor=959967.59MB, major=15726.67MB, promoted=15721.12MB
    minor collections=458019  major collections=529 compactions=0


runtime: 00:06:50.696
vars: 8592, evals: 576691

|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=982913.25MB, max=114.78MB, minor=982907.70MB, major=16103.57MB, promoted=16098.02MB
    minor collections=468963  major collections=539 compactions=0


runtime: 00:07:00.711
vars: 8592, evals: 589935

|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=1006063.37MB, max=114.78MB, minor=1006057.82MB, major=16483.83MB, promoted=16478.28MB
    minor collections=480007  major collections=550 compactions=0


runtime: 00:07:10.718
vars: 8592, evals: 603300

|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=1029411.38MB, max=114.78MB, minor=1029405.83MB, major=16866.86MB, promoted=16861.31MB
    minor collections=491146  major collections=561 compactions=0


runtime: 00:07:20.729
vars: 8592, evals: 616709

|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=1052844.58MB, max=114.78MB, minor=1052839.02MB, major=17252.44MB, promoted=17246.89MB
    minor collections=502326  major collections=572 compactions=0


runtime: 00:07:30.744
vars: 8592, evals: 630074

|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=1076218.69MB, max=114.78MB, minor=1076213.14MB, major=17636.31MB, promoted=17630.76MB
    minor collections=513477  major collections=583 compactions=0


runtime: 00:07:40.755
vars: 8592, evals: 643428

|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=1099554.46MB, max=114.78MB, minor=1099548.91MB, major=18020.32MB, promoted=18014.76MB
    minor collections=524609  major collections=593 compactions=0


runtime: 00:07:50.766
vars: 8592, evals: 656815

|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=1122943.70MB, max=114.78MB, minor=1122938.15MB, major=18405.11MB, promoted=18399.56MB
    minor collections=535768  major collections=604 compactions=0


runtime: 00:08:00.777
vars: 8592, evals: 670037

|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=1146066.16MB, max=132.00MB, minor=1146060.61MB, major=18785.82MB, promoted=18780.27MB
    minor collections=546799  major collections=614 compactions=0


runtime: 00:08:10.788
vars: 8592, evals: 683325

|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=1169276.27MB, max=132.00MB, minor=1169270.72MB, major=19168.21MB, promoted=19162.66MB
    minor collections=557872  major collections=625 compactions=0


runtime: 00:08:20.803
vars: 8592, evals: 696294

|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=1191957.48MB, max=132.00MB, minor=1191951.92MB, major=19541.40MB, promoted=19535.85MB
    minor collections=568692  major collections=635 compactions=0


runtime: 00:08:30.814
vars: 8592, evals: 709351

|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=1214765.74MB, max=132.00MB, minor=1214760.18MB, major=19916.77MB, promoted=19911.21MB
    minor collections=579573  major collections=645 compactions=0


runtime: 00:08:40.829
vars: 8592, evals: 722551

|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=1237832.01MB, max=132.00MB, minor=1237826.46MB, major=20296.13MB, promoted=20290.58MB
    minor collections=590577  major collections=655 compactions=0


runtime: 00:08:50.840
vars: 8592, evals: 735784

|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=1260974.91MB, max=132.00MB, minor=1260969.36MB, major=20675.99MB, promoted=20670.44MB
    minor collections=601618  major collections=665 compactions=0


runtime: 00:09:00.851
vars: 8592, evals: 748830

|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=1283775.45MB, max=132.00MB, minor=1283769.89MB, major=21050.38MB, promoted=21044.83MB
    minor collections=612495  major collections=675 compactions=0


runtime: 00:09:10.866
vars: 8592, evals: 761800

|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=1306445.64MB, max=132.00MB, minor=1306440.08MB, major=21423.16MB, promoted=21417.61MB
    minor collections=623310  major collections=685 compactions=0


runtime: 00:09:20.878
vars: 8592, evals: 774713

|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=1329008.50MB, max=132.00MB, minor=1329002.94MB, major=21793.50MB, promoted=21787.95MB
    minor collections=634074  major collections=695 compactions=0


runtime: 00:09:30.889
vars: 8592, evals: 787385

|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=1351162.20MB, max=132.00MB, minor=1351156.65MB, major=22156.98MB, promoted=22151.42MB
    minor collections=644643  major collections=704 compactions=0


runtime: 00:09:40.904
vars: 8592, evals: 800189

|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=1373536.76MB, max=132.00MB, minor=1373531.21MB, major=22524.54MB, promoted=22518.99MB
    minor collections=655317  major collections=714 compactions=0


runtime: 00:09:50.919
vars: 8592, evals: 812850

|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=1395664.68MB, max=132.00MB, minor=1395659.13MB, major=22887.73MB, promoted=22882.17MB
    minor collections=665873  major collections=723 compactions=0


runtime: 00:10:00.930
vars: 8592, evals: 825764

|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=1418223.28MB, max=132.00MB, minor=1418217.73MB, major=23259.01MB, promoted=23253.46MB
    minor collections=676635  major collections=733 compactions=0


runtime: 00:10:10.945
vars: 8592, evals: 838590

|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=1440653.04MB, max=132.00MB, minor=1440647.49MB, major=23628.76MB, promoted=23623.21MB
    minor collections=687335  major collections=742 compactions=0


runtime: 00:10:20.960
vars: 8592, evals: 851504

|rho|=8592
|called|=54
|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=1463210.73MB, max=132.00MB, minor=1463205.18MB, major=23998.92MB, promoted=23993.36MB
    minor collections=698096  major collections=751 compactions=0


runtime: 00:10:30.971
vars: 8592, evals: 864484

|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=1485914.16MB, max=132.00MB, minor=1485908.60MB, major=24372.57MB, promoted=24367.02MB
    minor collections=708927  major collections=761 compactions=0


runtime: 00:10:40.982
vars: 8592, evals: 877563

|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=1508760.22MB, max=132.00MB, minor=1508754.67MB, major=24747.38MB, promoted=24741.83MB
    minor collections=719825  major collections=770 compactions=0


runtime: 00:10:50.993
vars: 8592, evals: 890367

|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=1531152.29MB, max=132.00MB, minor=1531146.74MB, major=25115.35MB, promoted=25109.79MB
    minor collections=730507  major collections=779 compactions=0


runtime: 00:11:01.012
vars: 8592, evals: 902918

|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=1553086.03MB, max=132.00MB, minor=1553080.48MB, major=25475.70MB, promoted=25470.15MB
    minor collections=740971  major collections=788 compactions=0


runtime: 00:11:11.023
vars: 8592, evals: 915920

|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=1575812.46MB, max=132.00MB, minor=1575806.90MB, major=25848.95MB, promoted=25843.40MB
    minor collections=751813  major collections=798 compactions=0


runtime: 00:11:21.034
vars: 8592, evals: 928922

|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=1598524.08MB, max=132.00MB, minor=1598518.53MB, major=26221.94MB, promoted=26216.39MB
    minor collections=762647  major collections=807 compactions=0


runtime: 00:11:31.045
vars: 8592, evals: 941836

|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=1621103.03MB, max=132.00MB, minor=1621097.48MB, major=26593.18MB, promoted=26587.63MB
    minor collections=773418  major collections=816 compactions=0


runtime: 00:11:41.060
vars: 8592, evals: 954805

|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=1643763.85MB, max=132.00MB, minor=1643758.29MB, major=26965.70MB, promoted=26960.15MB
    minor collections=784228  major collections=825 compactions=0


runtime: 00:11:51.071
vars: 8592, evals: 967818

|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=1666505.94MB, max=132.00MB, minor=1666500.38MB, major=27339.69MB, promoted=27334.14MB
    minor collections=795077  major collections=834 compactions=0


runtime: 00:12:01.082
vars: 8592, evals: 980864

|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=1689320.82MB, max=132.00MB, minor=1689315.27MB, major=27714.56MB, promoted=27709.01MB
    minor collections=805961  major collections=843 compactions=0


runtime: 00:12:11.101
vars: 8592, evals: 993833

|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=1711984.93MB, max=132.00MB, minor=1711979.38MB, major=28087.20MB, promoted=28081.65MB
    minor collections=816773  major collections=852 compactions=0


runtime: 00:12:21.112
vars: 8592, evals: 1006791

|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=1734627.58MB, max=132.00MB, minor=1734622.03MB, major=28458.73MB, promoted=28453.18MB
    minor collections=827574  major collections=861 compactions=0


runtime: 00:12:31.123
vars: 8592, evals: 1019771

|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=1757311.55MB, max=151.80MB, minor=1757305.99MB, major=28831.87MB, promoted=28826.32MB
    minor collections=838395  major collections=870 compactions=0


runtime: 00:12:41.134
vars: 8592, evals: 1032751

|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=1780007.89MB, max=151.80MB, minor=1780002.34MB, major=29205.37MB, promoted=29199.82MB
    minor collections=849223  major collections=879 compactions=0


runtime: 00:12:51.148
vars: 8592, evals: 1045621

|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=1802500.48MB, max=151.80MB, minor=1802494.93MB, major=29574.78MB, promoted=29569.22MB
    minor collections=859952  major collections=887 compactions=0


runtime: 00:13:01.159
vars: 8592, evals: 1058414

|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=1824861.67MB, max=151.80MB, minor=1824856.12MB, major=29941.99MB, promoted=29936.44MB
    minor collections=870619  major collections=896 compactions=0


runtime: 00:13:11.174
vars: 8592, evals: 1071196

|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=1847200.70MB, max=151.80MB, minor=1847195.15MB, major=30308.91MB, promoted=30303.36MB
    minor collections=881276  major collections=904 compactions=0


runtime: 00:13:21.185
vars: 8592, evals: 1083934

|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=1869448.38MB, max=151.80MB, minor=1869442.83MB, major=30674.25MB, promoted=30668.69MB
    minor collections=891889  major collections=913 compactions=0


runtime: 00:13:31.200
vars: 8592, evals: 1096628

|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=1891648.81MB, max=151.80MB, minor=1891643.26MB, major=31039.93MB, promoted=31034.38MB
    minor collections=902479  major collections=921 compactions=0


runtime: 00:13:41.215
vars: 8592, evals: 1108629

|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=1912623.47MB, max=151.80MB, minor=1912617.91MB, major=31386.05MB, promoted=31380.50MB
    minor collections=912485  major collections=929 compactions=0


runtime: 00:13:51.226
vars: 8592, evals: 1120982

|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=1934202.83MB, max=151.80MB, minor=1934197.28MB, major=31742.28MB, promoted=31736.73MB
    minor collections=922779  major collections=938 compactions=0


runtime: 00:14:01.241
vars: 8592, evals: 1133588

|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=1956245.48MB, max=151.80MB, minor=1956239.92MB, major=32105.19MB, promoted=32099.63MB
    minor collections=933294  major collections=946 compactions=0


runtime: 00:14:11.252
vars: 8592, evals: 1146062

|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=1978045.73MB, max=151.80MB, minor=1978040.18MB, major=32463.76MB, promoted=32458.21MB
    minor collections=943693  major collections=954 compactions=0


runtime: 00:14:21.263
vars: 8592, evals: 1158504

|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=1999794.11MB, max=151.80MB, minor=1999788.56MB, major=32821.17MB, promoted=32815.62MB
    minor collections=954068  major collections=962 compactions=0


runtime: 00:14:31.278
vars: 8592, evals: 1171054

|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=2021713.62MB, max=151.80MB, minor=2021708.07MB, major=33182.51MB, promoted=33176.95MB
    minor collections=964524  major collections=970 compactions=0


runtime: 00:14:41.289
vars: 8592, evals: 1183946

|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=2044250.61MB, max=151.80MB, minor=2044245.05MB, major=33553.85MB, promoted=33548.30MB
    minor collections=975275  major collections=978 compactions=0


runtime: 00:14:51.304
vars: 8592, evals: 1196629

|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=2066414.50MB, max=151.80MB, minor=2066408.95MB, major=33919.62MB, promoted=33914.07MB
    minor collections=985848  major collections=987 compactions=0

