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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3872:9-3882:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:4129:3-4168:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:4522:3-4525:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:4860:7-4872:7 with factor 10
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:4917:3-4952:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5020:7-5025:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5317:3-5321:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5485:3-5488:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5516:7-5522:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5539:7-5550:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5557:7-5569:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5638:37-5651:37 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5704:53-5712:53 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5806:83-5836:83 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6110:3-6120:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6382:3-6387:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6388:3-6401:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6404:3-6409:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6410:3-6423:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6660:3-6663:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6667:3-6670:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6674:3-6677:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6693:5-6700:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6749:7-6762:7 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:6896:3-6939:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7159:7-7169:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7172:7-7195:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7245:3-7251:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7269:3-7292:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7479:3-7493:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8724:3-8728:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8770:5-8795:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8856:3-8874:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8894:5-8902:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9031:7-9037:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9039:9-9051:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9217:11-9220:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9389:7-9394:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9425:5-9441:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9460:3-9470:3 with factor 12
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9546:7-9551:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9743:3-9764:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9794:3-9802:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9847:3-9851:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9908:3-9915:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9948:3-9953:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9964:3-9979:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10002:3-10008:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10044:3-10050:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10064:3-10070:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10095:3-10101:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10421:3-10429:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10657:3-10667:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10668:3-10680:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10988:3-11013:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11018:7-11031:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11076:11-11083:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11177:5-11200:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11206:5-11229:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11295:9-11318:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11346:5-11379:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11399:7-11423:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11429:7-11452:7 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11466:7-11504:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11522:5-11555:5 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11587:5-11589:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11616:3-11627:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11639:3-11645:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:11657:3-11660:3 with factor 12
Collected factors:
functions: 194
functionCalls: 1878
loops: 91
loopBreaks: 0
controlFlowStatements: 3364
expressions: 29213
instructions: 5693
integralVars: (5,557)
arrayVars: (12,44)
pointerVars: (5,752)

Complexity estimates:
File: 69600263
function BarUiPianoCall is recursive, disable interval context
function PianoRequest is recursive, disable interval context
thread created by pthread_create, called by:
  BarMainStartPlayback
  play
Total: 69600263
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.287
vars: 3640, evals: 12832

|rho|=3640
|called|=318
|stable|=3625
|infl|=3604
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3181
Found 89 contexts for 26 functions. Top 5 functions:
23	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
23	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
3	contexts for entry state of BarGetXdgConfigDir (5819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1
3	contexts for entry state of putchar (2377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3393:1-3401:1

Memory statistics: total=18141.88MB, max=75.47MB, minor=18134.23MB, major=280.85MB, promoted=273.20MB
    minor collections=8657  major collections=21 compactions=0


runtime: 00:00:20.299
vars: 3911, evals: 13097

|rho|=3911
|called|=35
|stable|=3896
|infl|=3875
|wpoint|=12
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=3446
Found 90 contexts for 27 functions. Top 5 functions:
23	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
23	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
3	contexts for entry state of BarGetXdgConfigDir (5819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1
3	contexts for entry state of putchar (2377) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3393:1-3401:1

Memory statistics: total=30258.66MB, max=75.47MB, minor=30247.71MB, major=392.46MB, promoted=381.51MB
    minor collections=14436  major collections=26 compactions=0


runtime: 00:00:30.314
vars: 4998, evals: 15340

|rho|=4998
|called|=194
|stable|=4983
|infl|=4962
|wpoint|=13
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4438
Found 114 contexts for 33 functions. Top 5 functions:
30	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
30	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
3	contexts for entry state of BarGetXdgConfigDir (5819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1

Memory statistics: total=44469.78MB, max=86.79MB, minor=44455.17MB, major=560.72MB, promoted=546.11MB
    minor collections=21214  major collections=33 compactions=0


runtime: 00:00:40.322
vars: 5337, evals: 15664

|rho|=5337
|called|=45
|stable|=5322
|infl|=5293
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=4759
Found 116 contexts for 34 functions. Top 5 functions:
30	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
30	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
3	contexts for entry state of BarGetXdgConfigDir (5819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1

Memory statistics: total=55812.63MB, max=86.79MB, minor=55795.09MB, major=646.10MB, promoted=628.56MB
    minor collections=26623  major collections=36 compactions=0


runtime: 00:00:50.330
vars: 6441, evals: 17998

|rho|=6441
|called|=376
|stable|=6426
|infl|=6405
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5830
Found 145 contexts for 34 functions. Top 5 functions:
38	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
38	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
8	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=68719.69MB, max=86.79MB, minor=68699.69MB, major=773.01MB, promoted=753.01MB
    minor collections=32779  major collections=41 compactions=0


runtime: 00:01:00.341
vars: 6508, evals: 18064

|rho|=6508
|called|=52
|stable|=6493
|infl|=6457
|wpoint|=14
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5896
Found 146 contexts for 34 functions. Top 5 functions:
38	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
38	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
8	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
6	contexts for entry state of BarReadlinePrevUtf8 (5848) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=81434.64MB, max=86.79MB, minor=81411.21MB, major=896.88MB, promoted=873.46MB
    minor collections=38843  major collections=46 compactions=0


runtime: 00:01:10.353
vars: 7864, evals: 20656

|rho|=7864
|called|=746
|stable|=7849
|infl|=7828
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7222
Found 176 contexts for 35 functions. Top 5 functions:
46	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
46	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
6	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=92300.26MB, max=99.81MB, minor=92274.93MB, major=966.28MB, promoted=940.95MB
    minor collections=44024  major collections=48 compactions=0


runtime: 00:01:20.365
vars: 7864, evals: 20656

|rho|=7864
|called|=135
|stable|=7849
|infl|=7828
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7222
Found 176 contexts for 35 functions. Top 5 functions:
46	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
46	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
6	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=106126.92MB, max=99.81MB, minor=106098.04MB, major=1121.59MB, promoted=1092.71MB
    minor collections=50619  major collections=54 compactions=0


runtime: 00:01:30.376
vars: 8128, evals: 20977

|rho|=8128
|called|=43
|stable|=8106
|infl|=8087
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=7485
Found 177 contexts for 35 functions. Top 5 functions:
46	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
46	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
6	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=116792.80MB, max=99.81MB, minor=116761.48MB, major=1187.70MB, promoted=1156.38MB
    minor collections=55705  major collections=56 compactions=0


runtime: 00:01:40.392
vars: 9463, evals: 23346

|rho|=9463
|called|=220
|stable|=9442
|infl|=9427
|wpoint|=15
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=8793
Found 189 contexts for 37 functions. Top 5 functions:
50	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
50	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1
7	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1

Memory statistics: total=130838.44MB, max=114.78MB, minor=130803.34MB, major=1348.26MB, promoted=1313.15MB
    minor collections=62403  major collections=61 compactions=0


runtime: 00:01:50.408
vars: 9787, evals: 23668

|rho|=9787
|called|=46
|stable|=9764
|infl|=9743
|wpoint|=16
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9114
Found 191 contexts for 37 functions. Top 5 functions:
50	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
50	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1
7	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1

Memory statistics: total=141943.91MB, max=114.78MB, minor=141905.84MB, major=1437.31MB, promoted=1399.23MB
    minor collections=67699  major collections=64 compactions=0


runtime: 00:02:00.423
vars: 12399, evals: 27834

|rho|=12399
|called|=313
|stable|=12364
|infl|=12359
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=11630
Found 243 contexts for 40 functions. Top 5 functions:
56	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
56	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
18	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
16	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
10	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=155827.51MB, max=132.00MB, minor=155786.47MB, major=1596.88MB, promoted=1555.83MB
    minor collections=74320  major collections=68 compactions=0


runtime: 00:02:10.431
vars: 12483, evals: 27917

|rho|=12483
|called|=58
|stable|=12448
|infl|=12433
|wpoint|=19
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=11713
Found 244 contexts for 40 functions. Top 5 functions:
56	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
56	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
18	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
16	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
10	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=167807.36MB, max=132.00MB, minor=167763.11MB, major=1705.30MB, promoted=1661.05MB
    minor collections=80032  major collections=71 compactions=0


runtime: 00:02:20.443
vars: 13816, evals: 29442

|rho|=13816
|called|=46
|stable|=13796
|infl|=13767
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13017
Found 273 contexts for 40 functions. Top 5 functions:
64	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
63	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
21	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
20	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
10	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=178129.15MB, max=132.00MB, minor=178082.89MB, major=1757.42MB, promoted=1711.16MB
    minor collections=84954  major collections=73 compactions=0


runtime: 00:02:30.462
vars: 13827, evals: 30496

|rho|=13827
|called|=206
|stable|=13792
|infl|=13787
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13026
Found 275 contexts for 40 functions. Top 5 functions:
64	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
64	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
21	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
20	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
10	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=192213.88MB, max=132.00MB, minor=192164.43MB, major=1916.81MB, promoted=1867.36MB
    minor collections=91671  major collections=77 compactions=0


runtime: 00:02:40.474
vars: 14148, evals: 30815

|rho|=14148
|called|=58
|stable|=14113
|infl|=14098
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=13345
Found 277 contexts for 40 functions. Top 5 functions:
64	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
64	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
21	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
20	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
10	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=203569.07MB, max=132.00MB, minor=203516.76MB, major=2001.13MB, promoted=1948.83MB
    minor collections=97085  major collections=79 compactions=0


runtime: 00:02:50.486
vars: 15382, evals: 32236

|rho|=15382
|called|=32
|stable|=15367
|infl|=15340
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14540
Found 315 contexts for 40 functions. Top 5 functions:
76	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
76	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
24	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
24	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
13	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=213706.56MB, max=132.00MB, minor=213652.62MB, major=2048.07MB, promoted=1994.13MB
    minor collections=101919  major collections=80 compactions=0


runtime: 00:03:00.505
vars: 15388, evals: 33286

|rho|=15388
|called|=179
|stable|=15358
|infl|=15352
|wpoint|=20
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14545
Found 316 contexts for 40 functions. Top 5 functions:
76	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
76	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
24	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
24	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
13	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=227839.93MB, max=151.80MB, minor=227782.75MB, major=2212.32MB, promoted=2155.13MB
    minor collections=108659  major collections=84 compactions=0


runtime: 00:03:10.517
vars: 15711, evals: 33620

|rho|=15711
|called|=46
|stable|=15679
|infl|=15667
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14866
Found 318 contexts for 40 functions. Top 5 functions:
76	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
76	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
24	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
24	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
13	contexts for entry state of PianoErrorToStr (2726) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=238719.31MB, max=151.80MB, minor=238659.43MB, major=2292.74MB, promoted=2232.86MB
    minor collections=113846  major collections=85 compactions=0


runtime: 00:03:20.524
vars: 18305, evals: 37752

|rho|=18305
|called|=271
|stable|=18261
|infl|=18265
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17386
Found 370 contexts for 40 functions. Top 5 functions:
82	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
82	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
35	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
28	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=253160.60MB, max=174.57MB, minor=253096.57MB, major=2468.06MB, promoted=2404.03MB
    minor collections=120732  major collections=89 compactions=0


runtime: 00:03:30.536
vars: 18584, evals: 38029

|rho|=18584
|called|=58
|stable|=18540
|infl|=18534
|wpoint|=24
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17663
Found 372 contexts for 40 functions. Top 5 functions:
82	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
82	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
35	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
28	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=264861.34MB, max=174.57MB, minor=264794.24MB, major=2567.28MB, promoted=2500.18MB
    minor collections=126311  major collections=91 compactions=0


runtime: 00:03:40.544
vars: 19728, evals: 39365

|rho|=19728
|called|=38
|stable|=19699
|infl|=19687
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=18778
Found 401 contexts for 40 functions. Top 5 functions:
90	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
90	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=275080.70MB, max=174.57MB, minor=275011.74MB, major=2616.68MB, promoted=2547.71MB
    minor collections=131184  major collections=92 compactions=0


runtime: 00:03:50.551
vars: 19733, evals: 40414

|rho|=19733
|called|=184
|stable|=19689
|infl|=19693
|wpoint|=25
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=18782
Found 402 contexts for 40 functions. Top 5 functions:
90	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
90	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=289055.78MB, max=174.57MB, minor=288983.54MB, major=2781.89MB, promoted=2709.65MB
    minor collections=137847  major collections=95 compactions=0


runtime: 00:04:00.566
vars: 20056, evals: 40738

|rho|=20056
|called|=59
|stable|=20012
|infl|=20008
|wpoint|=26
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19103
Found 404 contexts for 40 functions. Top 5 functions:
90	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
90	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=299806.07MB, max=174.57MB, minor=299731.11MB, major=2859.34MB, promoted=2784.38MB
    minor collections=142973  major collections=97 compactions=0


runtime: 00:04:10.578
vars: 20341, evals: 41997

|rho|=20341
|called|=29
|stable|=20262
|infl|=20302
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19375
Found 417 contexts for 40 functions. Top 5 functions:
95	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
95	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=309921.72MB, max=174.57MB, minor=309845.13MB, major=2902.90MB, promoted=2826.31MB
    minor collections=147797  major collections=98 compactions=0


runtime: 00:04:20.590
vars: 20347, evals: 43047

|rho|=20347
|called|=173
|stable|=20253
|infl|=20311
|wpoint|=30
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19380
Found 418 contexts for 40 functions. Top 5 functions:
95	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
95	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=324139.38MB, max=174.57MB, minor=324059.50MB, major=3069.14MB, promoted=2989.27MB
    minor collections=154576  major collections=101 compactions=0


runtime: 00:04:30.601
vars: 20670, evals: 43383

|rho|=20670
|called|=46
|stable|=20576
|infl|=20626
|wpoint|=31
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=19701
Found 420 contexts for 40 functions. Top 5 functions:
95	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
95	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=334994.33MB, max=174.57MB, minor=334911.78MB, major=3148.38MB, promoted=3065.83MB
    minor collections=159752  major collections=102 compactions=0


runtime: 00:04:40.609
vars: 21650, evals: 46279

|rho|=21650
|called|=324
|stable|=21465
|infl|=21614
|wpoint|=31
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20662
Found 439 contexts for 40 functions. Top 5 functions:
101	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
101	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
36	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=348934.89MB, max=174.57MB, minor=348849.70MB, major=3297.53MB, promoted=3212.34MB
    minor collections=166399  major collections=105 compactions=0


runtime: 00:04:50.616
vars: 21650, evals: 46542

|rho|=21650
|called|=41
|stable|=21462
|infl|=21614
|wpoint|=32
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20662
Found 439 contexts for 40 functions. Top 5 functions:
101	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
101	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
38	contexts for entry state of PianoJsonStrdup (5854) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
36	contexts for entry state of temporaryCurlError (5834) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for entry state of getBoolDefault (5855) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=361200.84MB, max=174.57MB, minor=361112.55MB, major=3408.58MB, promoted=3320.29MB
    minor collections=172248  major collections=107 compactions=0


runtime: 00:05:00.660
vars: 34314, evals: 64566

|rho|=34314
|called|=651
|stable|=34129
|infl|=34268
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31503
Found 2069 contexts for 61 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
116	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
116	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=381907.56MB, max=265.50MB, minor=381816.03MB, major=3659.87MB, promoted=3568.35MB
    minor collections=182122  major collections=111 compactions=0


runtime: 00:05:10.679
vars: 34314, evals: 64566

|rho|=34314
|called|=125
|stable|=34129
|infl|=34268
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31503
Found 2069 contexts for 61 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
116	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
116	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=395489.22MB, max=305.32MB, minor=395393.90MB, major=3808.51MB, promoted=3713.18MB
    minor collections=188597  major collections=112 compactions=0


runtime: 00:05:20.690
vars: 34679, evals: 64942

|rho|=34679
|called|=78
|stable|=34494
|infl|=34600
|wpoint|=34
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31864
Found 2072 contexts for 61 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
116	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
116	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=405747.18MB, max=305.32MB, minor=405649.14MB, major=3875.81MB, promoted=3777.76MB
    minor collections=193488  major collections=113 compactions=0


runtime: 00:05:30.702
vars: 37097, evals: 69075

|rho|=37097
|called|=215
|stable|=36907
|infl|=37047
|wpoint|=38
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34210
Found 2120 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
122	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
122	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=420465.29MB, max=305.32MB, minor=420363.39MB, major=4056.95MB, promoted=3955.05MB
    minor collections=200505  major collections=115 compactions=0


runtime: 00:05:40.717
vars: 37406, evals: 69382

|rho|=37406
|called|=66
|stable|=37216
|infl|=37348
|wpoint|=38
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34517
Found 2122 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
122	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
122	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=431385.06MB, max=351.13MB, minor=431280.32MB, major=4139.80MB, promoted=4035.06MB
    minor collections=205712  major collections=116 compactions=0


runtime: 00:05:50.725
vars: 38525, evals: 71737

|rho|=38525
|called|=707
|stable|=38335
|infl|=38475
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35606
Found 2152 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
130	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
130	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=442547.40MB, max=351.13MB, minor=442441.08MB, major=4217.36MB, promoted=4111.04MB
    minor collections=211034  major collections=117 compactions=0


runtime: 00:06:00.736
vars: 38525, evals: 71737

|rho|=38525
|called|=140
|stable|=38335
|infl|=38475
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35606
Found 2152 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
130	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
130	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=456407.27MB, max=351.13MB, minor=456297.27MB, major=4369.77MB, promoted=4259.77MB
    minor collections=217642  major collections=118 compactions=0


runtime: 00:06:10.744
vars: 38848, evals: 72073

|rho|=38848
|called|=64
|stable|=38658
|infl|=38792
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=35927
Found 2154 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
130	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
130	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=466961.18MB, max=351.13MB, minor=466848.66MB, major=4437.39MB, promoted=4324.87MB
    minor collections=222674  major collections=119 compactions=0


runtime: 00:06:20.756
vars: 40085, evals: 74527

|rho|=40085
|called|=641
|stable|=39900
|infl|=40039
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37125
Found 2193 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
142	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
142	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=478647.11MB, max=351.13MB, minor=478533.20MB, major=4518.75MB, promoted=4404.84MB
    minor collections=228246  major collections=120 compactions=0


runtime: 00:06:30.771
vars: 40085, evals: 74527

|rho|=40085
|called|=127
|stable|=39900
|infl|=40039
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37125
Found 2193 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
142	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
142	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=491899.56MB, max=351.13MB, minor=491781.95MB, major=4663.07MB, promoted=4545.46MB
    minor collections=234564  major collections=121 compactions=0


runtime: 00:06:40.780
vars: 40410, evals: 74865

|rho|=40410
|called|=48
|stable|=40225
|infl|=40363
|wpoint|=39
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37448
Found 2195 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
142	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
142	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=501715.66MB, max=351.13MB, minor=501595.65MB, major=4727.83MB, promoted=4607.82MB
    minor collections=239244  major collections=122 compactions=0


runtime: 00:06:50.795
vars: 42843, evals: 79036

|rho|=42843
|called|=238
|stable|=42653
|infl|=42793
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39832
Found 2244 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
148	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
148	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=516356.09MB, max=351.13MB, minor=516232.88MB, major=4904.85MB, promoted=4781.64MB
    minor collections=246224  major collections=123 compactions=0


runtime: 00:07:00.807
vars: 42927, evals: 79119

|rho|=42927
|called|=76
|stable|=42737
|infl|=42859
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=39915
Found 2245 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
148	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
148	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=526845.79MB, max=351.13MB, minor=526720.24MB, major=4983.12MB, promoted=4857.57MB
    minor collections=251226  major collections=124 compactions=0


runtime: 00:07:10.819
vars: 43206, evals: 79411

|rho|=43206
|called|=93
|stable|=43016
|infl|=43119
|wpoint|=43
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40192
Found 2247 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
148	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
148	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=536327.65MB, max=351.13MB, minor=536200.86MB, major=5012.13MB, promoted=4885.34MB
    minor collections=255746  major collections=124 compactions=0


runtime: 00:07:20.830
vars: 44244, evals: 80629

|rho|=44244
|called|=48
|stable|=44069
|infl|=44194
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41204
Found 2273 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
155	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
155	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=546335.16MB, max=351.13MB, minor=546207.53MB, major=5042.08MB, promoted=4914.45MB
    minor collections=260518  major collections=124 compactions=0


runtime: 00:07:30.838
vars: 44271, evals: 81698

|rho|=44271
|called|=487
|stable|=44081
|infl|=44221
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41228
Found 2276 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
156	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=557494.92MB, max=351.13MB, minor=557366.33MB, major=5123.00MB, promoted=4994.41MB
    minor collections=265840  major collections=125 compactions=0


runtime: 00:07:40.846
vars: 44271, evals: 81698

|rho|=44271
|called|=250
|stable|=44081
|infl|=44221
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41228
Found 2276 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
156	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=568295.26MB, max=351.13MB, minor=568164.72MB, major=5192.35MB, promoted=5061.81MB
    minor collections=270989  major collections=126 compactions=0


runtime: 00:07:50.865
vars: 44271, evals: 81698

|rho|=44271
|called|=99
|stable|=44081
|infl|=44221
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41228
Found 2276 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
156	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=578522.79MB, max=403.80MB, minor=578391.01MB, major=5247.77MB, promoted=5116.00MB
    minor collections=275866  major collections=126 compactions=0


runtime: 00:08:00.873
vars: 44550, evals: 81975

|rho|=44550
|called|=68
|stable|=44360
|infl|=44490
|wpoint|=44
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41505
Found 2278 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
156	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=587855.03MB, max=403.80MB, minor=587721.77MB, major=5281.87MB, promoted=5148.61MB
    minor collections=280315  major collections=127 compactions=0


runtime: 00:08:10.881
vars: 44682, evals: 83010

|rho|=44682
|called|=49
|stable|=44423
|infl|=44632
|wpoint|=47
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41636
Found 2279 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
156	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=597644.82MB, max=403.80MB, minor=597510.39MB, major=5315.46MB, promoted=5181.03MB
    minor collections=284983  major collections=127 compactions=0


runtime: 00:08:20.888
vars: 44747, evals: 83152

|rho|=44747
|called|=53
|stable|=44516
|infl|=44691
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41698
Found 2282 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
157	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
157	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=606939.24MB, max=403.80MB, minor=606804.17MB, major=5332.40MB, promoted=5197.33MB
    minor collections=289415  major collections=127 compactions=0


runtime: 00:08:30.900
vars: 44858, evals: 84325

|rho|=44858
|called|=325
|stable|=44618
|infl|=44812
|wpoint|=50
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41802
Found 2289 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
160	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=619649.26MB, max=403.80MB, minor=619511.82MB, major=5458.14MB, promoted=5320.70MB
    minor collections=295475  major collections=128 compactions=0


runtime: 00:08:40.916
vars: 44858, evals: 84588

|rho|=44858
|called|=62
|stable|=44615
|infl|=44812
|wpoint|=51
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=41802
Found 2289 contexts for 62 functions. Top 5 functions:
492	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
328	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
160	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
160	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=631280.36MB, max=403.80MB, minor=631139.97MB, major=5565.23MB, promoted=5424.84MB
    minor collections=301020  major collections=129 compactions=0


runtime: 00:08:50.939
vars: 57185, evals: 101116

|rho|=57185
|called|=45
|stable|=15296
|infl|=57132
|wpoint|=53
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52191
Found 4013 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
204	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
203	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=652094.72MB, max=403.80MB, minor=651950.62MB, major=5786.73MB, promoted=5642.62MB
    minor collections=310945  major collections=131 compactions=0


runtime: 00:09:00.979
vars: 57657, evals: 110381

|rho|=57657
|called|=440
|stable|=18955
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=670082.57MB, max=534.03MB, minor=669937.29MB, major=5943.97MB, promoted=5798.69MB
    minor collections=319522  major collections=132 compactions=0


runtime: 00:09:10.995
vars: 57657, evals: 110381

|rho|=57657
|called|=168
|stable|=18955
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=681473.74MB, max=534.03MB, minor=681326.24MB, major=6029.34MB, promoted=5881.84MB
    minor collections=324953  major collections=133 compactions=0


runtime: 00:09:21.006
vars: 57657, evals: 110655

|rho|=57657
|called|=64
|stable|=19229
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=691771.17MB, max=534.03MB, minor=691621.65MB, major=6090.22MB, promoted=5940.69MB
    minor collections=329863  major collections=133 compactions=0


runtime: 00:09:31.014
vars: 57657, evals: 112737

|rho|=57657
|called|=562
|stable|=21270
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=703380.98MB, max=534.03MB, minor=703230.26MB, major=6174.58MB, promoted=6023.87MB
    minor collections=335399  major collections=134 compactions=0


runtime: 00:09:41.025
vars: 57657, evals: 112737

|rho|=57657
|called|=226
|stable|=21270
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=715050.86MB, max=534.03MB, minor=714897.38MB, major=6269.05MB, promoted=6115.57MB
    minor collections=340962  major collections=134 compactions=0


runtime: 00:09:51.037
vars: 57657, evals: 112780

|rho|=57657
|called|=89
|stable|=21313
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=725419.76MB, max=534.03MB, minor=725264.50MB, major=6337.49MB, promoted=6182.24MB
    minor collections=345906  major collections=135 compactions=0


runtime: 00:10:01.045
vars: 57657, evals: 115223

|rho|=57657
|called|=670
|stable|=23715
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=736056.88MB, max=534.03MB, minor=735900.27MB, major=6411.90MB, promoted=6255.28MB
    minor collections=350978  major collections=135 compactions=0


runtime: 00:10:11.057
vars: 57657, evals: 115223

|rho|=57657
|called|=273
|stable|=23715
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=747945.74MB, max=534.03MB, minor=747786.55MB, major=6512.70MB, promoted=6353.51MB
    minor collections=356646  major collections=136 compactions=0


runtime: 00:10:21.068
vars: 57657, evals: 115223

|rho|=57657
|called|=79
|stable|=23715
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=758464.18MB, max=534.03MB, minor=758303.39MB, major=6583.78MB, promoted=6422.99MB
    minor collections=361661  major collections=136 compactions=0


runtime: 00:10:31.076
vars: 57657, evals: 115581

|rho|=57657
|called|=87
|stable|=24073
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=768004.80MB, max=534.03MB, minor=767841.91MB, major=6626.11MB, promoted=6463.23MB
    minor collections=366210  major collections=137 compactions=0


runtime: 00:10:41.088
vars: 57657, evals: 120576

|rho|=57657
|called|=604
|stable|=29027
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=781597.85MB, max=534.03MB, minor=781434.03MB, major=6732.48MB, promoted=6568.66MB
    minor collections=372691  major collections=137 compactions=0


runtime: 00:10:51.103
vars: 57657, evals: 120576

|rho|=57657
|called|=245
|stable|=29027
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=793180.61MB, max=534.03MB, minor=793014.10MB, major=6828.40MB, promoted=6661.89MB
    minor collections=378214  major collections=138 compactions=0


runtime: 00:11:01.111
vars: 57657, evals: 120576

|rho|=57657
|called|=58
|stable|=29027
|infl|=57624
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=803525.06MB, max=534.03MB, minor=803356.97MB, major=6897.86MB, promoted=6729.77MB
    minor collections=383146  major collections=138 compactions=0


runtime: 00:11:11.119
vars: 57657, evals: 122910

|rho|=57657
|called|=885
|stable|=31320
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=813006.42MB, max=534.03MB, minor=812836.53MB, major=6948.80MB, promoted=6778.91MB
    minor collections=387666  major collections=139 compactions=0


runtime: 00:11:21.130
vars: 57657, evals: 122910

|rho|=57657
|called|=427
|stable|=31320
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=824403.77MB, max=534.03MB, minor=824232.59MB, major=7031.79MB, promoted=6860.62MB
    minor collections=393101  major collections=139 compactions=0


runtime: 00:11:31.138
vars: 57657, evals: 122910

|rho|=57657
|called|=249
|stable|=31320
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=834700.03MB, max=534.03MB, minor=834527.39MB, major=7086.32MB, promoted=6913.68MB
    minor collections=398010  major collections=140 compactions=0


runtime: 00:11:41.150
vars: 57657, evals: 122910

|rho|=57657
|called|=126
|stable|=31320
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=844563.73MB, max=534.03MB, minor=844390.08MB, major=7131.35MB, promoted=6957.70MB
    minor collections=402713  major collections=140 compactions=0


runtime: 00:11:51.157
vars: 57657, evals: 122975

|rho|=57657
|called|=67
|stable|=31385
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=853815.36MB, max=534.03MB, minor=853640.50MB, major=7166.36MB, promoted=6991.50MB
    minor collections=407124  major collections=140 compactions=0


runtime: 00:12:01.177
vars: 57657, evals: 123228

|rho|=57657
|called|=63
|stable|=31638
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=862525.71MB, max=534.03MB, minor=862349.89MB, major=7187.17MB, promoted=7011.35MB
    minor collections=411277  major collections=140 compactions=0


runtime: 00:12:11.185
vars: 57657, evals: 124093

|rho|=57657
|called|=51
|stable|=32462
|infl|=57624
|wpoint|=55
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52607
Found 4038 contexts for 79 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
207	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=872375.49MB, max=534.03MB, minor=872198.61MB, major=7216.56MB, promoted=7039.69MB
    minor collections=415974  major collections=141 compactions=0


runtime: 00:12:21.196
vars: 59030, evals: 128431

|rho|=59030
|called|=295
|stable|=33752
|infl|=58984
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53960
Found 4047 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
208	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
208	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=887154.73MB, max=534.03MB, minor=886975.13MB, major=7375.66MB, promoted=7196.06MB
    minor collections=423020  major collections=142 compactions=0


runtime: 00:12:31.204
vars: 59273, evals: 128654

|rho|=59273
|called|=60
|stable|=33995
|infl|=59214
|wpoint|=54
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54183
Found 4048 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
208	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
208	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=898298.99MB, max=534.03MB, minor=898116.52MB, major=7472.44MB, promoted=7289.96MB
    minor collections=428333  major collections=142 compactions=0


runtime: 00:12:41.219
vars: 59564, evals: 129227

|rho|=59564
|called|=77
|stable|=33916
|infl|=59518
|wpoint|=56
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=54454
Found 4058 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
211	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
211	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=907802.09MB, max=534.03MB, minor=907617.73MB, major=7514.56MB, promoted=7330.20MB
    minor collections=432864  major collections=143 compactions=0


runtime: 00:12:51.235
vars: 61398, evals: 132394

|rho|=61398
|called|=634
|stable|=36014
|infl|=61348
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56255
Found 4069 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
214	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
214	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=917893.41MB, max=534.03MB, minor=917708.17MB, major=7582.16MB, promoted=7396.92MB
    minor collections=437676  major collections=143 compactions=0


runtime: 00:13:01.251
vars: 61398, evals: 132394

|rho|=61398
|called|=126
|stable|=36014
|infl|=61348
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56255
Found 4069 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
214	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
214	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=931371.01MB, max=534.03MB, minor=931181.95MB, major=7728.75MB, promoted=7539.69MB
    minor collections=444101  major collections=144 compactions=0


runtime: 00:13:11.262
vars: 61721, evals: 132730

|rho|=61721
|called|=66
|stable|=36337
|infl|=61663
|wpoint|=57
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56576
Found 4071 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
214	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
214	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=941367.54MB, max=534.03MB, minor=941176.01MB, major=7788.83MB, promoted=7597.30MB
    minor collections=448867  major collections=144 compactions=0


runtime: 00:13:21.274
vars: 62801, evals: 135146

|rho|=62801
|called|=502
|stable|=37417
|infl|=62751
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57625
Found 4099 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
222	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
222	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=953469.26MB, max=534.03MB, minor=953275.82MB, major=7892.18MB, promoted=7698.74MB
    minor collections=454637  major collections=145 compactions=0


runtime: 00:13:31.286
vars: 62801, evals: 135146

|rho|=62801
|called|=88
|stable|=37417
|infl|=62751
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57625
Found 4099 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
222	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
222	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=966201.25MB, max=534.03MB, minor=966004.39MB, major=8024.17MB, promoted=7827.31MB
    minor collections=460707  major collections=146 compactions=0


runtime: 00:13:41.293
vars: 63166, evals: 135523

|rho|=63166
|called|=80
|stable|=37782
|infl|=63092
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=57987
Found 4102 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
222	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
222	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=976133.92MB, max=534.03MB, minor=975934.53MB, major=8077.99MB, promoted=7878.61MB
    minor collections=465442  major collections=146 compactions=0


runtime: 00:13:51.302
vars: 64334, evals: 138017

|rho|=64334
|called|=528
|stable|=38955
|infl|=64288
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59118
Found 4138 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
234	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
234	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=987901.85MB, max=534.03MB, minor=987701.14MB, major=8168.60MB, promoted=7967.89MB
    minor collections=471054  major collections=147 compactions=0


runtime: 00:14:01.314
vars: 64334, evals: 138017

|rho|=64334
|called|=94
|stable|=38955
|infl|=64288
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59118
Found 4138 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
234	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
234	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=1000645.01MB, max=534.03MB, minor=1000440.71MB, major=8302.85MB, promoted=8098.55MB
    minor collections=477129  major collections=148 compactions=0


runtime: 00:14:11.326
vars: 64657, evals: 138353

|rho|=64657
|called|=55
|stable|=39278
|infl|=64603
|wpoint|=58
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59439
Found 4140 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
234	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
234	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=1009413.30MB, max=534.03MB, minor=1009207.09MB, major=8348.05MB, promoted=8141.84MB
    minor collections=481309  major collections=148 compactions=0


runtime: 00:14:21.341
vars: 66651, evals: 141650

|rho|=66651
|called|=255
|stable|=41267
|infl|=66601
|wpoint|=60
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61413
Found 4160 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=1023478.86MB, max=534.03MB, minor=1023267.39MB, major=8510.38MB, promoted=8298.91MB
    minor collections=488014  major collections=149 compactions=0


runtime: 00:14:31.353
vars: 66735, evals: 141733

|rho|=66735
|called|=75
|stable|=41351
|infl|=66668
|wpoint|=60
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61496
Found 4161 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=1034308.16MB, max=534.03MB, minor=1034094.19MB, major=8595.19MB, promoted=8381.22MB
    minor collections=493177  major collections=149 compactions=0


runtime: 00:14:41.365
vars: 66976, evals: 141988

|rho|=66976
|called|=60
|stable|=41592
|infl|=66924
|wpoint|=60
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61736
Found 4162 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
240	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1

Memory statistics: total=1043607.72MB, max=534.03MB, minor=1043392.62MB, major=8619.89MB, promoted=8404.79MB
    minor collections=497611  major collections=149 compactions=0


runtime: 00:14:51.377
vars: 68039, evals: 143338

|rho|=68039
|called|=61
|stable|=42670
|infl|=67975
|wpoint|=61
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=62773
Found 4188 contexts for 82 functions. Top 5 functions:
984	contexts for entry state of BarStationNameAZCmp (5837) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for entry state of BarStationQuickmixNameCmp (5839) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for entry state of BarStationQuickmix01Cmp (5836) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
248	contexts for entry state of BarUiMsg (2934) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
247	contexts for entry state of vprintf (2350) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1053351.07MB, max=534.03MB, minor=1053135.01MB, major=8646.07MB, promoted=8430.01MB
    minor collections=502257  major collections=150 compactions=0

