./goblint --conf conf/svcomp24.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/klib/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:3-223:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:240:3-246:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:247:3-253:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:277:5-281:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:283:5-287:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:289:5-292:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:295:5-298:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:315:3-321:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:348:5-350:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:356:5-362:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:363:5-369:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:394:3-397:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:402:3-406:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:408:3-410:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:423:3-426:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:429:3-432:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:456:7-460:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:463:7-465:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:473:5-476:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:496:7-507:7 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:492:3-536:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:565:3-574:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:578:3-582:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:584:3-587:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:630:3-635:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:655:5-665:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676:5-680:5 with factor 8
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: 43
functionCalls: 441
loops: 37
loopBreaks: 0
controlFlowStatements: 1427
expressions: 8934
instructions: 1154
integralVars: (4,79)
arrayVars: (2,0)
pointerVars: (3,60)

Complexity estimates:
File: 2505050
Total: 2505050
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.132
vars: 4481, evals: 30797

|rho|=4481
|stable|=4349
|infl|=4452
|wpoint|=29
|sides|=360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4022
|called|=37
Found 71 contexts for 8 functions. Top 5 functions:
26	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
26	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
13	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_pipeline (462) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:540:1-592:1

Memory statistics: total=29623.86MB, max=49.01MB, minor=29591.56MB, major=291.98MB, promoted=259.68MB
    minor collections=14129  major collections=37 compactions=0


runtime: 00:00:20.151
vars: 8522, evals: 62275

|rho|=8522
|stable|=8324
|infl|=8495
|wpoint|=58
|sides|=485
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=7882
|called|=36
Found 141 contexts for 8 functions. Top 5 functions:
54	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
54	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
27	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_pipeline (462) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:540:1-592:1

Memory statistics: total=58845.61MB, max=74.54MB, minor=58812.71MB, major=537.89MB, promoted=505.00MB
    minor collections=28070  major collections=50 compactions=0


runtime: 00:00:30.178
vars: 13038, evals: 90303

|rho|=13038
|stable|=8061
|infl|=13009
|wpoint|=84
|sides|=604
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=12215
|called|=40
Found 221 contexts for 8 functions. Top 5 functions:
94	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
78	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
43	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_pipeline (462) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:540:1-592:1

Memory statistics: total=88092.49MB, max=98.58MB, minor=88059.28MB, major=778.24MB, promoted=745.03MB
    minor collections=42021  major collections=59 compactions=0


runtime: 00:00:40.206
vars: 17211, evals: 116424

|rho|=17211
|stable|=12266
|infl|=17189
|wpoint|=116
|sides|=677
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=16255
|called|=34
Found 294 contexts for 8 functions. Top 5 functions:
123	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
108	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
57	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_pipeline (462) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:540:1-592:1

Memory statistics: total=117011.60MB, max=130.38MB, minor=116977.70MB, major=1013.94MB, promoted=980.04MB
    minor collections=55814  major collections=66 compactions=0


runtime: 00:00:50.217
vars: 20381, evals: 140586

|rho|=20381
|stable|=11346
|infl|=20354
|wpoint|=134
|sides|=871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19186
|called|=38
Found 343 contexts for 8 functions. Top 5 functions:
141	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
126	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
66	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=145286.23MB, max=149.94MB, minor=145235.23MB, major=1256.02MB, promoted=1205.03MB
    minor collections=69291  major collections=71 compactions=0


runtime: 00:01:00.236
vars: 22862, evals: 164558

|rho|=22862
|stable|=14607
|infl|=22829
|wpoint|=153
|sides|=941
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21564
|called|=49
Found 386 contexts for 8 functions. Top 5 functions:
158	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
143	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
75	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=173586.57MB, max=172.43MB, minor=173535.44MB, major=1476.55MB, promoted=1425.42MB
    minor collections=82789  major collections=76 compactions=0


runtime: 00:01:10.255
vars: 25147, evals: 187833

|rho|=25147
|stable|=17731
|infl|=25122
|wpoint|=168
|sides|=1004
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23756
|called|=46
Found 425 contexts for 8 functions. Top 5 functions:
173	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
84	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=201034.89MB, max=198.30MB, minor=200983.37MB, major=1689.11MB, promoted=1637.59MB
    minor collections=95879  major collections=80 compactions=0


runtime: 00:01:20.275
vars: 27208, evals: 207383

|rho|=27208
|stable|=4987
|infl|=27195
|wpoint|=166
|sides|=1044
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25744
|called|=42
Found 459 contexts for 8 functions. Top 5 functions:
203	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
86	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
6	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
3	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=226765.30MB, max=198.30MB, minor=226700.26MB, major=1904.56MB, promoted=1839.52MB
    minor collections=108144  major collections=83 compactions=0


runtime: 00:01:30.290
vars: 28141, evals: 229082

|rho|=28141
|stable|=19717
|infl|=28107
|wpoint|=173
|sides|=1067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26639
|called|=60
Found 474 contexts for 8 functions. Top 5 functions:
208	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
162	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
89	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
4	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=253311.84MB, max=198.30MB, minor=253217.12MB, major=2142.71MB, promoted=2047.99MB
    minor collections=120790  major collections=87 compactions=0


runtime: 00:01:40.306
vars: 31216, evals: 252728

|rho|=31216
|stable|=22793
|infl|=31183
|wpoint|=193
|sides|=1150
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29588
|called|=38
Found 527 contexts for 8 functions. Top 5 functions:
229	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
184	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
99	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
4	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=280837.97MB, max=228.04MB, minor=280743.17MB, major=2355.94MB, promoted=2261.15MB
    minor collections=133918  major collections=90 compactions=0


runtime: 00:01:50.337
vars: 34175, evals: 276172

|rho|=34175
|stable|=25755
|infl|=34141
|wpoint|=213
|sides|=1235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32421
|called|=35
Found 579 contexts for 8 functions. Top 5 functions:
250	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
204	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
110	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
4	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=308348.44MB, max=262.25MB, minor=308252.49MB, major=2569.01MB, promoted=2473.06MB
    minor collections=147037  major collections=93 compactions=0


runtime: 00:02:00.357
vars: 37448, evals: 299340

|rho|=37448
|stable|=28489
|infl|=37424
|wpoint|=230
|sides|=1309
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35577
|called|=46
Found 632 contexts for 8 functions. Top 5 functions:
278	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
218	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
119	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
8	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=335409.05MB, max=262.25MB, minor=335304.05MB, major=2787.18MB, promoted=2682.18MB
    minor collections=159938  major collections=96 compactions=0


runtime: 00:02:10.376
vars: 39752, evals: 320687

|rho|=39752
|stable|=30860
|infl|=39730
|wpoint|=246
|sides|=1373
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37785
|called|=43
Found 672 contexts for 8 functions. Top 5 functions:
294	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
234	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
127	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
8	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=361540.02MB, max=301.59MB, minor=361434.85MB, major=2986.11MB, promoted=2880.94MB
    minor collections=172399  major collections=98 compactions=0


runtime: 00:02:20.392
vars: 42317, evals: 342270

|rho|=42317
|stable|=33480
|infl|=42290
|wpoint|=263
|sides|=1442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40244
|called|=44
Found 717 contexts for 8 functions. Top 5 functions:
312	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
252	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
136	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
8	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=387856.55MB, max=301.59MB, minor=387750.67MB, major=3187.87MB, promoted=3081.99MB
    minor collections=184950  major collections=101 compactions=0


runtime: 00:02:30.411
vars: 44832, evals: 363272

|rho|=44832
|stable|=36043
|infl|=44810
|wpoint|=274
|sides|=1503
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42662
|called|=46
Found 760 contexts for 8 functions. Top 5 functions:
337	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
262	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
142	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
9	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
6	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=414497.38MB, max=301.59MB, minor=414382.54MB, major=3400.11MB, promoted=3285.27MB
    minor collections=197650  major collections=103 compactions=0


runtime: 00:02:40.431
vars: 45743, evals: 382009

|rho|=45743
|stable|=29471
|infl|=45730
|wpoint|=274
|sides|=1521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43539
|called|=38
Found 775 contexts for 8 functions. Top 5 functions:
352	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
262	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
142	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
9	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
6	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=440076.92MB, max=346.83MB, minor=439952.97MB, major=3601.84MB, promoted=3477.90MB
    minor collections=209844  major collections=105 compactions=0


runtime: 00:02:50.442
vars: 47589, evals: 403186

|rho|=47589
|stable|=37767
|infl|=47546
|wpoint|=284
|sides|=1569
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=45314
|called|=43
Found 806 contexts for 8 functions. Top 5 functions:
363	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
273	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
148	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
7	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=466670.23MB, max=346.83MB, minor=466520.83MB, major=3831.36MB, promoted=3681.96MB
    minor collections=222514  major collections=107 compactions=0


runtime: 00:03:00.461
vars: 50407, evals: 425451

|rho|=50407
|stable|=40529
|infl|=50372
|wpoint|=303
|sides|=1648
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48013
|called|=38
Found 855 contexts for 8 functions. Top 5 functions:
383	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
292	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
158	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
7	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=493677.98MB, max=346.83MB, minor=493528.49MB, major=4035.28MB, promoted=3885.78MB
    minor collections=235394  major collections=109 compactions=0


runtime: 00:03:10.477
vars: 53205, evals: 447405

|rho|=53205
|stable|=43344
|infl|=53174
|wpoint|=323
|sides|=1726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50695
|called|=44
Found 903 contexts for 8 functions. Top 5 functions:
402	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
312	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
167	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
7	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=520518.96MB, max=346.83MB, minor=520369.32MB, major=4237.22MB, promoted=4087.58MB
    minor collections=248194  major collections=111 compactions=0


runtime: 00:03:20.513
vars: 56267, evals: 469415

|rho|=56267
|stable|=46031
|infl|=56244
|wpoint|=338
|sides|=1794
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53648
|called|=39
Found 953 contexts for 8 functions. Top 5 functions:
429	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
324	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
176	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=547431.49MB, max=398.85MB, minor=547273.30MB, major=4448.66MB, promoted=4290.47MB
    minor collections=261024  major collections=113 compactions=0


runtime: 00:03:30.536
vars: 58571, evals: 489828

|rho|=58571
|stable|=48135
|infl|=58547
|wpoint|=354
|sides|=1858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55856
|called|=43
Found 993 contexts for 8 functions. Top 5 functions:
445	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
340	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
184	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=573278.32MB, max=398.85MB, minor=573119.92MB, major=4641.03MB, promoted=4482.64MB
    minor collections=273349  major collections=114 compactions=0


runtime: 00:03:40.551
vars: 60875, evals: 510637

|rho|=60875
|stable|=50560
|infl|=60851
|wpoint|=370
|sides|=1922
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58064
|called|=44
Found 1033 contexts for 8 functions. Top 5 functions:
461	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
356	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
192	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=599761.72MB, max=398.85MB, minor=599603.12MB, major=4837.69MB, promoted=4679.09MB
    minor collections=285979  major collections=116 compactions=0


runtime: 00:03:50.575
vars: 63360, evals: 530138

|rho|=63360
|stable|=53158
|infl|=63338
|wpoint|=380
|sides|=1980
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60454
|called|=46
Found 1076 contexts for 8 functions. Top 5 functions:
486	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
366	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
198	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
12	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=625317.43MB, max=458.68MB, minor=625149.82MB, major=5038.26MB, promoted=4870.64MB
    minor collections=298161  major collections=117 compactions=0


runtime: 00:04:00.594
vars: 64274, evals: 547859

|rho|=64274
|stable|=45161
|infl|=64261
|wpoint|=379
|sides|=1998
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61334
|called|=30
Found 1091 contexts for 8 functions. Top 5 functions:
501	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
366	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
198	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
12	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=650548.12MB, max=458.68MB, minor=650375.59MB, major=5227.32MB, promoted=5054.79MB
    minor collections=310191  major collections=119 compactions=0


runtime: 00:04:10.610
vars: 65685, evals: 567161

|rho|=65685
|stable|=54457
|infl|=65652
|wpoint|=388
|sides|=2031
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62694
|called|=34
Found 1114 contexts for 8 functions. Top 5 functions:
509	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
374	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
202	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
10	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=675910.29MB, max=458.68MB, minor=675705.80MB, major=5448.99MB, promoted=5244.50MB
    minor collections=322270  major collections=120 compactions=0


runtime: 00:04:20.621
vars: 68279, evals: 587894

|rho|=68279
|stable|=56991
|infl|=68250
|wpoint|=405
|sides|=2106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65178
|called|=43
Found 1159 contexts for 8 functions. Top 5 functions:
527	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
392	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
211	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
10	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=702020.20MB, max=458.68MB, minor=701815.59MB, major=5641.12MB, promoted=5436.51MB
    minor collections=334722  major collections=122 compactions=0


runtime: 00:04:30.632
vars: 70871, evals: 607976

|rho|=70871
|stable|=59507
|infl|=70841
|wpoint|=423
|sides|=2178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67662
|called|=30
Found 1204 contexts for 8 functions. Top 5 functions:
545	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
410	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
220	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
10	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=727479.13MB, max=458.68MB, minor=727273.33MB, major=5829.27MB, promoted=5623.47MB
    minor collections=346862  major collections=123 compactions=0


runtime: 00:04:40.660
vars: 73933, evals: 628697

|rho|=73933
|stable|=62291
|infl|=73909
|wpoint|=438
|sides|=2246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70615
|called|=39
Found 1254 contexts for 8 functions. Top 5 functions:
572	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
422	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
229	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=753336.54MB, max=527.48MB, minor=753122.18MB, major=6029.74MB, promoted=5815.38MB
    minor collections=359188  major collections=124 compactions=0


runtime: 00:04:50.695
vars: 76218, evals: 648669

|rho|=76218
|stable|=64592
|infl|=76191
|wpoint|=454
|sides|=2307
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72806
|called|=45
Found 1294 contexts for 8 functions. Top 5 functions:
588	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
438	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
237	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=779509.67MB, max=527.48MB, minor=779295.08MB, major=6220.76MB, promoted=6006.17MB
    minor collections=371669  major collections=125 compactions=0


runtime: 00:05:00.707
vars: 78253, evals: 668144

|rho|=78253
|stable|=66504
|infl|=78231
|wpoint|=468
|sides|=2366
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74755
|called|=46
Found 1329 contexts for 8 functions. Top 5 functions:
602	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
452	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
244	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=805230.27MB, max=527.48MB, minor=805014.39MB, major=6408.16MB, promoted=6192.29MB
    minor collections=383934  major collections=126 compactions=0


runtime: 00:05:10.722
vars: 80548, evals: 687772

|rho|=80548
|stable|=68882
|infl|=80521
|wpoint|=483
|sides|=2427
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76956
|called|=40
Found 1369 contexts for 8 functions. Top 5 functions:
618	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
468	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
252	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=831041.34MB, max=527.48MB, minor=830825.23MB, major=6594.77MB, promoted=6378.66MB
    minor collections=396243  major collections=128 compactions=0


runtime: 00:05:20.749
vars: 81944, evals: 704790

|rho|=81944
|stable|=70285
|infl|=81922
|wpoint|=486
|sides|=2456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78303
|called|=43
Found 1392 contexts for 8 functions. Top 5 functions:
635	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
470	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
254	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
15	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=856381.62MB, max=606.61MB, minor=856156.41MB, major=6788.10MB, promoted=6562.90MB
    minor collections=408323  major collections=129 compactions=0


runtime: 00:05:30.761
vars: 82804, evals: 723199

|rho|=82804
|stable|=68289
|infl|=82793
|wpoint|=489
|sides|=2474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79129
|called|=130
Found 1407 contexts for 8 functions. Top 5 functions:
650	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
470	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
254	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
15	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=881475.17MB, max=606.61MB, minor=881239.54MB, major=6977.13MB, promoted=6741.51MB
    minor collections=420284  major collections=130 compactions=0


runtime: 00:05:40.776
vars: 85195, evals: 742247

|rho|=85195
|stable|=72569
|infl|=85152
|wpoint|=500
|sides|=2537
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81426
|called|=43
Found 1448 contexts for 8 functions. Top 5 functions:
665	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
485	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
262	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
13	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=907001.30MB, max=606.61MB, minor=906741.30MB, major=7189.29MB, promoted=6929.29MB
    minor collections=432445  major collections=131 compactions=0


runtime: 00:05:50.791
vars: 87673, evals: 761557

|rho|=87673
|stable|=74852
|infl|=87642
|wpoint|=517
|sides|=2606
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83801
|called|=34
Found 1490 contexts for 8 functions. Top 5 functions:
682	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
502	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
270	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
13	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=932224.43MB, max=606.61MB, minor=931964.29MB, major=7370.97MB, promoted=7110.82MB
    minor collections=444473  major collections=132 compactions=0


runtime: 00:06:00.803
vars: 90240, evals: 780916

|rho|=90240
|stable|=77600
|infl|=90206
|wpoint|=534
|sides|=2675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86262
|called|=38
Found 1535 contexts for 8 functions. Top 5 functions:
700	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
520	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
279	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
13	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=957539.52MB, max=606.61MB, minor=957279.20MB, major=7553.21MB, promoted=7292.90MB
    minor collections=456545  major collections=133 compactions=0


runtime: 00:06:10.826
vars: 93020, evals: 800461

|rho|=93020
|stable|=80006
|infl|=92994
|wpoint|=547
|sides|=2735
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88945
|called|=48
Found 1580 contexts for 8 functions. Top 5 functions:
725	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
530	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
287	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=983004.59MB, max=606.61MB, minor=982735.70MB, major=7745.81MB, promoted=7476.91MB
    minor collections=468684  major collections=134 compactions=0


runtime: 00:06:20.842
vars: 95044, evals: 818845

|rho|=95044
|stable|=82030
|infl|=95018
|wpoint|=561
|sides|=2791
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90885
|called|=44
Found 1615 contexts for 8 functions. Top 5 functions:
739	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
544	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
294	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1007957.92MB, max=697.60MB, minor=1007688.78MB, major=7922.38MB, promoted=7653.24MB
    minor collections=480584  major collections=135 compactions=0


runtime: 00:06:30.861
vars: 97071, evals: 837372

|rho|=97071
|stable|=83860
|infl|=97047
|wpoint|=576
|sides|=2850
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92826
|called|=39
Found 1650 contexts for 8 functions. Top 5 functions:
753	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
558	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
301	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1033169.43MB, max=697.60MB, minor=1032900.02MB, major=8101.08MB, promoted=7831.67MB
    minor collections=492606  major collections=136 compactions=0


runtime: 00:06:40.888
vars: 99085, evals: 855411

|rho|=99085
|stable|=86068
|infl|=99059
|wpoint|=591
|sides|=2903
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94758
|called|=39
Found 1685 contexts for 8 functions. Top 5 functions:
767	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
572	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
308	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1057920.31MB, max=697.60MB, minor=1057650.63MB, major=8275.87MB, promoted=8006.20MB
    minor collections=504409  major collections=136 compactions=0


runtime: 00:06:50.908
vars: 100468, evals: 871093

|rho|=100468
|stable|=87499
|infl|=100445
|wpoint|=592
|sides|=2932
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96092
|called|=38
Found 1708 contexts for 8 functions. Top 5 functions:
784	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
574	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
310	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
18	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
15	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1082051.96MB, max=697.60MB, minor=1081773.17MB, major=8457.60MB, promoted=8178.82MB
    minor collections=515912  major collections=137 compactions=0


runtime: 00:07:00.935
vars: 101334, evals: 887895

|rho|=101334
|stable|=84868
|infl|=101321
|wpoint|=592
|sides|=2950
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96924
|called|=45
Found 1723 contexts for 8 functions. Top 5 functions:
799	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
574	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
310	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
18	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
15	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1106235.45MB, max=697.60MB, minor=1105947.39MB, major=8635.60MB, promoted=8347.54MB
    minor collections=527440  major collections=138 compactions=0


runtime: 00:07:10.950
vars: 103321, evals: 906160

|rho|=103321
|stable|=89240
|infl|=103288
|wpoint|=603
|sides|=2999
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98836
|called|=44
Found 1756 contexts for 8 functions. Top 5 functions:
811	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
586	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
316	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
16	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1131567.50MB, max=697.60MB, minor=1131253.64MB, major=8843.66MB, promoted=8529.80MB
    minor collections=539508  major collections=139 compactions=0


runtime: 00:07:20.962
vars: 105674, evals: 924846

|rho|=105674
|stable|=91646
|infl|=105634
|wpoint|=619
|sides|=3068
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101088
|called|=40
Found 1798 contexts for 8 functions. Top 5 functions:
828	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
602	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
325	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
16	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1156870.75MB, max=697.60MB, minor=1156556.79MB, major=9021.85MB, promoted=8707.89MB
    minor collections=551574  major collections=140 compactions=0


runtime: 00:07:30.977
vars: 107998, evals: 942958

|rho|=107998
|stable|=93963
|infl|=107963
|wpoint|=636
|sides|=3132
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103315
|called|=39
Found 1838 contexts for 8 functions. Top 5 functions:
844	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
618	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
333	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
16	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1181382.86MB, max=802.24MB, minor=1181068.76MB, major=9194.30MB, promoted=8880.19MB
    minor collections=563263  major collections=141 compactions=0


runtime: 00:07:40.993
vars: 110705, evals: 961481

|rho|=110705
|stable|=96462
|infl|=110682
|wpoint|=649
|sides|=3190
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105929
|called|=36
Found 1881 contexts for 8 functions. Top 5 functions:
868	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
628	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
340	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1206225.55MB, max=802.24MB, minor=1205902.90MB, major=9377.96MB, promoted=9055.32MB
    minor collections=575105  major collections=141 compactions=0


runtime: 00:07:51.016
vars: 112721, evals: 979055

|rho|=112721
|stable|=98279
|infl|=112698
|wpoint|=662
|sides|=3246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107861
|called|=38
Found 1916 contexts for 8 functions. Top 5 functions:
882	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
642	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
347	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1230820.28MB, max=802.24MB, minor=1230497.36MB, major=9548.55MB, promoted=9225.63MB
    minor collections=586833  major collections=142 compactions=0


runtime: 00:08:01.027
vars: 114726, evals: 996410

|rho|=114726
|stable|=100234
|infl|=114699
|wpoint|=675
|sides|=3299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109784
|called|=38
Found 1951 contexts for 8 functions. Top 5 functions:
896	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
656	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
354	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1255182.38MB, max=802.24MB, minor=1254859.14MB, major=9717.86MB, promoted=9394.62MB
    minor collections=598451  major collections=143 compactions=0


runtime: 00:08:11.058
vars: 116720, evals: 1013918

|rho|=116720
|stable|=102301
|infl|=116687
|wpoint|=690
|sides|=3355
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111695
|called|=45
Found 1986 contexts for 8 functions. Top 5 functions:
910	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
670	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
361	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1279957.37MB, max=802.24MB, minor=1279633.88MB, major=9889.95MB, promoted=9566.46MB
    minor collections=610265  major collections=144 compactions=0


runtime: 00:08:21.078
vars: 118941, evals: 1030766

|rho|=118941
|stable|=104515
|infl|=118919
|wpoint|=698
|sides|=3408
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113830
|called|=46
Found 2024 contexts for 8 functions. Top 5 functions:
933	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
678	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
366	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
21	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
18	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1304135.20MB, max=802.24MB, minor=1303802.66MB, major=10069.22MB, promoted=9736.68MB
    minor collections=621790  major collections=144 compactions=0


runtime: 00:08:31.089
vars: 119864, evals: 1045224

|rho|=119864
|stable|=92028
|infl|=119851
|wpoint|=697
|sides|=3426
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114719
|called|=42
Found 2039 contexts for 8 functions. Top 5 functions:
948	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
678	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
366	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
21	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
18	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1327574.51MB, max=802.24MB, minor=1327236.89MB, major=10235.67MB, promoted=9898.05MB
    minor collections=632965  major collections=145 compactions=0


runtime: 00:08:41.112
vars: 120406, evals: 1062044

|rho|=120406
|stable|=104935
|infl|=120372
|wpoint|=698
|sides|=3435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115246
|called|=43
Found 2047 contexts for 8 functions. Top 5 functions:
950	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
680	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
367	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
19	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1352288.83MB, max=802.24MB, minor=1351921.07MB, major=10436.37MB, promoted=10068.61MB
    minor collections=644736  major collections=146 compactions=0


runtime: 00:08:51.128
vars: 122690, evals: 1079423

|rho|=122690
|stable|=107259
|infl|=122657
|wpoint|=714
|sides|=3499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117434
|called|=36
Found 2087 contexts for 8 functions. Top 5 functions:
966	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
696	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
375	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
19	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1376697.11MB, max=922.58MB, minor=1376329.16MB, major=10604.86MB, promoted=10236.91MB
    minor collections=656375  major collections=146 compactions=0


runtime: 00:09:01.143
vars: 124733, evals: 1096290

|rho|=124733
|stable|=109244
|infl|=124702
|wpoint|=729
|sides|=3558
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119391
|called|=40
Found 2122 contexts for 8 functions. Top 5 functions:
980	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
710	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
382	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
19	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1400435.52MB, max=922.58MB, minor=1400067.39MB, major=10767.14MB, promoted=10399.02MB
    minor collections=667695  major collections=147 compactions=0


runtime: 00:09:11.154
vars: 127026, evals: 1113750

|rho|=127026
|stable|=111595
|infl|=126993
|wpoint|=744
|sides|=3619
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121590
|called|=44
Found 2162 contexts for 8 functions. Top 5 functions:
996	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
726	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
390	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
19	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1424948.22MB, max=922.58MB, minor=1424579.94MB, major=10935.93MB, promoted=10567.64MB
    minor collections=679384  major collections=148 compactions=0


runtime: 00:09:21.173
vars: 129523, evals: 1131204

|rho|=129523
|stable|=113527
|infl|=129501
|wpoint|=756
|sides|=3674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124000
|called|=38
Found 2202 contexts for 8 functions. Top 5 functions:
1019	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
734	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
397	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1449134.47MB, max=922.58MB, minor=1448757.63MB, major=11111.85MB, promoted=10735.01MB
    minor collections=690914  major collections=148 compactions=0


runtime: 00:09:31.184
vars: 131328, evals: 1147162

|rho|=131328
|stable|=115510
|infl|=131301
|wpoint|=768
|sides|=3724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125729
|called|=49
Found 2234 contexts for 8 functions. Top 5 functions:
1032	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
746	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
404	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1472368.75MB, max=922.58MB, minor=1471987.42MB, major=11272.90MB, promoted=10891.57MB
    minor collections=701992  major collections=149 compactions=0


runtime: 00:09:41.200
vars: 133258, evals: 1163857

|rho|=133258
|stable|=117440
|infl|=133232
|wpoint|=781
|sides|=3775
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127581
|called|=62
Found 2267 contexts for 8 functions. Top 5 functions:
1045	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
760	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
410	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1496633.49MB, max=922.58MB, minor=1496251.88MB, major=11437.97MB, promoted=11056.36MB
    minor collections=713563  major collections=149 compactions=0


runtime: 00:09:51.219
vars: 134995, evals: 1179819

|rho|=134995
|stable|=119072
|infl|=134971
|wpoint|=794
|sides|=3826
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129244
|called|=43
Found 2297 contexts for 8 functions. Top 5 functions:
1057	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
772	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
416	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1520016.43MB, max=922.58MB, minor=1519634.39MB, major=11596.62MB, promoted=11214.58MB
    minor collections=724713  major collections=150 compactions=0


runtime: 00:10:01.230
vars: 137244, evals: 1196523

|rho|=137244
|stable|=121640
|infl|=137219
|wpoint|=805
|sides|=3881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131405
|called|=38
Found 2337 contexts for 8 functions. Top 5 functions:
1081	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
782	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
422	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1544295.63MB, max=922.58MB, minor=1543911.19MB, major=11764.97MB, promoted=11380.53MB
    minor collections=736290  major collections=151 compactions=0


runtime: 00:10:11.257
vars: 138302, evals: 1209167

|rho|=138302
|stable|=122538
|infl|=138281
|wpoint|=806
|sides|=3898
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132429
|called|=36
Found 2354 contexts for 8 functions. Top 5 functions:
1096	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
782	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
422	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
24	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
21	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1566138.09MB, max=922.58MB, minor=1565744.47MB, major=11923.69MB, promoted=11530.07MB
    minor collections=746701  major collections=151 compactions=0


runtime: 00:10:21.273
vars: 138394, evals: 1224628

|rho|=138394
|stable|=121260
|infl|=138381
|wpoint|=804
|sides|=3902
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132514
|called|=36
Found 2355 contexts for 8 functions. Top 5 functions:
1097	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
782	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
422	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
24	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
21	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1589653.65MB, max=922.58MB, minor=1589250.83MB, major=12086.48MB, promoted=11683.67MB
    minor collections=757910  major collections=152 compactions=0


runtime: 00:10:31.284
vars: 140383, evals: 1240984

|rho|=140383
|stable|=123413
|infl|=140352
|wpoint|=815
|sides|=3954
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134426
|called|=42
Found 2388 contexts for 8 functions. Top 5 functions:
1109	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
794	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
428	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1613791.65MB, max=1060.96MB, minor=1613363.00MB, major=12280.91MB, promoted=11852.26MB
    minor collections=769408  major collections=152 compactions=0


runtime: 00:10:41.295
vars: 142476, evals: 1257404

|rho|=142476
|stable|=125632
|infl|=142442
|wpoint|=829
|sides|=4012
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136431
|called|=39
Found 2425 contexts for 8 functions. Top 5 functions:
1124	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
808	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
436	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1637750.93MB, max=1060.96MB, minor=1637321.94MB, major=12439.83MB, promoted=12010.85MB
    minor collections=780834  major collections=153 compactions=0


runtime: 00:10:51.314
vars: 144688, evals: 1274131

|rho|=144688
|stable|=127837
|infl|=144654
|wpoint|=845
|sides|=4071
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138553
|called|=45
Found 2463 contexts for 8 functions. Top 5 functions:
1139	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
824	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
443	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1661899.08MB, max=1060.96MB, minor=1661469.92MB, major=12602.53MB, promoted=12173.36MB
    minor collections=792349  major collections=153 compactions=0


runtime: 00:11:01.325
vars: 146503, evals: 1289936

|rho|=146503
|stable|=129597
|infl|=146472
|wpoint|=859
|sides|=4123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140293
|called|=42
Found 2494 contexts for 8 functions. Top 5 functions:
1151	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
836	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
450	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1685049.98MB, max=1060.96MB, minor=1684620.53MB, major=12755.99MB, promoted=12326.54MB
    minor collections=803388  major collections=154 compactions=0


runtime: 00:11:11.357
vars: 148989, evals: 1306642

|rho|=148989
|stable|=131769
|infl|=148962
|wpoint|=868
|sides|=4176
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142691
|called|=39
Found 2535 contexts for 8 functions. Top 5 functions:
1175	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
844	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
457	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1709131.34MB, max=1060.96MB, minor=1708691.23MB, major=12931.42MB, promoted=12491.31MB
    minor collections=814867  major collections=155 compactions=0


runtime: 00:11:21.380
vars: 150682, evals: 1321994

|rho|=150682
|stable|=133463
|infl|=150650
|wpoint|=880
|sides|=4224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144313
|called|=43
Found 2565 contexts for 8 functions. Top 5 functions:
1187	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
856	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
463	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1732188.41MB, max=1060.96MB, minor=1731747.93MB, major=13085.14MB, promoted=12644.66MB
    minor collections=825862  major collections=155 compactions=0


runtime: 00:11:31.391
vars: 152654, evals: 1339000

|rho|=152654
|stable|=135434
|infl|=152628
|wpoint|=893
|sides|=4275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146206
|called|=52
Found 2598 contexts for 8 functions. Top 5 functions:
1200	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
870	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
469	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1757579.46MB, max=1060.96MB, minor=1757138.70MB, major=13254.27MB, promoted=12813.51MB
    minor collections=837970  major collections=156 compactions=0


runtime: 00:11:41.418
vars: 154378, evals: 1354363

|rho|=154378
|stable|=137158
|infl|=154352
|wpoint|=905
|sides|=4323
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147858
|called|=46
Found 2628 contexts for 8 functions. Top 5 functions:
1212	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
882	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
475	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1780948.86MB, max=1060.96MB, minor=1780507.60MB, major=13408.94MB, promoted=12967.68MB
    minor collections=849113  major collections=156 compactions=0


runtime: 00:11:51.429
vars: 156028, evals: 1368833

|rho|=156028
|stable|=138813
|infl|=156005
|wpoint|=910
|sides|=4360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149447
|called|=39
Found 2656 contexts for 8 functions. Top 5 functions:
1231	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
886	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
478	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
27	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
24	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1804167.21MB, max=1060.96MB, minor=1803716.94MB, major=13574.86MB, promoted=13124.59MB
    minor collections=860181  major collections=157 compactions=0


runtime: 00:12:01.449
vars: 156924, evals: 1381713

|rho|=156924
|stable|=128170
|infl|=156911
|wpoint|=909
|sides|=4378
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150309
|called|=34
Found 2671 contexts for 8 functions. Top 5 functions:
1246	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
886	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
478	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
27	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
24	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1825735.08MB, max=1060.96MB, minor=1825279.68MB, major=13721.31MB, promoted=13265.92MB
    minor collections=870463  major collections=157 compactions=0


runtime: 00:12:11.472
vars: 157462, evals: 1396540

|rho|=157462
|stable|=139227
|infl|=157429
|wpoint|=910
|sides|=4387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=150832
|called|=40
Found 2679 contexts for 8 functions. Top 5 functions:
1248	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
888	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
479	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1848822.27MB, max=1060.96MB, minor=1848336.71MB, major=13905.43MB, promoted=13419.87MB
    minor collections=881458  major collections=158 compactions=0


runtime: 00:12:21.486
vars: 159474, evals: 1412144

|rho|=159474
|stable|=141217
|infl|=159440
|wpoint|=924
|sides|=4443
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152760
|called|=44
Found 2714 contexts for 8 functions. Top 5 functions:
1262	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
902	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
486	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1872314.90MB, max=1060.96MB, minor=1871828.86MB, major=14059.91MB, promoted=13573.87MB
    minor collections=892660  major collections=158 compactions=0


runtime: 00:12:31.518
vars: 161505, evals: 1428688

|rho|=161505
|stable|=143254
|infl|=161474
|wpoint|=939
|sides|=4502
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154705
|called|=35
Found 2749 contexts for 8 functions. Top 5 functions:
1276	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
916	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
493	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1897127.35MB, max=1060.96MB, minor=1896641.21MB, major=14223.41MB, promoted=13737.27MB
    minor collections=904492  major collections=158 compactions=0


runtime: 00:12:41.529
vars: 163521, evals: 1444349

|rho|=163521
|stable|=145160
|infl|=163490
|wpoint|=953
|sides|=4558
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156637
|called|=40
Found 2784 contexts for 8 functions. Top 5 functions:
1290	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
930	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
500	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1920762.32MB, max=1060.96MB, minor=1920275.94MB, major=14377.95MB, promoted=13891.58MB
    minor collections=915763  major collections=159 compactions=0


runtime: 00:12:51.560
vars: 165172, evals: 1460654

|rho|=165172
|stable|=146726
|infl|=165141
|wpoint|=965
|sides|=4601
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158225
|called|=35
Found 2812 contexts for 8 functions. Top 5 functions:
1300	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
940	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
508	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1945179.56MB, max=1220.11MB, minor=1944693.04MB, major=14535.65MB, promoted=14049.13MB
    minor collections=927406  major collections=159 compactions=0


runtime: 00:13:01.571
vars: 167817, evals: 1476614

|rho|=167817
|stable|=149140
|infl|=167789
|wpoint|=976
|sides|=4660
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=160772
|called|=43
Found 2856 contexts for 8 functions. Top 5 functions:
1326	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
950	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
514	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1969148.10MB, max=1220.11MB, minor=1968652.85MB, major=14705.66MB, promoted=14210.41MB
    minor collections=938832  major collections=160 compactions=0


runtime: 00:13:11.586
vars: 169592, evals: 1492380

|rho|=169592
|stable|=150971
|infl|=169556
|wpoint|=989
|sides|=4709
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162474
|called|=46
Found 2887 contexts for 8 functions. Top 5 functions:
1338	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
963	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
520	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1993415.77MB, max=1220.11MB, minor=1992920.23MB, major=14865.04MB, promoted=14369.51MB
    minor collections=950404  major collections=160 compactions=0


runtime: 00:13:21.597
vars: 171282, evals: 1507780

|rho|=171282
|stable|=152656
|infl|=171255
|wpoint|=1001
|sides|=4756
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=164093
|called|=54
Found 2916 contexts for 8 functions. Top 5 functions:
1350	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
974	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
526	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2017358.83MB, max=1220.11MB, minor=2016862.89MB, major=15021.29MB, promoted=14525.35MB
    minor collections=961821  major collections=161 compactions=0


runtime: 00:13:31.629
vars: 172919, evals: 1522728

|rho|=172919
|stable|=154142
|infl|=172897
|wpoint|=1012
|sides|=4802
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=165662
|called|=44
Found 2944 contexts for 8 functions. Top 5 functions:
1361	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
986	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
531	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2040711.48MB, max=1220.11MB, minor=2040215.15MB, major=15173.77MB, promoted=14677.44MB
    minor collections=972957  major collections=161 compactions=0


runtime: 00:13:41.644
vars: 174564, evals: 1537260

|rho|=174564
|stable|=155985
|infl|=174542
|wpoint|=1016
|sides|=4836
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167248
|called|=39
Found 2972 contexts for 8 functions. Top 5 functions:
1380	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
990	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
534	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
30	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2064925.17MB, max=1220.11MB, minor=2064419.62MB, major=15344.52MB, promoted=14838.97MB
    minor collections=984499  major collections=162 compactions=0


runtime: 00:13:51.671
vars: 175454, evals: 1550674

|rho|=175454
|stable|=146953
|infl|=175441
|wpoint|=1015
|sides|=4854
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168104
|called|=34
Found 2987 contexts for 8 functions. Top 5 functions:
1395	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
990	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
534	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
30	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2087794.75MB, max=1220.11MB, minor=2087284.10MB, major=15495.12MB, promoted=14984.47MB
    minor collections=995402  major collections=162 compactions=0


runtime: 00:14:01.682
vars: 176289, evals: 1566376

|rho|=176289
|stable|=156610
|infl|=176256
|wpoint|=1019
|sides|=4871
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168912
|called|=45
Found 3000 contexts for 8 functions. Top 5 functions:
1399	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
994	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
536	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2112778.16MB, max=1220.11MB, minor=2112237.27MB, major=15689.39MB, promoted=15148.51MB
    minor collections=1007301  major collections=163 compactions=0


runtime: 00:14:11.697
vars: 178274, evals: 1581202

|rho|=178274
|stable|=158638
|infl|=178229
|wpoint|=1033
|sides|=4927
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170814
|called|=45
Found 3035 contexts for 8 functions. Top 5 functions:
1413	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1008	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
543	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2135788.45MB, max=1220.11MB, minor=2135246.99MB, major=15838.16MB, promoted=15296.70MB
    minor collections=1018274  major collections=163 compactions=0


runtime: 00:14:21.724
vars: 180122, evals: 1596621

|rho|=180122
|stable|=160425
|infl|=180087
|wpoint|=1045
|sides|=4980
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=172583
|called|=39
Found 3067 contexts for 8 functions. Top 5 functions:
1426	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1020	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
550	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2159459.72MB, max=1220.11MB, minor=2158918.13MB, major=15990.87MB, promoted=15449.29MB
    minor collections=1029561  major collections=163 compactions=0


runtime: 00:14:31.738
vars: 181854, evals: 1610282

|rho|=181854
|stable|=162218
|infl|=181821
|wpoint|=1058
|sides|=5028
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=174243
|called|=34
Found 3097 contexts for 8 functions. Top 5 functions:
1438	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1032	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
556	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2180599.45MB, max=1220.11MB, minor=2180057.67MB, major=16126.94MB, promoted=15585.16MB
    minor collections=1039642  major collections=164 compactions=0


runtime: 00:14:41.758
vars: 183580, evals: 1625316

|rho|=183580
|stable|=163801
|infl|=183548
|wpoint|=1071
|sides|=5076
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175899
|called|=35
Found 3127 contexts for 8 functions. Top 5 functions:
1449	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1044	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
563	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2204014.37MB, max=1220.11MB, minor=2203472.35MB, major=16276.55MB, promoted=15734.53MB
    minor collections=1050807  major collections=164 compactions=0


runtime: 00:14:51.773
vars: 186068, evals: 1641471

|rho|=186068
|stable|=166040
|infl|=186041
|wpoint|=1081
|sides|=5128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=178300
|called|=50
Found 3167 contexts for 8 functions. Top 5 functions:
1473	contexts for L:entry state of worker_for (2263) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1052	contexts for L:entry state of steal_work (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
569	contexts for L:entry state of ktf_worker (2259) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
32	contexts for L:entry state of worker_pipeline (2264) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
29	contexts for L:entry state of kt_for (390) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2228725.57MB, max=1220.11MB, minor=2228174.95MB, major=16448.08MB, promoted=15897.45MB
    minor collections=1062587  major collections=165 compactions=0

