./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.112
vars: 5056, evals: 32247

|rho|=5056
|stable|=4997
|infl|=5025
|wpoint|=34
|sides|=376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4574
|called|=40
Found 81 contexts for 8 functions. Top 5 functions:
30	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
30	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638: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=30559.70MB, max=49.01MB, minor=30527.40MB, major=303.26MB, promoted=270.96MB
    minor collections=14575  major collections=37 compactions=0


runtime: 00:00:20.128
vars: 8792, evals: 63445

|rho|=8792
|stable|=8647
|infl|=8762
|wpoint|=62
|sides|=489
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8149
|called|=40
Found 145 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
31	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=59653.79MB, max=85.72MB, minor=59620.97MB, major=546.78MB, promoted=513.96MB
    minor collections=28454  major collections=49 compactions=0


runtime: 00:00:30.146
vars: 10391, evals: 80705

|rho|=10391
|stable|=9980
|infl|=10376
|wpoint|=67
|sides|=655
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9558
|called|=46
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=87562.36MB, max=113.37MB, minor=87433.25MB, major=864.96MB, promoted=735.85MB
    minor collections=41722  major collections=60 compactions=0


runtime: 00:00:40.157
vars: 12504, evals: 93967

|rho|=12504
|stable|=6750
|infl|=12477
|wpoint|=76
|sides|=742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=11556
|called|=48
Found 228 contexts for 8 functions. Top 5 functions:
83	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
68	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
41	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=116793.44MB, max=113.37MB, minor=116517.87MB, major=1274.58MB, promoted=999.01MB
    minor collections=55597  major collections=73 compactions=0


runtime: 00:00:50.176
vars: 16220, evals: 120265

|rho|=16220
|stable|=9923
|infl|=16193
|wpoint|=102
|sides|=827
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=15135
|called|=44
Found 293 contexts for 8 functions. Top 5 functions:
109	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
94	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 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=146166.39MB, max=130.38MB, minor=145890.69MB, major=1509.64MB, promoted=1233.94MB
    minor collections=69607  major collections=79 compactions=0


runtime: 00:01:00.194
vars: 19744, evals: 146002

|rho|=19744
|stable|=12888
|infl|=19717
|wpoint|=128
|sides|=908
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18529
|called|=54
Found 355 contexts for 8 functions. Top 5 functions:
134	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
118	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
67	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=175227.37MB, max=172.43MB, minor=174950.74MB, major=1740.51MB, promoted=1463.87MB
    minor collections=83467  major collections=84 compactions=0


runtime: 00:01:10.205
vars: 23359, evals: 171454

|rho|=23359
|stable|=15964
|infl|=23333
|wpoint|=153
|sides|=989
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22012
|called|=39
Found 418 contexts for 8 functions. Top 5 functions:
159	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
144	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
79	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=204162.81MB, max=198.30MB, minor=203885.99MB, major=1969.75MB, promoted=1692.93MB
    minor collections=97266  major collections=88 compactions=0


runtime: 00:01:20.231
vars: 25805, evals: 195809

|rho|=25805
|stable|=18022
|infl|=25784
|wpoint|=168
|sides|=1038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24381
|called|=38
Found 459 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
92	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=232663.71MB, max=198.30MB, minor=232386.49MB, major=2186.69MB, promoted=1909.47MB
    minor collections=110858  major collections=91 compactions=0


runtime: 00:01:30.262
vars: 28334, evals: 211820

|rho|=28334
|stable|=20390
|infl|=28311
|wpoint|=170
|sides|=1077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26835
|called|=38
Found 498 contexts for 8 functions. Top 5 functions:
208	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=259301.74MB, max=228.04MB, minor=259024.27MB, major=2387.57MB, promoted=2110.09MB
    minor collections=123562  major collections=94 compactions=0


runtime: 00:01:40.305
vars: 31063, evals: 226912

|rho|=31063
|stable|=22588
|infl|=31040
|wpoint|=169
|sides|=1120
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29477
|called|=39
Found 541 contexts for 8 functions. Top 5 functions:
248	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
7	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=284965.17MB, max=262.25MB, minor=284687.48MB, major=2583.62MB, promoted=2305.93MB
    minor collections=135801  major collections=97 compactions=0


runtime: 00:01:50.316
vars: 34099, evals: 241879

|rho|=34099
|stable|=25198
|infl|=34076
|wpoint|=169
|sides|=1168
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32417
|called|=38
Found 589 contexts for 8 functions. Top 5 functions:
293	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
10	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=310984.30MB, max=262.25MB, minor=310705.32MB, major=2783.14MB, promoted=2504.17MB
    minor collections=148209  major collections=100 compactions=0


runtime: 00:02:00.355
vars: 36227, evals: 256540

|rho|=36227
|stable|=26961
|infl|=36206
|wpoint|=170
|sides|=1200
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34481
|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=336738.62MB, max=301.59MB, minor=336458.94MB, major=2975.93MB, promoted=2696.25MB
    minor collections=160491  major collections=102 compactions=0


runtime: 00:02:10.369
vars: 39288, evals: 271510

|rho|=39288
|stable|=29584
|infl|=39265
|wpoint|=169
|sides|=1248
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37446
|called|=38
Found 669 contexts for 8 functions. Top 5 functions:
368	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
15	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=362732.05MB, max=301.59MB, minor=362452.13MB, major=3172.50MB, promoted=2892.58MB
    minor collections=172887  major collections=104 compactions=0


runtime: 00:02:20.400
vars: 42363, evals: 286544

|rho|=42363
|stable|=32186
|infl|=42340
|wpoint|=169
|sides|=1296
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40425
|called|=37
Found 717 contexts for 8 functions. Top 5 functions:
413	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
18	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=388874.82MB, max=346.83MB, minor=388594.63MB, major=3368.61MB, promoted=3088.41MB
    minor collections=185354  major collections=106 compactions=0


runtime: 00:02:30.418
vars: 45456, evals: 301355

|rho|=45456
|stable|=34790
|infl|=45433
|wpoint|=169
|sides|=1344
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=43422
|called|=38
Found 765 contexts for 8 functions. Top 5 functions:
458	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
21	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=414613.77MB, max=398.85MB, minor=414332.76MB, major=3562.32MB, promoted=3281.31MB
    minor collections=197627  major collections=107 compactions=0


runtime: 00:02:40.453
vars: 48551, evals: 316283

|rho|=48551
|stable|=37420
|infl|=48530
|wpoint|=170
|sides|=1392
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=46421
|called|=38
Found 813 contexts for 8 functions. Top 5 functions:
503	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
24	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=440771.65MB, max=398.85MB, minor=440490.32MB, major=3757.55MB, promoted=3476.22MB
    minor collections=210102  major collections=109 compactions=0


runtime: 00:02:50.480
vars: 52600, evals: 331363

|rho|=52600
|stable|=40840
|infl|=52577
|wpoint|=170
|sides|=1456
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=50342
|called|=38
Found 877 contexts for 8 functions. Top 5 functions:
563	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=466672.20MB, max=458.68MB, minor=466390.46MB, major=3952.23MB, promoted=3670.49MB
    minor collections=222453  major collections=111 compactions=0


runtime: 00:03:00.499
vars: 53535, evals: 338713

|rho|=53535
|stable|=45563
|infl|=53520
|wpoint|=169
|sides|=1471
|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=497159.54MB, max=458.68MB, minor=496876.85MB, major=4128.19MB, promoted=3845.51MB
    minor collections=236991  major collections=112 compactions=0


runtime: 00:03:10.525
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|=158
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=523828.05MB, max=527.48MB, minor=523372.99MB, major=4493.06MB, promoted=4037.99MB
    minor collections=249627  major collections=114 compactions=0


runtime: 00:03:20.540
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|=142
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=552599.82MB, max=527.48MB, minor=551877.98MB, major=4981.84MB, promoted=4260.00MB
    minor collections=263221  major collections=117 compactions=0


runtime: 00:03:30.551
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|=127
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=580970.37MB, max=527.48MB, minor=579986.98MB, major=5462.14MB, promoted=4478.75MB
    minor collections=276626  major collections=120 compactions=0


runtime: 00:03:40.566
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|=112
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=609347.63MB, max=606.61MB, minor=608105.50MB, major=5938.11MB, promoted=4695.98MB
    minor collections=290035  major collections=123 compactions=0


runtime: 00:03:50.592
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|=97
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=638099.87MB, max=606.61MB, minor=636596.18MB, major=6419.93MB, promoted=4916.23MB
    minor collections=303622  major collections=125 compactions=0


runtime: 00:04:00.611
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|=82
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=666865.12MB, max=697.60MB, minor=665102.17MB, major=6896.19MB, promoted=5133.24MB
    minor collections=317217  major collections=128 compactions=0


runtime: 00:04:10.646
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|=67
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=694935.74MB, max=697.60MB, minor=692925.83MB, major=7353.40MB, promoted=5343.49MB
    minor collections=330485  major collections=130 compactions=0


runtime: 00:04:20.672
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|=52
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=723979.38MB, max=697.60MB, minor=721711.19MB, major=7829.71MB, promoted=5561.52MB
    minor collections=344212  major collections=132 compactions=0


runtime: 00:04:30.691
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|=37
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=752829.81MB, max=802.24MB, minor=750308.68MB, major=8297.15MB, promoted=5776.01MB
    minor collections=357850  major collections=134 compactions=0


runtime: 00:04:40.706
vars: 53538, evals: 342076

|rho|=53538
|stable|=41827
|infl|=53523
|wpoint|=175
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=33
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=781518.30MB, max=802.24MB, minor=778872.22MB, major=8630.79MB, promoted=5984.70MB
    minor collections=371471  major collections=136 compactions=0


runtime: 00:04:50.744
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=809741.35MB, max=922.58MB, minor=806866.54MB, major=9060.69MB, promoted=6185.87MB
    minor collections=384821  major collections=137 compactions=0


runtime: 00:05:00.755
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=839078.71MB, max=922.58MB, minor=835925.69MB, major=9587.25MB, promoted=6434.23MB
    minor collections=398679  major collections=139 compactions=0


runtime: 00:05:10.814
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=868383.04MB, max=922.58MB, minor=864947.57MB, major=10121.02MB, promoted=6685.56MB
    minor collections=412518  major collections=141 compactions=0


runtime: 00:05:20.860
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|=163
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=889274.84MB, max=1060.96MB, minor=885781.40MB, major=10635.65MB, promoted=7142.20MB
    minor collections=422454  major collections=143 compactions=0


runtime: 00:05:30.903
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|=146
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=916805.45MB, max=1060.96MB, minor=913084.67MB, major=11058.47MB, promoted=7337.68MB
    minor collections=435474  major collections=144 compactions=0


runtime: 00:05:40.909
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|=131
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=945968.25MB, max=1060.96MB, minor=941975.03MB, major=11546.60MB, promoted=7553.38MB
    minor collections=449251  major collections=146 compactions=0


runtime: 00:05:50.920
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|=116
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=975097.33MB, max=1060.96MB, minor=970836.75MB, major=12024.90MB, promoted=7764.32MB
    minor collections=463015  major collections=148 compactions=0


runtime: 00:06:00.931
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|=101
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=1004268.75MB, max=1060.96MB, minor=999747.47MB, major=12494.25MB, promoted=7972.97MB
    minor collections=476801  major collections=149 compactions=0


runtime: 00:06:10.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|=86
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=1033648.27MB, max=1060.96MB, minor=1028866.09MB, major=12964.63MB, promoted=8182.46MB
    minor collections=490687  major collections=151 compactions=0


runtime: 00:06:20.949
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|=70
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=1062686.58MB, max=1060.96MB, minor=1057646.67MB, major=13429.69MB, promoted=8389.78MB
    minor collections=504412  major collections=153 compactions=0


runtime: 00:06:30.959
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|=55
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=1091978.87MB, max=1060.96MB, minor=1086681.22MB, major=13896.80MB, promoted=8599.15MB
    minor collections=518258  major collections=154 compactions=0


runtime: 00:06:40.970
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|=41
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=1120381.05MB, max=1060.96MB, minor=1114828.03MB, major=14356.00MB, promoted=8802.98MB
    minor collections=531680  major collections=156 compactions=0


runtime: 00:06:50.985
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=1149151.45MB, max=1060.96MB, minor=1143351.58MB, major=14821.32MB, promoted=9021.45MB
    minor collections=545283  major collections=158 compactions=0


runtime: 00:07:00.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=1177801.30MB, max=1060.96MB, minor=1171732.05MB, major=15333.82MB, promoted=9264.58MB
    minor collections=558817  major collections=160 compactions=0


runtime: 00:07:11.006
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=1205312.22MB, max=1060.96MB, minor=1199001.64MB, major=15858.22MB, promoted=9547.64MB
    minor collections=571821  major collections=161 compactions=0


runtime: 00:07:21.017
vars: 54060, evals: 343390

|rho|=54060
|stable|=42145
|infl|=54037
|wpoint|=496
|sides|=1875
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51340
|called|=38
Found 1293 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
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
29	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=1225207.28MB, max=1060.96MB, minor=1218847.15MB, major=16295.93MB, promoted=9935.80MB
    minor collections=581284  major collections=162 compactions=0


runtime: 00:07:31.100
vars: 56150, evals: 357664

|rho|=56150
|stable|=43914
|infl|=56127
|wpoint|=497
|sides|=1907
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=53366
|called|=40
Found 1325 contexts for 8 functions. Top 5 functions:
608	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
31	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=1251587.92MB, max=1220.11MB, minor=1245227.64MB, major=16484.47MB, promoted=10124.19MB
    minor collections=593864  major collections=163 compactions=0


runtime: 00:07:41.107
vars: 58248, evals: 371854

|rho|=58248
|stable|=45729
|infl|=58227
|wpoint|=496
|sides|=1939
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55400
|called|=32
Found 1357 contexts for 8 functions. Top 5 functions:
638	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
33	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=1277584.87MB, max=1220.11MB, minor=1271224.41MB, major=16672.68MB, promoted=10312.22MB
    minor collections=606261  major collections=164 compactions=0


runtime: 00:07:51.122
vars: 61246, evals: 386420

|rho|=61246
|stable|=48194
|infl|=61223
|wpoint|=496
|sides|=1987
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58302
|called|=38
Found 1405 contexts for 8 functions. Top 5 functions:
683	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
36	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=1303034.03MB, max=1220.11MB, minor=1296673.37MB, major=16858.12MB, promoted=10497.46MB
    minor collections=618397  major collections=164 compactions=0


runtime: 00:08:01.137
vars: 63324, evals: 400408

|rho|=63324
|stable|=49944
|infl|=63301
|wpoint|=496
|sides|=2019
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60316
|called|=39
Found 1437 contexts for 8 functions. Top 5 functions:
713	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
38	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=1328073.07MB, max=1220.11MB, minor=1321712.19MB, major=17039.71MB, promoted=10678.83MB
    minor collections=630337  major collections=165 compactions=0


runtime: 00:08:11.148
vars: 65413, evals: 414905

|rho|=65413
|stable|=51781
|infl|=65392
|wpoint|=497
|sides|=2051
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=62341
|called|=34
Found 1469 contexts for 8 functions. Top 5 functions:
743	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
40	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=1354288.97MB, max=1220.11MB, minor=1347927.90MB, major=17229.64MB, promoted=10868.58MB
    minor collections=642838  major collections=166 compactions=0


runtime: 00:08:21.159
vars: 68316, evals: 429038

|rho|=68316
|stable|=54363
|infl|=68297
|wpoint|=497
|sides|=2098
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65149
|called|=31
Found 1516 contexts for 8 functions. Top 5 functions:
788	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
42	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=1380202.58MB, max=1220.11MB, minor=1373839.17MB, major=17417.54MB, promoted=11054.13MB
    minor collections=655194  major collections=166 compactions=0


runtime: 00:08:31.170
vars: 70507, evals: 443414

|rho|=70507
|stable|=56045
|infl|=70484
|wpoint|=497
|sides|=2131
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=67275
|called|=40
Found 1549 contexts for 8 functions. Top 5 functions:
818	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
45	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=1406306.07MB, max=1220.11MB, minor=1399941.40MB, major=17607.06MB, promoted=11242.40MB
    minor collections=667642  major collections=167 compactions=0


runtime: 00:08:41.181
vars: 72597, evals: 457890

|rho|=72597
|stable|=57833
|infl|=72574
|wpoint|=496
|sides|=2163
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69301
|called|=38
Found 1581 contexts for 8 functions. Top 5 functions:
848	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
47	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=1432711.75MB, max=1220.11MB, minor=1426346.89MB, major=17796.58MB, promoted=11431.73MB
    minor collections=680233  major collections=167 compactions=0


runtime: 00:08:51.196
vars: 74846, evals: 471600

|rho|=74846
|stable|=59783
|infl|=74820
|wpoint|=496
|sides|=2198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=71481
|called|=37
Found 1616 contexts for 8 functions. Top 5 functions:
881	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
49	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=1458994.27MB, max=1220.11MB, minor=1452629.19MB, major=17982.44MB, promoted=11617.36MB
    minor collections=692766  major collections=168 compactions=0


runtime: 00:09:01.207
vars: 77678, evals: 486032

|rho|=77678
|stable|=62099
|infl|=77655
|wpoint|=496
|sides|=2243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74222
|called|=39
Found 1661 contexts for 8 functions. Top 5 functions:
923	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=1485146.99MB, max=1220.11MB, minor=1478781.70MB, major=18171.04MB, promoted=11805.75MB
    minor collections=705237  major collections=168 compactions=0


runtime: 00:09:11.218
vars: 79759, evals: 499857

|rho|=79759
|stable|=63870
|infl|=79736
|wpoint|=496
|sides|=2275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76239
|called|=39
Found 1693 contexts for 8 functions. Top 5 functions:
953	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
54	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=1511039.46MB, max=1220.11MB, minor=1504673.90MB, major=18355.11MB, promoted=11989.55MB
    minor collections=717584  major collections=169 compactions=0


runtime: 00:09:21.229
vars: 81845, evals: 514072

|rho|=81845
|stable|=65603
|infl|=81824
|wpoint|=497
|sides|=2307
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78261
|called|=40
Found 1725 contexts for 8 functions. Top 5 functions:
983	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
56	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=1537955.89MB, max=1220.11MB, minor=1531589.12MB, major=18546.79MB, promoted=12180.01MB
    minor collections=730419  major collections=170 compactions=0


runtime: 00:09:31.240
vars: 84763, evals: 527540

|rho|=84763
|stable|=68269
|infl|=84745
|wpoint|=496
|sides|=2354
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=81084
|called|=29
Found 1772 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
58	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=1564055.43MB, max=1220.11MB, minor=1557688.39MB, major=18730.23MB, promoted=12363.18MB
    minor collections=742865  major collections=170 compactions=0


runtime: 00:09:41.250
vars: 86942, evals: 541470

|rho|=86942
|stable|=69948
|infl|=86919
|wpoint|=496
|sides|=2387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83198
|called|=38
Found 1805 contexts for 8 functions. Top 5 functions:
1058	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
61	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=1590302.90MB, max=1220.11MB, minor=1583935.65MB, major=18916.35MB, promoted=12549.09MB
    minor collections=755381  major collections=171 compactions=0


runtime: 00:09:51.261
vars: 89034, evals: 555435

|rho|=89034
|stable|=71699
|infl|=89013
|wpoint|=497
|sides|=2419
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85226
|called|=40
Found 1837 contexts for 8 functions. Top 5 functions:
1088	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
63	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=1616662.51MB, max=1220.11MB, minor=1610295.01MB, major=19102.49MB, promoted=12735.00MB
    minor collections=767950  major collections=171 compactions=0


runtime: 00:10:01.272
vars: 91848, evals: 569125

|rho|=91848
|stable|=74241
|infl|=91828
|wpoint|=497
|sides|=2465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87949
|called|=33
Found 1883 contexts for 8 functions. Top 5 functions:
1132	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
65	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=1642947.13MB, max=1220.11MB, minor=1636579.36MB, major=19287.17MB, promoted=12919.39MB
    minor collections=780485  major collections=172 compactions=0


runtime: 00:10:11.283
vars: 94122, evals: 582707

|rho|=94122
|stable|=75984
|infl|=94099
|wpoint|=496
|sides|=2499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90154
|called|=40
Found 1917 contexts for 8 functions. Top 5 functions:
1163	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=1668438.46MB, max=1220.11MB, minor=1662070.42MB, major=19468.39MB, promoted=13100.35MB
    minor collections=792640  major collections=172 compactions=0


runtime: 00:10:21.294
vars: 96212, evals: 596555

|rho|=96212
|stable|=77771
|infl|=96189
|wpoint|=496
|sides|=2531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92180
|called|=39
Found 1949 contexts for 8 functions. Top 5 functions:
1193	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
70	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=1694435.87MB, max=1220.11MB, minor=1688067.60MB, major=19652.14MB, promoted=13283.86MB
    minor collections=805037  major collections=173 compactions=0


runtime: 00:10:31.309
vars: 98532, evals: 610086

|rho|=98532
|stable|=79812
|infl|=98505
|wpoint|=496
|sides|=2567
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94429
|called|=38
Found 1985 contexts for 8 functions. Top 5 functions:
1227	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
72	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=1720677.77MB, max=1220.11MB, minor=1714309.24MB, major=19835.03MB, promoted=13466.50MB
    minor collections=817551  major collections=173 compactions=0


runtime: 00:10:41.320
vars: 101308, evals: 624346

|rho|=101308
|stable|=82047
|infl|=101285
|wpoint|=496
|sides|=2611
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=97116
|called|=39
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=1746861.98MB, max=1220.11MB, minor=1740493.11MB, major=20020.96MB, promoted=13652.09MB
    minor collections=830037  major collections=174 compactions=0


runtime: 00:10:51.331
vars: 103395, evals: 638015

|rho|=103395
|stable|=83880
|infl|=103374
|wpoint|=496
|sides|=2643
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=99139
|called|=32
Found 2061 contexts for 8 functions. Top 5 functions:
1298	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
77	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=1772442.56MB, max=1220.11MB, minor=1766073.44MB, major=20201.10MB, promoted=13831.98MB
    minor collections=842235  major collections=174 compactions=0


runtime: 00:11:01.341
vars: 105478, evals: 651487

|rho|=105478
|stable|=85645
|infl|=105457
|wpoint|=496
|sides|=2675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101158
|called|=32
Found 2093 contexts for 8 functions. Top 5 functions:
1328	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
79	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=1798295.42MB, max=1220.11MB, minor=1791926.04MB, major=20382.92MB, promoted=14013.54MB
    minor collections=854563  major collections=175 compactions=0


runtime: 00:11:11.352
vars: 108479, evals: 665197

|rho|=108479
|stable|=88146
|infl|=108456
|wpoint|=496
|sides|=2723
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104063
|called|=38
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=1824812.91MB, max=1220.11MB, minor=1818443.15MB, major=20567.43MB, promoted=14197.68MB
    minor collections=867208  major collections=175 compactions=0


runtime: 00:11:21.363
vars: 110560, evals: 678632

|rho|=110560
|stable|=89893
|infl|=110537
|wpoint|=496
|sides|=2755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106080
|called|=39
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=1850730.24MB, max=1220.11MB, minor=1844360.18MB, major=20749.16MB, promoted=14379.10MB
    minor collections=879567  major collections=176 compactions=0


runtime: 00:11:31.402
vars: 112632, evals: 691634

|rho|=112632
|stable|=91657
|infl|=112609
|wpoint|=496
|sides|=2787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=108088
|called|=38
Found 2205 contexts for 8 functions. Top 5 functions:
1433	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=1875800.59MB, max=1220.11MB, minor=1869430.24MB, major=20924.11MB, promoted=14553.76MB
    minor collections=891521  major collections=176 compactions=0


runtime: 00:11:41.413
vars: 114709, evals: 705070

|rho|=114709
|stable|=93399
|infl|=114688
|wpoint|=497
|sides|=2819
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=110101
|called|=40
Found 2237 contexts for 8 functions. Top 5 functions:
1463	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
88	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=1901591.33MB, max=1220.11MB, minor=1895220.70MB, major=21104.45MB, promoted=14733.83MB
    minor collections=903820  major collections=177 compactions=0


runtime: 00:11:51.440
vars: 116840, evals: 717887

|rho|=116840
|stable|=95256
|infl|=116821
|wpoint|=497
|sides|=2851
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=112168
|called|=31
Found 2269 contexts for 8 functions. Top 5 functions:
1493	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
90	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=1927340.52MB, max=1403.13MB, minor=1920969.52MB, major=21282.78MB, promoted=14911.77MB
    minor collections=916098  major collections=177 compactions=0


runtime: 00:12:01.451
vars: 119782, evals: 731952

|rho|=119782
|stable|=97667
|infl|=119759
|wpoint|=496
|sides|=2899
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115014
|called|=39
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=1953593.17MB, max=1403.13MB, minor=1947221.85MB, major=21467.08MB, promoted=15095.76MB
    minor collections=928617  major collections=178 compactions=0


runtime: 00:12:11.486
vars: 121863, evals: 745340

|rho|=121863
|stable|=99442
|infl|=121840
|wpoint|=496
|sides|=2931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117031
|called|=40
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=1979175.10MB, max=1403.13MB, minor=1972803.35MB, major=21646.41MB, promoted=15274.66MB
    minor collections=940816  major collections=178 compactions=0


runtime: 00:12:21.516
vars: 123944, evals: 758875

|rho|=123944
|stable|=101214
|infl|=123921
|wpoint|=497
|sides|=2963
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119048
|called|=39
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=2004931.27MB, max=1403.13MB, minor=1998559.29MB, major=21826.30MB, promoted=15454.32MB
    minor collections=953097  major collections=178 compactions=0


runtime: 00:12:31.531
vars: 126006, evals: 772098

|rho|=126006
|stable|=102958
|infl|=125985
|wpoint|=498
|sides|=2995
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121046
|called|=39
Found 2413 contexts for 8 functions. Top 5 functions:
1628	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=2030322.12MB, max=1403.13MB, minor=2023949.75MB, major=22003.55MB, promoted=15631.18MB
    minor collections=965205  major collections=179 compactions=0


runtime: 00:12:41.570
vars: 129013, evals: 785600

|rho|=129013
|stable|=105469
|infl|=128990
|wpoint|=496
|sides|=3043
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123957
|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=2056297.34MB, max=1403.13MB, minor=2049924.60MB, major=22183.91MB, promoted=15811.17MB
    minor collections=977591  major collections=179 compactions=0


runtime: 00:12:51.585
vars: 131094, evals: 799145

|rho|=131094
|stable|=107251
|infl|=131071
|wpoint|=497
|sides|=3075
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125974
|called|=40
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=2082012.60MB, max=1403.13MB, minor=2075637.39MB, major=22365.28MB, promoted=15990.07MB
    minor collections=989853  major collections=180 compactions=0


runtime: 00:13:01.616
vars: 133169, evals: 812290

|rho|=133169
|stable|=109008
|infl|=133146
|wpoint|=497
|sides|=3107
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127985
|called|=42
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=2107459.31MB, max=1403.13MB, minor=2101081.66MB, major=22543.65MB, promoted=16166.00MB
    minor collections=1001986  major collections=180 compactions=0


runtime: 00:13:11.627
vars: 135249, evals: 825740

|rho|=135249
|stable|=110761
|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=2133875.27MB, max=1403.13MB, minor=2127497.30MB, major=22724.56MB, promoted=16346.59MB
    minor collections=1014583  major collections=181 compactions=0


runtime: 00:13:21.645
vars: 137318, evals: 838261

|rho|=137318
|stable|=112556
|infl|=137299
|wpoint|=496
|sides|=3171
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132006
|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=2159222.04MB, max=1403.13MB, minor=2152841.50MB, major=22901.50MB, promoted=16520.96MB
    minor collections=1026668  major collections=181 compactions=0


runtime: 00:13:31.664
vars: 140307, evals: 851533

|rho|=140307
|stable|=115227
|infl|=140284
|wpoint|=497
|sides|=3219
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=134899
|called|=35
Found 2637 contexts for 8 functions. Top 5 functions:
1838	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
113	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=2185195.40MB, max=1403.13MB, minor=2178814.42MB, major=23079.95MB, promoted=16698.97MB
    minor collections=1039054  major collections=181 compactions=0


runtime: 00:13:41.675
vars: 142385, evals: 864681

|rho|=142385
|stable|=116828
|infl|=142362
|wpoint|=497
|sides|=3251
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136913
|called|=39
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=2210801.73MB, max=1403.13MB, minor=2204420.30MB, major=23257.62MB, promoted=16876.18MB
    minor collections=1051264  major collections=182 compactions=0


runtime: 00:13:51.702
vars: 144460, evals: 877615

|rho|=144460
|stable|=118524
|infl|=144437
|wpoint|=496
|sides|=3283
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=138924
|called|=38
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=2235918.69MB, max=1613.60MB, minor=2229536.86MB, major=23432.04MB, promoted=17050.21MB
    minor collections=1063241  major collections=182 compactions=0


runtime: 00:14:01.713
vars: 146538, evals: 890821

|rho|=146538
|stable|=120342
|infl|=146515
|wpoint|=496
|sides|=3315
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140938
|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=2261496.41MB, max=1613.60MB, minor=2255114.24MB, major=23608.47MB, promoted=17226.30MB
    minor collections=1075438  major collections=183 compactions=0


runtime: 00:14:11.727
vars: 148600, evals: 903669

|rho|=148600
|stable|=122089
|infl|=148579
|wpoint|=497
|sides|=3347
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=142936
|called|=33
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=2286626.29MB, max=1613.60MB, minor=2280243.60MB, major=23782.15MB, promoted=17399.46MB
    minor collections=1087421  major collections=183 compactions=0


runtime: 00:14:21.754
vars: 151222, evals: 916556

|rho|=151222
|stable|=124393
|infl|=151199
|wpoint|=497
|sides|=3389
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=145475
|called|=35
Found 2807 contexts for 8 functions. Top 5 functions:
1998	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=2312084.81MB, max=1613.60MB, minor=2305701.70MB, major=23956.19MB, promoted=17573.08MB
    minor collections=1099561  major collections=183 compactions=0


runtime: 00:14:31.765
vars: 153676, evals: 929877

|rho|=153676
|stable|=126365
|infl|=153653
|wpoint|=496
|sides|=3427
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147852
|called|=38
Found 2845 contexts for 8 functions. Top 5 functions:
2033	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
126	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=2337663.60MB, max=1613.60MB, minor=2331280.00MB, major=24132.66MB, promoted=17749.06MB
    minor collections=1111758  major collections=184 compactions=0


runtime: 00:14:41.792
vars: 155751, evals: 942823

|rho|=155751
|stable|=128073
|infl|=155728
|wpoint|=496
|sides|=3459
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149863
|called|=39
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=2362654.50MB, max=1613.60MB, minor=2356270.34MB, major=24305.77MB, promoted=17921.61MB
    minor collections=1123675  major collections=184 compactions=0


runtime: 00:14:51.819
vars: 157829, evals: 955976

|rho|=157829
|stable|=129838
|infl|=157806
|wpoint|=496
|sides|=3491
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=151877
|called|=39
Found 2909 contexts for 8 functions. Top 5 functions:
2093	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
130	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=2387970.98MB, max=1613.60MB, minor=2381586.56MB, major=24481.17MB, promoted=18096.76MB
    minor collections=1135747  major collections=184 compactions=0

