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


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3274:3-3286:3 with factor 4
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
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 195
functionCalls: 1883
loops: 92
loopBreaks: 0
controlFlowStatements: 3391
expressions: 29378
instructions: 5725
integralVars: (5,563)
arrayVars: (12,44)
pointerVars: (5,756)

Complexity estimates:
File: 70541335
function BarUiPianoCall is recursive, disable interval and interval_set contexts
function PianoRequest is recursive, disable interval and interval_set contexts
Total: 70541335
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.280
vars: 5335, evals: 15952

|rho|=5335
|stable|=5320
|infl|=5313
|wpoint|=13
|sides|=546
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4624
|called|=745
Found 114 contexts for 33 functions. Top 5 functions:
30	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
30	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
6	contexts for L:entry state of BarReadlinePrevUtf8 (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
3	contexts for L:entry state of BarGetXdgConfigDir (5851) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:5225:1-5252:1

Memory statistics: total=19807.89MB, max=75.47MB, minor=19796.77MB, major=627.67MB, promoted=616.56MB
    minor collections=9457  major collections=36 compactions=0


runtime: 00:00:20.296
vars: 6994, evals: 19199

|rho|=6994
|stable|=6979
|infl|=6972
|wpoint|=14
|sides|=596
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=6202
|called|=202
Found 145 contexts for 34 functions. Top 5 functions:
38	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
38	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
8	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
6	contexts for L:entry state of BarReadlinePrevUtf8 (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:9454:1-9473:1
4	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=37872.53MB, max=99.81MB, minor=37853.52MB, major=1322.46MB, promoted=1303.45MB
    minor collections=18081  major collections=62 compactions=0


runtime: 00:00:30.307
vars: 10259, evals: 25154

|rho|=10259
|stable|=10238
|infl|=10237
|wpoint|=15
|sides|=655
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9359
|called|=547
Found 189 contexts for 37 functions. Top 5 functions:
50	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
50	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
12	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
7	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1
7	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1

Memory statistics: total=56098.26MB, max=99.81MB, minor=56071.63MB, major=2013.35MB, promoted=1986.72MB
    minor collections=26780  major collections=86 compactions=0


runtime: 00:00:40.351
vars: 13502, evals: 30136

|rho|=13502
|stable|=13476
|infl|=13476
|wpoint|=17
|sides|=776
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=12423
|called|=142
Found 247 contexts for 40 functions. Top 5 functions:
56	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
56	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
19	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
16	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
12	contexts for L:entry state of getBoolDefault (5889) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=74256.53MB, max=132.00MB, minor=74221.48MB, major=2704.97MB, promoted=2669.92MB
    minor collections=35445  major collections=106 compactions=0


runtime: 00:00:50.382
vars: 16937, evals: 36766

|rho|=16937
|stable|=16916
|infl|=16915
|wpoint|=18
|sides|=850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15710
|called|=490
Found 320 contexts for 40 functions. Top 5 functions:
76	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
76	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
25	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
24	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
13	contexts for L:entry state of PianoErrorToStr (1046) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10105:1-10177:1

Memory statistics: total=92628.17MB, max=151.80MB, minor=92585.33MB, major=3379.72MB, promoted=3336.88MB
    minor collections=44209  major collections=122 compactions=0


runtime: 00:01:00.406
vars: 19902, evals: 41659

|rho|=19902
|stable|=19876
|infl|=19876
|wpoint|=22
|sides|=896
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18584
|called|=148
Found 366 contexts for 40 functions. Top 5 functions:
82	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
82	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
33	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
28	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for L:entry state of getBoolDefault (5889) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=110961.86MB, max=174.57MB, minor=110910.99MB, major=4050.81MB, promoted=3999.94MB
    minor collections=52955  major collections=136 compactions=0


runtime: 00:01:10.417
vars: 22028, evals: 47551

|rho|=22028
|stable|=22007
|infl|=22006
|wpoint|=31
|sides|=940
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20621
|called|=486
Found 410 contexts for 40 functions. Top 5 functions:
94	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
94	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
36	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
32	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
20	contexts for L:entry state of getBoolDefault (5889) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=128911.18MB, max=174.57MB, minor=128853.24MB, major=4723.24MB, promoted=4665.30MB
    minor collections=61517  major collections=149 compactions=0


runtime: 00:01:20.436
vars: 23784, evals: 51353

|rho|=23784
|stable|=23707
|infl|=23762
|wpoint|=32
|sides|=975
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22307
|called|=119
Found 445 contexts for 40 functions. Top 5 functions:
100	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
100	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1
40	contexts for L:entry state of PianoJsonStrdup (5888) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10593:1-10610:1
36	contexts for L:entry state of temporaryCurlError (5868) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7376:1-7397:1
24	contexts for L:entry state of getBoolDefault (5889) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:10611:1-10627:1

Memory statistics: total=147645.73MB, max=200.75MB, minor=147579.95MB, major=5403.19MB, promoted=5337.41MB
    minor collections=70453  major collections=161 compactions=0


runtime: 00:01:30.460
vars: 38074, evals: 69663

|rho|=38074
|stable|=37997
|infl|=38042
|wpoint|=35
|sides|=2795
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33142
|called|=387
Found 2073 contexts for 61 functions. Top 5 functions:
492	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
328	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
115	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
113	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=167496.84MB, max=305.32MB, minor=167425.38MB, major=5848.86MB, promoted=5777.39MB
    minor collections=79919  major collections=167 compactions=0


runtime: 00:01:40.479
vars: 41111, evals: 74626

|rho|=41111
|stable|=41029
|infl|=41035
|wpoint|=38
|sides|=2870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36055
|called|=98
Found 2124 contexts for 62 functions. Top 5 functions:
492	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
328	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
121	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
119	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=185733.12MB, max=351.13MB, minor=185653.44MB, major=6532.41MB, promoted=6452.73MB
    minor collections=88615  major collections=174 compactions=0


runtime: 00:01:50.494
vars: 44500, evals: 81212

|rho|=44500
|stable|=44423
|infl|=44468
|wpoint|=39
|sides|=2942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39298
|called|=395
Found 2196 contexts for 62 functions. Top 5 functions:
492	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
328	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
141	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
139	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=203886.63MB, max=351.13MB, minor=203800.16MB, major=7186.54MB, promoted=7100.07MB
    minor collections=97271  major collections=181 compactions=0


runtime: 00:02:00.510
vars: 47408, evals: 86130

|rho|=47408
|stable|=47326
|infl|=47372
|wpoint|=43
|sides|=2991
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42109
|called|=77
Found 2245 contexts for 62 functions. Top 5 functions:
492	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
328	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
147	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
145	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=222089.70MB, max=351.13MB, minor=221995.58MB, major=7857.19MB, promoted=7763.07MB
    minor collections=105951  major collections=187 compactions=0


runtime: 00:02:10.526
vars: 49504, evals: 92016

|rho|=49504
|stable|=49427
|infl|=49472
|wpoint|=53
|sides|=3032
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44122
|called|=514
Found 2286 contexts for 62 functions. Top 5 functions:
492	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
328	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
328	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
158	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
156	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=240783.02MB, max=403.80MB, minor=240682.59MB, major=8470.68MB, promoted=8370.26MB
    minor collections=114865  major collections=193 compactions=0


runtime: 00:02:20.545
vars: 61752, evals: 104080

|rho|=61752
|stable|=17410
|infl|=61704
|wpoint|=54
|sides|=4730
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53043
|called|=48
Found 3888 contexts for 68 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
169	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
166	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=259346.74MB, max=464.37MB, minor=259234.85MB, major=9040.99MB, promoted=8929.10MB
    minor collections=123713  major collections=197 compactions=0


runtime: 00:02:30.573
vars: 61799, evals: 104168

|rho|=61799
|stable|=17424
|infl|=61756
|wpoint|=54
|sides|=4742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53078
|called|=45
Found 3888 contexts for 68 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
169	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
166	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=268020.19MB, max=534.03MB, minor=267635.81MB, major=12030.59MB, promoted=11646.20MB
    minor collections=127734  major collections=216 compactions=0


runtime: 00:02:40.585
vars: 61833, evals: 104301

|rho|=61833
|stable|=17435
|infl|=61790
|wpoint|=54
|sides|=4745
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53106
|called|=53
Found 3890 contexts for 68 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
170	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
166	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=276736.12MB, max=534.03MB, minor=276079.23MB, major=15015.92MB, promoted=14359.04MB
    minor collections=131775  major collections=234 compactions=0


runtime: 00:02:50.596
vars: 62428, evals: 105284

|rho|=62428
|stable|=17834
|infl|=62393
|wpoint|=54
|sides|=4815
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53551
|called|=45
Found 3930 contexts for 73 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
185	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
174	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=286224.09MB, max=614.13MB, minor=285306.80MB, major=17886.70MB, promoted=16969.41MB
    minor collections=136188  major collections=251 compactions=0


runtime: 00:03:00.607
vars: 62439, evals: 105636

|rho|=62439
|stable|=17802
|infl|=62406
|wpoint|=54
|sides|=4818
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53556
|called|=45
Found 3931 contexts for 74 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
185	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
174	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=295092.05MB, max=614.13MB, minor=293908.32MB, major=20807.10MB, promoted=19623.36MB
    minor collections=140301  major collections=269 compactions=0


runtime: 00:03:10.619
vars: 63079, evals: 108347

|rho|=63079
|stable|=18721
|infl|=63049
|wpoint|=56
|sides|=4912
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54034
|called|=36
Found 3957 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
188	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
176	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=305276.60MB, max=614.13MB, minor=303838.51MB, major=23595.79MB, promoted=22157.70MB
    minor collections=145049  major collections=286 compactions=0


runtime: 00:03:20.630
vars: 64355, evals: 111020

|rho|=64355
|stable|=19991
|infl|=64325
|wpoint|=57
|sides|=4997
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55151
|called|=36
Found 4033 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
207	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
186	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=315162.22MB, max=614.13MB, minor=313463.69MB, major=26428.33MB, promoted=24729.80MB
    minor collections=149651  major collections=303 compactions=0


runtime: 00:03:30.638
vars: 65155, evals: 113586

|rho|=65155
|stable|=18742
|infl|=65132
|wpoint|=64
|sides|=5050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=48
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=325491.57MB, max=614.13MB, minor=323538.66MB, major=29245.24MB, promoted=27292.33MB
    minor collections=154467  major collections=319 compactions=0


runtime: 00:03:40.651
vars: 65155, evals: 114326

|rho|=65155
|stable|=19482
|infl|=65132
|wpoint|=66
|sides|=5050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=39
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=334690.78MB, max=614.13MB, minor=332477.48MB, major=32129.12MB, promoted=29915.82MB
    minor collections=158743  major collections=336 compactions=0


runtime: 00:03:50.661
vars: 65158, evals: 117256

|rho|=65158
|stable|=20213
|infl|=65137
|wpoint|=66
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=45
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=345297.94MB, max=614.13MB, minor=342850.31MB, major=34707.36MB, promoted=32259.74MB
    minor collections=163699  major collections=351 compactions=0


runtime: 00:04:00.677
vars: 65158, evals: 118162

|rho|=65158
|stable|=21119
|infl|=65137
|wpoint|=67
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=39
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=354520.91MB, max=614.13MB, minor=351817.09MB, major=37508.63MB, promoted=34804.81MB
    minor collections=167988  major collections=368 compactions=0


runtime: 00:04:10.689
vars: 65158, evals: 119479

|rho|=65158
|stable|=20222
|infl|=65138
|wpoint|=66
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=45
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=363995.78MB, max=614.13MB, minor=361043.68MB, major=40268.19MB, promoted=37316.10MB
    minor collections=172401  major collections=384 compactions=0


runtime: 00:04:20.700
vars: 65158, evals: 120382

|rho|=65158
|stable|=21125
|infl|=65138
|wpoint|=67
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=36
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=373212.15MB, max=614.13MB, minor=370005.72MB, major=43086.89MB, promoted=39880.46MB
    minor collections=176687  major collections=401 compactions=0


runtime: 00:04:30.711
vars: 65159, evals: 123249

|rho|=65159
|stable|=23993
|infl|=65140
|wpoint|=67
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=140
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=387840.48MB, max=614.13MB, minor=384509.34MB, major=44722.50MB, promoted=41391.36MB
    minor collections=183610  major collections=410 compactions=0


runtime: 00:04:40.722
vars: 65159, evals: 128425

|rho|=65159
|stable|=29087
|infl|=65140
|wpoint|=68
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=510
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=406236.89MB, max=614.13MB, minor=402899.03MB, major=45383.03MB, promoted=42045.17MB
    minor collections=192382  major collections=415 compactions=0


runtime: 00:04:50.730
vars: 65159, evals: 133966

|rho|=65159
|stable|=34587
|infl|=65140
|wpoint|=67
|sides|=5052
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55844
|called|=237
Found 4086 contexts for 79 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=424655.71MB, max=614.13MB, minor=421310.77MB, major=45990.45MB, promoted=42645.51MB
    minor collections=201163  major collections=419 compactions=0


runtime: 00:05:00.741
vars: 65361, evals: 139462

|rho|=65361
|stable|=38307
|infl|=65332
|wpoint|=68
|sides|=5059
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56017
|called|=36
Found 4090 contexts for 80 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
224	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
195	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=443504.31MB, max=614.13MB, minor=440152.39MB, major=46601.37MB, promoted=43249.45MB
    minor collections=210150  major collections=423 compactions=0


runtime: 00:05:10.753
vars: 69230, evals: 146684

|rho|=69230
|stable|=42092
|infl|=69194
|wpoint|=71
|sides|=5148
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59678
|called|=378
Found 4118 contexts for 82 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
231	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
202	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=461550.72MB, max=614.13MB, minor=458189.55MB, major=47264.20MB, promoted=43903.03MB
    minor collections=218753  major collections=427 compactions=0


runtime: 00:05:20.761
vars: 71245, evals: 150437

|rho|=71245
|stable|=44107
|infl|=71193
|wpoint|=72
|sides|=5186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61581
|called|=72
Found 4152 contexts for 82 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
240	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
211	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=479772.54MB, max=614.13MB, minor=476403.07MB, major=47940.48MB, promoted=44571.01MB
    minor collections=227440  major collections=431 compactions=0


runtime: 00:05:30.772
vars: 75064, evals: 157706

|rho|=75064
|stable|=47926
|infl|=75028
|wpoint|=75
|sides|=5240
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65288
|called|=348
Found 4205 contexts for 82 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
256	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
227	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=498285.37MB, max=614.13MB, minor=494908.94MB, major=48608.62MB, promoted=45232.19MB
    minor collections=236266  major collections=435 compactions=0


runtime: 00:05:40.784
vars: 76883, evals: 162179

|rho|=76883
|stable|=49605
|infl|=76847
|wpoint|=79
|sides|=5268
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67051
|called|=62
Found 4233 contexts for 82 functions. Top 5 functions:
984	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
656	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
656	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
263	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
234	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=516476.29MB, max=614.13MB, minor=513090.73MB, major=49270.42MB, promoted=45884.86MB
    minor collections=244938  major collections=439 compactions=0


runtime: 00:05:50.796
vars: 82933, evals: 170421

|rho|=82933
|stable|=53665
|infl|=82908
|wpoint|=85
|sides|=6085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71390
|called|=768
Found 5029 contexts for 82 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
268	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
239	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=536745.64MB, max=614.13MB, minor=533354.65MB, major=49835.85MB, promoted=46444.86MB
    minor collections=254603  major collections=442 compactions=0


runtime: 00:06:00.827
vars: 82933, evals: 171480

|rho|=82933
|stable|=54724
|infl|=82908
|wpoint|=86
|sides|=6085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71390
|called|=219
Found 5029 contexts for 82 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
268	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
239	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=554563.87MB, max=614.13MB, minor=551165.36MB, major=50513.34MB, promoted=47114.83MB
    minor collections=263098  major collections=446 compactions=0


runtime: 00:06:10.847
vars: 83483, evals: 176814

|rho|=83483
|stable|=50118
|infl|=83457
|wpoint|=90
|sides|=6112
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71878
|called|=649
Found 5048 contexts for 84 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
272	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
243	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=573121.66MB, max=614.13MB, minor=569716.76MB, major=51155.62MB, promoted=47750.72MB
    minor collections=271945  major collections=449 compactions=0


runtime: 00:06:20.855
vars: 87373, evals: 190824

|rho|=87373
|stable|=55292
|infl|=87341
|wpoint|=93
|sides|=6202
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75597
|called|=618
Found 5119 contexts for 85 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
280	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
251	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=593927.45MB, max=706.25MB, minor=590517.30MB, major=51664.37MB, promoted=48254.22MB
    minor collections=281865  major collections=452 compactions=0


runtime: 00:06:30.870
vars: 89891, evals: 195033

|rho|=89891
|stable|=57805
|infl|=89855
|wpoint|=95
|sides|=6226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78065
|called|=195
Found 5139 contexts for 85 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
286	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
257	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=611952.50MB, max=706.25MB, minor=608534.02MB, major=52338.28MB, promoted=48919.80MB
    minor collections=290458  major collections=455 compactions=0


runtime: 00:06:40.882
vars: 93151, evals: 201824

|rho|=93151
|stable|=61070
|infl|=93119
|wpoint|=97
|sides|=6291
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81194
|called|=605
Found 5204 contexts for 85 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
305	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
276	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=630622.21MB, max=706.25MB, minor=627196.84MB, major=52998.30MB, promoted=49572.93MB
    minor collections=299360  major collections=459 compactions=0


runtime: 00:06:50.893
vars: 95658, evals: 206033

|rho|=95658
|stable|=63572
|infl|=95622
|wpoint|=99
|sides|=6311
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83662
|called|=186
Found 5224 contexts for 85 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
311	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
282	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=648670.73MB, max=706.25MB, minor=645237.17MB, major=53671.59MB, promoted=50238.04MB
    minor collections=307964  major collections=462 compactions=0


runtime: 00:07:00.909
vars: 97571, evals: 211996

|rho|=97571
|stable|=65484
|infl|=97539
|wpoint|=108
|sides|=6344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85508
|called|=644
Found 5257 contexts for 85 functions. Top 5 functions:
1230	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
820	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
820	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
320	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
291	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=666782.02MB, max=706.25MB, minor=663341.66MB, major=54306.94MB, promoted=50866.58MB
    minor collections=316598  major collections=465 compactions=0


runtime: 00:07:10.921
vars: 104611, evals: 219870

|rho|=104611
|stable|=72526
|infl|=104579
|wpoint|=109
|sides|=7175
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90901
|called|=564
Found 6057 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
984	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
984	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
325	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
296	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=686936.50MB, max=706.25MB, minor=683489.47MB, major=54869.47MB, promoted=51422.44MB
    minor collections=326207  major collections=467 compactions=0


runtime: 00:07:20.960
vars: 108001, evals: 225784

|rho|=108001
|stable|=75911
|infl|=107965
|wpoint|=131
|sides|=7292
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94077
|called|=233
Found 6113 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
984	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
984	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
331	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
302	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=705924.23MB, max=812.19MB, minor=702469.19MB, major=55518.71MB, promoted=52063.67MB
    minor collections=335259  major collections=470 compactions=0


runtime: 00:07:30.980
vars: 111261, evals: 232575

|rho|=111261
|stable|=79176
|infl|=111229
|wpoint|=133
|sides|=7357
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97206
|called|=731
Found 6178 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
984	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
984	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
350	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
321	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=724328.73MB, max=812.19MB, minor=720866.46MB, major=56163.89MB, promoted=52701.62MB
    minor collections=344033  major collections=473 compactions=0


runtime: 00:07:40.995
vars: 114495, evals: 238476

|rho|=114495
|stable|=82405
|infl|=114459
|wpoint|=147
|sides|=7407
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100341
|called|=365
Found 6228 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
984	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
984	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
356	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
327	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=743002.45MB, max=812.19MB, minor=739533.34MB, major=56786.80MB, promoted=53317.69MB
    minor collections=352935  major collections=475 compactions=0


runtime: 00:07:51.015
vars: 116087, evals: 241850

|rho|=116087
|stable|=83997
|infl|=116008
|wpoint|=149
|sides|=7435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101878
|called|=101
Found 6256 contexts for 87 functions. Top 5 functions:
1476	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
984	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
984	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
363	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
334	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=760996.72MB, max=812.19MB, minor=757519.73MB, major=57442.89MB, promoted=53965.91MB
    minor collections=361513  major collections=478 compactions=0


runtime: 00:08:01.023
vars: 122208, evals: 250028

|rho|=122208
|stable|=90131
|infl|=122169
|wpoint|=159
|sides|=8231
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106405
|called|=53
Found 7052 contexts for 87 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
368	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
339	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=781384.78MB, max=812.19MB, minor=777901.67MB, major=57988.78MB, promoted=54505.66MB
    minor collections=371233  major collections=480 compactions=0


runtime: 00:08:11.046
vars: 127856, evals: 263605

|rho|=127856
|stable|=95760
|infl|=127821
|wpoint|=161
|sides|=8369
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111808
|called|=821
Found 7124 contexts for 89 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
383	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
352	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=801604.94MB, max=934.02MB, minor=798116.14MB, major=58516.18MB, promoted=55027.38MB
    minor collections=380874  major collections=482 compactions=0


runtime: 00:08:21.078
vars: 129427, evals: 266938

|rho|=129427
|stable|=97331
|infl|=129392
|wpoint|=162
|sides|=8398
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113321
|called|=309
Found 7153 contexts for 89 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
391	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
360	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=819533.47MB, max=934.02MB, minor=816037.27MB, major=59172.45MB, promoted=55676.25MB
    minor collections=389420  major collections=484 compactions=0


runtime: 00:08:31.089
vars: 133623, evals: 273783

|rho|=133623
|stable|=100706
|infl|=133588
|wpoint|=165
|sides|=8454
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117405
|called|=266
Found 7209 contexts for 89 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
408	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
377	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=837811.81MB, max=934.02MB, minor=834303.70MB, major=59820.17MB, promoted=56312.05MB
    minor collections=398132  major collections=486 compactions=0


runtime: 00:08:41.101
vars: 135170, evals: 277935

|rho|=135170
|stable|=103074
|infl|=135135
|wpoint|=167
|sides|=8481
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=118898
|called|=385
Found 7236 contexts for 89 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
415	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
384	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=855665.13MB, max=1074.12MB, minor=852150.22MB, major=60463.45MB, promoted=56948.55MB
    minor collections=406643  major collections=489 compactions=0


runtime: 00:08:51.117
vars: 135536, evals: 280568

|rho|=135536
|stable|=103439
|infl|=135505
|wpoint|=174
|sides|=8487
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119251
|called|=50
Found 7242 contexts for 89 functions. Top 5 functions:
1722	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1148	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1148	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
417	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
386	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=873631.39MB, max=1074.12MB, minor=870108.63MB, major=61122.24MB, promoted=57599.49MB
    minor collections=415208  major collections=491 compactions=0


runtime: 00:09:01.129
vars: 145003, evals: 297798

|rho|=145003
|stable|=112894
|infl|=144972
|wpoint|=187
|sides|=9371
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=126937
|called|=408
Found 8093 contexts for 91 functions. Top 5 functions:
1968	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1312	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1312	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
427	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
394	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=896813.57MB, max=1074.12MB, minor=893287.46MB, major=61493.04MB, promoted=57966.93MB
    minor collections=426261  major collections=492 compactions=0


runtime: 00:09:11.156
vars: 147510, evals: 302007

|rho|=147510
|stable|=115396
|infl|=147475
|wpoint|=189
|sides|=9391
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129405
|called|=101
Found 8113 contexts for 91 functions. Top 5 functions:
1968	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1312	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1312	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
433	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
400	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=914432.84MB, max=1074.12MB, minor=910898.99MB, major=62143.29MB, promoted=58609.45MB
    minor collections=434660  major collections=494 compactions=0


runtime: 00:09:21.172
vars: 150770, evals: 308798

|rho|=150770
|stable|=118661
|infl|=150739
|wpoint|=191
|sides|=9456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132534
|called|=522
Found 8178 contexts for 91 functions. Top 5 functions:
1968	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1312	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1312	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
452	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
419	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=932691.34MB, max=1074.12MB, minor=929148.83MB, major=62772.08MB, promoted=59229.57MB
    minor collections=443364  major collections=496 compactions=0


runtime: 00:09:31.187
vars: 153277, evals: 313007

|rho|=153277
|stable|=121163
|infl|=153242
|wpoint|=193
|sides|=9476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135002
|called|=164
Found 8198 contexts for 91 functions. Top 5 functions:
1968	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1312	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1312	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
458	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
425	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=950542.04MB, max=1074.12MB, minor=946991.48MB, major=63429.23MB, promoted=59878.67MB
    minor collections=451873  major collections=498 compactions=0


runtime: 00:09:41.203
vars: 155190, evals: 318970

|rho|=155190
|stable|=123075
|infl|=155159
|wpoint|=202
|sides|=9509
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136848
|called|=638
Found 8231 contexts for 91 functions. Top 5 functions:
1968	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1312	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1312	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
467	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
434	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=968748.74MB, max=1074.12MB, minor=965191.49MB, major=64053.62MB, promoted=60496.38MB
    minor collections=460552  major collections=500 compactions=0


runtime: 00:09:51.214
vars: 161734, evals: 327639

|rho|=161734
|stable|=129412
|infl|=161699
|wpoint|=206
|sides|=10320
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141769
|called|=124
Found 9038 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
472	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
438	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=989652.92MB, max=1074.12MB, minor=986089.80MB, major=64533.58MB, promoted=60970.46MB
    minor collections=470518  major collections=501 compactions=0


runtime: 00:10:01.234
vars: 165445, evals: 335189

|rho|=165445
|stable|=133112
|infl|=165410
|wpoint|=207
|sides|=10346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145425
|called|=470
Found 9063 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
479	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
445	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1007759.08MB, max=1235.24MB, minor=1004187.58MB, major=65145.84MB, promoted=61574.33MB
    minor collections=479150  major collections=503 compactions=0


runtime: 00:10:11.270
vars: 167016, evals: 338522

|rho|=167016
|stable|=134683
|infl|=166981
|wpoint|=208
|sides|=10375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146938
|called|=167
Found 9092 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
487	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
453	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1025452.60MB, max=1235.24MB, minor=1021873.43MB, major=65774.68MB, promoted=62195.51MB
    minor collections=487584  major collections=505 compactions=0


runtime: 00:10:21.289
vars: 171212, evals: 346189

|rho|=171212
|stable|=138879
|infl|=171177
|wpoint|=211
|sides|=10431
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151022
|called|=705
Found 9148 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
504	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
470	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1043482.75MB, max=1235.24MB, minor=1039896.97MB, major=66384.07MB, promoted=62798.29MB
    minor collections=496179  major collections=506 compactions=0


runtime: 00:10:31.305
vars: 172759, evals: 349519

|rho|=172759
|stable|=140426
|infl|=172724
|wpoint|=213
|sides|=10458
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152515
|called|=322
Found 9175 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
511	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
477	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1061156.96MB, max=1235.24MB, minor=1057563.85MB, major=67004.28MB, promoted=63411.17MB
    minor collections=504604  major collections=508 compactions=0


runtime: 00:10:41.325
vars: 173125, evals: 352152

|rho|=173125
|stable|=140791
|infl|=173094
|wpoint|=220
|sides|=10464
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152868
|called|=52
Found 9181 contexts for 91 functions. Top 5 functions:
2214	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1476	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1476	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
513	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
479	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1078521.10MB, max=1235.24MB, minor=1074920.66MB, major=67626.79MB, promoted=64026.36MB
    minor collections=512882  major collections=510 compactions=0


runtime: 00:10:51.340
vars: 180069, evals: 359986

|rho|=180069
|stable|=147735
|infl|=180032
|wpoint|=221
|sides|=11259
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158223
|called|=115
Found 9975 contexts for 91 functions. Top 5 functions:
2460	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1640	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1640	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
517	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
483	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1098280.18MB, max=1235.24MB, minor=1094674.24MB, major=68122.20MB, promoted=64516.26MB
    minor collections=522302  major collections=511 compactions=0


runtime: 00:11:01.380
vars: 184402, evals: 367979

|rho|=184402
|stable|=152063
|infl|=184361
|wpoint|=231
|sides|=11339
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162398
|called|=604
Found 10038 contexts for 91 functions. Top 5 functions:
2460	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1640	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1640	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
531	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
497	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1116697.36MB, max=1420.53MB, minor=1113084.99MB, major=68740.34MB, promoted=65127.97MB
    minor collections=531082  major collections=512 compactions=0


runtime: 00:11:11.391
vars: 186091, evals: 371437

|rho|=186091
|stable|=153757
|infl|=186054
|wpoint|=232
|sides|=11375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164014
|called|=251
Found 10074 contexts for 91 functions. Top 5 functions:
2460	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1640	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1640	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
542	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
508	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1134199.98MB, max=1420.53MB, minor=1130579.78MB, major=69364.06MB, promoted=65743.86MB
    minor collections=539425  major collections=514 compactions=0


runtime: 00:11:21.407
vars: 190367, evals: 379414

|rho|=190367
|stable|=158028
|infl|=190326
|wpoint|=241
|sides|=11436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168169
|called|=1045
Found 10135 contexts for 91 functions. Top 5 functions:
2460	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1640	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1640	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
555	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
521	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1152871.31MB, max=1420.53MB, minor=1149243.68MB, major=69985.53MB, promoted=66357.90MB
    minor collections=548326  major collections=516 compactions=0


runtime: 00:11:31.427
vars: 190733, evals: 382047

|rho|=190733
|stable|=158393
|infl|=190696
|wpoint|=248
|sides|=11442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168522
|called|=434
Found 10141 contexts for 91 functions. Top 5 functions:
2460	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1640	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1640	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
557	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
523	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1169936.21MB, max=1420.53MB, minor=1166302.21MB, major=70592.20MB, promoted=66958.20MB
    minor collections=556461  major collections=517 compactions=0


runtime: 00:11:41.450
vars: 198288, evals: 392062

|rho|=198288
|stable|=165948
|infl|=198255
|wpoint|=250
|sides|=12267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174436
|called|=693
Found 10951 contexts for 91 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
564	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
529	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1190578.26MB, max=1420.53MB, minor=1186939.13MB, major=71040.15MB, promoted=67401.03MB
    minor collections=566302  major collections=518 compactions=0


runtime: 00:11:51.482
vars: 200805, evals: 396271

|rho|=200805
|stable|=168460
|infl|=200768
|wpoint|=252
|sides|=12290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176904
|called|=273
Found 10971 contexts for 91 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
570	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
535	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1208497.11MB, max=1420.53MB, minor=1204850.08MB, major=71690.51MB, promoted=68043.49MB
    minor collections=574844  major collections=520 compactions=0


runtime: 00:12:01.534
vars: 202924, evals: 400376

|rho|=202924
|stable|=170579
|infl|=202866
|wpoint|=254
|sides|=12331
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178942
|called|=75
Found 11012 contexts for 91 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
581	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
546	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1226278.57MB, max=1420.53MB, minor=1222624.03MB, major=72308.59MB, promoted=68654.05MB
    minor collections=583320  major collections=521 compactions=0


runtime: 00:12:11.542
vars: 206572, evals: 407271

|rho|=206572
|stable|=174227
|infl|=206535
|wpoint|=256
|sides|=12375
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182501
|called|=410
Found 11056 contexts for 91 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
595	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
560	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1244420.42MB, max=1420.53MB, minor=1240759.34MB, major=72941.09MB, promoted=69280.01MB
    minor collections=591968  major collections=522 compactions=0


runtime: 00:12:21.566
vars: 208119, evals: 410601

|rho|=208119
|stable|=175774
|infl|=208082
|wpoint|=258
|sides|=12402
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183994
|called|=145
Found 11083 contexts for 91 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
602	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
567	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1261830.28MB, max=1420.53MB, minor=1258161.82MB, major=73555.05MB, promoted=69886.59MB
    minor collections=600267  major collections=524 compactions=0


runtime: 00:12:31.582
vars: 208558, evals: 414722

|rho|=208558
|stable|=99309
|infl|=208531
|wpoint|=266
|sides|=12417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184400
|called|=624
Found 11092 contexts for 93 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
604	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
569	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1279363.85MB, max=1633.61MB, minor=1275689.06MB, major=74173.75MB, promoted=70498.95MB
    minor collections=608625  major collections=525 compactions=0


runtime: 00:12:41.593
vars: 208558, evals: 417179

|rho|=208558
|stable|=101710
|infl|=208531
|wpoint|=267
|sides|=12417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184400
|called|=258
Found 11092 contexts for 93 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
604	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
569	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1296864.63MB, max=1633.61MB, minor=1293182.02MB, major=74809.25MB, promoted=71126.64MB
    minor collections=616968  major collections=527 compactions=0


runtime: 00:12:51.601
vars: 208558, evals: 422299

|rho|=208558
|stable|=106718
|infl|=208531
|wpoint|=267
|sides|=12417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184400
|called|=807
Found 11092 contexts for 93 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
604	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
569	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1314503.45MB, max=1633.61MB, minor=1310814.19MB, major=75413.20MB, promoted=71723.94MB
    minor collections=625376  major collections=528 compactions=0


runtime: 00:13:01.612
vars: 208558, evals: 425044

|rho|=208558
|stable|=109407
|infl|=208531
|wpoint|=266
|sides|=12417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184400
|called|=327
Found 11092 contexts for 93 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
604	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
569	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1332371.75MB, max=1633.61MB, minor=1328675.61MB, major=76038.01MB, promoted=72341.86MB
    minor collections=633894  major collections=529 compactions=0


runtime: 00:13:11.624
vars: 208558, evals: 427445

|rho|=208558
|stable|=111752
|infl|=208531
|wpoint|=267
|sides|=12417
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=184400
|called|=96
Found 11092 contexts for 93 functions. Top 5 functions:
2706	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1804	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1804	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
604	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
569	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1349691.12MB, max=1633.61MB, minor=1345987.59MB, major=76666.22MB, promoted=72962.69MB
    minor collections=642150  major collections=531 compactions=0


runtime: 00:13:21.636
vars: 214895, evals: 437087

|rho|=214895
|stable|=119358
|infl|=214866
|wpoint|=266
|sides|=13222
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189130
|called|=199
Found 11894 contexts for 93 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1370611.97MB, max=1633.61MB, minor=1366904.11MB, major=77102.28MB, promoted=73394.42MB
    minor collections=652125  major collections=532 compactions=0


runtime: 00:13:31.667
vars: 214965, evals: 439835

|rho|=214965
|stable|=120689
|infl|=214940
|wpoint|=267
|sides|=13235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189183
|called|=608
Found 11895 contexts for 94 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1388258.27MB, max=1633.61MB, minor=1384544.41MB, major=77727.15MB, promoted=74013.28MB
    minor collections=660537  major collections=533 compactions=0


runtime: 00:13:41.679
vars: 214965, evals: 442191

|rho|=214965
|stable|=122989
|infl|=214940
|wpoint|=268
|sides|=13235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189183
|called|=215
Found 11895 contexts for 94 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1405753.57MB, max=1633.61MB, minor=1402031.88MB, major=78370.36MB, promoted=74648.67MB
    minor collections=668876  major collections=534 compactions=0


runtime: 00:13:51.691
vars: 214965, evals: 447575

|rho|=214965
|stable|=128261
|infl|=214940
|wpoint|=268
|sides|=13235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189183
|called|=811
Found 11895 contexts for 94 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1423415.03MB, max=1633.61MB, minor=1419686.64MB, major=78970.90MB, promoted=75242.51MB
    minor collections=677296  major collections=536 compactions=0


runtime: 00:14:01.706
vars: 214965, evals: 450392

|rho|=214965
|stable|=131022
|infl|=214940
|wpoint|=267
|sides|=13235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189183
|called|=368
Found 11895 contexts for 94 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1440651.03MB, max=1633.61MB, minor=1436916.11MB, major=79576.21MB, promoted=75841.28MB
    minor collections=685512  major collections=537 compactions=0


runtime: 00:14:11.722
vars: 214965, evals: 452748

|rho|=214965
|stable|=133322
|infl|=214940
|wpoint|=268
|sides|=13235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=189183
|called|=95
Found 11895 contexts for 94 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
607	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
572	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1457800.47MB, max=1633.61MB, minor=1454058.46MB, major=80194.78MB, promoted=76452.77MB
    minor collections=693687  major collections=538 compactions=0


runtime: 00:14:21.734
vars: 219272, evals: 462681

|rho|=219272
|stable|=139087
|infl|=219238
|wpoint|=269
|sides|=13294
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=193370
|called|=698
Found 11944 contexts for 100 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
617	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
582	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1476669.23MB, max=1633.61MB, minor=1472921.10MB, major=80765.66MB, promoted=77017.53MB
    minor collections=702683  major collections=540 compactions=0


runtime: 00:14:31.742
vars: 220843, evals: 466014

|rho|=220843
|stable|=140658
|infl|=220809
|wpoint|=270
|sides|=13323
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=194883
|called|=304
Found 11973 contexts for 100 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
625	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
590	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1494323.50MB, max=1633.61MB, minor=1490567.83MB, major=81394.55MB, promoted=77638.88MB
    minor collections=711098  major collections=541 compactions=0


runtime: 00:14:41.754
vars: 222577, evals: 469516

|rho|=222577
|stable|=142397
|infl|=222511
|wpoint|=271
|sides|=13360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196543
|called|=81
Found 12010 contexts for 100 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
636	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
601	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1512051.84MB, max=1633.61MB, minor=1508288.52MB, major=82023.63MB, promoted=78260.31MB
    minor collections=719549  major collections=542 compactions=0


runtime: 00:14:51.781
vars: 226586, evals: 477011

|rho|=226586
|stable|=146401
|infl|=226552
|wpoint|=275
|sides|=13406
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=200460
|called|=468
Found 12056 contexts for 100 functions. Top 5 functions:
2952	contexts for L:entry state of BarStationNameAZCmp (5871) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8624:1-8636:1
1968	contexts for L:entry state of BarStationQuickmixNameCmp (5873) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8646:1-8665:1
1968	contexts for L:entry state of BarStationQuickmix01Cmp (5870) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:8613:1-8623:1
649	contexts for L:entry state of BarUiMsg (1254) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:7296:1-7326:1
614	contexts for L:entry state of vprintf (5804) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pianobar/main.c:3332:1-3341:1

Memory statistics: total=1530346.28MB, max=1633.61MB, minor=1526576.64MB, major=82636.41MB, promoted=78866.78MB
    minor collections=728270  major collections=543 compactions=0

