./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.184
vars: 13382, evals: 35067

|rho|=13382
|stable|=10447
|infl|=13341
|wpoint|=58
|sides|=1412
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10740
|called|=48
Found 766 contexts for 120 functions. Top 5 functions:
49	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
37	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
34	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
31	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
31	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=28848.82MB, max=99.81MB, minor=28839.41MB, major=287.78MB, promoted=278.37MB
    minor collections=13761  major collections=20 compactions=0


runtime: 00:00:20.232
vars: 25862, evals: 65155

|rho|=25862
|stable|=22645
|infl|=25842
|wpoint|=101
|sides|=2158
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21738
|called|=20
Found 1500 contexts for 120 functions. Top 5 functions:
120	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
88	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
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
80	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
72	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=57479.11MB, max=174.57MB, minor=57467.84MB, major=552.54MB, promoted=541.28MB
    minor collections=27416  major collections=26 compactions=0


runtime: 00:00:30.263
vars: 35213, evals: 92787

|rho|=35213
|stable|=17493
|infl|=35169
|wpoint|=136
|sides|=2771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29893
|called|=48
Found 2089 contexts for 120 functions. Top 5 functions:
172	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
130	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
124	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
113	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
105	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=85770.06MB, max=230.87MB, minor=85757.16MB, major=803.87MB, promoted=790.97MB
    minor collections=40908  major collections=30 compactions=0


runtime: 00:00:40.282
vars: 38376, evals: 113734

|rho|=38376
|stable|=25590
|infl|=38362
|wpoint|=152
|sides|=2996
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32602
|called|=47
Found 2314 contexts for 120 functions. Top 5 functions:
238	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
146	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
137	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=115933.34MB, max=265.50MB, minor=115919.91MB, major=1058.60MB, promoted=1045.17MB
    minor collections=55292  major collections=33 compactions=0


runtime: 00:00:50.305
vars: 40582, evals: 133637

|rho|=40582
|stable|=14348
|infl|=40573
|wpoint|=164
|sides|=3210
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34381
|called|=43
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=144880.65MB, max=305.32MB, minor=144865.69MB, major=1303.97MB, promoted=1289.01MB
    minor collections=69096  major collections=36 compactions=0


runtime: 00:01:00.321
vars: 40677, evals: 154889

|rho|=40677
|stable|=35640
|infl|=40664
|wpoint|=164
|sides|=3262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34412
|called|=35
Found 2533 contexts for 123 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
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=174817.58MB, max=305.32MB, minor=174801.99MB, major=1539.81MB, promoted=1524.23MB
    minor collections=83373  major collections=39 compactions=0


runtime: 00:01:10.423
vars: 60971, evals: 181754

|rho|=60971
|stable|=18617
|infl|=60952
|wpoint|=199
|sides|=4718
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51911
|called|=53
Found 3664 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
161	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=199989.86MB, max=534.03MB, minor=199962.76MB, major=1982.70MB, promoted=1955.60MB
    minor collections=95372  major collections=42 compactions=0


runtime: 00:01:20.499
vars: 75265, evals: 204560

|rho|=75265
|stable|=31734
|infl|=75259
|wpoint|=218
|sides|=5602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64444
|called|=24
Found 4520 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
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
187	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
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=226060.41MB, max=706.25MB, minor=226008.14MB, major=2368.85MB, promoted=2316.59MB
    minor collections=107793  major collections=44 compactions=0


runtime: 00:01:30.614
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=255146.07MB, max=934.02MB, minor=254921.05MB, major=2772.23MB, promoted=2547.21MB
    minor collections=121581  major collections=45 compactions=0


runtime: 00:01:40.626
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=284986.26MB, max=934.02MB, minor=284558.30MB, major=3174.40MB, promoted=2746.44MB
    minor collections=135714  major collections=47 compactions=0


runtime: 00:01:50.638
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=314907.83MB, max=934.02MB, minor=314276.37MB, major=3566.56MB, promoted=2935.11MB
    minor collections=149886  major collections=48 compactions=0


runtime: 00:02:00.649
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=345343.44MB, max=934.02MB, minor=344515.08MB, major=3955.53MB, promoted=3127.17MB
    minor collections=164306  major collections=50 compactions=0


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

|rho|=75611
|stable|=32100
|infl|=75605
|wpoint|=244
|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=377838.44MB, max=934.02MB, minor=376974.84MB, major=4247.82MB, promoted=3384.21MB
    minor collections=179785  major collections=51 compactions=0


runtime: 00:02:20.673
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=407044.43MB, max=934.02MB, minor=405982.59MB, major=4633.33MB, promoted=3571.49MB
    minor collections=193617  major collections=52 compactions=0


runtime: 00:02:30.684
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=437463.67MB, max=934.02MB, minor=436194.76MB, major=5036.54MB, promoted=3767.63MB
    minor collections=208025  major collections=54 compactions=0


runtime: 00:02:40.696
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=467372.50MB, max=934.02MB, minor=465900.00MB, major=5431.68MB, promoted=3959.18MB
    minor collections=222190  major collections=55 compactions=0


runtime: 00:02:50.708
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=497408.79MB, max=934.02MB, minor=495731.83MB, major=5829.86MB, promoted=4152.90MB
    minor collections=236416  major collections=56 compactions=0


runtime: 00:03:00.719
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=526926.30MB, max=934.02MB, minor=525048.41MB, major=6219.50MB, promoted=4341.61MB
    minor collections=250397  major collections=58 compactions=0


runtime: 00:03:10.731
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=556651.89MB, max=934.02MB, minor=554571.66MB, major=6613.13MB, promoted=4532.89MB
    minor collections=264475  major collections=59 compactions=0


runtime: 00:03:20.743
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=586294.07MB, max=934.02MB, minor=584012.06MB, major=7004.81MB, promoted=4722.80MB
    minor collections=278515  major collections=61 compactions=0


runtime: 00:03:30.754
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=615530.88MB, max=934.02MB, minor=613049.85MB, major=7391.13MB, promoted=4910.11MB
    minor collections=292362  major collections=62 compactions=0


runtime: 00:03:40.765
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=645902.32MB, max=934.02MB, minor=643214.56MB, major=7792.35MB, promoted=5104.58MB
    minor collections=306746  major collections=63 compactions=0


runtime: 00:03:50.776
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=675883.50MB, max=934.02MB, minor=672991.65MB, major=8189.21MB, promoted=5297.36MB
    minor collections=320947  major collections=65 compactions=0


runtime: 00:04:00.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=705286.44MB, max=934.02MB, minor=702194.45MB, major=8577.52MB, promoted=5485.52MB
    minor collections=334872  major collections=66 compactions=0


runtime: 00:04:10.799
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=735089.38MB, max=934.02MB, minor=731794.51MB, major=8971.85MB, promoted=5676.98MB
    minor collections=348988  major collections=68 compactions=0


runtime: 00:04:20.811
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=764955.66MB, max=934.02MB, minor=761457.49MB, major=9366.52MB, promoted=5868.35MB
    minor collections=363133  major collections=69 compactions=0


runtime: 00:04:30.822
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=794844.15MB, max=934.02MB, minor=791142.53MB, major=9761.05MB, promoted=6059.42MB
    minor collections=377290  major collections=71 compactions=0


runtime: 00:04:40.838
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=824490.38MB, max=934.02MB, minor=820586.95MB, major=10154.68MB, promoted=6251.25MB
    minor collections=391331  major collections=72 compactions=0


runtime: 00:04:50.849
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=854634.53MB, max=934.02MB, minor=850525.91MB, major=10552.44MB, promoted=6443.82MB
    minor collections=405607  major collections=73 compactions=0


runtime: 00:05:00.861
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=884435.24MB, max=934.02MB, minor=880123.76MB, major=10946.97MB, promoted=6635.49MB
    minor collections=419722  major collections=75 compactions=0


runtime: 00:05:10.873
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=914116.46MB, max=934.02MB, minor=909602.94MB, major=11338.34MB, promoted=6824.82MB
    minor collections=433780  major collections=76 compactions=0


runtime: 00:05:20.884
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=944393.10MB, max=934.02MB, minor=939673.48MB, major=11738.95MB, promoted=7019.33MB
    minor collections=448120  major collections=78 compactions=0


runtime: 00:05:30.895
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=974455.54MB, max=934.02MB, minor=969531.28MB, major=12136.14MB, promoted=7211.88MB
    minor collections=462358  major collections=79 compactions=0


runtime: 00:05:40.903
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=1005074.25MB, max=934.02MB, minor=999941.56MB, major=12540.09MB, promoted=7407.40MB
    minor collections=476859  major collections=80 compactions=0


runtime: 00:05:50.914
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=1039258.99MB, max=934.02MB, minor=1034084.19MB, major=12734.42MB, promoted=7559.62MB
    minor collections=493141  major collections=81 compactions=0


runtime: 00:06:00.922
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=1077674.96MB, max=934.02MB, minor=1072500.17MB, major=12890.14MB, promoted=7715.35MB
    minor collections=511460  major collections=82 compactions=0


runtime: 00:06:10.933
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=1106056.68MB, max=934.02MB, minor=1100778.13MB, major=13274.45MB, promoted=7995.90MB
    minor collections=524944  major collections=83 compactions=0


runtime: 00:06:20.940
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=1135737.88MB, max=934.02MB, minor=1130257.27MB, major=13666.78MB, promoted=8186.17MB
    minor collections=539003  major collections=85 compactions=0


runtime: 00:06:30.963
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=1165312.66MB, max=934.02MB, minor=1159630.71MB, major=14057.50MB, promoted=8375.56MB
    minor collections=553010  major collections=86 compactions=0


runtime: 00:06:40.975
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=1195301.14MB, max=934.02MB, minor=1189415.04MB, major=14454.11MB, promoted=8568.01MB
    minor collections=567213  major collections=87 compactions=0


runtime: 00:06:50.986
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=1225197.43MB, max=934.02MB, minor=1219107.80MB, major=14849.42MB, promoted=8759.80MB
    minor collections=581373  major collections=89 compactions=0


runtime: 00:07:00.994
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=1254806.54MB, max=934.02MB, minor=1248515.34MB, major=15240.90MB, promoted=8949.71MB
    minor collections=595396  major collections=90 compactions=0


runtime: 00:07:11.005
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=1284791.70MB, max=934.02MB, minor=1278296.38MB, major=15638.24MB, promoted=9142.91MB
    minor collections=609598  major collections=92 compactions=0


runtime: 00:07:21.017
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=1314649.73MB, max=934.02MB, minor=1307951.15MB, major=16033.12MB, promoted=9334.53MB
    minor collections=623739  major collections=93 compactions=0


runtime: 00:07:31.028
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=1344696.13MB, max=934.02MB, minor=1337793.00MB, major=16430.68MB, promoted=9527.54MB
    minor collections=637970  major collections=94 compactions=0


runtime: 00:07:41.040
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=1374253.83MB, max=934.02MB, minor=1367149.48MB, major=16821.68MB, promoted=9717.32MB
    minor collections=651970  major collections=96 compactions=0


runtime: 00:07:51.048
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=1404137.41MB, max=934.02MB, minor=1396829.61MB, major=17216.97MB, promoted=9909.17MB
    minor collections=666123  major collections=97 compactions=0


runtime: 00:08:01.059
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=1434116.42MB, max=934.02MB, minor=1426604.54MB, major=17613.42MB, promoted=10101.54MB
    minor collections=680322  major collections=99 compactions=0


runtime: 00:08:11.070
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=1463750.83MB, max=934.02MB, minor=1456037.21MB, major=18004.66MB, promoted=10291.04MB
    minor collections=694357  major collections=100 compactions=0


runtime: 00:08:21.082
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=1493993.80MB, max=934.02MB, minor=1486074.29MB, major=18404.74MB, promoted=10485.23MB
    minor collections=708682  major collections=102 compactions=0


runtime: 00:08:31.089
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=1523828.27MB, max=934.02MB, minor=1515705.66MB, major=18799.23MB, promoted=10676.62MB
    minor collections=722812  major collections=103 compactions=0


runtime: 00:08:41.100
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=1553786.82MB, max=934.02MB, minor=1545460.25MB, major=19195.49MB, promoted=10868.93MB
    minor collections=737001  major collections=104 compactions=0


runtime: 00:08:51.112
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=1583680.10MB, max=934.02MB, minor=1575150.03MB, major=19591.45MB, promoted=11061.38MB
    minor collections=751159  major collections=106 compactions=0


runtime: 00:09:01.123
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=1613711.91MB, max=934.02MB, minor=1604977.40MB, major=19988.71MB, promoted=11254.20MB
    minor collections=765383  major collections=107 compactions=0


runtime: 00:09:11.135
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=1643357.90MB, max=934.02MB, minor=1634421.57MB, major=20380.39MB, promoted=11444.05MB
    minor collections=779424  major collections=109 compactions=0


runtime: 00:09:21.146
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=1672711.63MB, max=934.02MB, minor=1663575.46MB, major=20768.52MB, promoted=11632.35MB
    minor collections=793327  major collections=110 compactions=0


runtime: 00:09:31.157
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=1703191.94MB, max=934.02MB, minor=1693848.27MB, major=21171.27MB, promoted=11827.60MB
    minor collections=807763  major collections=111 compactions=0


runtime: 00:09:41.173
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=1733457.30MB, max=934.02MB, minor=1723935.48MB, major=21533.80MB, promoted=12011.98MB
    minor collections=822111  major collections=113 compactions=0


runtime: 00:09:51.181
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=1769762.13MB, max=934.02MB, minor=1760240.31MB, major=21673.25MB, promoted=12151.43MB
    minor collections=839422  major collections=113 compactions=0


runtime: 00:10:01.192
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=1806498.83MB, max=934.02MB, minor=1796965.04MB, major=21858.18MB, promoted=12324.39MB
    minor collections=856935  major collections=114 compactions=0


runtime: 00:10:11.204
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=1834760.93MB, max=934.02MB, minor=1825069.38MB, major=22280.98MB, promoted=12589.43MB
    minor collections=870337  major collections=115 compactions=0


runtime: 00:10:21.211
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=1864887.29MB, max=934.02MB, minor=1854990.63MB, major=22679.14MB, promoted=12782.47MB
    minor collections=884606  major collections=117 compactions=0


runtime: 00:10:31.223
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=1894897.09MB, max=934.02MB, minor=1884796.09MB, major=23075.63MB, promoted=12974.64MB
    minor collections=898819  major collections=118 compactions=0


runtime: 00:10:41.234
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=1924273.72MB, max=934.02MB, minor=1913972.72MB, major=23464.46MB, promoted=13163.45MB
    minor collections=912733  major collections=120 compactions=0


runtime: 00:10:51.246
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=1954358.52MB, max=934.02MB, minor=1943852.68MB, major=23862.82MB, promoted=13356.98MB
    minor collections=926981  major collections=121 compactions=0


runtime: 00:11:01.257
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=1984447.80MB, max=934.02MB, minor=1973737.09MB, major=24260.77MB, promoted=13550.05MB
    minor collections=941233  major collections=123 compactions=0


runtime: 00:11:11.269
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=2014159.22MB, max=934.02MB, minor=2003246.21MB, major=24653.76MB, promoted=13740.76MB
    minor collections=955305  major collections=124 compactions=0


runtime: 00:11:21.281
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=2044412.38MB, max=934.02MB, minor=2033293.39MB, major=25053.41MB, promoted=13934.42MB
    minor collections=969633  major collections=125 compactions=0


runtime: 00:11:31.292
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=2074409.03MB, max=934.02MB, minor=2063085.81MB, major=25450.17MB, promoted=14126.94MB
    minor collections=983840  major collections=127 compactions=0


runtime: 00:11:41.304
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=2103938.12MB, max=934.02MB, minor=2092413.85MB, major=25840.96MB, promoted=14316.69MB
    minor collections=997826  major collections=128 compactions=0


runtime: 00:11:51.316
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=2134015.66MB, max=934.02MB, minor=2122286.60MB, major=26239.20MB, promoted=14510.13MB
    minor collections=1012072  major collections=130 compactions=0


runtime: 00:12:01.327
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=2164136.67MB, max=934.02MB, minor=2152202.52MB, major=26637.35MB, promoted=14703.20MB
    minor collections=1026338  major collections=131 compactions=0


runtime: 00:12:11.339
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=2194233.15MB, max=934.02MB, minor=2182094.08MB, major=27035.08MB, promoted=14896.01MB
    minor collections=1040592  major collections=133 compactions=0


runtime: 00:12:21.351
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=2223841.09MB, max=934.02MB, minor=2211500.43MB, major=27426.46MB, promoted=15085.81MB
    minor collections=1054615  major collections=134 compactions=0


runtime: 00:12:31.362
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=2253845.79MB, max=934.02MB, minor=2241300.84MB, major=27823.15MB, promoted=15278.20MB
    minor collections=1068826  major collections=135 compactions=0


runtime: 00:12:41.374
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=2283693.53MB, max=934.02MB, minor=2270945.36MB, major=28218.14MB, promoted=15469.98MB
    minor collections=1082963  major collections=137 compactions=0


runtime: 00:12:51.386
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=2313273.24MB, max=934.02MB, minor=2300323.67MB, major=28609.75MB, promoted=15660.18MB
    minor collections=1096972  major collections=138 compactions=0


runtime: 00:13:01.397
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=2343445.88MB, max=934.02MB, minor=2330290.87MB, major=29009.60MB, promoted=15854.60MB
    minor collections=1111263  major collections=140 compactions=0


runtime: 00:13:11.405
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=2372824.73MB, max=934.02MB, minor=2359469.71MB, major=29397.92MB, promoted=16042.90MB
    minor collections=1125178  major collections=141 compactions=0


runtime: 00:13:21.420
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=2402190.55MB, max=934.02MB, minor=2388635.58MB, major=29786.33MB, promoted=16231.37MB
    minor collections=1139086  major collections=142 compactions=0


runtime: 00:13:31.432
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=2431455.06MB, max=934.02MB, minor=2417700.85MB, major=30173.63MB, promoted=16419.42MB
    minor collections=1152946  major collections=144 compactions=0


runtime: 00:13:41.443
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=2463625.49MB, max=934.02MB, minor=2449757.32MB, major=30454.06MB, promoted=16585.90MB
    minor collections=1168233  major collections=145 compactions=0


runtime: 00:13:51.451
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=2501024.70MB, max=934.02MB, minor=2487156.53MB, major=30591.27MB, promoted=16723.10MB
    minor collections=1186067  major collections=145 compactions=0


runtime: 00:14:01.463
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=2535859.68MB, max=934.02MB, minor=2521909.08MB, major=30855.46MB, promoted=16904.86MB
    minor collections=1202639  major collections=146 compactions=0


runtime: 00:14:11.474
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=2564918.85MB, max=934.02MB, minor=2550797.28MB, major=31234.56MB, promoted=17112.99MB
    minor collections=1216415  major collections=148 compactions=0


runtime: 00:14:21.486
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=2594038.20MB, max=934.02MB, minor=2579717.85MB, major=31620.03MB, promoted=17299.68MB
    minor collections=1230206  major collections=149 compactions=0


runtime: 00:14:31.499
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=2624196.18MB, max=934.02MB, minor=2609702.40MB, major=31972.60MB, promoted=17478.82MB
    minor collections=1244505  major collections=150 compactions=0


runtime: 00:14:41.510
vars: 75915, evals: 205944

|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=2654727.24MB, max=934.02MB, minor=2640122.39MB, major=32307.43MB, promoted=17702.57MB
    minor collections=1259011  major collections=151 compactions=0


runtime: 00:14:51.522
vars: 75915, evals: 205944

|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=2684533.40MB, max=934.02MB, minor=2669725.80MB, major=32696.78MB, promoted=17889.19MB
    minor collections=1273128  major collections=153 compactions=0

