./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/pianobar/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.213
vars: 4253, evals: 13218

|rho|=4253
|stable|=3457
|infl|=4231
|wpoint|=6
|sides|=431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=3370
|called|=395
Found 108 contexts for 37 functions. Top 5 functions:
27	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
27	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for L:entry state of BarReadlinePrevUtf8 (5513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
3	contexts for L:entry state of BarGetXdgConfigDir (5482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1
3	contexts for L:entry state of putchar (5439) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3393:1-3401:1

Memory statistics: total=20965.98MB, max=57.06MB, minor=20954.76MB, major=652.79MB, promoted=641.57MB
    minor collections=10015  major collections=48 compactions=0


runtime: 00:00:20.228
vars: 6587, evals: 19112

|rho|=6587
|stable|=4942
|infl|=6565
|wpoint|=7
|sides|=509
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=5544
|called|=622
Found 167 contexts for 39 functions. Top 5 functions:
42	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
42	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
7	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
6	contexts for L:entry state of temporaryCurlError (5499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
6	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=39509.26MB, max=65.62MB, minor=39489.11MB, major=1364.15MB, promoted=1344.00MB
    minor collections=18873  major collections=87 compactions=0


runtime: 00:00:30.239
vars: 8726, evals: 22654

|rho|=8726
|stable|=7367
|infl|=8700
|wpoint|=9
|sides|=569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=7527
|called|=51
Found 197 contexts for 43 functions. Top 5 functions:
49	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
49	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
9	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
8	contexts for L:entry state of temporaryCurlError (5499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=57819.09MB, max=75.47MB, minor=57788.80MB, major=2080.98MB, promoted=2050.69MB
    minor collections=27616  major collections=122 compactions=0


runtime: 00:00:40.245
vars: 11585, evals: 28659

|rho|=11585
|stable|=6886
|infl|=11559
|wpoint|=9
|sides|=629
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10268
|called|=159
Found 246 contexts for 44 functions. Top 5 functions:
60	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
60	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
14	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
10	contexts for L:entry state of temporaryCurlError (5499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
9	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=76151.36MB, max=86.79MB, minor=76112.30MB, major=2792.67MB, promoted=2753.62MB
    minor collections=36368  major collections=150 compactions=0


runtime: 00:00:50.257
vars: 14983, evals: 34870

|rho|=14983
|stable|=10284
|infl|=14957
|wpoint|=9
|sides|=698
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13528
|called|=296
Found 314 contexts for 44 functions. Top 5 functions:
77	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
77	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
21	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
14	contexts for L:entry state of temporaryCurlError (5499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
12	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=94510.03MB, max=99.81MB, minor=94462.24MB, major=3501.29MB, promoted=3453.50MB
    minor collections=45131  major collections=175 compactions=0


runtime: 00:01:00.279
vars: 16391, evals: 38722

|rho|=16391
|stable|=11697
|infl|=16369
|wpoint|=8
|sides|=731
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14869
|called|=499
Found 347 contexts for 44 functions. Top 5 functions:
86	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
86	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
24	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
16	contexts for L:entry state of temporaryCurlError (5499) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
14	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=112070.41MB, max=114.78MB, minor=112014.23MB, major=4184.78MB, promoted=4128.61MB
    minor collections=53511  major collections=196 compactions=0


runtime: 00:01:10.287
vars: 18372, evals: 43192

|rho|=18372
|stable|=5867
|infl|=18342
|wpoint|=9
|sides|=995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16282
|called|=46
Found 564 contexts for 59 functions. Top 5 functions:
94	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
92	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
60	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
40	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
40	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=130589.87MB, max=114.78MB, minor=130524.55MB, major=4857.60MB, promoted=4792.28MB
    minor collections=62347  major collections=216 compactions=0


runtime: 00:01:20.302
vars: 18826, evals: 47578

|rho|=18826
|stable|=9677
|infl|=18809
|wpoint|=9
|sides|=1040
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16649
|called|=161
Found 594 contexts for 60 functions. Top 5 functions:
98	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
97	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
60	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
40	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
40	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=148849.83MB, max=132.00MB, minor=148776.05MB, major=5548.23MB, promoted=5474.45MB
    minor collections=71060  major collections=235 compactions=0


runtime: 00:01:30.317
vars: 21030, evals: 54112

|rho|=21030
|stable|=8239
|infl|=21003
|wpoint|=10
|sides|=1189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18561
|called|=394
Found 712 contexts for 66 functions. Top 5 functions:
103	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
102	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
60	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=167117.87MB, max=132.00MB, minor=167036.28MB, major=6212.75MB, promoted=6131.17MB
    minor collections=79776  major collections=253 compactions=0


runtime: 00:01:40.328
vars: 24505, evals: 60409

|rho|=24505
|stable|=11709
|infl|=24474
|wpoint|=12
|sides|=1288
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21830
|called|=675
Found 788 contexts for 67 functions. Top 5 functions:
117	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
116	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
60	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=185191.94MB, max=151.80MB, minor=185101.84MB, major=6904.20MB, promoted=6814.10MB
    minor collections=88399  major collections=269 compactions=0


runtime: 00:01:50.343
vars: 25725, evals: 63001

|rho|=25725
|stable|=12934
|infl|=25698
|wpoint|=11
|sides|=1324
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22977
|called|=59
Found 824 contexts for 67 functions. Top 5 functions:
128	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
127	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
60	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=203088.13MB, max=151.80MB, minor=202988.86MB, major=7607.78MB, promoted=7508.50MB
    minor collections=96936  major collections=284 compactions=0


runtime: 00:02:00.362
vars: 29121, evals: 69273

|rho|=29121
|stable|=16325
|infl|=29090
|wpoint|=12
|sides|=1398
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26226
|called|=235
Found 898 contexts for 67 functions. Top 5 functions:
141	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
140	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
81	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=221245.15MB, max=174.57MB, minor=221137.41MB, major=8295.08MB, promoted=8187.33MB
    minor collections=105596  major collections=297 compactions=0


runtime: 00:02:10.376
vars: 29454, evals: 71740

|rho|=29454
|stable|=9688
|infl|=29434
|wpoint|=11
|sides|=1405
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26543
|called|=329
Found 904 contexts for 67 functions. Top 5 functions:
143	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
142	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
81	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=239128.87MB, max=174.57MB, minor=239012.30MB, major=9003.25MB, promoted=8886.67MB
    minor collections=114127  major collections=311 compactions=0


runtime: 00:02:20.392
vars: 29482, evals: 75619

|rho|=29482
|stable|=9704
|infl|=29464
|wpoint|=11
|sides|=1408
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26566
|called|=525
Found 906 contexts for 67 functions. Top 5 functions:
144	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
143	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
90	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
81	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
60	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=257202.93MB, max=174.57MB, minor=257078.35MB, major=9689.06MB, promoted=9564.49MB
    minor collections=122748  major collections=324 compactions=0


runtime: 00:02:30.403
vars: 30012, evals: 78893

|rho|=30012
|stable|=13036
|infl|=29973
|wpoint|=12
|sides|=1465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26991
|called|=50
Found 960 contexts for 67 functions. Top 5 functions:
147	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
146	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
103	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
81	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
69	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=275068.27MB, max=174.57MB, minor=274934.47MB, major=10360.57MB, promoted=10226.76MB
    minor collections=131269  major collections=337 compactions=0


runtime: 00:02:40.417
vars: 34930, evals: 86995

|rho|=34930
|stable|=14025
|infl|=34899
|wpoint|=12
|sides|=1701
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31429
|called|=252
Found 1180 contexts for 71 functions. Top 5 functions:
155	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
154	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
150	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
105	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
100	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=293875.54MB, max=200.75MB, minor=293732.83MB, major=11037.57MB, promoted=10894.86MB
    minor collections=140239  major collections=349 compactions=0


runtime: 00:02:50.428
vars: 37252, evals: 92071

|rho|=37252
|stable|=16352
|infl|=37225
|wpoint|=11
|sides|=1766
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33620
|called|=404
Found 1245 contexts for 71 functions. Top 5 functions:
174	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
173	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
150	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
111	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
100	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=312261.54MB, max=230.87MB, minor=312109.74MB, major=11742.28MB, promoted=11590.48MB
    minor collections=149008  major collections=360 compactions=0


runtime: 00:03:00.439
vars: 40648, evals: 98343

|rho|=40648
|stable|=19743
|infl|=40617
|wpoint|=12
|sides|=1840
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36869
|called|=682
Found 1319 contexts for 71 functions. Top 5 functions:
187	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
186	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
150	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
138	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
100	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=330576.06MB, max=230.87MB, minor=330415.79MB, major=12435.49MB, promoted=12275.22MB
    minor collections=157742  major collections=370 compactions=0


runtime: 00:03:10.453
vars: 40978, evals: 99731

|rho|=40978
|stable|=20078
|infl|=40951
|wpoint|=11
|sides|=1846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37186
|called|=103
Found 1325 contexts for 71 functions. Top 5 functions:
189	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
188	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
150	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
138	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
100	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=347501.60MB, max=230.87MB, minor=347332.54MB, major=13105.74MB, promoted=12936.67MB
    minor collections=165814  major collections=380 compactions=0


runtime: 00:03:20.499
vars: 45779, evals: 107034

|rho|=45779
|stable|=10596
|infl|=45762
|wpoint|=12
|sides|=2353
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40946
|called|=40
Found 1742 contexts for 88 functions. Top 5 functions:
255	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
227	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
140	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=361177.84MB, max=351.13MB, minor=360844.51MB, major=15054.20MB, promoted=14720.87MB
    minor collections=172270  major collections=402 compactions=0


runtime: 00:03:30.521
vars: 45781, evals: 111076

|rho|=45781
|stable|=14627
|infl|=45765
|wpoint|=12
|sides|=2354
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40946
|called|=252
Found 1742 contexts for 88 functions. Top 5 functions:
255	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
227	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
140	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=379295.75MB, max=351.13MB, minor=378942.76MB, major=15782.27MB, promoted=15429.28MB
    minor collections=180904  major collections=410 compactions=0


runtime: 00:03:40.529
vars: 49150, evals: 118281

|rho|=49150
|stable|=19222
|infl|=49117
|wpoint|=12
|sides|=2431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44192
|called|=474
Found 1773 contexts for 91 functions. Top 5 functions:
262	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
234	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
140	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=397608.23MB, max=351.13MB, minor=397247.06MB, major=16465.63MB, promoted=16104.46MB
    minor collections=189637  major collections=419 compactions=0


runtime: 00:03:50.540
vars: 51472, evals: 123357

|rho|=51472
|stable|=21549
|infl|=51443
|wpoint|=11
|sides|=2496
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46383
|called|=751
Found 1838 contexts for 91 functions. Top 5 functions:
281	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
253	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
145	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=415858.28MB, max=351.13MB, minor=415488.09MB, major=17161.81MB, promoted=16791.61MB
    minor collections=198339  major collections=427 compactions=0


runtime: 00:04:00.551
vars: 53551, evals: 126804

|rho|=53551
|stable|=23623
|infl|=53518
|wpoint|=12
|sides|=2518
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48419
|called|=107
Found 1860 contexts for 91 functions. Top 5 functions:
287	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
259	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
146	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=433661.61MB, max=351.13MB, minor=433282.59MB, major=17862.67MB, promoted=17483.66MB
    minor collections=206829  major collections=435 compactions=0


runtime: 00:04:10.558
vars: 54959, evals: 130656

|rho|=54959
|stable|=25036
|infl|=54930
|wpoint|=11
|sides|=2551
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49760
|called|=266
Found 1893 contexts for 91 functions. Top 5 functions:
296	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
268	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
210	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
149	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
140	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=451332.09MB, max=351.13MB, minor=450944.58MB, major=18540.69MB, promoted=18153.17MB
    minor collections=215255  major collections=443 compactions=0


runtime: 00:04:20.573
vars: 60472, evals: 140553

|rho|=60472
|stable|=30544
|infl|=60439
|wpoint|=12
|sides|=2791
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54790
|called|=594
Found 2110 contexts for 94 functions. Top 5 functions:
317	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
289	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
160	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=470353.56MB, max=351.13MB, minor=469958.92MB, major=19199.94MB, promoted=18805.30MB
    minor collections=224325  major collections=450 compactions=0


runtime: 00:04:30.580
vars: 61641, evals: 143103

|rho|=61641
|stable|=31713
|infl|=61588
|wpoint|=12
|sides|=2821
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55900
|called|=79
Found 2140 contexts for 94 functions. Top 5 functions:
325	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
297	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
160	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=488126.01MB, max=351.13MB, minor=487721.54MB, major=19895.62MB, promoted=19491.15MB
    minor collections=232799  major collections=457 compactions=0


runtime: 00:04:40.587
vars: 64856, evals: 149063

|rho|=64856
|stable|=34928
|infl|=64823
|wpoint|=12
|sides|=2876
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59004
|called|=198
Found 2195 contexts for 94 functions. Top 5 functions:
342	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
314	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
160	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=506242.34MB, max=351.13MB, minor=505829.20MB, major=20584.66MB, promoted=20171.52MB
    minor collections=241437  major collections=464 compactions=0


runtime: 00:04:50.598
vars: 66264, evals: 152915

|rho|=66264
|stable|=36341
|infl|=66235
|wpoint|=11
|sides|=2909
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60345
|called|=359
Found 2228 contexts for 94 functions. Top 5 functions:
351	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
323	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
160	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=524259.75MB, max=351.13MB, minor=523836.02MB, major=21275.15MB, promoted=20851.42MB
    minor collections=250026  major collections=470 compactions=0


runtime: 00:05:00.613
vars: 70813, evals: 159984

|rho|=70813
|stable|=40885
|infl|=70780
|wpoint|=15
|sides|=3137
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=64443
|called|=683
Found 2397 contexts for 96 functions. Top 5 functions:
362	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
334	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
270	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
182	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
180	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=542661.52MB, max=351.13MB, minor=542229.94MB, major=21946.83MB, promoted=21515.26MB
    minor collections=258801  major collections=476 compactions=0


runtime: 00:05:10.640
vars: 71915, evals: 162468

|rho|=71915
|stable|=41987
|infl|=71882
|wpoint|=15
|sides|=3166
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65487
|called|=98
Found 2426 contexts for 96 functions. Top 5 functions:
370	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
342	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
270	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
185	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
180	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=560317.50MB, max=403.80MB, minor=559876.89MB, major=22634.06MB, promoted=22193.45MB
    minor collections=267218  major collections=482 compactions=0


runtime: 00:05:20.651
vars: 75417, evals: 168876

|rho|=75417
|stable|=45489
|infl|=75384
|wpoint|=15
|sides|=3246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=68829
|called|=305
Found 2506 contexts for 96 functions. Top 5 functions:
387	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
359	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
270	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
204	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
180	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=578401.04MB, max=403.80MB, minor=577951.30MB, major=23304.72MB, promoted=22854.98MB
    minor collections=275840  major collections=488 compactions=0


runtime: 00:05:30.667
vars: 76825, evals: 172728

|rho|=76825
|stable|=46902
|infl|=76796
|wpoint|=14
|sides|=3279
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70170
|called|=522
Found 2539 contexts for 96 functions. Top 5 functions:
396	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
368	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
270	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
207	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
180	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=596204.89MB, max=403.80MB, minor=595747.11MB, major=23983.22MB, promoted=23525.44MB
    minor collections=284329  major collections=494 compactions=0


runtime: 00:05:40.681
vars: 79657, evals: 177581

|rho|=79657
|stable|=49734
|infl|=79629
|wpoint|=14
|sides|=3461
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72644
|called|=83
Found 2696 contexts for 97 functions. Top 5 functions:
407	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
378	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
300	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
207	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
200	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=613970.59MB, max=464.37MB, minor=613504.54MB, major=24629.08MB, promoted=24163.03MB
    minor collections=292799  major collections=499 compactions=0


runtime: 00:05:50.704
vars: 82930, evals: 183595

|rho|=82930
|stable|=53002
|infl|=82898
|wpoint|=15
|sides|=3520
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75807
|called|=330
Found 2753 contexts for 97 functions. Top 5 functions:
421	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
392	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
300	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
210	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
200	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=631056.04MB, max=464.37MB, minor=630581.87MB, major=25276.52MB, promoted=24802.36MB
    minor collections=300945  major collections=504 compactions=0


runtime: 00:06:00.723
vars: 86212, evals: 189621

|rho|=86212
|stable|=56284
|infl|=86180
|wpoint|=15
|sides|=3576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78977
|called|=684
Found 2809 contexts for 97 functions. Top 5 functions:
438	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
409	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
300	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
213	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
200	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=648132.38MB, max=464.37MB, minor=647650.50MB, major=25921.38MB, promoted=25439.51MB
    minor collections=309087  major collections=509 compactions=0


runtime: 00:06:10.738
vars: 87290, evals: 192085

|rho|=87290
|stable|=57362
|infl|=87258
|wpoint|=15
|sides|=3603
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=80001
|called|=127
Found 2836 contexts for 97 functions. Top 5 functions:
445	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
416	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
300	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
216	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
200	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=665549.53MB, max=464.37MB, minor=665058.86MB, major=26589.43MB, promoted=26098.76MB
    minor collections=317390  major collections=514 compactions=0


runtime: 00:06:20.753
vars: 90697, evals: 199439

|rho|=90697
|stable|=60774
|infl|=90669
|wpoint|=14
|sides|=3796
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83008
|called|=373
Found 3009 contexts for 99 functions. Top 5 functions:
457	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
426	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
330	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
220	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
220	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=684509.34MB, max=464.37MB, minor=684011.19MB, major=27242.41MB, promoted=26744.25MB
    minor collections=326430  major collections=518 compactions=0


runtime: 00:06:30.768
vars: 93861, evals: 205357

|rho|=93861
|stable|=63933
|infl|=93829
|wpoint|=15
|sides|=3845
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86075
|called|=630
Found 3058 contexts for 99 functions. Top 5 functions:
471	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
440	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
330	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
220	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
220	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=702731.08MB, max=534.03MB, minor=702224.52MB, major=27934.36MB, promoted=27427.80MB
    minor collections=335117  major collections=523 compactions=0


runtime: 00:06:40.775
vars: 95126, evals: 207993

|rho|=95126
|stable|=65203
|infl|=95055
|wpoint|=14
|sides|=3882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87266
|called|=90
Found 3095 contexts for 99 functions. Top 5 functions:
482	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
451	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
330	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
222	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
220	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=720870.17MB, max=534.03MB, minor=720354.12MB, major=28634.39MB, promoted=28118.34MB
    minor collections=343765  major collections=528 compactions=0


runtime: 00:06:50.786
vars: 98221, evals: 213847

|rho|=98221
|stable|=68293
|infl|=98189
|wpoint|=15
|sides|=3928
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90269
|called|=232
Found 3141 contexts for 99 functions. Top 5 functions:
495	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
464	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
330	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
225	contexts for L:entry state of PianoJsonStrdup (5519) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
220	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1

Memory statistics: total=738913.93MB, max=534.03MB, minor=738388.58MB, major=29311.06MB, promoted=28785.71MB
    minor collections=352366  major collections=532 compactions=0


runtime: 00:07:00.800
vars: 100975, evals: 219431

|rho|=100975
|stable|=71052
|infl|=100947
|wpoint|=14
|sides|=4066
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92746
|called|=475
Found 3275 contexts for 99 functions. Top 5 functions:
503	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
471	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
360	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
240	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=757276.26MB, max=534.03MB, minor=756743.41MB, major=29971.92MB, promoted=29439.07MB
    minor collections=361121  major collections=536 compactions=0


runtime: 00:07:11.622
vars: 104141, evals: 225349

|rho|=104141
|stable|=74213
|infl|=104109
|wpoint|=15
|sides|=4115
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95813
|called|=879
Found 3324 contexts for 99 functions. Top 5 functions:
517	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
485	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
360	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
240	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=775194.03MB, max=534.03MB, minor=774651.89MB, major=30651.65MB, promoted=30109.52MB
    minor collections=369663  major collections=540 compactions=0


runtime: 00:07:21.845
vars: 105361, evals: 227941

|rho|=105361
|stable|=75438
|infl|=105333
|wpoint|=14
|sides|=4151
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96960
|called|=153
Found 3360 contexts for 99 functions. Top 5 functions:
528	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
496	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
360	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
240	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=793075.03MB, max=534.03MB, minor=792524.49MB, major=31336.37MB, promoted=30785.84MB
    minor collections=378188  major collections=545 compactions=0


runtime: 00:07:32.224
vars: 108501, evals: 233839

|rho|=108501
|stable|=78573
|infl|=108469
|wpoint|=15
|sides|=4198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100007
|called|=371
Found 3407 contexts for 99 functions. Top 5 functions:
541	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
509	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
360	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
240	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=811024.69MB, max=614.13MB, minor=810466.00MB, major=32006.88MB, promoted=31448.19MB
    minor collections=386745  major collections=549 compactions=0


runtime: 00:07:43.443
vars: 110855, evals: 238370

|rho|=110855
|stable|=80932
|infl|=110821
|wpoint|=14
|sides|=4315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102127
|called|=598
Found 3523 contexts for 99 functions. Top 5 functions:
547	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
515	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
390	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
260	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
260	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=829397.58MB, max=614.13MB, minor=828831.12MB, major=32691.68MB, promoted=32125.22MB
    minor collections=395504  major collections=553 compactions=0


runtime: 00:07:59.949
vars: 113065, evals: 241952

|rho|=113065
|stable|=83137
|infl|=113027
|wpoint|=16
|sides|=4359
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104244
|called|=82
Found 3557 contexts for 99 functions. Top 5 functions:
553	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
521	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
390	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
260	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
260	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=847100.18MB, max=614.13MB, minor=846524.44MB, major=33373.55MB, promoted=32797.81MB
    minor collections=403943  major collections=556 compactions=0


runtime: 00:08:12.880
vars: 115387, evals: 247028

|rho|=115387
|stable|=85464
|infl|=115353
|wpoint|=15
|sides|=4424
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106435
|called|=257
Found 3622 contexts for 99 functions. Top 5 functions:
572	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
540	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
390	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
260	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
260	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=865233.82MB, max=614.13MB, minor=864649.65MB, major=34046.54MB, promoted=33462.37MB
    minor collections=412588  major collections=560 compactions=0


runtime: 00:08:22.891
vars: 118615, evals: 253046

|rho|=118615
|stable|=88687
|infl|=118577
|wpoint|=16
|sides|=4481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109550
|called|=519
Found 3679 contexts for 99 functions. Top 5 functions:
585	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
553	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
390	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
260	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
260	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=883314.34MB, max=614.13MB, minor=882722.35MB, major=34715.34MB, promoted=34123.35MB
    minor collections=421208  major collections=564 compactions=0


runtime: 00:08:32.905
vars: 121369, evals: 258504

|rho|=121369
|stable|=91446
|infl|=121339
|wpoint|=15
|sides|=4629
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112006
|called|=994
Found 3822 contexts for 99 functions. Top 5 functions:
594	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
561	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=901883.11MB, max=614.13MB, minor=901282.16MB, major=35388.19MB, promoted=34787.24MB
    minor collections=430060  major collections=568 compactions=0


runtime: 00:08:42.916
vars: 123441, evals: 261938

|rho|=123441
|stable|=93513
|infl|=123407
|wpoint|=16
|sides|=4652
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114029
|called|=188
Found 3842 contexts for 99 functions. Top 5 functions:
600	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
567	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=919755.21MB, max=614.13MB, minor=919145.89MB, major=36075.88MB, promoted=35466.56MB
    minor collections=438580  major collections=571 compactions=0


runtime: 00:08:52.935
vars: 125763, evals: 267014

|rho|=125763
|stable|=95840
|infl|=125733
|wpoint|=15
|sides|=4717
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=116220
|called|=376
Found 3907 contexts for 99 functions. Top 5 functions:
619	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
586	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=938152.63MB, max=706.25MB, minor=937534.97MB, major=36757.15MB, promoted=36139.49MB
    minor collections=447350  major collections=575 compactions=0


runtime: 00:09:02.946
vars: 128903, evals: 272912

|rho|=128903
|stable|=98975
|infl|=128869
|wpoint|=16
|sides|=4764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119267
|called|=671
Found 3954 contexts for 99 functions. Top 5 functions:
632	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
599	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=956369.35MB, max=706.25MB, minor=955743.43MB, major=37435.66MB, promoted=36809.73MB
    minor collections=456035  major collections=578 compactions=0


runtime: 00:09:12.961
vars: 129233, evals: 274300

|rho|=129233
|stable|=99310
|infl|=129203
|wpoint|=15
|sides|=4770
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119584
|called|=88
Found 3960 contexts for 99 functions. Top 5 functions:
634	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
601	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=973796.77MB, max=706.25MB, minor=973161.91MB, major=38112.97MB, promoted=37478.11MB
    minor collections=464342  major collections=581 compactions=0


runtime: 00:09:22.968
vars: 129287, evals: 277395

|rho|=129287
|stable|=33656
|infl|=129263
|wpoint|=16
|sides|=4778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119622
|called|=293
Found 3963 contexts for 101 functions. Top 5 functions:
634	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
601	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=991388.67MB, max=706.25MB, minor=990745.80MB, major=38779.27MB, promoted=38136.40MB
    minor collections=472729  major collections=585 compactions=0


runtime: 00:09:32.983
vars: 129287, evals: 281434

|rho|=129287
|stable|=37695
|infl|=129263
|wpoint|=16
|sides|=4778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119622
|called|=502
Found 3963 contexts for 101 functions. Top 5 functions:
634	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
601	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1009326.37MB, max=706.25MB, minor=1008675.80MB, major=39438.20MB, promoted=38787.63MB
    minor collections=481280  major collections=588 compactions=0


runtime: 00:09:42.994
vars: 129287, evals: 285436

|rho|=129287
|stable|=41697
|infl|=129263
|wpoint|=16
|sides|=4778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119622
|called|=917
Found 3963 contexts for 101 functions. Top 5 functions:
634	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
601	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
420	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
280	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1027271.42MB, max=706.25MB, minor=1026612.05MB, major=40097.74MB, promoted=39438.37MB
    minor collections=489835  major collections=591 compactions=0


runtime: 00:09:53.005
vars: 130221, evals: 288503

|rho|=130221
|stable|=44693
|infl|=130199
|wpoint|=15
|sides|=4888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120335
|called|=224
Found 4071 contexts for 102 functions. Top 5 functions:
637	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
604	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1045412.43MB, max=706.25MB, minor=1044745.33MB, major=40748.84MB, promoted=40081.74MB
    minor collections=498484  major collections=595 compactions=0


runtime: 00:10:03.016
vars: 130221, evals: 292567

|rho|=130221
|stable|=48757
|infl|=130199
|wpoint|=15
|sides|=4888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120335
|called|=456
Found 4071 contexts for 102 functions. Top 5 functions:
637	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
604	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1063294.10MB, max=706.25MB, minor=1062619.27MB, major=41405.94MB, promoted=40731.11MB
    minor collections=507008  major collections=598 compactions=0


runtime: 00:10:13.026
vars: 130221, evals: 296559

|rho|=130221
|stable|=52749
|infl|=130199
|wpoint|=15
|sides|=4888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120335
|called|=891
Found 4071 contexts for 102 functions. Top 5 functions:
637	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
604	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1080995.73MB, max=706.25MB, minor=1080312.21MB, major=42060.11MB, promoted=41376.58MB
    minor collections=515447  major collections=601 compactions=0


runtime: 00:10:23.033
vars: 130221, evals: 298414

|rho|=130221
|stable|=54604
|infl|=130199
|wpoint|=16
|sides|=4888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=120335
|called|=174
Found 4071 contexts for 102 functions. Top 5 functions:
637	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
604	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1098490.53MB, max=706.25MB, minor=1097798.91MB, major=42729.57MB, promoted=42037.96MB
    minor collections=523787  major collections=604 compactions=0


runtime: 00:10:33.252
vars: 133726, evals: 305610

|rho|=133726
|stable|=59090
|infl|=133695
|wpoint|=16
|sides|=4943
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123724
|called|=457
Found 4120 contexts for 108 functions. Top 5 functions:
647	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
614	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1116288.42MB, max=706.25MB, minor=1115584.97MB, major=43375.78MB, promoted=42672.33MB
    minor collections=532269  major collections=607 compactions=0


runtime: 00:10:45.067
vars: 136048, evals: 310686

|rho|=136048
|stable|=61417
|infl|=136021
|wpoint|=15
|sides|=5008
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125915
|called|=901
Found 4185 contexts for 108 functions. Top 5 functions:
666	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
633	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1134230.67MB, max=706.25MB, minor=1133518.28MB, major=44038.06MB, promoted=43325.68MB
    minor collections=540823  major collections=611 compactions=0


runtime: 00:10:57.514
vars: 138110, evals: 314120

|rho|=138110
|stable|=63474
|infl|=138079
|wpoint|=16
|sides|=5028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127938
|called|=187
Found 4205 contexts for 108 functions. Top 5 functions:
672	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
639	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1151716.51MB, max=706.25MB, minor=1150996.01MB, major=44710.16MB, promoted=43989.66MB
    minor collections=549159  major collections=614 compactions=0


runtime: 00:11:10.973
vars: 139518, evals: 317972

|rho|=139518
|stable|=64887
|infl|=139491
|wpoint|=15
|sides|=5061
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129279
|called|=419
Found 4238 contexts for 108 functions. Top 5 functions:
681	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
648	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
450	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
300	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
300	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1169244.68MB, max=706.25MB, minor=1168516.23MB, major=45363.55MB, promoted=44635.10MB
    minor collections=557515  major collections=617 compactions=0


runtime: 00:11:21.203
vars: 142319, evals: 323294

|rho|=142319
|stable|=67688
|infl|=142292
|wpoint|=15
|sides|=5177
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131845
|called|=755
Found 4353 contexts for 108 functions. Top 5 functions:
685	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
652	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1187404.57MB, max=706.25MB, minor=1186665.61MB, major=46034.32MB, promoted=45295.36MB
    minor collections=566171  major collections=620 compactions=0


runtime: 00:11:31.311
vars: 143094, evals: 325477

|rho|=143094
|stable|=68463
|infl|=143067
|wpoint|=15
|sides|=5181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132612
|called|=136
Found 4357 contexts for 108 functions. Top 5 functions:
685	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
652	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1204584.53MB, max=706.25MB, minor=1203837.14MB, major=46701.81MB, promoted=45954.41MB
    minor collections=574360  major collections=623 compactions=0


runtime: 00:11:42.350
vars: 147653, evals: 334558

|rho|=147653
|stable|=73017
|infl|=147616
|wpoint|=17
|sides|=5288
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136958
|called|=519
Found 4459 contexts for 109 functions. Top 5 functions:
702	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
665	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1222988.87MB, max=812.19MB, minor=1222234.74MB, major=47312.19MB, promoted=46558.07MB
    minor collections=583135  major collections=626 compactions=0


runtime: 00:11:52.840
vars: 148755, evals: 337042

|rho|=148755
|stable|=74119
|infl|=148718
|wpoint|=17
|sides|=5317
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138002
|called|=100
Found 4488 contexts for 109 functions. Top 5 functions:
710	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
673	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1239611.46MB, max=812.19MB, minor=1238848.85MB, major=47943.86MB, promoted=47181.25MB
    minor collections=591058  major collections=628 compactions=0


runtime: 00:12:04.395
vars: 152054, evals: 343081

|rho|=152054
|stable|=77418
|infl|=152017
|wpoint|=17
|sides|=5375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141185
|called|=365
Found 4546 contexts for 109 functions. Top 5 functions:
727	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
690	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1256783.27MB, max=812.19MB, minor=1256012.99MB, major=48575.08MB, promoted=47804.79MB
    minor collections=599244  major collections=631 compactions=0


runtime: 00:12:16.489
vars: 153462, evals: 346933

|rho|=153462
|stable|=78831
|infl|=153429
|wpoint|=16
|sides|=5408
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142526
|called|=796
Found 4579 contexts for 109 functions. Top 5 functions:
736	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
699	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
480	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
320	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1273735.71MB, max=812.19MB, minor=1272957.32MB, major=49202.92MB, promoted=48424.52MB
    minor collections=607326  major collections=634 compactions=0


runtime: 00:12:28.672
vars: 156863, evals: 353396

|rho|=156863
|stable|=82232
|infl|=156830
|wpoint|=16
|sides|=5605
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145533
|called|=299
Found 4776 contexts for 109 functions. Top 5 functions:
751	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
714	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
510	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
340	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
340	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1292207.65MB, max=812.19MB, minor=1291422.19MB, major=49809.66MB, promoted=49024.19MB
    minor collections=616132  major collections=636 compactions=0


runtime: 00:12:41.687
vars: 160027, evals: 359314

|rho|=160027
|stable|=85391
|infl|=159990
|wpoint|=17
|sides|=5654
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148600
|called|=636
Found 4825 contexts for 109 functions. Top 5 functions:
765	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
728	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
510	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
340	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
340	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1309787.97MB, max=812.19MB, minor=1308994.78MB, major=50459.18MB, promoted=49665.99MB
    minor collections=624512  major collections=639 compactions=0


runtime: 00:12:51.693
vars: 161247, evals: 361906

|rho|=161247
|stable|=86616
|infl|=161214
|wpoint|=16
|sides|=5690
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149747
|called|=91
Found 4861 contexts for 109 functions. Top 5 functions:
776	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
739	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
510	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
340	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
340	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1327569.26MB, max=812.19MB, minor=1326767.09MB, major=51131.91MB, promoted=50329.74MB
    minor collections=632989  major collections=642 compactions=0


runtime: 00:13:01.704
vars: 164387, evals: 367804

|rho|=164387
|stable|=89751
|infl|=164350
|wpoint|=17
|sides|=5737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152794
|called|=309
Found 4908 contexts for 109 functions. Top 5 functions:
789	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
752	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
510	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
340	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
340	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1345733.11MB, max=812.19MB, minor=1344922.74MB, major=51795.43MB, promoted=50985.06MB
    minor collections=641647  major collections=644 compactions=0


runtime: 00:13:11.715
vars: 166790, evals: 372373

|rho|=166790
|stable|=92159
|infl|=166757
|wpoint|=16
|sides|=5859
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154952
|called|=580
Found 5030 contexts for 109 functions. Top 5 functions:
796	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
759	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
540	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
360	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
360	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1363806.00MB, max=812.19MB, minor=1362988.36MB, major=52451.08MB, promoted=51633.43MB
    minor collections=650263  major collections=647 compactions=0


runtime: 00:13:21.725
vars: 169152, evals: 376249

|rho|=169152
|stable|=94516
|infl|=169115
|wpoint|=17
|sides|=5912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157209
|called|=95
Found 5083 contexts for 109 functions. Top 5 functions:
802	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
765	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
540	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
360	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
360	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1381896.53MB, max=934.02MB, minor=1381069.76MB, major=53123.06MB, promoted=52296.28MB
    minor collections=658887  major collections=650 compactions=0


runtime: 00:13:31.740
vars: 171474, evals: 381325

|rho|=171474
|stable|=96843
|infl|=171441
|wpoint|=16
|sides|=5977
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159400
|called|=302
Found 5148 contexts for 109 functions. Top 5 functions:
821	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
784	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
540	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
360	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
360	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1400025.99MB, max=934.02MB, minor=1399191.01MB, major=53780.23MB, promoted=52945.24MB
    minor collections=667529  major collections=652 compactions=0


runtime: 00:13:41.759
vars: 174834, evals: 387605

|rho|=174834
|stable|=100198
|infl|=174797
|wpoint|=17
|sides|=6048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162619
|called|=657
Found 5219 contexts for 109 functions. Top 5 functions:
834	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
797	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
540	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
360	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
360	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1418384.63MB, max=934.02MB, minor=1417542.02MB, major=54431.66MB, promoted=53589.06MB
    minor collections=676281  major collections=655 compactions=0


runtime: 00:13:51.770
vars: 175164, evals: 388993

|rho|=175164
|stable|=100533
|infl|=175131
|wpoint|=16
|sides|=6054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162936
|called|=87
Found 5225 contexts for 109 functions. Top 5 functions:
836	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
799	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
540	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
360	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
360	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1435951.52MB, max=934.02MB, minor=1435099.91MB, major=55107.91MB, promoted=54256.29MB
    minor collections=684654  major collections=657 compactions=0


runtime: 00:14:01.780
vars: 180014, evals: 397280

|rho|=180014
|stable|=105378
|infl|=179978
|wpoint|=17
|sides|=6231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167433
|called|=343
Found 5402 contexts for 109 functions. Top 5 functions:
853	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
815	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
570	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
380	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
380	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1455258.76MB, max=934.02MB, minor=1454399.39MB, major=55760.80MB, promoted=54901.43MB
    minor collections=693858  major collections=659 compactions=0


runtime: 00:14:11.791
vars: 182336, evals: 402356

|rho|=182336
|stable|=107705
|infl|=182304
|wpoint|=16
|sides|=6296
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169624
|called|=656
Found 5467 contexts for 109 functions. Top 5 functions:
872	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
834	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
570	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
380	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
380	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1473501.18MB, max=934.02MB, minor=1472633.84MB, major=56420.53MB, promoted=55553.18MB
    minor collections=702555  major collections=662 compactions=0


runtime: 00:14:21.802
vars: 184398, evals: 405790

|rho|=184398
|stable|=109762
|infl|=184362
|wpoint|=17
|sides|=6316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171647
|called|=102
Found 5487 contexts for 109 functions. Top 5 functions:
878	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
840	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
570	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
380	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
380	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1491389.33MB, max=934.02MB, minor=1490513.06MB, major=57102.40MB, promoted=56226.13MB
    minor collections=711082  major collections=664 compactions=0


runtime: 00:14:31.812
vars: 185806, evals: 409642

|rho|=185806
|stable|=111175
|infl|=185774
|wpoint|=16
|sides|=6349
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172988
|called|=297
Found 5520 contexts for 109 functions. Top 5 functions:
887	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
849	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
570	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
380	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
380	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1509364.50MB, max=934.02MB, minor=1508479.94MB, major=57761.55MB, promoted=56876.99MB
    minor collections=719651  major collections=667 compactions=0


runtime: 00:14:41.827
vars: 190892, evals: 419042

|rho|=190892
|stable|=116256
|infl|=190856
|wpoint|=17
|sides|=6536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=177701
|called|=799
Found 5707 contexts for 109 functions. Top 5 functions:
903	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
863	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
600	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
400	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
400	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1528894.87MB, max=934.02MB, minor=1528002.83MB, major=58386.09MB, promoted=57494.06MB
    minor collections=728961  major collections=669 compactions=0


runtime: 00:14:51.854
vars: 191994, evals: 421526

|rho|=191994
|stable|=117358
|infl|=191958
|wpoint|=17
|sides|=6565
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178745
|called|=168
Found 5736 contexts for 109 functions. Top 5 functions:
911	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
871	contexts for L:entry state of vprintf (5435) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
600	contexts for L:entry state of BarStationNameAZCmp (5502) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
400	contexts for L:entry state of BarStationQuickmix01Cmp (5501) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
400	contexts for L:entry state of BarStationQuickmixNameCmp (5504) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1

Memory statistics: total=1546826.98MB, max=1074.12MB, minor=1545926.39MB, major=59059.70MB, promoted=58159.12MB
    minor collections=737509  major collections=671 compactions=0

