./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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/siege/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.396
vars: 29333, evals: 46921

|rho|=29333
|stable|=23826
|infl|=29267
|wpoint|=5
|sides|=2603
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24809
|called|=95
Found 1897 contexts for 137 functions. Top 5 functions:
229	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
196	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
129	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
129	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1
81	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1

Memory statistics: total=22537.66MB, max=230.87MB, minor=22528.06MB, major=367.70MB, promoted=358.09MB
    minor collections=10749  major collections=16 compactions=0


runtime: 00:00:20.459
vars: 56261, evals: 89509

|rho|=56261
|stable|=22876
|infl|=56165
|wpoint|=10
|sides|=4564
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47741
|called|=111
Found 3481 contexts for 164 functions. Top 5 functions:
344	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
301	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
227	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
227	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=46423.27MB, max=403.80MB, minor=46383.90MB, major=707.13MB, promoted=667.76MB
    minor collections=22126  major collections=19 compactions=0


runtime: 00:00:30.498
vars: 85193, evals: 119736

|rho|=85193
|stable|=51585
|infl|=85094
|wpoint|=16
|sides|=6045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73655
|called|=144
Found 4779 contexts for 187 functions. Top 5 functions:
682	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
682	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
344	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=66250.81MB, max=464.37MB, minor=66203.27MB, major=933.79MB, promoted=886.25MB
    minor collections=31578  major collections=21 compactions=0


runtime: 00:00:40.536
vars: 103232, evals: 138875

|rho|=103232
|stable|=69625
|infl|=103168
|wpoint|=11
|sides|=6861
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90091
|called|=79
Found 5526 contexts for 194 functions. Top 5 functions:
961	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
961	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
344	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=79772.66MB, max=534.03MB, minor=79722.02MB, major=1076.51MB, promoted=1025.87MB
    minor collections=38025  major collections=22 compactions=0


runtime: 00:00:50.583
vars: 117694, evals: 153995

|rho|=117694
|stable|=84086
|infl|=117588
|wpoint|=16
|sides|=7470
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103315
|called|=152
Found 6126 contexts for 196 functions. Top 5 functions:
1193	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1193	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
348	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=90045.17MB, max=614.13MB, minor=89992.85MB, major=1189.46MB, promoted=1137.15MB
    minor collections=42923  major collections=22 compactions=0


runtime: 00:01:00.598
vars: 128794, evals: 166061

|rho|=128793
|stable|=95185
|infl|=128692
|wpoint|=16
|sides|=7948
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113449
|called|=146
Found 6597 contexts for 199 functions. Top 5 functions:
1359	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1359	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
352	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=102167.34MB, max=614.13MB, minor=102113.65MB, major=1287.57MB, promoted=1233.87MB
    minor collections=48703  major collections=23 compactions=0


runtime: 00:01:10.629
vars: 138472, evals: 176551

|rho|=138472
|stable|=104865
|infl|=138373
|wpoint|=15
|sides|=8368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122286
|called|=126
Found 7016 contexts for 199 functions. Top 5 functions:
1505	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1505	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
356	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=114680.67MB, max=706.25MB, minor=114621.44MB, major=1380.64MB, promoted=1321.41MB
    minor collections=54667  major collections=23 compactions=0


runtime: 00:01:20.651
vars: 146589, evals: 185403

|rho|=146589
|stable|=112981
|infl|=146496
|wpoint|=16
|sides|=8705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129729
|called|=138
Found 7353 contexts for 199 functions. Top 5 functions:
1628	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1628	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
356	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=128182.53MB, max=706.25MB, minor=128122.15MB, major=1459.98MB, promoted=1399.60MB
    minor collections=61105  major collections=23 compactions=0


runtime: 00:01:30.670
vars: 154269, evals: 193757

|rho|=154269
|stable|=120661
|infl|=154173
|wpoint|=16
|sides|=9038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136743
|called|=141
Found 7685 contexts for 199 functions. Top 5 functions:
1743	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1743	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
360	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=141710.30MB, max=706.25MB, minor=141646.77MB, major=1538.19MB, promoted=1474.66MB
    minor collections=67555  major collections=24 compactions=0


runtime: 00:01:40.700
vars: 160829, evals: 200896

|rho|=160829
|stable|=127222
|infl|=160739
|wpoint|=14
|sides|=9312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142755
|called|=115
Found 7959 contexts for 199 functions. Top 5 functions:
1844	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1844	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
360	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=156223.06MB, max=812.19MB, minor=156158.55MB, major=1607.36MB, promoted=1542.84MB
    minor collections=74475  major collections=24 compactions=0


runtime: 00:01:50.750
vars: 166735, evals: 207297

|rho|=166735
|stable|=133128
|infl|=166646
|wpoint|=12
|sides|=9562
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148159
|called|=106
Found 8209 contexts for 199 functions. Top 5 functions:
1933	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
1933	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
360	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
224	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=170232.90MB, max=812.19MB, minor=170165.39MB, major=1672.38MB, promoted=1604.88MB
    minor collections=81154  major collections=24 compactions=0


runtime: 00:02:00.770
vars: 173046, evals: 214212

|rho|=173046
|stable|=139438
|infl|=172929
|wpoint|=16
|sides|=9833
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=153933
|called|=162
Found 8479 contexts for 199 functions. Top 5 functions:
2027	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2027	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
364	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
230	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=185331.53MB, max=934.02MB, minor=185263.06MB, major=1740.31MB, promoted=1671.84MB
    minor collections=88353  major collections=24 compactions=0


runtime: 00:02:10.785
vars: 178937, evals: 220622

|rho|=178937
|stable|=145330
|infl|=178818
|wpoint|=15
|sides|=10080
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159330
|called|=146
Found 8726 contexts for 199 functions. Top 5 functions:
2117	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2117	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
364	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
242	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=200093.06MB, max=934.02MB, minor=200023.71MB, major=1804.06MB, promoted=1734.71MB
    minor collections=95392  major collections=24 compactions=0


runtime: 00:02:20.795
vars: 185672, evals: 227852

|rho|=185672
|stable|=152064
|infl|=185566
|wpoint|=16
|sides|=10367
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165489
|called|=150
Found 9013 contexts for 201 functions. Top 5 functions:
2219	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2219	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
364	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
255	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=210253.82MB, max=934.02MB, minor=210183.55MB, major=1866.80MB, promoted=1796.53MB
    minor collections=100237  major collections=25 compactions=0


runtime: 00:02:30.834
vars: 193443, evals: 236300

|rho|=193443
|stable|=159835
|infl|=193348
|wpoint|=14
|sides|=10694
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172597
|called|=120
Found 9337 contexts for 202 functions. Top 5 functions:
2338	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2338	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
364	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
271	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=217644.66MB, max=934.02MB, minor=217573.47MB, major=1933.36MB, promoted=1862.17MB
    minor collections=103761  major collections=25 compactions=0


runtime: 00:02:40.890
vars: 201009, evals: 244523

|rho|=201009
|stable|=167402
|infl|=200917
|wpoint|=15
|sides|=11015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179521
|called|=118
Found 9654 contexts for 203 functions. Top 5 functions:
2452	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2452	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
364	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
287	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=224885.24MB, max=1074.12MB, minor=224813.14MB, major=1998.24MB, promoted=1926.15MB
    minor collections=107213  major collections=25 compactions=0


runtime: 00:02:50.900
vars: 208276, evals: 252288

|rho|=208276
|stable|=174669
|infl|=208186
|wpoint|=15
|sides|=11328
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186151
|called|=117
Found 9957 contexts for 206 functions. Top 5 functions:
2565	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2565	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
301	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=231436.31MB, max=1074.12MB, minor=231363.31MB, major=2060.31MB, promoted=1987.31MB
    minor collections=110337  major collections=25 compactions=0


runtime: 00:03:00.910
vars: 214341, evals: 259632

|rho|=214341
|stable|=162126
|infl|=214282
|wpoint|=15
|sides|=11585
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191694
|called|=124
Found 10208 contexts for 207 functions. Top 5 functions:
2657	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2657	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
315	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=238561.33MB, max=1074.12MB, minor=238486.76MB, major=2128.60MB, promoted=2054.02MB
    minor collections=113733  major collections=25 compactions=0


runtime: 00:03:10.953
vars: 214342, evals: 271869

|rho|=214342
|stable|=163242
|infl|=214286
|wpoint|=13
|sides|=11587
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=191694
|called|=108
Found 10208 contexts for 207 functions. Top 5 functions:
2657	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2657	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
315	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=259257.51MB, max=1074.12MB, minor=259176.73MB, major=2293.25MB, promoted=2212.48MB
    minor collections=123600  major collections=26 compactions=0


runtime: 00:03:20.992
vars: 216486, evals: 283120

|rho|=216486
|stable|=169109
|infl|=216406
|wpoint|=11
|sides|=11701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193605
|called|=94
Found 10309 contexts for 209 functions. Top 5 functions:
2691	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2691	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
317	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1

Memory statistics: total=277001.95MB, max=1074.12MB, minor=276916.69MB, major=2425.45MB, promoted=2340.18MB
    minor collections=132059  major collections=26 compactions=0


runtime: 00:03:31.003
vars: 223178, evals: 289532

|rho|=223178
|stable|=175800
|infl|=223096
|wpoint|=11
|sides|=11975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199749
|called|=95
Found 10584 contexts for 209 functions. Top 5 functions:
2812	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2812	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
327	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=281267.08MB, max=1074.12MB, minor=281181.00MB, major=2472.11MB, promoted=2386.04MB
    minor collections=134092  major collections=26 compactions=0


runtime: 00:03:41.009
vars: 229407, evals: 295484

|rho|=229407
|stable|=182029
|infl|=229326
|wpoint|=11
|sides|=12224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=205480
|called|=94
Found 10832 contexts for 209 functions. Top 5 functions:
2926	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2926	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
365	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
337	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=285479.70MB, max=1074.12MB, minor=285392.92MB, major=2514.87MB, promoted=2428.09MB
    minor collections=136101  major collections=27 compactions=0


runtime: 00:03:55.535
vars: 237794, evals: 317991

|rho|=237794
|stable|=184172
|infl|=237656
|wpoint|=13
|sides|=12573
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=213132
|called|=398
Found 11029 contexts for 224 functions. Top 5 functions:
2958	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2958	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
375	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=307140.85MB, max=1235.24MB, minor=307053.39MB, major=2804.58MB, promoted=2717.12MB
    minor collections=146430  major collections=27 compactions=0


runtime: 00:04:06.405
vars: 245094, evals: 346034

|rho|=245094
|stable|=191472
|infl|=244929
|wpoint|=12
|sides|=12635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220306
|called|=525
Found 11090 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
384	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=333931.43MB, max=1235.24MB, minor=333843.74MB, major=3131.82MB, promoted=3044.12MB
    minor collections=159206  major collections=28 compactions=0


runtime: 00:04:16.416
vars: 245705, evals: 348482

|rho|=245705
|stable|=167377
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336559.65MB, max=1235.24MB, minor=336471.94MB, major=3161.52MB, promoted=3073.80MB
    minor collections=160459  major collections=28 compactions=0


runtime: 00:04:26.423
vars: 245705, evals: 348482

|rho|=245705
|stable|=155428
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336608.64MB, max=1235.24MB, minor=336520.92MB, major=3161.68MB, promoted=3073.97MB
    minor collections=160482  major collections=28 compactions=0


runtime: 00:04:36.434
vars: 245705, evals: 348482

|rho|=245705
|stable|=142541
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336657.82MB, max=1235.24MB, minor=336570.10MB, major=3161.86MB, promoted=3074.15MB
    minor collections=160506  major collections=28 compactions=0


runtime: 00:04:46.445
vars: 245705, evals: 348482

|rho|=245705
|stable|=127244
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336707.50MB, max=1235.24MB, minor=336619.79MB, major=3162.03MB, promoted=3074.31MB
    minor collections=160529  major collections=28 compactions=0


runtime: 00:04:56.458
vars: 245705, evals: 348482

|rho|=245705
|stable|=106609
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336758.30MB, max=1235.24MB, minor=336670.59MB, major=3162.21MB, promoted=3074.50MB
    minor collections=160554  major collections=28 compactions=0


runtime: 00:05:06.468
vars: 245705, evals: 348482

|rho|=245705
|stable|=59886
|infl|=245586
|wpoint|=11
|sides|=12662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220859
|called|=133
Found 11109 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
388	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=336817.85MB, max=1235.24MB, minor=336730.14MB, major=3162.38MB, promoted=3074.66MB
    minor collections=160582  major collections=28 compactions=0


runtime: 00:05:16.479
vars: 248641, evals: 367837

|rho|=248641
|stable|=61608
|infl|=248504
|wpoint|=13
|sides|=12724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=223674
|called|=309
Found 11170 contexts for 224 functions. Top 5 functions:
2960	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2960	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
394	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=357749.78MB, max=1235.24MB, minor=357661.95MB, major=3419.89MB, promoted=3332.06MB
    minor collections=170564  major collections=29 compactions=0


runtime: 00:05:26.506
vars: 255214, evals: 393051

|rho|=255214
|stable|=68181
|infl|=255052
|wpoint|=13
|sides|=12783
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=230128
|called|=456
Found 11229 contexts for 224 functions. Top 5 functions:
2962	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2962	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
402	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=383089.53MB, max=1420.53MB, minor=383001.56MB, major=3763.16MB, promoted=3675.19MB
    minor collections=182648  major collections=30 compactions=0


runtime: 00:05:36.517
vars: 262366, evals: 419014

|rho|=262366
|stable|=75334
|infl|=262227
|wpoint|=12
|sides|=12870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=237107
|called|=346
Found 11309 contexts for 226 functions. Top 5 functions:
2962	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2962	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
417	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=408319.59MB, max=1420.53MB, minor=408223.02MB, major=4095.72MB, promoted=3999.14MB
    minor collections=194676  major collections=30 compactions=0


runtime: 00:05:46.547
vars: 268573, evals: 442811

|rho|=268573
|stable|=81541
|infl|=268411
|wpoint|=13
|sides|=12928
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243197
|called|=358
Found 11367 contexts for 226 functions. Top 5 functions:
2964	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
2964	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
425	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
338	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=433102.29MB, max=1420.53MB, minor=433005.57MB, major=4432.75MB, promoted=4336.02MB
    minor collections=206494  major collections=31 compactions=0


runtime: 00:05:56.558
vars: 276622, evals: 462799

|rho|=276622
|stable|=89671
|infl|=276554
|wpoint|=12
|sides|=13192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250680
|called|=97
Found 11599 contexts for 229 functions. Top 5 functions:
3025	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3025	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
435	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
341	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=451550.95MB, max=1420.53MB, minor=451453.51MB, major=4654.96MB, promoted=4557.52MB
    minor collections=215292  major collections=32 compactions=0


runtime: 00:06:06.568
vars: 285030, evals: 470795

|rho|=285030
|stable|=98085
|infl|=284952
|wpoint|=12
|sides|=13536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258402
|called|=107
Found 11943 contexts for 229 functions. Top 5 functions:
3179	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3179	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
435	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
354	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=457456.72MB, max=1420.53MB, minor=457358.41MB, major=4712.86MB, promoted=4614.55MB
    minor collections=218107  major collections=32 compactions=0


runtime: 00:06:16.599
vars: 293869, evals: 481910

|rho|=293869
|stable|=105813
|infl|=293732
|wpoint|=12
|sides|=13991
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266287
|called|=153
Found 12350 contexts for 236 functions. Top 5 functions:
3285	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3285	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
439	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
362	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=467346.46MB, max=1420.53MB, minor=467242.78MB, major=4832.23MB, promoted=4728.55MB
    minor collections=222821  major collections=32 compactions=0


runtime: 00:06:26.610
vars: 300085, evals: 504674

|rho|=300085
|stable|=112029
|infl|=299914
|wpoint|=13
|sides|=14049
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272387
|called|=410
Found 12408 contexts for 236 functions. Top 5 functions:
3287	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3287	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
447	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
362	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=491655.60MB, max=1420.53MB, minor=491551.75MB, major=5164.03MB, promoted=5060.19MB
    minor collections=234414  major collections=33 compactions=0


runtime: 00:06:36.657
vars: 306857, evals: 529904

|rho|=306857
|stable|=118801
|infl|=306715
|wpoint|=13
|sides|=14131
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278995
|called|=286
Found 12487 contexts for 236 functions. Top 5 functions:
3287	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3287	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
462	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
362	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=515939.73MB, max=1633.61MB, minor=515835.64MB, major=5460.49MB, promoted=5356.41MB
    minor collections=245993  major collections=33 compactions=0


runtime: 00:06:46.716
vars: 312060, evals: 550575

|rho|=312060
|stable|=124004
|infl|=311918
|wpoint|=13
|sides|=14173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=284114
|called|=290
Found 12529 contexts for 236 functions. Top 5 functions:
3287	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3287	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
468	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
362	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=539870.74MB, max=1633.61MB, minor=539766.46MB, major=5781.77MB, promoted=5677.48MB
    minor collections=257405  major collections=34 compactions=0


runtime: 00:06:56.726
vars: 318503, evals: 574287

|rho|=318503
|stable|=130446
|infl|=318115
|wpoint|=12
|sides|=14232
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=290437
|called|=404
Found 12588 contexts for 236 functions. Top 5 functions:
3289	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3289	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
477	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
362	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
325	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=563698.45MB, max=1633.61MB, minor=563594.02MB, major=6078.01MB, promoted=5973.58MB
    minor collections=268768  major collections=35 compactions=0


runtime: 00:07:06.741
vars: 329722, evals: 593668

|rho|=329722
|stable|=140454
|infl|=329644
|wpoint|=19
|sides|=15132
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=299679
|called|=143
Found 13251 contexts for 260 functions. Top 5 functions:
3340	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3340	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
521	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
368	contexts for L:entry state of __socket_block (9209) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:16906:1-16948:1
342	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=582890.41MB, max=1633.61MB, minor=582783.82MB, major=6271.08MB, promoted=6164.49MB
    minor collections=277919  major collections=35 compactions=0


runtime: 00:07:19.787
vars: 343263, evals: 614315

|rho|=343263
|stable|=154179
|infl|=343204
|wpoint|=22
|sides|=16145
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=311190
|called|=115
Found 14193 contexts for 267 functions. Top 5 functions:
3386	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3386	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
583	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
512	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
512	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=602723.59MB, max=1878.66MB, minor=602615.87MB, major=6458.16MB, promoted=6350.44MB
    minor collections=287375  major collections=35 compactions=0


runtime: 00:07:29.798
vars: 351256, evals: 625629

|rho|=351255
|stable|=163305
|infl|=351168
|wpoint|=18
|sides|=16637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318148
|called|=106
Found 14622 contexts for 282 functions. Top 5 functions:
3475	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3475	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
586	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=614992.78MB, max=1878.66MB, minor=614882.91MB, major=6567.18MB, promoted=6457.31MB
    minor collections=293225  major collections=35 compactions=0


runtime: 00:07:39.813
vars: 357871, evals: 632712

|rho|=357871
|stable|=169920
|infl|=357764
|wpoint|=20
|sides|=16917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324211
|called|=137
Found 14894 contexts for 282 functions. Top 5 functions:
3575	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3575	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
586	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=622944.90MB, max=1878.66MB, minor=622834.17MB, major=6626.82MB, promoted=6516.09MB
    minor collections=297017  major collections=36 compactions=0


runtime: 00:07:49.828
vars: 363664, evals: 638953

|rho|=363664
|stable|=175713
|infl|=363577
|wpoint|=18
|sides|=17151
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=329533
|called|=126
Found 15128 contexts for 282 functions. Top 5 functions:
3663	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3663	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
586	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=631878.44MB, max=1878.66MB, minor=631766.90MB, major=6682.50MB, promoted=6570.96MB
    minor collections=301277  major collections=36 compactions=0


runtime: 00:07:59.839
vars: 369921, evals: 645845

|rho|=369921
|stable|=181968
|infl|=369843
|wpoint|=19
|sides|=17409
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=335276
|called|=119
Found 15382 contexts for 282 functions. Top 5 functions:
3759	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3759	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
586	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=638296.82MB, max=1878.66MB, minor=638184.52MB, major=6738.19MB, promoted=6625.89MB
    minor collections=304337  major collections=36 compactions=0


runtime: 00:08:09.854
vars: 375967, evals: 652565

|rho|=375967
|stable|=188016
|infl|=375863
|wpoint|=17
|sides|=17660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=340824
|called|=138
Found 15630 contexts for 282 functions. Top 5 functions:
3851	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3851	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
587	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=644857.39MB, max=1878.66MB, minor=644744.27MB, major=6794.01MB, promoted=6680.90MB
    minor collections=307465  major collections=36 compactions=0


runtime: 00:08:22.732
vars: 381380, evals: 658419

|rho|=381380
|stable|=193430
|infl|=381295
|wpoint|=16
|sides|=17881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345793
|called|=103
Found 15849 contexts for 282 functions. Top 5 functions:
3935	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
3934	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
588	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
542	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
542	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=650931.13MB, max=1878.66MB, minor=650817.31MB, major=6843.11MB, promoted=6729.28MB
    minor collections=310361  major collections=36 compactions=0


runtime: 00:08:36.726
vars: 392561, evals: 671980

|rho|=392561
|stable|=204469
|infl|=392467
|wpoint|=17
|sides|=18575
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355529
|called|=118
Found 16449 contexts for 296 functions. Top 5 functions:
4005	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4005	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
665	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
548	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=663364.36MB, max=1878.66MB, minor=663249.86MB, major=6952.32MB, promoted=6837.81MB
    minor collections=316289  major collections=36 compactions=0


runtime: 00:08:46.741
vars: 404698, evals: 687261

|rho|=404698
|stable|=216636
|infl|=404595
|wpoint|=17
|sides|=19311
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=366189
|called|=127
Found 17162 contexts for 297 functions. Top 5 functions:
4067	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4067	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
775	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
548	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=678036.80MB, max=1878.66MB, minor=677921.79MB, major=7078.83MB, promoted=6963.82MB
    minor collections=323285  major collections=36 compactions=0


runtime: 00:08:56.751
vars: 417212, evals: 702772

|rho|=417212
|stable|=229181
|infl|=417120
|wpoint|=17
|sides|=20038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=377249
|called|=118
Found 17880 contexts for 297 functions. Top 5 functions:
4134	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4134	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
892	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
548	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=692970.66MB, max=1878.66MB, minor=692855.02MB, major=7206.81MB, promoted=7091.18MB
    minor collections=330407  major collections=37 compactions=0


runtime: 00:09:09.993
vars: 428732, evals: 716841

|rho|=428732
|stable|=240721
|infl|=428630
|wpoint|=16
|sides|=20717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=387414
|called|=128
Found 18552 contexts for 297 functions. Top 5 functions:
4194	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4194	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
998	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
548	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=707266.46MB, max=1878.66MB, minor=707150.10MB, major=7325.45MB, promoted=7209.09MB
    minor collections=337223  major collections=37 compactions=0


runtime: 00:09:21.663
vars: 440563, evals: 731214

|rho|=440563
|stable|=252570
|infl|=440455
|wpoint|=17
|sides|=21430
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=397821
|called|=132
Found 19256 contexts for 297 functions. Top 5 functions:
4253	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4253	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1106	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1
548	contexts for L:entry state of fnv_32_buf (9184) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9444:1-9461:1

Memory statistics: total=722138.83MB, max=2160.46MB, minor=722021.65MB, major=7451.82MB, promoted=7334.64MB
    minor collections=344315  major collections=37 compactions=0


runtime: 00:09:31.746
vars: 450951, evals: 743831

|rho|=450951
|stable|=262977
|infl|=450845
|wpoint|=18
|sides|=22042
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=406983
|called|=133
Found 19854 contexts for 298 functions. Top 5 functions:
4310	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4310	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1200	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
557	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=736356.79MB, max=2160.46MB, minor=736234.66MB, major=7566.11MB, promoted=7443.98MB
    minor collections=351093  major collections=37 compactions=0


runtime: 00:09:41.777
vars: 463129, evals: 759049

|rho|=463129
|stable|=275037
|infl|=463026
|wpoint|=16
|sides|=22752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=417740
|called|=125
Found 20561 contexts for 299 functions. Top 5 functions:
4373	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4373	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1311	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
590	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=751312.15MB, max=2160.46MB, minor=751189.62MB, major=7696.30MB, promoted=7573.76MB
    minor collections=358224  major collections=37 compactions=0


runtime: 00:09:51.788
vars: 475014, evals: 773983

|rho|=475014
|stable|=286982
|infl|=474909
|wpoint|=16
|sides|=23446
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428237
|called|=127
Found 21255 contexts for 299 functions. Top 5 functions:
4430	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4430	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1424	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
624	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=767093.86MB, max=2160.46MB, minor=766970.67MB, major=7839.18MB, promoted=7715.99MB
    minor collections=365750  major collections=37 compactions=0


runtime: 00:10:01.802
vars: 486429, evals: 787876

|rho|=486429
|stable|=298418
|infl|=486324
|wpoint|=16
|sides|=24112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=438317
|called|=131
Found 21921 contexts for 299 functions. Top 5 functions:
4488	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4488	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1531	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
650	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
548	contexts for L:entry state of __genkey (9183) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:9462:1-9475:1

Memory statistics: total=782290.81MB, max=2160.46MB, minor=782166.87MB, major=7973.35MB, promoted=7849.41MB
    minor collections=372996  major collections=38 compactions=0


runtime: 00:10:11.833
vars: 497013, evals: 801108

|rho|=497013
|stable|=308932
|infl|=496920
|wpoint|=16
|sides|=24746
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=447634
|called|=116
Found 22552 contexts for 299 functions. Top 5 functions:
4539	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4539	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1627	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
685	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
572	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=798010.52MB, max=2160.46MB, minor=797885.75MB, major=8093.24MB, promoted=7968.47MB
    minor collections=380492  major collections=38 compactions=0


runtime: 00:10:21.880
vars: 506269, evals: 812646

|rho|=506269
|stable|=318218
|infl|=506155
|wpoint|=17
|sides|=25287
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455808
|called|=139
Found 23093 contexts for 299 functions. Top 5 functions:
4588	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4588	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1711	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
707	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
611	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=812867.92MB, max=2484.53MB, minor=812742.34MB, major=8197.70MB, promoted=8072.12MB
    minor collections=387576  major collections=38 compactions=0


runtime: 00:10:31.939
vars: 515965, evals: 824690

|rho|=515965
|stable|=327914
|infl|=515859
|wpoint|=18
|sides|=25856
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=464366
|called|=132
Found 23662 contexts for 299 functions. Top 5 functions:
4638	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4638	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1802	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
733	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
650	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=827746.08MB, max=2484.53MB, minor=827619.64MB, major=8308.22MB, promoted=8181.79MB
    minor collections=394670  major collections=38 compactions=0


runtime: 00:10:41.978
vars: 524844, evals: 835780

|rho|=524844
|stable|=336823
|infl|=524743
|wpoint|=16
|sides|=26367
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=472222
|called|=123
Found 24173 contexts for 299 functions. Top 5 functions:
4688	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4688	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1884	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
757	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
689	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=841503.63MB, max=2484.53MB, minor=841359.77MB, major=8423.14MB, promoted=8279.27MB
    minor collections=401224  major collections=38 compactions=0


runtime: 00:10:52.008
vars: 535890, evals: 849241

|rho|=535890
|stable|=347890
|infl|=535791
|wpoint|=16
|sides|=27017
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=481970
|called|=125
Found 24823 contexts for 299 functions. Top 5 functions:
4744	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4744	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
1984	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
789	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
732	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=856799.57MB, max=2484.53MB, minor=856655.48MB, major=8543.22MB, promoted=8399.13MB
    minor collections=408518  major collections=38 compactions=0


runtime: 00:11:02.019
vars: 546828, evals: 862533

|rho|=546828
|stable|=358865
|infl|=546752
|wpoint|=19
|sides|=27668
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491601
|called|=109
Found 25474 contexts for 299 functions. Top 5 functions:
4801	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4801	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2087	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
817	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
777	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=872522.77MB, max=2484.53MB, minor=872378.17MB, major=8664.34MB, promoted=8519.75MB
    minor collections=416015  major collections=38 compactions=0


runtime: 00:11:12.030
vars: 556535, evals: 874427

|rho|=556535
|stable|=368572
|infl|=556450
|wpoint|=18
|sides|=28236
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=500173
|called|=113
Found 26042 contexts for 299 functions. Top 5 functions:
4851	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4851	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2176	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
843	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
816	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=889071.71MB, max=2484.53MB, minor=888926.35MB, major=8774.80MB, promoted=8629.43MB
    minor collections=423906  major collections=38 compactions=0


runtime: 00:11:22.041
vars: 566891, evals: 887553

|rho|=566891
|stable|=378810
|infl|=566797
|wpoint|=17
|sides|=28825
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=509356
|called|=118
Found 26631 contexts for 299 functions. Top 5 functions:
4902	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4902	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2270	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
872	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
855	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=905942.65MB, max=2484.53MB, minor=905796.41MB, major=8897.74MB, promoted=8751.49MB
    minor collections=431951  major collections=39 compactions=0


runtime: 00:11:32.103
vars: 576767, evals: 899934

|rho|=576767
|stable|=388717
|infl|=576659
|wpoint|=17
|sides|=29400
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=518079
|called|=140
Found 27206 contexts for 299 functions. Top 5 functions:
4951	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
4951	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2362	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
896	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1
894	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1

Memory statistics: total=922324.73MB, max=2857.21MB, minor=922177.53MB, major=9024.74MB, promoted=8877.55MB
    minor collections=439762  major collections=39 compactions=0


runtime: 00:11:42.178
vars: 586050, evals: 911249

|rho|=586050
|stable|=398050
|infl|=585976
|wpoint|=16
|sides|=29952
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=526258
|called|=99
Found 27758 contexts for 299 functions. Top 5 functions:
5001	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5001	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2448	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
933	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
922	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=937546.30MB, max=2857.21MB, minor=937389.80MB, major=9148.59MB, promoted=8992.10MB
    minor collections=447018  major collections=39 compactions=0


runtime: 00:11:52.261
vars: 596288, evals: 923154

|rho|=596288
|stable|=408338
|infl|=596201
|wpoint|=14
|sides|=30637
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=535126
|called|=100
Found 28413 contexts for 304 functions. Top 5 functions:
5057	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5057	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2521	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
965	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
946	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=954251.71MB, max=2857.21MB, minor=954093.91MB, major=9276.77MB, promoted=9118.96MB
    minor collections=454983  major collections=39 compactions=0


runtime: 00:12:02.327
vars: 605618, evals: 934471

|rho|=605618
|stable|=417668
|infl|=605517
|wpoint|=14
|sides|=31170
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=543395
|called|=114
Found 28943 contexts for 304 functions. Top 5 functions:
5111	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5111	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2600	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1003	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
970	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=968721.47MB, max=3285.79MB, minor=968562.78MB, major=9377.30MB, promoted=9218.61MB
    minor collections=461883  major collections=39 compactions=0


runtime: 00:12:12.362
vars: 612118, evals: 940738

|rho|=612118
|stable|=424167
|infl|=612029
|wpoint|=14
|sides|=31466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=549295
|called|=102
Found 29236 contexts for 305 functions. Top 5 functions:
5219	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5219	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
970	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=975717.51MB, max=3285.79MB, minor=975558.09MB, major=9438.05MB, promoted=9278.63MB
    minor collections=465218  major collections=39 compactions=0


runtime: 00:12:22.380
vars: 618124, evals: 946477

|rho|=618124
|stable|=430174
|infl|=618039
|wpoint|=15
|sides|=31713
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=554809
|called|=100
Found 29483 contexts for 305 functions. Top 5 functions:
5327	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5327	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
970	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=981918.15MB, max=3285.79MB, minor=981758.03MB, major=9493.98MB, promoted=9333.86MB
    minor collections=468175  major collections=39 compactions=0


runtime: 00:12:32.391
vars: 623400, evals: 951735

|rho|=623400
|stable|=435449
|infl|=623321
|wpoint|=14
|sides|=31942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=559625
|called|=92
Found 29712 contexts for 305 functions. Top 5 functions:
5417	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5417	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
970	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=988228.34MB, max=3285.79MB, minor=988067.30MB, major=9552.10MB, promoted=9391.06MB
    minor collections=471183  major collections=39 compactions=0


runtime: 00:12:42.401
vars: 629440, evals: 958289

|rho|=629440
|stable|=441490
|infl|=629344
|wpoint|=19
|sides|=32302
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=564949
|called|=123
Found 30072 contexts for 305 functions. Top 5 functions:
5495	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5495	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=997348.35MB, max=3285.79MB, minor=997186.17MB, major=9623.38MB, promoted=9461.20MB
    minor collections=475532  major collections=39 compactions=0


runtime: 00:12:52.412
vars: 634403, evals: 963652

|rho|=634403
|stable|=446453
|infl|=634307
|wpoint|=19
|sides|=32510
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=569498
|called|=122
Found 30280 contexts for 305 functions. Top 5 functions:
5570	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5570	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1005028.99MB, max=3285.79MB, minor=1004866.13MB, major=9681.98MB, promoted=9519.12MB
    minor collections=479194  major collections=39 compactions=0


runtime: 00:13:02.426
vars: 639131, evals: 968851

|rho|=639131
|stable|=451181
|infl|=639033
|wpoint|=19
|sides|=32711
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=573824
|called|=125
Found 30481 contexts for 305 functions. Top 5 functions:
5641	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5641	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1013536.46MB, max=3285.79MB, minor=1013372.85MB, major=9742.32MB, promoted=9578.71MB
    minor collections=483250  major collections=39 compactions=0


runtime: 00:13:12.437
vars: 643985, evals: 974072

|rho|=643985
|stable|=456035
|infl|=643898
|wpoint|=19
|sides|=32910
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=578277
|called|=114
Found 30680 contexts for 305 functions. Top 5 functions:
5716	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5716	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1021379.48MB, max=3285.79MB, minor=1021214.67MB, major=9802.24MB, promoted=9637.43MB
    minor collections=486989  major collections=39 compactions=0


runtime: 00:13:22.447
vars: 648696, evals: 979191

|rho|=648696
|stable|=460746
|infl|=648606
|wpoint|=19
|sides|=33109
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=582591
|called|=116
Found 30879 contexts for 305 functions. Top 5 functions:
5786	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5785	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1029067.44MB, max=3285.79MB, minor=1028901.92MB, major=9859.47MB, promoted=9693.94MB
    minor collections=490655  major collections=39 compactions=0


runtime: 00:13:32.458
vars: 653015, evals: 983954

|rho|=653015
|stable|=465065
|infl|=652932
|wpoint|=14
|sides|=33292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=586541
|called|=97
Found 31062 contexts for 305 functions. Top 5 functions:
5851	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5851	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1037381.17MB, max=3285.79MB, minor=1037214.99MB, major=9913.01MB, promoted=9746.82MB
    minor collections=494620  major collections=40 compactions=0


runtime: 00:13:42.468
vars: 657379, evals: 988155

|rho|=657379
|stable|=469429
|infl|=657278
|wpoint|=15
|sides|=33466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=590559
|called|=116
Found 31236 contexts for 305 functions. Top 5 functions:
5931	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
5931	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2610	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1042868.03MB, max=3285.79MB, minor=1042701.17MB, major=9958.01MB, promoted=9791.14MB
    minor collections=497236  major collections=40 compactions=0


runtime: 00:13:52.477
vars: 662112, evals: 992851

|rho|=662112
|stable|=474161
|infl|=662003
|wpoint|=19
|sides|=33664
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=594897
|called|=135
Found 31434 contexts for 305 functions. Top 5 functions:
6011	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6011	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2614	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1048775.43MB, max=3285.79MB, minor=1048607.99MB, major=10006.32MB, promoted=9838.88MB
    minor collections=500052  major collections=40 compactions=0


runtime: 00:14:02.488
vars: 666625, evals: 997827

|rho|=666625
|stable|=478674
|infl|=666522
|wpoint|=21
|sides|=33848
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=599041
|called|=152
Found 31618 contexts for 305 functions. Top 5 functions:
6078	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6078	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2614	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1056913.08MB, max=3285.79MB, minor=1056744.89MB, major=10064.35MB, promoted=9896.16MB
    minor collections=503932  major collections=40 compactions=0


runtime: 00:14:12.510
vars: 671289, evals: 1002810

|rho|=671289
|stable|=483339
|infl|=671182
|wpoint|=19
|sides|=34045
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=603313
|called|=133
Found 31815 contexts for 305 functions. Top 5 functions:
6151	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6151	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2614	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1064566.32MB, max=3285.79MB, minor=1064397.46MB, major=10121.07MB, promoted=9952.21MB
    minor collections=507581  major collections=40 compactions=0


runtime: 00:14:22.545
vars: 675970, evals: 1007970

|rho|=675970
|stable|=488020
|infl|=675863
|wpoint|=14
|sides|=34254
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=607572
|called|=121
Found 32024 contexts for 305 functions. Top 5 functions:
6220	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6220	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2618	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1073772.68MB, max=3285.79MB, minor=1073603.00MB, major=10184.33MB, promoted=10014.65MB
    minor collections=511971  major collections=40 compactions=0


runtime: 00:14:32.579
vars: 679893, evals: 1012236

|rho|=679893
|stable|=491941
|infl|=679777
|wpoint|=20
|sides|=34415
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=611177
|called|=161
Found 32185 contexts for 305 functions. Top 5 functions:
6279	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6279	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2618	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1083363.61MB, max=3285.79MB, minor=1083193.27MB, major=10236.28MB, promoted=10065.94MB
    minor collections=516544  major collections=40 compactions=0


runtime: 00:14:42.614
vars: 683943, evals: 1016660

|rho|=683943
|stable|=495992
|infl|=683850
|wpoint|=18
|sides|=34586
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=614881
|called|=118
Found 32356 contexts for 305 functions. Top 5 functions:
6342	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6341	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2618	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1094057.88MB, max=3285.79MB, minor=1093886.78MB, major=10293.65MB, promoted=10122.55MB
    minor collections=521643  major collections=40 compactions=0


runtime: 00:14:52.640
vars: 687748, evals: 1020790

|rho|=687748
|stable|=499798
|infl|=687641
|wpoint|=19
|sides|=34742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=618378
|called|=133
Found 32512 contexts for 305 functions. Top 5 functions:
6399	contexts for L:entry state of NOTIFY (974) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14407:1-14417:1
6399	contexts for L:entry state of __message (9198) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14320:1-14395:1
2618	contexts for L:entry state of xmalloc (622) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14254:1-14267:1
1004	contexts for L:entry state of xstrdup (961) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:14182:1-14197:1
994	contexts for L:entry state of strmatch (958) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/siege/main.c:19538:1-19560:1

Memory statistics: total=1103975.68MB, max=3285.79MB, minor=1103803.96MB, major=10344.80MB, promoted=10173.09MB
    minor collections=526372  major collections=40 compactions=0

