./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/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.113
vars: 4852, evals: 30835

|rho|=4852
|stable|=4846
|infl|=4819
|wpoint|=31
|sides|=373
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4376
|called|=36
Found 78 contexts for 8 functions. Top 5 functions:
29	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
28	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
15	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=29282.14MB, max=49.01MB, minor=29249.85MB, major=290.00MB, promoted=257.71MB
    minor collections=13965  major collections=36 compactions=0


runtime: 00:00:20.132
vars: 8724, evals: 61440

|rho|=8724
|stable|=8475
|infl|=8694
|wpoint|=59
|sides|=488
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8082
|called|=41
Found 144 contexts for 8 functions. Top 5 functions:
54	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
54	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
30	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=57511.76MB, max=85.72MB, minor=57478.94MB, major=527.23MB, promoted=494.41MB
    minor collections=27432  major collections=48 compactions=0


runtime: 00:00:30.167
vars: 10358, evals: 80705

|rho|=10358
|stable|=9947
|infl|=10343
|wpoint|=67
|sides|=622
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9558
|called|=87
Found 165 contexts for 8 functions. Top 5 functions:
69	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
54	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
34	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
4	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=84977.18MB, max=113.37MB, minor=84875.23MB, major=815.06MB, promoted=713.11MB
    minor collections=40502  major collections=59 compactions=0


runtime: 00:00:40.177
vars: 12048, evals: 91273

|rho|=12048
|stable|=6339
|infl|=12021
|wpoint|=75
|sides|=733
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=11116
|called|=48
Found 220 contexts for 8 functions. Top 5 functions:
80	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
64	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
40	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=113795.97MB, max=113.37MB, minor=113520.40MB, major=1247.81MB, promoted=972.25MB
    minor collections=54168  major collections=72 compactions=0


runtime: 00:00:50.192
vars: 15663, evals: 116997

|rho|=15663
|stable|=9105
|infl|=15641
|wpoint|=99
|sides|=814
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14599
|called|=46
Found 283 contexts for 8 functions. Top 5 functions:
105	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
90	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
52	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=142563.08MB, max=130.38MB, minor=142287.40MB, major=1478.74MB, promoted=1203.06MB
    minor collections=67888  major collections=78 compactions=0


runtime: 00:01:00.222
vars: 19170, evals: 141924

|rho|=19170
|stable|=12364
|infl|=19142
|wpoint|=123
|sides|=895
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17976
|called|=46
Found 345 contexts for 8 functions. Top 5 functions:
130	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
114	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
65	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=170615.85MB, max=149.94MB, minor=170339.23MB, major=1702.39MB, promoted=1425.77MB
    minor collections=81267  major collections=83 compactions=0


runtime: 00:01:10.248
vars: 22768, evals: 166720

|rho|=22768
|stable|=15486
|infl|=22742
|wpoint|=148
|sides|=976
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21442
|called|=44
Found 408 contexts for 8 functions. Top 5 functions:
155	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
140	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
77	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=198743.15MB, max=172.43MB, minor=198466.37MB, major=1926.24MB, promoted=1649.46MB
    minor collections=94682  major collections=87 compactions=0


runtime: 00:01:20.263
vars: 25636, evals: 191328

|rho|=25636
|stable|=17705
|infl|=25611
|wpoint|=168
|sides|=1036
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24214
|called|=47
Found 457 contexts for 8 functions. Top 5 functions:
173	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
90	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
2	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=226974.29MB, max=198.30MB, minor=226697.08MB, major=2143.99MB, promoted=1866.78MB
    minor collections=108145  major collections=91 compactions=0


runtime: 00:01:30.281
vars: 27979, evals: 208916

|rho|=27979
|stable|=20024
|infl|=27956
|wpoint|=167
|sides|=1072
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26489
|called|=38
Found 493 contexts for 8 functions. Top 5 functions:
203	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
4	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=253522.76MB, max=228.04MB, minor=253245.32MB, major=2343.63MB, promoted=2066.19MB
    minor collections=120806  major collections=94 compactions=0


runtime: 00:01:40.304
vars: 30116, evals: 223281

|rho|=30116
|stable|=21854
|infl|=30097
|wpoint|=169
|sides|=1104
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28562
|called|=30
Found 525 contexts for 8 functions. Top 5 functions:
233	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
6	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=279624.92MB, max=262.25MB, minor=279347.29MB, major=2539.08MB, promoted=2261.46MB
    minor collections=133254  major collections=96 compactions=0


runtime: 00:01:50.322
vars: 33114, evals: 238311

|rho|=33114
|stable|=24324
|infl|=33091
|wpoint|=169
|sides|=1152
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31464
|called|=38
Found 573 contexts for 8 functions. Top 5 functions:
278	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=304867.50MB, max=262.25MB, minor=304588.61MB, major=2732.90MB, promoted=2454.02MB
    minor collections=145292  major collections=99 compactions=0


runtime: 00:02:00.337
vars: 36156, evals: 253150

|rho|=36156
|stable|=26881
|infl|=36133
|wpoint|=169
|sides|=1200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34410
|called|=40
Found 621 contexts for 8 functions. Top 5 functions:
323	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=330672.85MB, max=301.59MB, minor=330393.20MB, major=2929.53MB, promoted=2649.88MB
    minor collections=157598  major collections=101 compactions=0


runtime: 00:02:10.368
vars: 38281, evals: 267620

|rho|=38281
|stable|=28747
|infl|=38260
|wpoint|=170
|sides|=1232
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36471
|called|=34
Found 653 contexts for 8 functions. Top 5 functions:
353	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=356265.84MB, max=301.59MB, minor=355985.99MB, major=3120.74MB, promoted=2840.89MB
    minor collections=169803  major collections=103 compactions=0


runtime: 00:02:20.379
vars: 41362, evals: 282499

|rho|=41362
|stable|=31351
|infl|=41341
|wpoint|=171
|sides|=1280
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39456
|called|=38
Found 701 contexts for 8 functions. Top 5 functions:
398	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=381956.28MB, max=346.83MB, minor=381676.17MB, major=3314.14MB, promoted=3034.03MB
    minor collections=182054  major collections=105 compactions=0


runtime: 00:02:30.406
vars: 44443, evals: 297126

|rho|=44443
|stable|=33924
|infl|=44422
|wpoint|=170
|sides|=1328
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42441
|called|=38
Found 749 contexts for 8 functions. Top 5 functions:
443	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=407350.77MB, max=346.83MB, minor=407069.86MB, major=3505.16MB, promoted=3224.24MB
    minor collections=194164  major collections=107 compactions=0


runtime: 00:02:40.432
vars: 47524, evals: 311762

|rho|=47524
|stable|=36493
|infl|=47503
|wpoint|=170
|sides|=1376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=45426
|called|=40
Found 797 contexts for 8 functions. Top 5 functions:
488	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=432980.05MB, max=398.85MB, minor=432698.83MB, major=3697.52MB, promoted=3416.29MB
    minor collections=206386  major collections=108 compactions=0


runtime: 00:02:50.451
vars: 51561, evals: 326835

|rho|=51561
|stable|=39906
|infl|=51538
|wpoint|=169
|sides|=1440
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49335
|called|=40
Found 861 contexts for 8 functions. Top 5 functions:
548	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=458869.10MB, max=398.85MB, minor=458587.48MB, major=3893.30MB, promoted=3611.68MB
    minor collections=218732  major collections=110 compactions=0


runtime: 00:03:00.478
vars: 53535, evals: 337019

|rho|=53535
|stable|=43869
|infl|=53520
|wpoint|=169
|sides|=1471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=34
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=487051.36MB, max=458.68MB, minor=486768.80MB, major=4075.56MB, promoted=3793.00MB
    minor collections=232170  major collections=111 compactions=0


runtime: 00:03:10.517
vars: 53538, evals: 340191

|rho|=53538
|stable|=41545
|infl|=53523
|wpoint|=169
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=34
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=515513.47MB, max=527.48MB, minor=515082.88MB, major=4411.19MB, promoted=3980.60MB
    minor collections=245673  major collections=113 compactions=0


runtime: 00:03:20.527
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=147
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=543246.05MB, max=527.48MB, minor=542612.10MB, major=4820.53MB, promoted=4186.58MB
    minor collections=258802  major collections=116 compactions=0


runtime: 00:03:30.538
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=132
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=571662.87MB, max=527.48MB, minor=570765.30MB, major=5304.23MB, promoted=4406.66MB
    minor collections=272228  major collections=119 compactions=0


runtime: 00:03:40.573
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=117
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=600127.47MB, max=606.61MB, minor=598968.94MB, major=5783.36MB, promoted=4624.83MB
    minor collections=285678  major collections=122 compactions=0


runtime: 00:03:50.604
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=102
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=628446.18MB, max=606.61MB, minor=627031.29MB, major=6253.53MB, promoted=4838.65MB
    minor collections=299061  major collections=124 compactions=0


runtime: 00:04:00.626
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=87
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=657107.40MB, max=606.61MB, minor=655433.92MB, major=6728.99MB, promoted=5055.51MB
    minor collections=312606  major collections=127 compactions=0


runtime: 00:04:10.649
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=72
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=685536.00MB, max=697.60MB, minor=683609.61MB, major=7196.38MB, promoted=5269.99MB
    minor collections=326042  major collections=129 compactions=0


runtime: 00:04:20.668
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=57
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=714104.11MB, max=697.60MB, minor=711925.46MB, major=7663.31MB, promoted=5484.67MB
    minor collections=339546  major collections=131 compactions=0


runtime: 00:04:30.683
vars: 53538, evals: 342061

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=43
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=742877.57MB, max=802.24MB, minor=740443.23MB, major=8135.98MB, promoted=5701.65MB
    minor collections=353145  major collections=133 compactions=0


runtime: 00:04:40.701
vars: 53538, evals: 342070

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=35
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=771268.98MB, max=802.24MB, minor=768643.91MB, major=8551.44MB, promoted=5926.38MB
    minor collections=366593  major collections=135 compactions=0


runtime: 00:04:50.720
vars: 53538, evals: 342085

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=174
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=32
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=799921.57MB, max=802.24MB, minor=797144.88MB, major=8878.17MB, promoted=6101.48MB
    minor collections=380185  major collections=136 compactions=0


runtime: 00:05:00.759
vars: 53538, evals: 342085

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=828312.31MB, max=922.58MB, minor=825263.57MB, major=9390.52MB, promoted=6341.77MB
    minor collections=393594  major collections=138 compactions=0


runtime: 00:05:10.781
vars: 53538, evals: 342085

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=856661.81MB, max=922.58MB, minor=853344.75MB, major=9900.09MB, promoted=6583.03MB
    minor collections=406985  major collections=140 compactions=0


runtime: 00:05:20.824
vars: 53538, evals: 342085

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=879936.04MB, max=1060.96MB, minor=876498.18MB, major=10433.37MB, promoted=6995.51MB
    minor collections=418027  major collections=142 compactions=0


runtime: 00:05:30.879
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=151
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=905783.95MB, max=1220.11MB, minor=902169.48MB, major=10867.58MB, promoted=7253.11MB
    minor collections=430269  major collections=143 compactions=0


runtime: 00:05:40.893
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=136
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=934498.70MB, max=1220.11MB, minor=930616.82MB, major=11346.77MB, promoted=7464.89MB
    minor collections=443835  major collections=145 compactions=0


runtime: 00:05:50.904
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=121
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=963751.93MB, max=1220.11MB, minor=959600.33MB, major=11829.51MB, promoted=7677.91MB
    minor collections=457656  major collections=147 compactions=0


runtime: 00:06:00.914
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=106
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=992337.45MB, max=1220.11MB, minor=987926.47MB, major=12295.30MB, promoted=7884.32MB
    minor collections=471164  major collections=148 compactions=0


runtime: 00:06:10.925
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=91
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1020915.77MB, max=1220.11MB, minor=1016248.14MB, major=12757.75MB, promoted=8090.12MB
    minor collections=484670  major collections=150 compactions=0


runtime: 00:06:20.935
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=76
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1049903.05MB, max=1220.11MB, minor=1044975.37MB, major=13226.12MB, promoted=8298.44MB
    minor collections=498369  major collections=152 compactions=0


runtime: 00:06:30.942
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=61
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1078863.68MB, max=1220.11MB, minor=1073679.05MB, major=13690.28MB, promoted=8505.65MB
    minor collections=512057  major collections=153 compactions=0


runtime: 00:06:40.952
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=176
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=46
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1107610.17MB, max=1220.11MB, minor=1102171.86MB, major=14148.30MB, promoted=8709.99MB
    minor collections=525645  major collections=155 compactions=0


runtime: 00:06:50.962
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1136271.17MB, max=1220.11MB, minor=1130587.43MB, major=14595.73MB, promoted=8912.00MB
    minor collections=539196  major collections=157 compactions=0


runtime: 00:07:00.973
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1164469.84MB, max=1220.11MB, minor=1158526.06MB, major=15093.13MB, promoted=9149.35MB
    minor collections=552519  major collections=158 compactions=0


runtime: 00:07:10.984
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1192854.09MB, max=1220.11MB, minor=1186641.38MB, major=15603.07MB, promoted=9390.36MB
    minor collections=565926  major collections=160 compactions=0


runtime: 00:07:20.995
vars: 53538, evals: 342219

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=173
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=31
Found 892 contexts for 8 functions. Top 5 functions:
578	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1214935.28MB, max=1220.11MB, minor=1208624.55MB, major=16124.21MB, promoted=9813.49MB
    minor collections=576410  major collections=162 compactions=0


runtime: 00:07:31.005
vars: 55099, evals: 349969

|rho|=55099
|stable|=43030
|infl|=55076
|wpoint|=496
|sides|=1891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52347
|called|=38
Found 1309 contexts for 8 functions. Top 5 functions:
593	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
30	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1237717.52MB, max=1220.11MB, minor=1231356.89MB, major=16382.69MB, promoted=10022.06MB
    minor collections=587250  major collections=162 compactions=0


runtime: 00:07:41.044
vars: 57192, evals: 364548

|rho|=57192
|stable|=44771
|infl|=57169
|wpoint|=496
|sides|=1923
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=54376
|called|=38
Found 1341 contexts for 8 functions. Top 5 functions:
623	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
32	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1263903.20MB, max=1220.11MB, minor=1257542.38MB, major=16572.04MB, promoted=10211.22MB
    minor collections=599737  major collections=163 compactions=0


runtime: 00:07:51.107
vars: 59284, evals: 378083

|rho|=59284
|stable|=46606
|infl|=59264
|wpoint|=496
|sides|=1955
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56404
|called|=31
Found 1373 contexts for 8 functions. Top 5 functions:
653	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
34	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1288932.96MB, max=1403.13MB, minor=1282571.96MB, major=16752.08MB, promoted=10391.08MB
    minor collections=611672  major collections=163 compactions=0


runtime: 00:08:01.117
vars: 62267, evals: 392442

|rho|=62267
|stable|=49089
|infl|=62244
|wpoint|=496
|sides|=2003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59291
|called|=39
Found 1421 contexts for 8 functions. Top 5 functions:
698	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
37	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1314059.34MB, max=1403.13MB, minor=1307698.08MB, major=16935.24MB, promoted=10573.98MB
    minor collections=623654  major collections=164 compactions=0


runtime: 00:08:11.128
vars: 64354, evals: 406803

|rho|=64354
|stable|=50837
|infl|=64331
|wpoint|=496
|sides|=2035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61314
|called|=39
Found 1453 contexts for 8 functions. Top 5 functions:
728	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
39	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1339806.60MB, max=1403.13MB, minor=1333445.19MB, major=17121.78MB, promoted=10760.37MB
    minor collections=635931  major collections=164 compactions=0


runtime: 00:08:21.139
vars: 66432, evals: 420445

|rho|=66432
|stable|=52575
|infl|=66409
|wpoint|=496
|sides|=2067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=63328
|called|=40
Found 1485 contexts for 8 functions. Top 5 functions:
758	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
41	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1364574.17MB, max=1403.13MB, minor=1358210.40MB, major=17302.30MB, promoted=10938.53MB
    minor collections=647741  major collections=165 compactions=0


runtime: 00:08:31.150
vars: 68901, evals: 434589

|rho|=68901
|stable|=54792
|infl|=68876
|wpoint|=496
|sides|=2106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65720
|called|=36
Found 1524 contexts for 8 functions. Top 5 functions:
795	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
43	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1390964.12MB, max=1403.13MB, minor=1384599.12MB, major=17492.43MB, promoted=11127.43MB
    minor collections=660325  major collections=166 compactions=0


runtime: 00:08:41.161
vars: 71522, evals: 449054

|rho|=71522
|stable|=56933
|infl|=71499
|wpoint|=496
|sides|=2147
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=68258
|called|=38
Found 1565 contexts for 8 functions. Top 5 functions:
833	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
46	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1416939.05MB, max=1403.13MB, minor=1410573.82MB, major=17680.66MB, promoted=11315.43MB
    minor collections=672711  major collections=166 compactions=0


runtime: 00:08:51.171
vars: 73609, evals: 463136

|rho|=73609
|stable|=58661
|infl|=73586
|wpoint|=496
|sides|=2179
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70281
|called|=38
Found 1597 contexts for 8 functions. Top 5 functions:
863	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
48	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1442825.92MB, max=1403.13MB, minor=1436460.48MB, major=17866.53MB, promoted=11501.10MB
    minor collections=685056  major collections=167 compactions=0


runtime: 00:09:01.182
vars: 75683, evals: 477219

|rho|=75683
|stable|=60422
|infl|=75662
|wpoint|=497
|sides|=2211
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72291
|called|=39
Found 1629 contexts for 8 functions. Top 5 functions:
893	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
50	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1468773.58MB, max=1403.13MB, minor=1462407.95MB, major=18052.08MB, promoted=11686.45MB
    minor collections=697429  major collections=167 compactions=0


runtime: 00:09:11.189
vars: 78571, evals: 491218

|rho|=78571
|stable|=63031
|infl|=78550
|wpoint|=496
|sides|=2258
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=75084
|called|=32
Found 1676 contexts for 8 functions. Top 5 functions:
938	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
52	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1495367.52MB, max=1403.13MB, minor=1489001.63MB, major=18240.24MB, promoted=11874.35MB
    minor collections=710110  major collections=168 compactions=0


runtime: 00:09:21.199
vars: 80765, evals: 504913

|rho|=80765
|stable|=64699
|infl|=80742
|wpoint|=496
|sides|=2291
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77213
|called|=40
Found 1709 contexts for 8 functions. Top 5 functions:
968	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
55	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1521025.52MB, max=1403.13MB, minor=1514659.40MB, major=18422.53MB, promoted=12056.42MB
    minor collections=722345  major collections=168 compactions=0


runtime: 00:09:31.209
vars: 82852, evals: 518540

|rho|=82852
|stable|=66490
|infl|=82829
|wpoint|=496
|sides|=2323
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79236
|called|=38
Found 1741 contexts for 8 functions. Top 5 functions:
998	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
57	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1546941.99MB, max=1403.13MB, minor=1540574.61MB, major=18606.48MB, promoted=12239.10MB
    minor collections=734703  major collections=169 compactions=0


runtime: 00:09:41.224
vars: 84926, evals: 532242

|rho|=84926
|stable|=68266
|infl|=84905
|wpoint|=497
|sides|=2355
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81246
|called|=38
Found 1773 contexts for 8 functions. Top 5 functions:
1028	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
59	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1573066.05MB, max=1403.13MB, minor=1566698.47MB, major=18790.84MB, promoted=12423.27MB
    minor collections=747160  major collections=169 compactions=0


runtime: 00:09:51.235
vars: 87939, evals: 545924

|rho|=87939
|stable|=70809
|infl|=87916
|wpoint|=496
|sides|=2403
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=84163
|called|=37
Found 1821 contexts for 8 functions. Top 5 functions:
1073	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
62	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1599312.44MB, max=1403.13MB, minor=1592944.57MB, major=18974.84MB, promoted=12606.98MB
    minor collections=759676  major collections=170 compactions=0


runtime: 00:10:01.245
vars: 90020, evals: 559287

|rho|=90020
|stable|=72561
|infl|=89997
|wpoint|=496
|sides|=2435
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=86180
|called|=38
Found 1853 contexts for 8 functions. Top 5 functions:
1103	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
64	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1624521.14MB, max=1403.13MB, minor=1618153.06MB, major=19153.39MB, promoted=12785.31MB
    minor collections=771697  major collections=170 compactions=0


runtime: 00:10:11.256
vars: 92113, evals: 573155

|rho|=92113
|stable|=74293
|infl|=92090
|wpoint|=496
|sides|=2467
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88209
|called|=40
Found 1885 contexts for 8 functions. Top 5 functions:
1133	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
66	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1650641.37MB, max=1403.13MB, minor=1644273.06MB, major=19338.06MB, promoted=12969.74MB
    minor collections=784153  major collections=171 compactions=0


runtime: 00:10:21.267
vars: 94688, evals: 586641

|rho|=94688
|stable|=76604
|infl|=94665
|wpoint|=497
|sides|=2508
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90703
|called|=37
Found 1926 contexts for 8 functions. Top 5 functions:
1172	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
68	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1676668.09MB, max=1403.13MB, minor=1670299.51MB, major=19520.47MB, promoted=13151.89MB
    minor collections=796564  major collections=171 compactions=0


runtime: 00:10:31.277
vars: 97200, evals: 600545

|rho|=97200
|stable|=78618
|infl|=97177
|wpoint|=496
|sides|=2547
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93136
|called|=37
Found 1965 contexts for 8 functions. Top 5 functions:
1208	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
71	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1702515.04MB, max=1403.13MB, minor=1696146.16MB, major=19703.52MB, promoted=13334.64MB
    minor collections=808889  major collections=172 compactions=0


runtime: 00:10:41.288
vars: 99287, evals: 614127

|rho|=99287
|stable|=80364
|infl|=99264
|wpoint|=496
|sides|=2579
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=95159
|called|=40
Found 1997 contexts for 8 functions. Top 5 functions:
1238	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
73	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1727973.42MB, max=1403.13MB, minor=1721604.30MB, major=19883.25MB, promoted=13514.12MB
    minor collections=821029  major collections=172 compactions=0


runtime: 00:10:51.298
vars: 101367, evals: 627640

|rho|=101367
|stable|=82170
|infl|=101347
|wpoint|=496
|sides|=2611
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97175
|called|=31
Found 2029 contexts for 8 functions. Top 5 functions:
1268	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
75	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1753791.61MB, max=1403.13MB, minor=1747422.26MB, major=20065.38MB, promoted=13696.03MB
    minor collections=833340  major collections=173 compactions=0


runtime: 00:11:01.317
vars: 104374, evals: 641409

|rho|=104374
|stable|=84656
|infl|=104351
|wpoint|=496
|sides|=2659
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=100086
|called|=39
Found 2077 contexts for 8 functions. Top 5 functions:
1313	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
78	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1779408.51MB, max=1403.13MB, minor=1773038.81MB, major=20244.97MB, promoted=13875.26MB
    minor collections=845556  major collections=173 compactions=0


runtime: 00:11:11.340
vars: 106461, evals: 654994

|rho|=106461
|stable|=86405
|infl|=106438
|wpoint|=496
|sides|=2691
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102109
|called|=40
Found 2109 contexts for 8 functions. Top 5 functions:
1343	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
80	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1805148.26MB, max=1403.13MB, minor=1798778.32MB, major=20425.96MB, promoted=14056.02MB
    minor collections=857830  major collections=174 compactions=0


runtime: 00:11:21.350
vars: 108530, evals: 667804

|rho|=108530
|stable|=88203
|infl|=108507
|wpoint|=496
|sides|=2723
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104114
|called|=37
Found 2141 contexts for 8 functions. Top 5 functions:
1373	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
82	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1829998.94MB, max=1403.13MB, minor=1823628.64MB, major=20598.63MB, promoted=14228.33MB
    minor collections=869680  major collections=174 compactions=0


runtime: 00:11:31.361
vars: 110601, evals: 681271

|rho|=110601
|stable|=89972
|infl|=110580
|wpoint|=497
|sides|=2755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106121
|called|=34
Found 2173 contexts for 8 functions. Top 5 functions:
1403	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
84	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1856021.14MB, max=1403.13MB, minor=1849650.65MB, major=20781.22MB, promoted=14410.73MB
    minor collections=882088  major collections=174 compactions=0


runtime: 00:11:41.372
vars: 113076, evals: 694251

|rho|=113076
|stable|=92130
|infl|=113053
|wpoint|=497
|sides|=2794
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108519
|called|=36
Found 2212 contexts for 8 functions. Top 5 functions:
1440	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
86	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1881944.68MB, max=1403.13MB, minor=1875573.82MB, major=20961.68MB, promoted=14590.82MB
    minor collections=894450  major collections=175 compactions=0


runtime: 00:11:51.394
vars: 115674, evals: 707811

|rho|=115674
|stable|=94202
|infl|=115651
|wpoint|=496
|sides|=2835
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111034
|called|=39
Found 2253 contexts for 8 functions. Top 5 functions:
1478	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
89	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1907637.44MB, max=1403.13MB, minor=1901266.29MB, major=21141.94MB, promoted=14770.79MB
    minor collections=906702  major collections=175 compactions=0


runtime: 00:12:01.405
vars: 117749, evals: 720919

|rho|=117749
|stable|=95997
|infl|=117726
|wpoint|=496
|sides|=2867
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113045
|called|=38
Found 2285 contexts for 8 functions. Top 5 functions:
1508	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
91	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1932773.02MB, max=1403.13MB, minor=1926401.53MB, major=21317.79MB, promoted=14946.30MB
    minor collections=918688  major collections=176 compactions=0


runtime: 00:12:11.424
vars: 119821, evals: 733980

|rho|=119821
|stable|=97745
|infl|=119798
|wpoint|=496
|sides|=2899
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115053
|called|=38
Found 2317 contexts for 8 functions. Top 5 functions:
1538	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
93	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1957756.22MB, max=1403.13MB, minor=1951384.43MB, major=21492.76MB, promoted=15120.97MB
    minor collections=930601  major collections=176 compactions=0


runtime: 00:12:21.470
vars: 121898, evals: 747171

|rho|=121898
|stable|=99470
|infl|=121877
|wpoint|=497
|sides|=2931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117066
|called|=38
Found 2349 contexts for 8 functions. Top 5 functions:
1568	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
95	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=1982958.58MB, max=1403.13MB, minor=1976586.47MB, major=21669.06MB, promoted=15296.96MB
    minor collections=942619  major collections=177 compactions=0


runtime: 00:12:31.489
vars: 123952, evals: 759753

|rho|=123952
|stable|=101257
|infl|=123931
|wpoint|=497
|sides|=2963
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119056
|called|=34
Found 2381 contexts for 8 functions. Top 5 functions:
1598	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
97	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2007155.89MB, max=1403.13MB, minor=2000783.38MB, major=21837.11MB, promoted=15464.60MB
    minor collections=954157  major collections=177 compactions=0


runtime: 00:12:41.495
vars: 126623, evals: 773025

|rho|=126623
|stable|=103610
|infl|=126601
|wpoint|=496
|sides|=3006
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121642
|called|=33
Found 2424 contexts for 8 functions. Top 5 functions:
1639	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
99	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2032927.08MB, max=1403.13MB, minor=2026554.30MB, major=22015.30MB, promoted=15642.52MB
    minor collections=966446  major collections=177 compactions=0


runtime: 00:12:51.506
vars: 129025, evals: 786212

|rho|=129025
|stable|=105481
|infl|=129002
|wpoint|=496
|sides|=3043
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123969
|called|=39
Found 2461 contexts for 8 functions. Top 5 functions:
1673	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
102	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2057924.10MB, max=1403.13MB, minor=2051550.88MB, major=22189.70MB, promoted=15816.48MB
    minor collections=978366  major collections=178 compactions=0


runtime: 00:13:01.537
vars: 131103, evals: 799500

|rho|=131103
|stable|=107231
|infl|=131080
|wpoint|=496
|sides|=3075
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125983
|called|=39
Found 2493 contexts for 8 functions. Top 5 functions:
1703	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
104	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2083125.32MB, max=1403.13MB, minor=2076747.68MB, major=22370.46MB, promoted=15992.82MB
    minor collections=990381  major collections=178 compactions=0


runtime: 00:13:11.548
vars: 133175, evals: 812596

|rho|=133175
|stable|=109014
|infl|=133152
|wpoint|=497
|sides|=3107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127991
|called|=39
Found 2525 contexts for 8 functions. Top 5 functions:
1733	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
106	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2108497.51MB, max=1403.13MB, minor=2102119.50MB, major=22545.82MB, promoted=16167.80MB
    minor collections=1002481  major collections=179 compactions=0


runtime: 00:13:21.570
vars: 135249, evals: 825526

|rho|=135249
|stable|=110778
|infl|=135228
|wpoint|=497
|sides|=3139
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130001
|called|=39
Found 2557 contexts for 8 functions. Top 5 functions:
1763	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
108	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2133965.02MB, max=1403.13MB, minor=2127586.62MB, major=22720.37MB, promoted=16341.97MB
    minor collections=1014624  major collections=179 compactions=0


runtime: 00:13:31.581
vars: 137312, evals: 838255

|rho|=137312
|stable|=112550
|infl|=137293
|wpoint|=496
|sides|=3171
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132000
|called|=30
Found 2589 contexts for 8 functions. Top 5 functions:
1793	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
110	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2159534.69MB, max=1403.13MB, minor=2153153.90MB, major=22899.29MB, promoted=16518.50MB
    minor collections=1026817  major collections=180 compactions=0


runtime: 00:13:41.596
vars: 139925, evals: 850964

|rho|=139925
|stable|=114845
|infl|=139902
|wpoint|=497
|sides|=3213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134530
|called|=36
Found 2631 contexts for 8 functions. Top 5 functions:
1833	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
112	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2184744.69MB, max=1403.13MB, minor=2178363.37MB, major=23071.73MB, promoted=16690.41MB
    minor collections=1038838  major collections=180 compactions=0


runtime: 00:13:51.622
vars: 142376, evals: 864147

|rho|=142376
|stable|=116819
|infl|=142353
|wpoint|=496
|sides|=3251
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136904
|called|=34
Found 2669 contexts for 8 functions. Top 5 functions:
1868	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
115	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2210298.21MB, max=1403.13MB, minor=2203916.54MB, major=23249.20MB, promoted=16867.53MB
    minor collections=1051023  major collections=180 compactions=0


runtime: 00:14:01.629
vars: 144454, evals: 877251

|rho|=144454
|stable|=118535
|infl|=144431
|wpoint|=496
|sides|=3283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138918
|called|=39
Found 2701 contexts for 8 functions. Top 5 functions:
1898	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
117	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2235737.35MB, max=1403.13MB, minor=2229355.23MB, major=23426.37MB, promoted=17044.26MB
    minor collections=1063154  major collections=181 compactions=0


runtime: 00:14:11.675
vars: 146523, evals: 889933

|rho|=146523
|stable|=120279
|infl|=146500
|wpoint|=496
|sides|=3315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140923
|called|=38
Found 2733 contexts for 8 functions. Top 5 functions:
1928	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
119	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2260417.88MB, max=1613.60MB, minor=2254035.27MB, major=23597.11MB, promoted=17214.50MB
    minor collections=1074923  major collections=181 compactions=0


runtime: 00:14:21.686
vars: 148598, evals: 902913

|rho|=148598
|stable|=122021
|infl|=148575
|wpoint|=496
|sides|=3347
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142934
|called|=40
Found 2765 contexts for 8 functions. Top 5 functions:
1958	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
121	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2285493.98MB, max=1613.60MB, minor=2279111.11MB, major=23770.78MB, promoted=17387.91MB
    minor collections=1086880  major collections=181 compactions=0


runtime: 00:14:31.693
vars: 150654, evals: 915443

|rho|=150654
|stable|=123825
|infl|=150633
|wpoint|=497
|sides|=3379
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144926
|called|=34
Found 2797 contexts for 8 functions. Top 5 functions:
1988	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
123	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2309924.29MB, max=1613.60MB, minor=2303540.99MB, major=23940.47MB, promoted=17557.18MB
    minor collections=1098530  major collections=182 compactions=0


runtime: 00:14:41.751
vars: 152785, evals: 927756

|rho|=152785
|stable|=125638
|infl|=152766
|wpoint|=497
|sides|=3411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=146993
|called|=32
Found 2829 contexts for 8 functions. Top 5 functions:
2018	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
125	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2334676.09MB, max=1613.60MB, minor=2328292.35MB, major=24109.71MB, promoted=17725.98MB
    minor collections=1110333  major collections=182 compactions=0


runtime: 00:14:51.762
vars: 155718, evals: 941163

|rho|=155718
|stable|=128063
|infl|=155695
|wpoint|=496
|sides|=3459
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149830
|called|=38
Found 2877 contexts for 8 functions. Top 5 functions:
2063	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
128	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1

Memory statistics: total=2360102.54MB, max=1613.60MB, minor=2353718.36MB, major=24285.18MB, promoted=17901.00MB
    minor collections=1122457  major collections=183 compactions=0

