./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.122
vars: 5025, evals: 31292

|rho|=5025
|stable|=5020
|infl|=4987
|wpoint|=33
|sides|=376
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=4544
|called|=45
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=29680.51MB, max=49.01MB, minor=29648.21MB, major=293.89MB, promoted=261.59MB
    minor collections=14155  major collections=36 compactions=0


runtime: 00:00:20.142
vars: 8732, evals: 61682

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

Memory statistics: total=57727.45MB, max=85.72MB, minor=57694.63MB, major=528.48MB, promoted=495.66MB
    minor collections=27535  major collections=48 compactions=0


runtime: 00:00:30.165
vars: 10347, evals: 80705

|rho|=10347
|stable|=9936
|infl|=10332
|wpoint|=67
|sides|=611
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=9558
|called|=101
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=84164.20MB, max=113.37MB, minor=84070.25MB, major=799.05MB, promoted=705.10MB
    minor collections=40117  major collections=58 compactions=0


runtime: 00:00:40.189
vars: 11764, evals: 89574

|rho|=11764
|stable|=6090
|infl|=11737
|wpoint|=74
|sides|=726
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=10843
|called|=43
Found 215 contexts for 8 functions. Top 5 functions:
78	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
62	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
39	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=111918.34MB, max=113.37MB, minor=111642.79MB, major=1231.10MB, promoted=955.54MB
    minor collections=53272  major collections=71 compactions=0


runtime: 00:00:50.206
vars: 15374, evals: 114816

|rho|=15374
|stable|=9184
|infl|=15347
|wpoint|=97
|sides|=807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14321
|called|=47
Found 278 contexts for 8 functions. Top 5 functions:
103	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
88	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
51	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=140126.38MB, max=130.38MB, minor=139850.71MB, major=1456.17MB, promoted=1180.49MB
    minor collections=66726  major collections=77 compactions=0


runtime: 00:01:00.245
vars: 18888, evals: 139668

|rho|=18888
|stable|=12204
|infl|=18861
|wpoint|=122
|sides|=889
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17704
|called|=64
Found 340 contexts for 8 functions. Top 5 functions:
128	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
112	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
64	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=168001.25MB, max=172.43MB, minor=167724.65MB, major=1678.54MB, promoted=1401.94MB
    minor collections=80020  major collections=82 compactions=0


runtime: 00:01:10.260
vars: 22395, evals: 164060

|rho|=22395
|stable|=15200
|infl|=22362
|wpoint|=146
|sides|=969
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=21082
|called|=44
Found 402 contexts for 8 functions. Top 5 functions:
153	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
137	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
76	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=195719.15MB, max=172.43MB, minor=195442.38MB, major=1898.96MB, promoted=1622.19MB
    minor collections=93239  major collections=86 compactions=0


runtime: 00:01:20.288
vars: 25492, evals: 188193

|rho|=25492
|stable|=17692
|infl|=25467
|wpoint|=168
|sides|=1034
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24072
|called|=45
Found 455 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
88	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=223247.23MB, max=198.30MB, minor=222970.03MB, major=2114.83MB, promoted=1837.63MB
    minor collections=106368  major collections=90 compactions=0


runtime: 00:01:30.311
vars: 27937, evals: 206794

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

Memory statistics: total=249699.06MB, max=228.04MB, minor=249421.64MB, major=2312.76MB, promoted=2035.34MB
    minor collections=118983  major collections=93 compactions=0


runtime: 00:01:40.338
vars: 30030, evals: 220807

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

Memory statistics: total=274272.97MB, max=228.04MB, minor=273995.37MB, major=2498.70MB, promoted=2221.10MB
    minor collections=130702  major collections=96 compactions=0


runtime: 00:01:50.351
vars: 32119, evals: 234681

|rho|=32119
|stable|=23522
|infl|=32098
|wpoint|=170
|sides|=1136
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30501
|called|=39
Found 557 contexts for 8 functions. Top 5 functions:
263	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
8	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=298790.18MB, max=262.25MB, minor=298512.41MB, major=2682.82MB, promoted=2405.05MB
    minor collections=142394  major collections=98 compactions=0


runtime: 00:02:00.379
vars: 35156, evals: 248994

|rho|=35156
|stable|=26094
|infl|=35133
|wpoint|=169
|sides|=1184
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33442
|called|=38
Found 605 contexts for 8 functions. Top 5 functions:
308	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
11	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=323444.99MB, max=301.59MB, minor=323165.42MB, major=2871.61MB, promoted=2592.04MB
    minor collections=154151  major collections=100 compactions=0


runtime: 00:02:10.410
vars: 37705, evals: 262965

|rho|=37705
|stable|=28330
|infl|=37680
|wpoint|=169
|sides|=1224
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=35912
|called|=35
Found 645 contexts for 8 functions. Top 5 functions:
346	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
13	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=348319.45MB, max=301.59MB, minor=348039.67MB, major=3058.07MB, promoted=2778.28MB
    minor collections=166013  major collections=102 compactions=0


runtime: 00:02:20.437
vars: 40335, evals: 277501

|rho|=40335
|stable|=30472
|infl|=40314
|wpoint|=170
|sides|=1264
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38461
|called|=38
Found 685 contexts for 8 functions. Top 5 functions:
383	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
16	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=373213.49MB, max=346.83MB, minor=372933.48MB, major=3245.65MB, promoted=2965.64MB
    minor collections=177885  major collections=104 compactions=0


runtime: 00:02:30.465
vars: 43402, evals: 291726

|rho|=43402
|stable|=33024
|infl|=43379
|wpoint|=169
|sides|=1312
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=41432
|called|=39
Found 733 contexts for 8 functions. Top 5 functions:
428	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
19	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=397876.78MB, max=346.83MB, minor=397595.95MB, major=3432.39MB, promoted=3151.57MB
    minor collections=189646  major collections=106 compactions=0


runtime: 00:02:40.524
vars: 46480, evals: 305964

|rho|=46480
|stable|=35655
|infl|=46457
|wpoint|=169
|sides|=1360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44414
|called|=38
Found 781 contexts for 8 functions. Top 5 functions:
473	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
22	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=422610.61MB, max=398.85MB, minor=422329.50MB, major=3617.51MB, promoted=3336.40MB
    minor collections=201441  major collections=107 compactions=0


runtime: 00:02:50.571
vars: 49578, evals: 320306

|rho|=49578
|stable|=38231
|infl|=49557
|wpoint|=170
|sides|=1408
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47416
|called|=39
Found 829 contexts for 8 functions. Top 5 functions:
518	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
25	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=447568.35MB, max=398.85MB, minor=447286.91MB, major=3804.24MB, promoted=3522.79MB
    minor collections=213343  major collections=109 compactions=0


runtime: 00:03:00.611
vars: 53513, evals: 334925

|rho|=53513
|stable|=41753
|infl|=53498
|wpoint|=169
|sides|=1471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=26
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=473151.47MB, max=458.68MB, minor=472869.61MB, major=3996.55MB, promoted=3714.70MB
    minor collections=225542  major collections=110 compactions=0


runtime: 00:03:10.638
vars: 53537, evals: 339060

|rho|=53537
|stable|=45912
|infl|=53522
|wpoint|=169
|sides|=1473
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=23
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=502818.83MB, max=458.68MB, minor=502504.96MB, major=4194.97MB, promoted=3881.10MB
    minor collections=239675  major collections=112 compactions=0


runtime: 00:03:20.677
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|=156
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=527657.43MB, max=527.48MB, minor=527152.87MB, major=4573.47MB, promoted=4068.92MB
    minor collections=251429  major collections=114 compactions=0


runtime: 00:03:30.697
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|=141
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=554634.10MB, max=527.48MB, minor=553883.91MB, major=5026.23MB, promoted=4276.04MB
    minor collections=264177  major collections=117 compactions=0


runtime: 00:03:40.724
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|=126
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=582097.24MB, max=527.48MB, minor=581098.63MB, major=5484.49MB, promoted=4485.87MB
    minor collections=277156  major collections=120 compactions=0


runtime: 00:03:50.771
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=609592.13MB, max=606.61MB, minor=608345.21MB, major=5942.70MB, promoted=4695.78MB
    minor collections=290150  major collections=123 compactions=0


runtime: 00:04:00.806
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=636869.57MB, max=606.61MB, minor=635381.03MB, major=6389.21MB, promoted=4900.67MB
    minor collections=303043  major collections=125 compactions=0


runtime: 00:04:10.862
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|=83
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=664147.90MB, max=697.60MB, minor=662407.46MB, major=6851.46MB, promoted=5111.02MB
    minor collections=315931  major collections=127 compactions=0


runtime: 00:04:20.901
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|=71
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=691734.28MB, max=697.60MB, minor=689736.11MB, major=7316.93MB, promoted=5318.76MB
    minor collections=328964  major collections=129 compactions=0


runtime: 00:04:30.949
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|=56
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=718559.35MB, max=697.60MB, minor=716320.43MB, major=7761.49MB, promoted=5522.56MB
    minor collections=341641  major collections=131 compactions=0


runtime: 00:04:40.984
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|=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=746093.82MB, max=802.24MB, minor=743617.38MB, major=8202.44MB, promoted=5726.00MB
    minor collections=354659  major collections=133 compactions=0


runtime: 00:04:51.011
vars: 53538, evals: 342073

|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|=36
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=773046.71MB, max=802.24MB, minor=770419.03MB, major=8568.27MB, promoted=5940.60MB
    minor collections=367440  major collections=135 compactions=0


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

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

Memory statistics: total=800833.06MB, max=802.24MB, minor=798041.18MB, major=8902.41MB, promoted=6110.53MB
    minor collections=380612  major collections=136 compactions=0


runtime: 00:05:11.098
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=828383.25MB, max=802.24MB, minor=825330.85MB, major=9394.28MB, promoted=6341.88MB
    minor collections=393626  major collections=138 compactions=0


runtime: 00:05:21.161
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=856016.98MB, max=922.58MB, minor=852704.60MB, major=9890.18MB, promoted=6577.80MB
    minor collections=406680  major collections=140 compactions=0


runtime: 00:05:31.193
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=878640.48MB, max=922.58MB, minor=875202.83MB, major=10404.97MB, promoted=6967.32MB
    minor collections=417409  major collections=142 compactions=0


runtime: 00:05:41.368
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|=153
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=902232.33MB, max=1220.11MB, minor=898652.55MB, major=10806.26MB, promoted=7226.47MB
    minor collections=428592  major collections=143 compactions=0


runtime: 00:05:51.396
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|=139
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=929877.58MB, max=1220.11MB, minor=926040.06MB, major=11267.99MB, promoted=7430.47MB
    minor collections=441652  major collections=145 compactions=0


runtime: 00:06:01.405
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|=126
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=956917.04MB, max=1220.11MB, minor=952823.46MB, major=11723.75MB, promoted=7630.17MB
    minor collections=454424  major collections=146 compactions=0


runtime: 00:06:11.420
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|=111
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=984334.41MB, max=1220.11MB, minor=979987.57MB, major=12178.01MB, promoted=7831.18MB
    minor collections=467378  major collections=148 compactions=0


runtime: 00:06:21.432
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|=96
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=1011532.90MB, max=1220.11MB, minor=1006947.87MB, major=12610.41MB, promoted=8025.39MB
    minor collections=480235  major collections=149 compactions=0


runtime: 00:06:31.447
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|=81
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=1038855.33MB, max=1220.11MB, minor=1034030.78MB, major=13044.09MB, promoted=8219.53MB
    minor collections=493150  major collections=151 compactions=0


runtime: 00:06:41.475
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|=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=1066585.55MB, max=1220.11MB, minor=1061518.31MB, major=13482.91MB, promoted=8415.66MB
    minor collections=506258  major collections=152 compactions=0


runtime: 00:06:51.490
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|=54
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=1092245.44MB, max=1220.11MB, minor=1086947.41MB, major=13898.71MB, promoted=8600.68MB
    minor collections=518385  major collections=154 compactions=0


runtime: 00:07:01.502
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=1119991.60MB, max=1220.11MB, minor=1114439.29MB, major=14352.55MB, promoted=8800.24MB
    minor collections=531494  major collections=155 compactions=0


runtime: 00:07:11.513
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=1147444.90MB, max=1220.11MB, minor=1141654.16MB, major=14797.49MB, promoted=9006.74MB
    minor collections=544473  major collections=157 compactions=0


runtime: 00:07:21.525
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=1175015.68MB, max=1220.11MB, minor=1168971.09MB, major=15282.75MB, promoted=9238.16MB
    minor collections=557500  major collections=159 compactions=0


runtime: 00:07:31.540
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=1201866.17MB, max=1220.11MB, minor=1195560.19MB, major=15775.61MB, promoted=9469.63MB
    minor collections=570179  major collections=160 compactions=0


runtime: 00:07:41.552
vars: 53538, evals: 342220

|rho|=53538
|stable|=41828
|infl|=53523
|wpoint|=172
|sides|=1474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=51219
|called|=27
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=1220753.85MB, max=1220.11MB, minor=1214413.52MB, major=16242.71MB, promoted=9902.38MB
    minor collections=579170  major collections=162 compactions=0


runtime: 00:07:51.564
vars: 55760, evals: 353793

|rho|=55760
|stable|=43714
|infl|=55737
|wpoint|=497
|sides|=1902
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52987
|called|=35
Found 1320 contexts for 8 functions. Top 5 functions:
604	contexts for L:entry state of worker_for (2265) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
431	contexts for L:entry state of worker_pipeline (2266) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
158	contexts for L:entry state of steal_work (2260) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
94	contexts for L:entry state of ktf_worker (2261) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
30	contexts for L:entry state of kt_for (392) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1244774.32MB, max=1220.11MB, minor=1238413.92MB, major=16433.00MB, promoted=10072.60MB
    minor collections=590615  major collections=162 compactions=0


runtime: 00:08:01.579
vars: 58159, evals: 367461

|rho|=58159
|stable|=45591
|infl|=58136
|wpoint|=496
|sides|=1939
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=55311
|called|=39
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=1268744.46MB, max=1220.11MB, minor=1262383.87MB, major=16607.78MB, promoted=10247.19MB
    minor collections=602045  major collections=163 compactions=0


runtime: 00:08:11.595
vars: 60225, evals: 380877

|rho|=60225
|stable|=47369
|infl|=60202
|wpoint|=496
|sides|=1971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=57313
|called|=38
Found 1389 contexts for 8 functions. Top 5 functions:
668	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
35	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=1292634.36MB, max=1220.11MB, minor=1286273.59MB, major=16780.73MB, promoted=10419.96MB
    minor collections=613437  major collections=163 compactions=0


runtime: 00:08:21.607
vars: 62297, evals: 394221

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

Memory statistics: total=1316612.33MB, max=1220.11MB, minor=1310251.35MB, major=16954.64MB, promoted=10593.66MB
    minor collections=624871  major collections=164 compactions=0


runtime: 00:08:31.622
vars: 64372, evals: 407701

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

Memory statistics: total=1340876.64MB, max=1220.11MB, minor=1334515.51MB, major=17130.68MB, promoted=10769.56MB
    minor collections=636442  major collections=164 compactions=0


runtime: 00:08:41.641
vars: 66440, evals: 421100

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

Memory statistics: total=1365189.94MB, max=1220.11MB, minor=1358826.46MB, major=17308.19MB, promoted=10944.72MB
    minor collections=648035  major collections=165 compactions=0


runtime: 00:08:51.653
vars: 69160, evals: 434978

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

Memory statistics: total=1390759.99MB, max=1220.11MB, minor=1384395.29MB, major=17493.15MB, promoted=11128.44MB
    minor collections=660228  major collections=166 compactions=0


runtime: 00:09:01.662
vars: 71516, evals: 448736

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

Memory statistics: total=1415723.82MB, max=1220.11MB, minor=1409358.88MB, major=17672.55MB, promoted=11307.61MB
    minor collections=672132  major collections=166 compactions=0


runtime: 00:09:11.677
vars: 73594, evals: 462351

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

Memory statistics: total=1440741.77MB, max=1220.11MB, minor=1434376.63MB, major=17852.33MB, promoted=11487.19MB
    minor collections=684062  major collections=167 compactions=0


runtime: 00:09:21.689
vars: 75669, evals: 475838

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

Memory statistics: total=1465716.12MB, max=1220.11MB, minor=1459350.79MB, major=18030.71MB, promoted=11665.38MB
    minor collections=695971  major collections=167 compactions=0


runtime: 00:09:31.704
vars: 77737, evals: 489346

|rho|=77737
|stable|=62151
|infl|=77716
|wpoint|=497
|sides|=2243
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=74281
|called|=40
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=1490714.38MB, max=1220.11MB, minor=1484348.84MB, major=18208.92MB, promoted=11843.37MB
    minor collections=707892  major collections=168 compactions=0


runtime: 00:09:41.715
vars: 79812, evals: 502471

|rho|=79812
|stable|=63954
|infl|=79792
|wpoint|=496
|sides|=2275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76292
|called|=31
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=1516081.43MB, max=1220.11MB, minor=1509715.67MB, major=18388.10MB, promoted=12022.34MB
    minor collections=719988  major collections=168 compactions=0


runtime: 00:09:51.731
vars: 82798, evals: 515824

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

Memory statistics: total=1541309.34MB, max=1220.11MB, minor=1534942.24MB, major=18566.74MB, promoted=12199.64MB
    minor collections=732018  major collections=169 compactions=0


runtime: 00:10:01.742
vars: 84879, evals: 529128

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

Memory statistics: total=1566504.45MB, max=1220.11MB, minor=1560137.19MB, major=18745.38MB, promoted=12378.12MB
    minor collections=744032  major collections=169 compactions=0


runtime: 00:10:11.758
vars: 86960, evals: 542384

|rho|=86960
|stable|=69962
|infl|=86937
|wpoint|=496
|sides|=2387
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=83216
|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=1591658.68MB, max=1220.11MB, minor=1585291.16MB, major=18923.31MB, promoted=12555.78MB
    minor collections=756027  major collections=170 compactions=0


runtime: 00:10:21.769
vars: 89034, evals: 555623

|rho|=89034
|stable|=71734
|infl|=89013
|wpoint|=497
|sides|=2419
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85226
|called|=38
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=1616652.07MB, max=1220.11MB, minor=1610284.38MB, major=19099.69MB, promoted=12732.00MB
    minor collections=767945  major collections=170 compactions=0


runtime: 00:10:31.784
vars: 91321, evals: 568337

|rho|=91321
|stable|=73714
|infl|=91297
|wpoint|=496
|sides|=2455
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87442
|called|=35
Found 1873 contexts for 8 functions. Top 5 functions:
1122	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=1641633.38MB, max=1220.11MB, minor=1635265.41MB, major=19274.89MB, promoted=12906.92MB
    minor collections=779858  major collections=171 compactions=0


runtime: 00:10:41.800
vars: 94107, evals: 581947

|rho|=94107
|stable|=75974
|infl|=94084
|wpoint|=496
|sides|=2499
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90139
|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=1666710.92MB, max=1220.11MB, minor=1660342.71MB, major=19452.95MB, promoted=13084.74MB
    minor collections=791816  major collections=171 compactions=0


runtime: 00:10:51.815
vars: 96182, evals: 595023

|rho|=96182
|stable|=77739
|infl|=96159
|wpoint|=496
|sides|=2531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=92150
|called|=40
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=1691306.37MB, max=1220.11MB, minor=1684937.87MB, major=19626.28MB, promoted=13257.78MB
    minor collections=803544  major collections=172 compactions=0


runtime: 00:11:01.827
vars: 98266, evals: 608430

|rho|=98266
|stable|=79535
|infl|=98243
|wpoint|=496
|sides|=2563
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=94170
|called|=37
Found 1981 contexts for 8 functions. Top 5 functions:
1223	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=1716462.16MB, max=1220.11MB, minor=1710093.47MB, major=19803.98MB, promoted=13435.28MB
    minor collections=815540  major collections=172 compactions=0


runtime: 00:11:11.842
vars: 100331, evals: 621484

|rho|=100331
|stable|=81266
|infl|=100310
|wpoint|=497
|sides|=2595
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96171
|called|=38
Found 2013 contexts for 8 functions. Top 5 functions:
1253	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
74	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=1741067.85MB, max=1220.11MB, minor=1734698.85MB, major=19977.76MB, promoted=13608.77MB
    minor collections=827273  major collections=173 compactions=0


runtime: 00:11:21.857
vars: 103042, evals: 634516

|rho|=103042
|stable|=83686
|infl|=103014
|wpoint|=496
|sides|=2639
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98795
|called|=39
Found 2057 contexts for 8 functions. Top 5 functions:
1295	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
76	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=1765879.71MB, max=1220.11MB, minor=1759510.46MB, major=20151.83MB, promoted=13782.57MB
    minor collections=839105  major collections=173 compactions=0


runtime: 00:11:31.873
vars: 105404, evals: 647528

|rho|=105404
|stable|=85532
|infl|=105381
|wpoint|=496
|sides|=2675
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=101084
|called|=40
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=1790120.61MB, max=1220.11MB, minor=1783751.01MB, major=20322.58MB, promoted=13952.98MB
    minor collections=850664  major collections=174 compactions=0


runtime: 00:11:41.888
vars: 107473, evals: 660310

|rho|=107473
|stable|=87303
|infl|=107450
|wpoint|=496
|sides|=2707
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103089
|called|=38
Found 2125 contexts for 8 functions. Top 5 functions:
1358	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
81	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=1814804.26MB, max=1220.11MB, minor=1808434.46MB, major=20494.10MB, promoted=14124.29MB
    minor collections=862435  major collections=174 compactions=0


runtime: 00:11:51.904
vars: 109542, evals: 673039

|rho|=109542
|stable|=89019
|infl|=109519
|wpoint|=496
|sides|=2739
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105094
|called|=40
Found 2157 contexts for 8 functions. Top 5 functions:
1388	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
83	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=1839483.17MB, max=1220.11MB, minor=1833113.05MB, major=20666.52MB, promoted=14296.40MB
    minor collections=874203  major collections=175 compactions=0


runtime: 00:12:01.929
vars: 111611, evals: 686000

|rho|=111611
|stable|=90817
|infl|=111588
|wpoint|=496
|sides|=2771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=107099
|called|=38
Found 2189 contexts for 8 functions. Top 5 functions:
1418	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
85	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=1864502.15MB, max=1220.11MB, minor=1858131.75MB, major=20841.20MB, promoted=14470.79MB
    minor collections=886133  major collections=175 compactions=0


runtime: 00:12:11.940
vars: 113680, evals: 698787

|rho|=113680
|stable|=92516
|infl|=113657
|wpoint|=496
|sides|=2803
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109104
|called|=39
Found 2221 contexts for 8 functions. Top 5 functions:
1448	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
87	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=1889150.19MB, max=1220.11MB, minor=1882779.52MB, major=21014.16MB, promoted=14643.50MB
    minor collections=897887  major collections=176 compactions=0


runtime: 00:12:21.971
vars: 115736, evals: 711182

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

Memory statistics: total=1913061.23MB, max=1220.11MB, minor=1906690.21MB, major=21181.26MB, promoted=14810.23MB
    minor collections=909289  major collections=176 compactions=0


runtime: 00:12:31.983
vars: 117805, evals: 723858

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

Memory statistics: total=1938008.51MB, max=1220.11MB, minor=1931637.26MB, major=21355.05MB, promoted=14983.79MB
    minor collections=921185  major collections=177 compactions=0


runtime: 00:12:41.994
vars: 119971, evals: 736063

|rho|=119971
|stable|=97912
|infl|=119948
|wpoint|=497
|sides|=2900
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=115202
|called|=37
Found 2318 contexts for 8 functions. Top 5 functions:
1539	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=1961828.08MB, max=1403.13MB, minor=1955456.44MB, major=21520.58MB, promoted=15148.94MB
    minor collections=932543  major collections=177 compactions=0


runtime: 00:12:52.042
vars: 121975, evals: 748074

|rho|=121975
|stable|=99598
|infl|=121956
|wpoint|=497
|sides|=2931
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117143
|called|=32
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=1984876.49MB, max=1403.13MB, minor=1978504.59MB, major=21681.22MB, promoted=15309.32MB
    minor collections=943534  major collections=177 compactions=0


runtime: 00:13:02.061
vars: 124300, evals: 760542

|rho|=124300
|stable|=101605
|infl|=124277
|wpoint|=496
|sides|=2969
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119393
|called|=34
Found 2387 contexts for 8 functions. Top 5 functions:
1604	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=2008500.68MB, max=1403.13MB, minor=2002128.43MB, major=21846.45MB, promoted=15474.20MB
    minor collections=954799  major collections=178 compactions=0


runtime: 00:13:12.084
vars: 126098, evals: 772245

|rho|=126098
|stable|=103085
|infl|=126071
|wpoint|=496
|sides|=2996
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121137
|called|=38
Found 2414 contexts for 8 functions. Top 5 functions:
1629	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=2031084.08MB, max=1403.13MB, minor=2024711.48MB, major=22003.68MB, promoted=15631.09MB
    minor collections=965568  major collections=178 compactions=0


runtime: 00:13:22.104
vars: 128677, evals: 785099

|rho|=128677
|stable|=105346
|infl|=128654
|wpoint|=497
|sides|=3038
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123632
|called|=35
Found 2456 contexts for 8 functions. Top 5 functions:
1669	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
101	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=2055169.38MB, max=1403.13MB, minor=2048796.53MB, major=22171.86MB, promoted=15799.01MB
    minor collections=977053  major collections=179 compactions=0


runtime: 00:13:32.119
vars: 130633, evals: 797025

|rho|=130633
|stable|=106980
|infl|=130610
|wpoint|=497
|sides|=3068
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125528
|called|=35
Found 2486 contexts for 8 functions. Top 5 functions:
1697	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
103	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=2078025.14MB, max=1403.13MB, minor=2071651.89MB, major=22331.59MB, promoted=15958.33MB
    minor collections=987952  major collections=179 compactions=0


runtime: 00:13:42.159
vars: 133053, evals: 809628

|rho|=133053
|stable|=109086
|infl|=133035
|wpoint|=496
|sides|=3106
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127870
|called|=29
Found 2524 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
105	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=2102323.88MB, max=1403.13MB, minor=2095946.12MB, major=22503.65MB, promoted=16125.89MB
    minor collections=999537  major collections=179 compactions=0


runtime: 00:13:52.174
vars: 135178, evals: 821990

|rho|=135178
|stable|=110695
|infl|=135155
|wpoint|=496
|sides|=3139
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129930
|called|=40
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=2126694.42MB, max=1403.13MB, minor=2120316.27MB, major=22670.63MB, promoted=16292.48MB
    minor collections=1011159  major collections=180 compactions=0


runtime: 00:14:02.214
vars: 137235, evals: 834014

|rho|=137235
|stable|=112456
|infl|=137212
|wpoint|=496
|sides|=3171
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=131923
|called|=38
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=2150391.15MB, max=1403.13MB, minor=2144010.51MB, major=22836.69MB, promoted=16456.05MB
    minor collections=1022458  major collections=180 compactions=0


runtime: 00:14:12.229
vars: 139304, evals: 846731

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

Memory statistics: total=2175236.98MB, max=1403.13MB, minor=2168856.02MB, major=23008.24MB, promoted=16627.29MB
    minor collections=1034305  major collections=180 compactions=0


runtime: 00:14:22.241
vars: 141361, evals: 858837

|rho|=141361
|stable|=115928
|infl|=141338
|wpoint|=497
|sides|=3235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135921
|called|=40
Found 2653 contexts for 8 functions. Top 5 functions:
1853	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
114	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=2198992.95MB, max=1403.13MB, minor=2192611.53MB, major=23173.17MB, promoted=16791.75MB
    minor collections=1045634  major collections=181 compactions=0


runtime: 00:14:32.287
vars: 143421, evals: 871063

|rho|=143421
|stable|=117666
|infl|=143398
|wpoint|=496
|sides|=3267
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137917
|called|=40
Found 2685 contexts for 8 functions. Top 5 functions:
1883	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
116	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=2222861.98MB, max=1613.60MB, minor=2216480.19MB, major=23337.51MB, promoted=16955.72MB
    minor collections=1057015  major collections=181 compactions=0


runtime: 00:14:42.299
vars: 145493, evals: 883803

|rho|=145493
|stable|=119393
|infl|=145470
|wpoint|=496
|sides|=3299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139925
|called|=40
Found 2717 contexts for 8 functions. Top 5 functions:
1913	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
118	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=2247585.49MB, max=1613.60MB, minor=2241203.36MB, major=23508.58MB, promoted=17126.45MB
    minor collections=1068805  major collections=182 compactions=0


runtime: 00:14:52.315
vars: 147550, evals: 895939

|rho|=147550
|stable|=121191
|infl|=147527
|wpoint|=496
|sides|=3331
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141918
|called|=38
Found 2749 contexts for 8 functions. Top 5 functions:
1943	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
120	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=2271229.16MB, max=1613.60MB, minor=2264846.54MB, major=23672.38MB, promoted=17289.76MB
    minor collections=1080079  major collections=182 compactions=0

