./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.211
vars: 8592, evals: 29045

|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=25752.35MB, max=86.79MB, minor=25746.79MB, major=386.54MB, promoted=380.99MB
    minor collections=12288  major collections=22 compactions=0


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

|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=51993.81MB, max=86.79MB, minor=51988.26MB, major=816.70MB, promoted=811.14MB
    minor collections=24809  major collections=39 compactions=0


runtime: 00:00:30.233
vars: 8592, evals: 58998

|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=78095.12MB, max=86.79MB, minor=78089.57MB, major=1247.35MB, promoted=1241.80MB
    minor collections=37264  major collections=55 compactions=0


runtime: 00:00:40.244
vars: 8592, evals: 73705

|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=103799.84MB, max=86.79MB, minor=103794.29MB, major=1669.43MB, promoted=1663.88MB
    minor collections=49529  major collections=71 compactions=0


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

|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=129598.70MB, max=86.79MB, minor=129593.15MB, major=2094.16MB, promoted=2088.61MB
    minor collections=61838  major collections=86 compactions=0


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

|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=155137.08MB, max=86.79MB, minor=155131.52MB, major=2514.40MB, promoted=2508.85MB
    minor collections=74024  major collections=102 compactions=0


runtime: 00:01:10.279
vars: 8592, evals: 117486

|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=180332.12MB, max=99.81MB, minor=180326.56MB, major=2929.67MB, promoted=2924.12MB
    minor collections=86046  major collections=117 compactions=0


runtime: 00:01:20.289
vars: 8592, evals: 131862

|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=205460.09MB, max=99.81MB, minor=205454.54MB, major=3343.33MB, promoted=3337.77MB
    minor collections=98035  major collections=132 compactions=0


runtime: 00:01:30.296
vars: 8592, evals: 146360

|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=230786.52MB, max=99.81MB, minor=230780.96MB, major=3759.61MB, promoted=3754.05MB
    minor collections=110120  major collections=147 compactions=0


runtime: 00:01:40.307
vars: 8592, evals: 160902

|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=256208.87MB, max=99.81MB, minor=256203.32MB, major=4178.19MB, promoted=4172.64MB
    minor collections=122250  major collections=162 compactions=0


runtime: 00:01:50.318
vars: 8592, evals: 175367

|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=281484.35MB, max=99.81MB, minor=281478.80MB, major=4593.23MB, promoted=4587.68MB
    minor collections=134309  major collections=176 compactions=0


runtime: 00:02:00.329
vars: 8592, evals: 189656

|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=306468.16MB, max=99.81MB, minor=306462.61MB, major=5003.15MB, promoted=4997.60MB
    minor collections=146230  major collections=191 compactions=0


runtime: 00:02:10.344
vars: 8592, evals: 203835

|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=331249.72MB, max=99.81MB, minor=331244.17MB, major=5410.23MB, promoted=5404.68MB
    minor collections=158054  major collections=205 compactions=0


runtime: 00:02:20.355
vars: 8592, evals: 217905

|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=355842.00MB, max=99.81MB, minor=355836.45MB, major=5813.63MB, promoted=5808.07MB
    minor collections=169788  major collections=219 compactions=0


runtime: 00:02:30.366
vars: 8592, evals: 232050

|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=380558.73MB, max=99.81MB, minor=380553.18MB, major=6219.56MB, promoted=6214.00MB
    minor collections=181580  major collections=232 compactions=0


runtime: 00:02:40.385
vars: 8592, evals: 246229

|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=405340.12MB, max=99.81MB, minor=405334.56MB, major=6628.15MB, promoted=6622.60MB
    minor collections=193404  major collections=246 compactions=0


runtime: 00:02:50.396
vars: 8592, evals: 260507

|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=430295.07MB, max=99.81MB, minor=430289.51MB, major=7038.23MB, promoted=7032.68MB
    minor collections=205311  major collections=260 compactions=0


runtime: 00:03:00.407
vars: 8592, evals: 274642

|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=455002.14MB, max=99.81MB, minor=454996.59MB, major=7443.83MB, promoted=7438.27MB
    minor collections=217099  major collections=274 compactions=0


runtime: 00:03:10.418
vars: 8592, evals: 288942

|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=479994.93MB, max=99.81MB, minor=479989.38MB, major=7853.61MB, promoted=7848.05MB
    minor collections=229023  major collections=287 compactions=0


runtime: 00:03:20.433
vars: 8592, evals: 303209

|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=504934.12MB, max=99.81MB, minor=504928.57MB, major=8263.64MB, promoted=8258.08MB
    minor collections=240922  major collections=301 compactions=0


runtime: 00:03:30.444
vars: 8592, evals: 317443

|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=529797.86MB, max=99.81MB, minor=529792.31MB, major=8672.28MB, promoted=8666.73MB
    minor collections=252785  major collections=314 compactions=0


runtime: 00:03:40.454
vars: 8592, evals: 331303

|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=554029.83MB, max=99.81MB, minor=554024.27MB, major=9072.05MB, promoted=9066.50MB
    minor collections=264346  major collections=327 compactions=0


runtime: 00:03:50.465
vars: 8592, evals: 345284

|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=578467.52MB, max=99.81MB, minor=578461.97MB, major=9473.84MB, promoted=9468.28MB
    minor collections=276006  major collections=340 compactions=0


runtime: 00:04:00.476
vars: 8592, evals: 359463

|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=603251.49MB, max=99.81MB, minor=603245.94MB, major=9879.49MB, promoted=9873.94MB
    minor collections=287830  major collections=353 compactions=0


runtime: 00:04:10.487
vars: 8592, evals: 373378

|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=627571.69MB, max=114.78MB, minor=627566.14MB, major=10279.29MB, promoted=10273.73MB
    minor collections=299433  major collections=365 compactions=0


runtime: 00:04:20.497
vars: 8592, evals: 387425

|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=652117.45MB, max=114.78MB, minor=652111.90MB, major=10682.68MB, promoted=10677.13MB
    minor collections=311144  major collections=378 compactions=0


runtime: 00:04:30.508
vars: 8592, evals: 401626

|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=676941.19MB, max=114.78MB, minor=676935.64MB, major=11089.82MB, promoted=11084.26MB
    minor collections=322988  major collections=391 compactions=0


runtime: 00:04:40.519
vars: 8592, evals: 415552

|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=701283.68MB, max=114.78MB, minor=701278.13MB, major=11489.25MB, promoted=11483.70MB
    minor collections=334601  major collections=403 compactions=0


runtime: 00:04:50.533
vars: 8592, evals: 429280

|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=725271.75MB, max=114.78MB, minor=725266.20MB, major=11882.51MB, promoted=11876.95MB
    minor collections=346046  major collections=415 compactions=0


runtime: 00:05:00.540
vars: 8592, evals: 443481

|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=750090.05MB, max=114.78MB, minor=750084.50MB, major=12291.08MB, promoted=12285.53MB
    minor collections=357886  major collections=427 compactions=0


runtime: 00:05:10.551
vars: 8592, evals: 457462

|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=774515.76MB, max=114.78MB, minor=774510.20MB, major=12691.34MB, promoted=12685.78MB
    minor collections=369540  major collections=440 compactions=0


runtime: 00:05:20.566
vars: 8592, evals: 471300

|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=798707.06MB, max=114.78MB, minor=798701.51MB, major=13088.35MB, promoted=13082.80MB
    minor collections=381081  major collections=451 compactions=0


runtime: 00:05:30.573
vars: 8592, evals: 485380

|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=823317.76MB, max=114.78MB, minor=823312.21MB, major=13492.56MB, promoted=13487.00MB
    minor collections=392823  major collections=464 compactions=0


runtime: 00:05:40.584
vars: 8592, evals: 499505

|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=848013.93MB, max=114.78MB, minor=848008.38MB, major=13898.65MB, promoted=13893.10MB
    minor collections=404605  major collections=476 compactions=0


runtime: 00:05:50.599
vars: 8592, evals: 513419

|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=872323.42MB, max=114.78MB, minor=872317.87MB, major=14298.60MB, promoted=14293.05MB
    minor collections=416203  major collections=487 compactions=0


runtime: 00:06:00.637
vars: 8592, evals: 527345

|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=896660.40MB, max=114.78MB, minor=896654.85MB, major=14697.27MB, promoted=14691.71MB
    minor collections=427814  major collections=499 compactions=0


runtime: 00:06:10.663
vars: 8592, evals: 541425

|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=921275.97MB, max=114.78MB, minor=921270.41MB, major=15101.93MB, promoted=15096.38MB
    minor collections=439557  major collections=511 compactions=0


runtime: 00:06:20.670
vars: 8592, evals: 555439

|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=945764.92MB, max=114.78MB, minor=945759.37MB, major=15504.72MB, promoted=15499.17MB
    minor collections=451240  major collections=522 compactions=0


runtime: 00:06:30.681
vars: 8592, evals: 569464

|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=970276.28MB, max=114.78MB, minor=970270.73MB, major=15908.75MB, promoted=15903.20MB
    minor collections=462934  major collections=534 compactions=0


runtime: 00:06:40.691
vars: 8592, evals: 583478

|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=994772.06MB, max=114.78MB, minor=994766.50MB, major=16311.09MB, promoted=16305.53MB
    minor collections=474621  major collections=545 compactions=0


runtime: 00:06:50.698
vars: 8592, evals: 597316

|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=1018961.72MB, max=114.78MB, minor=1018956.17MB, major=16707.74MB, promoted=16702.18MB
    minor collections=486161  major collections=557 compactions=0


runtime: 00:07:00.713
vars: 8592, evals: 611154

|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=1043144.40MB, max=114.78MB, minor=1043138.85MB, major=17105.51MB, promoted=17099.96MB
    minor collections=497698  major collections=568 compactions=0


runtime: 00:07:10.723
vars: 8592, evals: 625036

|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=1067403.98MB, max=114.78MB, minor=1067398.43MB, major=17503.88MB, promoted=17498.33MB
    minor collections=509272  major collections=579 compactions=0


runtime: 00:07:20.734
vars: 8592, evals: 638676

|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=1091252.54MB, max=114.78MB, minor=1091246.99MB, major=17895.19MB, promoted=17889.64MB
    minor collections=520649  major collections=590 compactions=0


runtime: 00:07:30.741
vars: 8592, evals: 652294

|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=1115051.83MB, max=114.78MB, minor=1115046.28MB, major=18286.21MB, promoted=18280.66MB
    minor collections=532003  major collections=601 compactions=0


runtime: 00:07:40.751
vars: 8592, evals: 665945

|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=1138902.18MB, max=132.00MB, minor=1138896.63MB, major=18678.81MB, promoted=18673.26MB
    minor collections=543382  major collections=612 compactions=0


runtime: 00:07:50.762
vars: 8592, evals: 679541

|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=1162670.23MB, max=132.00MB, minor=1162664.68MB, major=19070.53MB, promoted=19064.98MB
    minor collections=554720  major collections=622 compactions=0


runtime: 00:08:00.769
vars: 8592, evals: 693115

|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=1186391.72MB, max=132.00MB, minor=1186386.17MB, major=19461.81MB, promoted=19456.26MB
    minor collections=566037  major collections=633 compactions=0


runtime: 00:08:10.780
vars: 8592, evals: 706733

|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=1210184.01MB, max=132.00MB, minor=1210178.45MB, major=19852.79MB, promoted=19847.24MB
    minor collections=577387  major collections=643 compactions=0


runtime: 00:08:20.791
vars: 8592, evals: 720175

|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=1233686.83MB, max=132.00MB, minor=1233681.27MB, major=20239.81MB, promoted=20234.25MB
    minor collections=588600  major collections=654 compactions=0


runtime: 00:08:30.801
vars: 8592, evals: 733683

|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=1257294.55MB, max=132.00MB, minor=1257289.00MB, major=20627.52MB, promoted=20621.97MB
    minor collections=599862  major collections=664 compactions=0


runtime: 00:08:40.812
vars: 8592, evals: 747202

|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=1280929.97MB, max=132.00MB, minor=1280924.41MB, major=21016.55MB, promoted=21010.99MB
    minor collections=611138  major collections=675 compactions=0


runtime: 00:08:50.823
vars: 8592, evals: 760534

|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=1304220.83MB, max=132.00MB, minor=1304215.28MB, major=21397.53MB, promoted=21391.98MB
    minor collections=622249  major collections=685 compactions=0


runtime: 00:09:00.834
vars: 8592, evals: 774163

|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=1328043.89MB, max=132.00MB, minor=1328038.34MB, major=21787.97MB, promoted=21782.42MB
    minor collections=633614  major collections=695 compactions=0


runtime: 00:09:10.845
vars: 8592, evals: 787539

|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=1351414.21MB, max=132.00MB, minor=1351408.66MB, major=22172.42MB, promoted=22166.87MB
    minor collections=644763  major collections=705 compactions=0


runtime: 00:09:20.856
vars: 8592, evals: 801025

|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=1374992.14MB, max=132.00MB, minor=1374986.58MB, major=22559.08MB, promoted=22553.52MB
    minor collections=656011  major collections=715 compactions=0


runtime: 00:09:30.867
vars: 8592, evals: 814533

|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=1398603.65MB, max=132.00MB, minor=1398598.09MB, major=22946.55MB, promoted=22940.99MB
    minor collections=667275  major collections=725 compactions=0


runtime: 00:09:40.873
vars: 8592, evals: 828008

|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=1422154.32MB, max=132.00MB, minor=1422148.77MB, major=23333.05MB, promoted=23327.50MB
    minor collections=678510  major collections=735 compactions=0


runtime: 00:09:50.884
vars: 8592, evals: 841461

|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=1445665.38MB, max=132.00MB, minor=1445659.83MB, major=23721.21MB, promoted=23715.66MB
    minor collections=689726  major collections=745 compactions=0


runtime: 00:10:00.895
vars: 8592, evals: 854650

|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=1468725.10MB, max=132.00MB, minor=1468719.55MB, major=24099.23MB, promoted=24093.67MB
    minor collections=700727  major collections=754 compactions=0


runtime: 00:10:10.906
vars: 8592, evals: 868004

|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=1492061.92MB, max=132.00MB, minor=1492056.37MB, major=24483.04MB, promoted=24477.48MB
    minor collections=711860  major collections=764 compactions=0


runtime: 00:10:20.917
vars: 8592, evals: 881402

|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=1515474.14MB, max=132.00MB, minor=1515468.59MB, major=24866.54MB, promoted=24860.99MB
    minor collections=723029  major collections=774 compactions=0


runtime: 00:10:30.931
vars: 8592, evals: 894657

|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=1538641.46MB, max=132.00MB, minor=1538635.91MB, major=25246.90MB, promoted=25241.35MB
    minor collections=734080  major collections=783 compactions=0


runtime: 00:10:40.942
vars: 8592, evals: 908022

|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=1561999.83MB, max=132.00MB, minor=1561994.28MB, major=25629.84MB, promoted=25624.29MB
    minor collections=745224  major collections=793 compactions=0


runtime: 00:10:50.953
vars: 8592, evals: 921266

|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=1585154.43MB, max=132.00MB, minor=1585148.88MB, major=26009.84MB, promoted=26004.29MB
    minor collections=756269  major collections=802 compactions=0


runtime: 00:11:00.960
vars: 8592, evals: 934873

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

Memory statistics: total=1608921.36MB, max=132.00MB, minor=1608915.81MB, major=26399.02MB, promoted=26393.47MB
    minor collections=767607  major collections=811 compactions=0


runtime: 00:11:10.971
vars: 8592, evals: 948183

|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=1632183.16MB, max=132.00MB, minor=1632177.60MB, major=26780.34MB, promoted=26774.78MB
    minor collections=778704  major collections=821 compactions=0


runtime: 00:11:20.981
vars: 8592, evals: 961317

|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=1655155.96MB, max=132.00MB, minor=1655150.40MB, major=27156.71MB, promoted=27151.16MB
    minor collections=789663  major collections=830 compactions=0


runtime: 00:11:30.992
vars: 8592, evals: 974374

|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=1677974.44MB, max=132.00MB, minor=1677968.88MB, major=27531.29MB, promoted=27525.73MB
    minor collections=800549  major collections=839 compactions=0


runtime: 00:11:41.003
vars: 8592, evals: 987717

|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=1701286.31MB, max=132.00MB, minor=1701280.76MB, major=27914.61MB, promoted=27909.06MB
    minor collections=811669  major collections=848 compactions=0


runtime: 00:11:51.018
vars: 8592, evals: 1000906

|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=1724342.39MB, max=132.00MB, minor=1724336.83MB, major=28293.95MB, promoted=28288.40MB
    minor collections=822668  major collections=857 compactions=0


runtime: 00:12:01.032
vars: 8592, evals: 1013644

|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=1746611.54MB, max=151.80MB, minor=1746605.98MB, major=28659.17MB, promoted=28653.61MB
    minor collections=833291  major collections=866 compactions=0


runtime: 00:12:11.043
vars: 8592, evals: 1026976

|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=1769897.66MB, max=151.80MB, minor=1769892.11MB, major=29041.72MB, promoted=29036.16MB
    minor collections=844400  major collections=875 compactions=0


runtime: 00:12:21.058
vars: 8592, evals: 1039923

|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=1792537.45MB, max=151.80MB, minor=1792531.90MB, major=29413.55MB, promoted=29407.99MB
    minor collections=855200  major collections=884 compactions=0


runtime: 00:12:31.068
vars: 8592, evals: 1053244

|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=1815819.70MB, max=151.80MB, minor=1815814.15MB, major=29795.79MB, promoted=29790.23MB
    minor collections=866306  major collections=893 compactions=0


runtime: 00:12:41.079
vars: 8592, evals: 1066411

|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=1838835.99MB, max=151.80MB, minor=1838830.44MB, major=30174.05MB, promoted=30168.49MB
    minor collections=877286  major collections=902 compactions=0


runtime: 00:12:51.090
vars: 8592, evals: 1079248

|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=1861262.98MB, max=151.80MB, minor=1861257.43MB, major=30542.21MB, promoted=30536.65MB
    minor collections=887984  major collections=910 compactions=0


runtime: 00:13:01.109
vars: 8592, evals: 1092118

|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=1883751.72MB, max=151.80MB, minor=1883746.17MB, major=30911.38MB, promoted=30905.82MB
    minor collections=898712  major collections=919 compactions=0


runtime: 00:13:11.124
vars: 8592, evals: 1105010

|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=1906287.88MB, max=151.80MB, minor=1906282.33MB, major=31281.71MB, promoted=31276.16MB
    minor collections=909462  major collections=927 compactions=0


runtime: 00:13:21.134
vars: 8592, evals: 1117946

|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=1928889.56MB, max=151.80MB, minor=1928884.01MB, major=31653.11MB, promoted=31647.56MB
    minor collections=920244  major collections=936 compactions=0


runtime: 00:13:31.149
vars: 8592, evals: 1130728

|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=1951239.15MB, max=151.80MB, minor=1951233.59MB, major=32019.94MB, promoted=32014.39MB
    minor collections=930906  major collections=944 compactions=0


runtime: 00:13:41.160
vars: 8592, evals: 1143664

|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=1973855.95MB, max=151.80MB, minor=1973850.40MB, major=32391.82MB, promoted=32386.27MB
    minor collections=941695  major collections=953 compactions=0


runtime: 00:13:51.175
vars: 8592, evals: 1156699

|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=1996637.98MB, max=151.80MB, minor=1996632.43MB, major=32766.62MB, promoted=32761.07MB
    minor collections=952562  major collections=961 compactions=0


runtime: 00:14:01.205
vars: 8592, evals: 1169690

|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=2019329.60MB, max=151.80MB, minor=2019324.05MB, major=33141.12MB, promoted=33135.57MB
    minor collections=963387  major collections=970 compactions=0


runtime: 00:14:11.216
vars: 8592, evals: 1182692

|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=2042062.41MB, max=151.80MB, minor=2042056.86MB, major=33515.39MB, promoted=33509.84MB
    minor collections=974231  major collections=978 compactions=0


runtime: 00:14:21.227
vars: 8592, evals: 1195936

|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=2065203.42MB, max=151.80MB, minor=2065197.87MB, major=33896.13MB, promoted=33890.58MB
    minor collections=985270  major collections=986 compactions=0


runtime: 00:14:31.234
vars: 8592, evals: 1208993

|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=2088028.17MB, max=151.80MB, minor=2088022.62MB, major=34272.43MB, promoted=34266.88MB
    minor collections=996158  major collections=995 compactions=0


runtime: 00:14:41.245
vars: 8592, evals: 1221973

|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=2110713.71MB, max=151.80MB, minor=2110708.16MB, major=34645.72MB, promoted=34640.17MB
    minor collections=1006980  major collections=1003 compactions=0


runtime: 00:14:51.256
vars: 8592, evals: 1235228

|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=2133888.35MB, max=151.80MB, minor=2133882.80MB, major=35027.31MB, promoted=35021.76MB
    minor collections=1018034  major collections=1011 compactions=0

