./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3910: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3910: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3910: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3972: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3972: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3972: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4064: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4064: Warning: MEMBEROFPTR in constant
/mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4064: Warning: MEMBEROFPTR in constant
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:925:3-930:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:943:3-951:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:969:3-985:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:1001:3-1007:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:1161:5-1176:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:1620:3-1626:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:1692:3-1703:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:1896:3-1904:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2473:3-2495:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2530:3-2542:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2750:3-2758:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2897:3-2917:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2933:7-2938:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:2942:3-2944:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3183:3-3203:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3325:3-3336:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3475:3-3485:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3499:3-3505:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3625:3-3635:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3701:3-3706:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3722:3-3724:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3749:3-3754:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3833:3-3844:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4066:3-4071:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4093:3-4098:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4347:3-4359:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4412:3-4426:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4523:3-4540:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4591:3-4598:3 with factor 10
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4704:3-4742:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:4771:3-4790:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5190:3-5215:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5286:3-5321:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5428:3-5441:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5477:3-5493:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5509:3-5521:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5540:3-5574:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5671:3-5677:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:5690:3-5696:3 with factor 5
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 248
functionCalls: 1215
loops: 46
loopBreaks: 0
controlFlowStatements: 2304
expressions: 14627
instructions: 3016
integralVars: (15,397)
arrayVars: (6,6)
pointerVars: (6,520)

Complexity estimates:
File: 5090563
Total: 5090563
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.229
vars: 13015, evals: 34304

|rho|=13015
|stable|=10080
|infl|=12975
|wpoint|=56
|sides|=1386
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10428
|called|=56
Found 740 contexts for 120 functions. Top 5 functions:
46	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
35	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
33	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
30	contexts for L:entry state of ipc_try_send (4491) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3849:1-3857:1
30	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1

Memory statistics: total=28237.22MB, max=99.81MB, minor=28227.84MB, major=282.20MB, promoted=272.82MB
    minor collections=13470  major collections=20 compactions=0


runtime: 00:00:20.304
vars: 24475, evals: 63148

|rho|=24475
|stable|=21265
|infl|=24445
|wpoint|=97
|sides|=2103
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20464
|called|=30
Found 1445 contexts for 120 functions. Top 5 functions:
111	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
86	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
79	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
72	contexts for L:entry state of ipc_try_send (4491) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3849:1-3857:1
69	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1

Memory statistics: total=55359.49MB, max=151.80MB, minor=55348.32MB, major=533.39MB, promoted=522.23MB
    minor collections=26405  major collections=26 compactions=0


runtime: 00:00:30.331
vars: 33857, evals: 89896

|rho|=33857
|stable|=16057
|infl|=33838
|wpoint|=132
|sides|=2662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28750
|called|=39
Found 1982 contexts for 120 functions. Top 5 functions:
165	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
121	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
120	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
110	contexts for L:entry state of ipc_try_send (4491) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3849:1-3857:1
99	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1

Memory statistics: total=82910.32MB, max=230.87MB, minor=82897.48MB, major=777.59MB, promoted=764.75MB
    minor collections=39544  major collections=30 compactions=0


runtime: 00:00:40.370
vars: 37976, evals: 111128

|rho|=37976
|stable|=23916
|infl|=37962
|wpoint|=150
|sides|=2958
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32278
|called|=59
Found 2276 contexts for 120 functions. Top 5 functions:
225	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
138	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
136	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
132	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
120	contexts for L:entry state of ipc_try_send (4491) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:3849:1-3857:1

Memory statistics: total=112134.61MB, max=265.50MB, minor=112121.27MB, major=1026.50MB, promoted=1013.15MB
    minor collections=53481  major collections=33 compactions=0


runtime: 00:00:50.385
vars: 40581, evals: 130450

|rho|=40581
|stable|=33527
|infl|=40567
|wpoint|=165
|sides|=3209
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34381
|called|=36
Found 2527 contexts for 120 functions. Top 5 functions:
310	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
188	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
142	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
132	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
126	contexts for L:entry state of socket_rd_acquire (576) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:828:1-839:1

Memory statistics: total=140271.42MB, max=305.32MB, minor=140256.48MB, major=1269.31MB, promoted=1254.37MB
    minor collections=66898  major collections=36 compactions=0


runtime: 00:01:00.413
vars: 40582, evals: 150737

|rho|=40582
|stable|=31448
|infl|=40573
|wpoint|=165
|sides|=3210
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34381
|called|=48
Found 2527 contexts for 120 functions. Top 5 functions:
310	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
188	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
142	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
132	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
126	contexts for L:entry state of socket_rd_acquire (576) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:828:1-839:1

Memory statistics: total=169193.39MB, max=305.32MB, minor=169178.35MB, major=1497.89MB, promoted=1482.85MB
    minor collections=80691  major collections=38 compactions=0


runtime: 00:01:10.468
vars: 56338, evals: 175977

|rho|=56338
|stable|=13615
|infl|=56326
|wpoint|=193
|sides|=4471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47772
|called|=44
Found 3417 contexts for 170 functions. Top 5 functions:
310	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
189	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
159	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
132	contexts for L:entry state of get_socket (4430) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:934:1-957:1
126	contexts for L:entry state of socket_rd_acquire (576) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:828:1-839:1

Memory statistics: total=194197.18MB, max=403.80MB, minor=194172.31MB, major=1868.31MB, promoted=1843.44MB
    minor collections=92611  major collections=42 compactions=0


runtime: 00:01:20.572
vars: 73386, evals: 199672

|rho|=73386
|stable|=31679
|infl|=73370
|wpoint|=212
|sides|=5454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62857
|called|=31
Found 4399 contexts for 170 functions. Top 5 functions:
311	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
191	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
176	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
165	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
163	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=218213.62MB, max=614.13MB, minor=218175.76MB, major=2276.96MB, promoted=2239.10MB
    minor collections=104058  major collections=44 compactions=0


runtime: 00:01:30.671
vars: 75387, evals: 204828

|rho|=75387
|stable|=31876
|infl|=75381
|wpoint|=228
|sides|=5628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64524
|called|=23
Found 4536 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
195	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=244952.25MB, max=934.02MB, minor=244796.53MB, major=2639.26MB, promoted=2483.55MB
    minor collections=116753  major collections=45 compactions=0


runtime: 00:01:40.711
vars: 75387, evals: 204828

|rho|=75387
|stable|=31876
|infl|=75381
|wpoint|=228
|sides|=5628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64524
|called|=23
Found 4536 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
195	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=274033.27MB, max=934.02MB, minor=273679.72MB, major=3025.85MB, promoted=2672.31MB
    minor collections=130526  major collections=46 compactions=0


runtime: 00:01:50.730
vars: 75387, evals: 204828

|rho|=75387
|stable|=31876
|infl|=75381
|wpoint|=228
|sides|=5628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64524
|called|=23
Found 4536 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
195	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=302602.19MB, max=934.02MB, minor=302054.29MB, major=3405.51MB, promoted=2857.61MB
    minor collections=144057  major collections=48 compactions=0


runtime: 00:02:00.745
vars: 75387, evals: 204828

|rho|=75387
|stable|=31876
|infl|=75381
|wpoint|=228
|sides|=5628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64524
|called|=23
Found 4536 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
195	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=330727.41MB, max=934.02MB, minor=329988.17MB, major=3778.36MB, promoted=3039.12MB
    minor collections=157378  major collections=49 compactions=0


runtime: 00:02:10.776
vars: 75387, evals: 204828

|rho|=75387
|stable|=31876
|infl|=75381
|wpoint|=228
|sides|=5628
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64524
|called|=23
Found 4536 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
195	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=364797.64MB, max=934.02MB, minor=363969.28MB, major=4023.21MB, promoted=3194.85MB
    minor collections=173582  major collections=50 compactions=0


runtime: 00:02:20.788
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=391070.94MB, max=934.02MB, minor=390117.45MB, major=4426.52MB, promoted=3473.02MB
    minor collections=186052  major collections=51 compactions=0


runtime: 00:02:30.804
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=419617.94MB, max=934.02MB, minor=418470.16MB, major=4804.30MB, promoted=3656.52MB
    minor collections=199573  major collections=53 compactions=0


runtime: 00:02:40.823
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=447901.91MB, max=934.02MB, minor=446561.63MB, major=5177.71MB, promoted=3837.44MB
    minor collections=212968  major collections=54 compactions=0


runtime: 00:02:50.839
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=477460.68MB, max=934.02MB, minor=475919.23MB, major=5568.58MB, promoted=4027.13MB
    minor collections=226968  major collections=55 compactions=0


runtime: 00:03:00.850
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=506372.63MB, max=934.02MB, minor=504634.42MB, major=5951.04MB, promoted=4212.82MB
    minor collections=240662  major collections=57 compactions=0


runtime: 00:03:10.870
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=535039.04MB, max=934.02MB, minor=533105.73MB, major=6330.19MB, promoted=4396.88MB
    minor collections=254239  major collections=58 compactions=0


runtime: 00:03:20.885
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=564037.73MB, max=934.02MB, minor=561907.06MB, major=6713.99MB, promoted=4583.32MB
    minor collections=267974  major collections=60 compactions=0


runtime: 00:03:30.897
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=592824.40MB, max=934.02MB, minor=590497.81MB, major=7095.03MB, promoted=4768.44MB
    minor collections=281608  major collections=61 compactions=0


runtime: 00:03:40.912
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=622117.79MB, max=934.02MB, minor=619591.83MB, major=7482.83MB, promoted=4956.87MB
    minor collections=295481  major collections=62 compactions=0


runtime: 00:03:50.928
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=650751.34MB, max=934.02MB, minor=648030.50MB, major=7861.02MB, promoted=5140.19MB
    minor collections=309043  major collections=64 compactions=0


runtime: 00:04:00.939
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=679484.84MB, max=934.02MB, minor=676568.45MB, major=8241.02MB, promoted=5324.63MB
    minor collections=322652  major collections=65 compactions=0


runtime: 00:04:10.951
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=708416.95MB, max=934.02MB, minor=705303.65MB, major=8623.58MB, promoted=5510.29MB
    minor collections=336355  major collections=66 compactions=0


runtime: 00:04:20.964
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=736745.49MB, max=934.02MB, minor=733439.40MB, major=8998.12MB, promoted=5692.03MB
    minor collections=349772  major collections=68 compactions=0


runtime: 00:04:30.979
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=765809.07MB, max=934.02MB, minor=762305.18MB, major=9382.63MB, promoted=5878.74MB
    minor collections=363538  major collections=69 compactions=0


runtime: 00:04:40.991
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=795111.20MB, max=934.02MB, minor=791407.88MB, major=9770.27MB, promoted=6066.95MB
    minor collections=377416  major collections=71 compactions=0


runtime: 00:04:51.002
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=823452.56MB, max=934.02MB, minor=819556.35MB, major=10144.98MB, promoted=6248.77MB
    minor collections=390839  major collections=72 compactions=0


runtime: 00:05:01.018
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=852815.69MB, max=934.02MB, minor=848719.64MB, major=10533.44MB, promoted=6437.40MB
    minor collections=404746  major collections=73 compactions=0


runtime: 00:05:11.037
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=881714.01MB, max=934.02MB, minor=877421.29MB, major=10915.64MB, promoted=6622.92MB
    minor collections=418433  major collections=75 compactions=0


runtime: 00:05:21.045
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=910096.85MB, max=934.02MB, minor=905610.97MB, major=11290.90MB, promoted=6805.02MB
    minor collections=431876  major collections=76 compactions=0


runtime: 00:05:31.080
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=938423.82MB, max=934.02MB, minor=933745.14MB, major=11665.66MB, promoted=6986.98MB
    minor collections=445292  major collections=77 compactions=0


runtime: 00:05:41.111
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=966903.19MB, max=934.02MB, minor=962030.69MB, major=12042.06MB, promoted=7169.56MB
    minor collections=458781  major collections=79 compactions=0


runtime: 00:05:51.155
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=995415.73MB, max=934.02MB, minor=990349.19MB, major=12419.37MB, promoted=7352.82MB
    minor collections=472285  major collections=80 compactions=0


runtime: 00:06:01.186
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1026864.33MB, max=934.02MB, minor=1021689.53MB, major=12692.36MB, promoted=7517.56MB
    minor collections=487230  major collections=81 compactions=0


runtime: 00:06:11.198
vars: 75611, evals: 205058

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=245
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1063092.01MB, max=934.02MB, minor=1057917.21MB, major=12832.79MB, promoted=7657.99MB
    minor collections=504506  major collections=82 compactions=0


runtime: 00:06:21.206
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1094787.65MB, max=934.02MB, minor=1089582.39MB, major=13098.90MB, promoted=7893.63MB
    minor collections=519606  major collections=83 compactions=0


runtime: 00:06:31.222
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1123198.55MB, max=934.02MB, minor=1117808.35MB, major=13487.62MB, promoted=8097.42MB
    minor collections=533066  major collections=84 compactions=0


runtime: 00:06:41.233
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1152539.40MB, max=934.02MB, minor=1146949.48MB, major=13876.01MB, promoted=8286.09MB
    minor collections=546962  major collections=85 compactions=0


runtime: 00:06:51.244
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1181481.06MB, max=934.02MB, minor=1175694.14MB, major=14259.39MB, promoted=8472.47MB
    minor collections=560670  major collections=87 compactions=0


runtime: 00:07:01.260
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1210499.05MB, max=934.02MB, minor=1204514.61MB, major=14643.83MB, promoted=8659.38MB
    minor collections=574413  major collections=88 compactions=0


runtime: 00:07:11.275
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1239901.52MB, max=934.02MB, minor=1233716.95MB, major=15032.67MB, promoted=8848.10MB
    minor collections=588340  major collections=90 compactions=0


runtime: 00:07:21.286
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1268690.59MB, max=934.02MB, minor=1262310.06MB, major=15413.90MB, promoted=9033.36MB
    minor collections=601975  major collections=91 compactions=0


runtime: 00:07:31.302
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1297397.83MB, max=934.02MB, minor=1290821.89MB, major=15793.70MB, promoted=9217.76MB
    minor collections=615571  major collections=92 compactions=0


runtime: 00:07:41.313
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1326812.82MB, max=934.02MB, minor=1320036.65MB, major=16182.76MB, promoted=9406.59MB
    minor collections=629503  major collections=94 compactions=0


runtime: 00:07:51.329
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1355520.78MB, max=934.02MB, minor=1348549.21MB, major=16563.48MB, promoted=9591.91MB
    minor collections=643100  major collections=95 compactions=0


runtime: 00:08:01.344
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1384538.50MB, max=934.02MB, minor=1377369.41MB, major=16947.64MB, promoted=9778.55MB
    minor collections=656843  major collections=96 compactions=0


runtime: 00:08:11.355
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1413350.08MB, max=934.02MB, minor=1405984.88MB, major=17329.23MB, promoted=9964.03MB
    minor collections=670489  major collections=98 compactions=0


runtime: 00:08:21.369
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1442681.66MB, max=934.02MB, minor=1435116.80MB, major=17718.72MB, promoted=10153.87MB
    minor collections=684381  major collections=99 compactions=0


runtime: 00:08:31.380
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1472333.32MB, max=934.02MB, minor=1464566.63MB, major=18111.72MB, promoted=10345.03MB
    minor collections=698425  major collections=101 compactions=0


runtime: 00:08:41.396
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1501246.66MB, max=934.02MB, minor=1493283.15MB, major=18494.95MB, promoted=10531.45MB
    minor collections=712119  major collections=102 compactions=0


runtime: 00:08:51.403
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1530979.29MB, max=934.02MB, minor=1522813.40MB, major=18889.19MB, promoted=10723.31MB
    minor collections=726201  major collections=103 compactions=0


runtime: 00:09:01.418
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1559794.87MB, max=934.02MB, minor=1551432.85MB, major=19271.04MB, promoted=10909.01MB
    minor collections=739849  major collections=105 compactions=0


runtime: 00:09:11.430
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1588992.18MB, max=934.02MB, minor=1580431.42MB, major=19658.27MB, promoted=11097.50MB
    minor collections=753678  major collections=106 compactions=0


runtime: 00:09:21.445
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1618712.98MB, max=934.02MB, minor=1609949.90MB, major=20051.40MB, promoted=11288.32MB
    minor collections=767754  major collections=108 compactions=0


runtime: 00:09:31.457
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1647702.55MB, max=934.02MB, minor=1638742.15MB, major=20435.54MB, promoted=11475.14MB
    minor collections=781484  major collections=109 compactions=0


runtime: 00:09:41.468
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1677259.34MB, max=934.02MB, minor=1668097.75MB, major=20826.78MB, promoted=11665.20MB
    minor collections=795483  major collections=110 compactions=0


runtime: 00:09:51.484
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1706401.87MB, max=934.02MB, minor=1697041.92MB, major=21212.76MB, promoted=11852.80MB
    minor collections=809286  major collections=112 compactions=0


runtime: 00:10:01.495
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1736733.07MB, max=934.02MB, minor=1727211.24MB, major=21553.88MB, promoted=12032.06MB
    minor collections=823673  major collections=113 compactions=0


runtime: 00:10:11.503
vars: 75611, evals: 205176

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1772637.26MB, max=934.02MB, minor=1763115.44MB, major=21699.27MB, promoted=12177.44MB
    minor collections=840793  major collections=113 compactions=0


runtime: 00:10:21.514
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1807527.74MB, max=934.02MB, minor=1797990.10MB, major=21909.62MB, promoted=12371.97MB
    minor collections=857424  major collections=114 compactions=0


runtime: 00:10:31.530
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1834969.97MB, max=934.02MB, minor=1825274.50MB, major=22311.67MB, promoted=12616.20MB
    minor collections=870435  major collections=116 compactions=0


runtime: 00:10:41.541
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1864091.60MB, max=934.02MB, minor=1854197.88MB, major=22696.82MB, promoted=12803.10MB
    minor collections=884228  major collections=117 compactions=0


runtime: 00:10:51.553
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1893457.67MB, max=934.02MB, minor=1883364.02MB, major=23085.40MB, promoted=12991.76MB
    minor collections=898136  major collections=118 compactions=0


runtime: 00:11:01.572
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1922149.53MB, max=934.02MB, minor=1911860.56MB, major=23464.88MB, promoted=13175.91MB
    minor collections=911726  major collections=120 compactions=0


runtime: 00:11:11.584
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1951181.29MB, max=934.02MB, minor=1940694.68MB, major=23849.37MB, promoted=13362.76MB
    minor collections=925476  major collections=121 compactions=0


runtime: 00:11:21.595
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=1979551.94MB, max=934.02MB, minor=1968872.20MB, major=24224.37MB, promoted=13544.63MB
    minor collections=938913  major collections=123 compactions=0


runtime: 00:11:31.611
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2006837.73MB, max=934.02MB, minor=1995972.24MB, major=24585.32MB, promoted=13719.84MB
    minor collections=951836  major collections=124 compactions=0


runtime: 00:11:41.626
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2034521.34MB, max=934.02MB, minor=2023467.40MB, major=24951.06MB, promoted=13897.11MB
    minor collections=964948  major collections=125 compactions=0


runtime: 00:11:51.642
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2062602.28MB, max=934.02MB, minor=2051357.17MB, major=25322.65MB, promoted=14077.54MB
    minor collections=978247  major collections=126 compactions=0


runtime: 00:12:01.657
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2089907.92MB, max=934.02MB, minor=2078476.93MB, major=25683.47MB, promoted=14252.49MB
    minor collections=991180  major collections=128 compactions=0


runtime: 00:12:11.673
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2118069.71MB, max=934.02MB, minor=2106447.01MB, major=26056.25MB, promoted=14433.55MB
    minor collections=1004518  major collections=129 compactions=0


runtime: 00:12:21.692
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2146249.63MB, max=934.02MB, minor=2134435.10MB, major=26429.10MB, promoted=14614.56MB
    minor collections=1017865  major collections=130 compactions=0


runtime: 00:12:31.707
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2174252.52MB, max=934.02MB, minor=2162247.35MB, major=26799.60MB, promoted=14794.43MB
    minor collections=1031128  major collections=132 compactions=0


runtime: 00:12:41.719
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2202775.19MB, max=934.02MB, minor=2190575.85MB, major=27177.13MB, promoted=14977.79MB
    minor collections=1044637  major collections=133 compactions=0


runtime: 00:12:51.735
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2231082.96MB, max=934.02MB, minor=2218690.91MB, major=27551.27MB, promoted=15159.22MB
    minor collections=1058044  major collections=134 compactions=0


runtime: 00:13:01.746
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2259735.68MB, max=934.02MB, minor=2247148.57MB, major=27930.10MB, promoted=15342.99MB
    minor collections=1071615  major collections=136 compactions=0


runtime: 00:13:11.762
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2288496.85MB, max=934.02MB, minor=2275713.95MB, major=28310.19MB, promoted=15527.29MB
    minor collections=1085237  major collections=137 compactions=0


runtime: 00:13:21.773
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2317478.21MB, max=934.02MB, minor=2304498.01MB, major=28694.06MB, promoted=15713.86MB
    minor collections=1098963  major collections=139 compactions=0


runtime: 00:13:31.786
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2344797.25MB, max=934.02MB, minor=2331631.08MB, major=29055.28MB, promoted=15889.10MB
    minor collections=1111902  major collections=140 compactions=0


runtime: 00:13:41.801
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2373793.06MB, max=934.02MB, minor=2360429.49MB, major=29439.25MB, promoted=16075.68MB
    minor collections=1125635  major collections=141 compactions=0


runtime: 00:13:51.817
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2402258.42MB, max=934.02MB, minor=2388701.07MB, major=29815.33MB, promoted=16257.98MB
    minor collections=1139117  major collections=143 compactions=0


runtime: 00:14:01.836
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2430070.09MB, max=934.02MB, minor=2416323.41MB, major=30183.21MB, promoted=16436.53MB
    minor collections=1152290  major collections=144 compactions=0


runtime: 00:14:11.848
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2460561.91MB, max=934.02MB, minor=2446693.74MB, major=30470.31MB, promoted=16602.14MB
    minor collections=1166772  major collections=145 compactions=0


runtime: 00:14:21.863
vars: 75611, evals: 205197

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=246
|sides|=5660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64684
|called|=23
Found 4568 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2496118.65MB, max=934.02MB, minor=2482250.48MB, major=30614.39MB, promoted=16746.22MB
    minor collections=1183727  major collections=145 compactions=0


runtime: 00:14:31.875
vars: 75915, evals: 205681

|rho|=75915
|stable|=32384
|infl|=75906
|wpoint|=292
|sides|=5729
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64873
|called|=23
Found 4637 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2529794.47MB, max=934.02MB, minor=2515873.73MB, major=30841.74MB, promoted=16921.00MB
    minor collections=1199761  major collections=146 compactions=0


runtime: 00:14:41.886
vars: 75915, evals: 205828

|rho|=75915
|stable|=32384
|infl|=75906
|wpoint|=292
|sides|=5729
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64873
|called|=23
Found 4637 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2558012.63MB, max=934.02MB, minor=2543926.00MB, major=31211.22MB, promoted=17124.58MB
    minor collections=1213138  major collections=148 compactions=0


runtime: 00:14:51.898
vars: 75915, evals: 205828

|rho|=75915
|stable|=32384
|infl|=75906
|wpoint|=292
|sides|=5729
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64873
|called|=23
Found 4637 contexts for 171 functions. Top 5 functions:
312	contexts for L:entry state of socket_release (582) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:852:1-867:1
211	contexts for L:entry state of list_del (4422) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:757:1-769:1
192	contexts for L:entry state of socket_wr_acquire (579) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:840:1-851:1
174	contexts for L:entry state of free_skb (372) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:637:1-648:1
165	contexts for L:entry state of skb_push (377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/level-ip/main.c:658:1-667:1

Memory statistics: total=2586179.86MB, max=934.02MB, minor=2571900.97MB, major=31583.52MB, promoted=17304.63MB
    minor collections=1226479  major collections=149 compactions=0

