./goblint --conf conf/svcomp23.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 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
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
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
thread created by pthread_create, called by:
  kt_for
  kt_forpool_init
  kt_pipeline
Total: 2505050
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.122
vars: 5515, evals: 35221

|rho|=5515
|called|=43
|stable|=5487
|infl|=5483
|wpoint|=37
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=5110
Found 91 contexts for 8 functions. Top 5 functions:
34	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
34	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
17	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=30429.21MB, max=49.01MB, minor=30425.03MB, major=245.88MB, promoted=241.70MB
    minor collections=14522  major collections=29 compactions=0


runtime: 00:00:20.145
vars: 10306, evals: 68225

|rho|=10306
|called|=38
|stable|=2087
|infl|=10277
|wpoint|=66
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=9736
Found 176 contexts for 8 functions. Top 5 functions:
76	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
60	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
34	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=59831.76MB, max=74.54MB, minor=59826.55MB, major=469.41MB, promoted=464.20MB
    minor collections=28548  major collections=41 compactions=0


runtime: 00:00:30.164
vars: 14716, evals: 95757

|rho|=14716
|called|=46
|stable|=6479
|infl|=14691
|wpoint|=98
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=14068
Found 254 contexts for 8 functions. Top 5 functions:
107	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
92	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
49	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
2	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
1	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=88740.43MB, max=98.58MB, minor=88734.78MB, major=684.49MB, promoted=678.84MB
    minor collections=42337  major collections=49 compactions=0


runtime: 00:00:40.186
vars: 18078, evals: 122601

|rho|=18078
|called|=48
|stable|=5408
|infl|=18051
|wpoint|=116
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=17259
Found 304 contexts for 8 functions. Top 5 functions:
124	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
108	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
61	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
3	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=117995.36MB, max=113.37MB, minor=117988.64MB, major=895.54MB, promoted=888.82MB
    minor collections=56290  major collections=56 compactions=0


runtime: 00:00:50.213
vars: 21129, evals: 148802

|rho|=21129
|called|=50
|stable|=10199
|infl|=21103
|wpoint|=139
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=20227
Found 357 contexts for 8 functions. Top 5 functions:
145	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
130	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
71	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
3	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=146831.12MB, max=130.38MB, minor=146824.15MB, major=1103.96MB, promoted=1096.99MB
    minor collections=70043  major collections=61 compactions=0


runtime: 00:01:00.232
vars: 24028, evals: 174218

|rho|=24028
|called|=44
|stable|=15013
|infl|=23995
|wpoint|=158
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=23041
Found 409 contexts for 8 functions. Top 5 functions:
166	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
150	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
82	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
5	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
3	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=175156.03MB, max=149.94MB, minor=175148.83MB, major=1306.93MB, promoted=1299.74MB
    minor collections=83552  major collections=66 compactions=0


runtime: 00:01:10.251
vars: 27036, evals: 197189

|rho|=27036
|called|=42
|stable|=4822
|infl|=27025
|wpoint|=166
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=25981
Found 460 contexts for 8 functions. Top 5 functions:
203	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
158	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
86	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
6	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
4	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=203240.12MB, max=172.43MB, minor=203232.41MB, major=1503.15MB, promoted=1495.44MB
    minor collections=96946  major collections=70 compactions=0


runtime: 00:01:20.266
vars: 28796, evals: 221658

|rho|=28796
|called|=38
|stable|=19925
|infl|=28761
|wpoint|=176
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=27690
Found 490 contexts for 8 functions. Top 5 functions:
214	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
168	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
92	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=231707.83MB, max=172.43MB, minor=231699.99MB, major=1701.91MB, promoted=1694.07MB
    minor collections=110523  major collections=74 compactions=0


runtime: 00:01:30.277
vars: 32493, evals: 248163

|rho|=32493
|called|=39
|stable|=23602
|infl|=32458
|wpoint|=202
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=31283
Found 555 contexts for 8 functions. Top 5 functions:
240	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
194	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
105	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=260495.83MB, max=198.30MB, minor=260487.75MB, major=1909.45MB, promoted=1901.37MB
    minor collections=124252  major collections=78 compactions=0


runtime: 00:01:40.300
vars: 35984, evals: 274021

|rho|=35984
|called|=43
|stable|=20385
|infl|=35960
|wpoint|=222
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=34687
Found 616 contexts for 8 functions. Top 5 functions:
272	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
212	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
116	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
7	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
5	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=288725.23MB, max=228.04MB, minor=288715.37MB, major=2112.73MB, promoted=2102.88MB
    minor collections=137714  major collections=81 compactions=0


runtime: 00:01:50.311
vars: 38540, evals: 298600

|rho|=38540
|called|=45
|stable|=29369
|infl|=38513
|wpoint|=238
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37177
Found 658 contexts for 8 functions. Top 5 functions:
288	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
228	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
124	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
8	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
6	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=316827.89MB, max=228.04MB, minor=316817.87MB, major=2312.90MB, promoted=2302.88MB
    minor collections=151116  major collections=84 compactions=0


runtime: 00:02:00.325
vars: 41670, evals: 324004

|rho|=41670
|called|=45
|stable|=32476
|infl|=41643
|wpoint|=260
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=40219
Found 713 contexts for 8 functions. Top 5 functions:
310	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
250	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
135	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
8	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
6	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=345169.13MB, max=228.04MB, minor=345158.93MB, major=2513.87MB, promoted=2503.67MB
    minor collections=164632  major collections=87 compactions=0


runtime: 00:02:10.356
vars: 44460, evals: 347682

|rho|=44460
|called|=44
|stable|=35455
|infl|=44438
|wpoint|=273
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=42941
Found 761 contexts for 8 functions. Top 5 functions:
337	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
262	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
142	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
9	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
7	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=373447.99MB, max=262.25MB, minor=373437.10MB, major=2712.13MB, promoted=2701.24MB
    minor collections=178118  major collections=89 compactions=0


runtime: 00:02:20.375
vars: 46232, evals: 370290

|rho|=46232
|called|=39
|stable|=36222
|infl|=46198
|wpoint|=278
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=44671
Found 791 contexts for 8 functions. Top 5 functions:
357	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
266	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
145	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=401856.34MB, max=262.25MB, minor=401845.34MB, major=2903.44MB, promoted=2892.44MB
    minor collections=191666  major collections=92 compactions=0


runtime: 00:02:30.402
vars: 49710, evals: 394849

|rho|=49710
|called|=40
|stable|=39746
|infl|=49670
|wpoint|=301
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=48051
Found 853 contexts for 8 functions. Top 5 functions:
382	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
291	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
157	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=429260.31MB, max=301.59MB, minor=429249.14MB, major=3098.18MB, promoted=3087.01MB
    minor collections=204734  major collections=94 compactions=0


runtime: 00:02:40.425
vars: 53035, evals: 418984

|rho|=53035
|called|=39
|stable|=43030
|infl|=53002
|wpoint|=325
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=51282
Found 911 contexts for 8 functions. Top 5 functions:
405	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
314	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
169	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
10	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
8	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=456294.48MB, max=301.59MB, minor=456283.17MB, major=3288.60MB, promoted=3277.28MB
    minor collections=217626  major collections=96 compactions=0


runtime: 00:02:50.447
vars: 55411, evals: 442579

|rho|=55411
|called|=38
|stable|=44870
|infl|=55389
|wpoint|=335
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=53609
Found 949 contexts for 8 functions. Top 5 functions:
427	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
322	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
175	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=483932.19MB, max=301.59MB, minor=483920.75MB, major=3481.47MB, promoted=3470.03MB
    minor collections=230806  major collections=98 compactions=0


runtime: 00:03:00.466
vars: 58516, evals: 466925

|rho|=58516
|called|=49
|stable|=48259
|infl|=58490
|wpoint|=356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=56628
Found 1004 contexts for 8 functions. Top 5 functions:
449	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
344	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
186	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=511839.45MB, max=346.83MB, minor=511827.87MB, major=3677.45MB, promoted=3665.87MB
    minor collections=244115  major collections=100 compactions=0


runtime: 00:03:10.481
vars: 61375, evals: 490623

|rho|=61375
|called|=45
|stable|=50725
|infl|=61353
|wpoint|=377
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59405
Found 1054 contexts for 8 functions. Top 5 functions:
469	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
364	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
196	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
11	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
9	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=539176.60MB, max=346.83MB, minor=539164.89MB, major=3868.07MB, promoted=3856.36MB
    minor collections=257151  major collections=102 compactions=0


runtime: 00:03:20.491
vars: 63584, evals: 511917

|rho|=63584
|called|=33
|stable|=44790
|infl|=63573
|wpoint|=378
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=61571
Found 1092 contexts for 8 functions. Top 5 functions:
501	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
366	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
198	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
12	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
10	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=567087.46MB, max=346.83MB, minor=567075.60MB, major=4055.32MB, promoted=4043.47MB
    minor collections=270462  major collections=104 compactions=0


runtime: 00:03:30.510
vars: 65899, evals: 534684

|rho|=65899
|called|=39
|stable|=54801
|infl|=65864
|wpoint|=392
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=63822
Found 1132 contexts for 8 functions. Top 5 functions:
516	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
380	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
206	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=594870.18MB, max=398.85MB, minor=594856.10MB, major=4244.35MB, promoted=4230.26MB
    minor collections=283710  major collections=106 compactions=0


runtime: 00:03:40.533
vars: 69232, evals: 558384

|rho|=69232
|called|=48
|stable|=58149
|infl|=69199
|wpoint|=415
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=67064
Found 1190 contexts for 8 functions. Top 5 functions:
539	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
404	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
217	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=622140.54MB, max=398.85MB, minor=622125.28MB, major=4435.61MB, promoted=4420.34MB
    minor collections=296714  major collections=107 compactions=0


runtime: 00:03:50.560
vars: 72529, evals: 582334

|rho|=72529
|called|=42
|stable|=53935
|infl|=72505
|wpoint|=434
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=70277
Found 1248 contexts for 8 functions. Top 5 functions:
570	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
420	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
228	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
13	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
11	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=649721.00MB, max=398.85MB, minor=649705.61MB, major=4626.17MB, promoted=4610.78MB
    minor collections=309866  major collections=109 compactions=0


runtime: 00:04:00.570
vars: 74624, evals: 604738

|rho|=74624
|called|=64
|stable|=63245
|infl|=74597
|wpoint|=448
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=72319
Found 1282 contexts for 8 functions. Top 5 functions:
583	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
432	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
235	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=676959.60MB, max=398.85MB, minor=676944.11MB, major=4813.82MB, promoted=4798.33MB
    minor collections=322855  major collections=110 compactions=0


runtime: 00:04:10.589
vars: 77639, evals: 628293

|rho|=77639
|called|=44
|stable|=66216
|infl|=77612
|wpoint|=468
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=75251
Found 1335 contexts for 8 functions. Top 5 functions:
604	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
454	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
245	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=704783.20MB, max=458.68MB, minor=704766.53MB, major=5006.82MB, promoted=4990.16MB
    minor collections=336124  major collections=112 compactions=0


runtime: 00:04:20.604
vars: 80841, evals: 651330

|rho|=80841
|called|=73
|stable|=69854
|infl|=80826
|wpoint|=489
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=78371
Found 1391 contexts for 8 functions. Top 5 functions:
635	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
470	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
254	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
14	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
12	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=732532.67MB, max=458.68MB, minor=732515.87MB, major=5197.21MB, promoted=5180.42MB
    minor collections=349356  major collections=113 compactions=0


runtime: 00:04:30.623
vars: 81855, evals: 672218

|rho|=81855
|called|=47
|stable|=67704
|infl|=81844
|wpoint|=486
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=79366
Found 1408 contexts for 8 functions. Top 5 functions:
650	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
470	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
254	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
15	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
13	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=761314.62MB, max=458.68MB, minor=761297.72MB, major=5385.98MB, promoted=5369.08MB
    minor collections=363081  major collections=114 compactions=0


runtime: 00:04:40.634
vars: 85035, evals: 695472

|rho|=85035
|called|=36
|stable|=72834
|infl|=84999
|wpoint|=504
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=82458
Found 1463 contexts for 8 functions. Top 5 functions:
671	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
490	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
265	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=789360.36MB, max=458.68MB, minor=789343.34MB, major=5574.55MB, promoted=5557.54MB
    minor collections=376456  major collections=116 compactions=0


runtime: 00:04:50.653
vars: 88362, evals: 719189

|rho|=88362
|called|=46
|stable|=76158
|infl|=88329
|wpoint|=528
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=85694
Found 1521 contexts for 8 functions. Top 5 functions:
694	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
514	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
276	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=817425.11MB, max=458.68MB, minor=817407.97MB, major=5766.99MB, promoted=5749.85MB
    minor collections=389839  major collections=117 compactions=0


runtime: 00:05:00.663
vars: 90800, evals: 742519

|rho|=90800
|called|=44
|stable|=76733
|infl|=90776
|wpoint|=540
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=88072
Found 1564 contexts for 8 functions. Top 5 functions:
719	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
524	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
284	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
16	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
14	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=845845.55MB, max=527.48MB, minor=845828.31MB, major=5960.19MB, promoted=5942.95MB
    minor collections=403392  major collections=118 compactions=0


runtime: 00:05:10.674
vars: 93657, evals: 765509

|rho|=93657
|called|=40
|stable|=80975
|infl|=93635
|wpoint|=559
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=90855
Found 1611 contexts for 8 functions. Top 5 functions:
737	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
542	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
293	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
15	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=873811.28MB, max=527.48MB, minor=873793.93MB, major=6150.17MB, promoted=6132.82MB
    minor collections=416728  major collections=120 compactions=0


runtime: 00:05:20.689
vars: 96563, evals: 788807

|rho|=96563
|called|=44
|stable|=84064
|infl|=96535
|wpoint|=580
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=93678
Found 1663 contexts for 8 functions. Top 5 functions:
758	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
562	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
304	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
17	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
15	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=902097.65MB, max=527.48MB, minor=902080.17MB, major=6342.15MB, promoted=6324.67MB
    minor collections=430217  major collections=121 compactions=0


runtime: 00:05:30.712
vars: 99268, evals: 810667

|rho|=99268
|called|=39
|stable|=86806
|infl|=99246
|wpoint|=591
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=96320
Found 1709 contexts for 8 functions. Top 5 functions:
784	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
574	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
310	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
18	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
16	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=930404.54MB, max=527.48MB, minor=930386.92MB, major=6532.08MB, promoted=6514.46MB
    minor collections=443716  major collections=122 compactions=0


runtime: 00:05:40.727
vars: 100737, evals: 831522

|rho|=100737
|called|=36
|stable|=87418
|infl|=100701
|wpoint|=592
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=97756
Found 1734 contexts for 8 functions. Top 5 functions:
802	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
576	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
312	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=959086.46MB, max=606.61MB, minor=959068.74MB, major=6713.95MB, promoted=6696.23MB
    minor collections=457393  major collections=123 compactions=0


runtime: 00:05:50.741
vars: 104062, evals: 854967

|rho|=104062
|called|=40
|stable|=90743
|infl|=104029
|wpoint|=615
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=100990
Found 1792 contexts for 8 functions. Top 5 functions:
825	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
600	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
323	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=987451.72MB, max=606.61MB, minor=987433.87MB, major=6905.96MB, promoted=6888.11MB
    minor collections=470919  major collections=124 compactions=0


runtime: 00:06:00.748
vars: 107203, evals: 878060

|rho|=107203
|called|=42
|stable|=93752
|infl|=107174
|wpoint|=638
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=104041
Found 1847 contexts for 8 functions. Top 5 functions:
847	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
622	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
334	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
19	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
17	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1015553.11MB, max=606.61MB, minor=1015535.16MB, major=7095.07MB, promoted=7077.12MB
    minor collections=484320  major collections=125 compactions=0


runtime: 00:06:10.763
vars: 109637, evals: 900681

|rho|=109637
|called|=46
|stable|=96143
|infl|=109610
|wpoint|=648
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=106425
Found 1887 contexts for 8 functions. Top 5 functions:
870	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
630	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
341	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
18	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1044006.33MB, max=606.61MB, minor=1043988.27MB, major=7286.24MB, promoted=7268.18MB
    minor collections=497888  major collections=126 compactions=0


runtime: 00:06:20.782
vars: 112288, evals: 922828

|rho|=112288
|called|=39
|stable|=98661
|infl|=112260
|wpoint|=667
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=108999
Found 1934 contexts for 8 functions. Top 5 functions:
889	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
648	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
351	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
18	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1071561.40MB, max=606.61MB, minor=1071543.24MB, major=7469.93MB, promoted=7451.77MB
    minor collections=511029  major collections=127 compactions=0


runtime: 00:06:30.797
vars: 115052, evals: 945286

|rho|=115052
|called|=42
|stable|=101263
|infl|=115030
|wpoint|=688
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=111686
Found 1982 contexts for 8 functions. Top 5 functions:
908	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
668	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
360	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
20	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
18	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1099617.27MB, max=606.61MB, minor=1099598.99MB, major=7657.52MB, promoted=7639.24MB
    minor collections=524407  major collections=128 compactions=0


runtime: 00:06:40.808
vars: 117548, evals: 966098

|rho|=117548
|called|=41
|stable|=104070
|infl|=117526
|wpoint|=697
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=114124
Found 2025 contexts for 8 functions. Top 5 functions:
933	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
678	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
366	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
21	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
19	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1127418.59MB, max=606.61MB, minor=1127394.92MB, major=7845.08MB, promoted=7821.40MB
    minor collections=537662  major collections=129 compactions=0


runtime: 00:06:50.823
vars: 119023, evals: 986278

|rho|=119023
|called|=41
|stable|=104551
|infl|=118988
|wpoint|=698
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=115566
Found 2050 contexts for 8 functions. Top 5 functions:
951	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
680	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
368	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1155785.64MB, max=697.60MB, minor=1155761.66MB, major=8021.71MB, promoted=7997.73MB
    minor collections=551190  major collections=130 compactions=0


runtime: 00:07:00.838
vars: 122192, evals: 1008887

|rho|=122192
|called|=42
|stable|=107756
|infl|=122150
|wpoint|=721
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=118646
Found 2106 contexts for 8 functions. Top 5 functions:
973	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
703	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
379	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1183986.65MB, max=697.60MB, minor=1183962.41MB, major=8209.92MB, promoted=8185.68MB
    minor collections=564638  major collections=131 compactions=0


runtime: 00:07:10.849
vars: 125442, evals: 1031456

|rho|=125442
|called|=44
|stable|=111006
|infl|=125402
|wpoint|=744
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=121806
Found 2163 contexts for 8 functions. Top 5 functions:
996	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
726	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
390	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1212070.17MB, max=697.60MB, minor=1212045.69MB, major=8397.63MB, promoted=8373.15MB
    minor collections=578030  major collections=132 compactions=0


runtime: 00:07:20.863
vars: 127541, evals: 1053860

|rho|=127541
|called|=71
|stable|=112984
|infl|=127526
|wpoint|=757
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=123861
Found 2196 contexts for 8 functions. Top 5 functions:
1017	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
732	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
396	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
22	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
20	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1240607.64MB, max=697.60MB, minor=1240583.01MB, major=8584.81MB, promoted=8560.19MB
    minor collections=591638  major collections=133 compactions=0


runtime: 00:07:30.890
vars: 130458, evals: 1075680

|rho|=130458
|called|=42
|stable|=115685
|infl|=130431
|wpoint|=772
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=126698
Found 2248 contexts for 8 functions. Top 5 functions:
1037	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
752	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
406	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
21	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1268814.15MB, max=697.60MB, minor=1268789.29MB, major=8770.59MB, promoted=8745.73MB
    minor collections=605089  major collections=134 compactions=0


runtime: 00:07:40.905
vars: 133039, evals: 1097460

|rho|=133039
|called|=38
|stable|=118053
|infl|=133017
|wpoint|=792
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=129205
Found 2293 contexts for 8 functions. Top 5 functions:
1055	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
770	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
415	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
23	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
21	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1296750.09MB, max=697.60MB, minor=1296720.84MB, major=8958.28MB, promoted=8929.04MB
    minor collections=618409  major collections=135 compactions=0


runtime: 00:07:50.919
vars: 135792, evals: 1118203

|rho|=135792
|called|=42
|stable|=121113
|infl|=135770
|wpoint|=804
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=131892
Found 2341 contexts for 8 functions. Top 5 functions:
1082	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
782	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
422	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
24	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1324723.94MB, max=697.60MB, minor=1324692.39MB, major=9142.55MB, promoted=9110.99MB
    minor collections=631747  major collections=135 compactions=0


runtime: 00:08:00.954
vars: 136668, evals: 1137411

|rho|=136668
|called|=33
|stable|=120718
|infl|=136657
|wpoint|=803
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=132751
Found 2356 contexts for 8 functions. Top 5 functions:
1097	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
782	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
422	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
24	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
22	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1352629.89MB, max=802.24MB, minor=1352598.23MB, major=9316.22MB, promoted=9284.56MB
    minor collections=645055  major collections=136 compactions=0


runtime: 00:08:10.969
vars: 139845, evals: 1159047

|rho|=139845
|called|=36
|stable|=124290
|infl|=139809
|wpoint|=822
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=135840
Found 2411 contexts for 8 functions. Top 5 functions:
1118	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
802	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
433	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1380640.71MB, max=802.24MB, minor=1380608.83MB, major=9498.84MB, promoted=9466.95MB
    minor collections=658412  major collections=137 compactions=0


runtime: 00:08:20.984
vars: 142893, evals: 1181035

|rho|=142893
|called|=43
|stable|=127191
|infl|=142864
|wpoint|=844
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=138803
Found 2464 contexts for 8 functions. Top 5 functions:
1139	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
824	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
443	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1408830.13MB, max=802.24MB, minor=1408798.05MB, major=9684.15MB, promoted=9652.06MB
    minor collections=671855  major collections=138 compactions=0


runtime: 00:08:31.002
vars: 145613, evals: 1203107

|rho|=145613
|called|=44
|stable|=125142
|infl|=145589
|wpoint|=858
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=141457
Found 2512 contexts for 8 functions. Top 5 functions:
1166	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
836	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
452	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
25	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
23	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1437294.28MB, max=802.24MB, minor=1437261.96MB, major=9870.51MB, promoted=9838.19MB
    minor collections=685428  major collections=139 compactions=0


runtime: 00:08:41.017
vars: 147893, evals: 1223908

|rho|=147893
|called|=45
|stable|=132012
|infl|=147866
|wpoint|=872
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=143681
Found 2549 contexts for 8 functions. Top 5 functions:
1180	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
850	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
459	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
24	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1465018.78MB, max=802.24MB, minor=1464984.20MB, major=10053.24MB, promoted=10018.66MB
    minor collections=698647  major collections=139 compactions=0


runtime: 00:08:51.028
vars: 150453, evals: 1244707

|rho|=150453
|called|=38
|stable|=134577
|infl|=150426
|wpoint|=890
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=146169
Found 2594 contexts for 8 functions. Top 5 functions:
1198	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
868	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
468	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
24	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1492338.88MB, max=802.24MB, minor=1492304.12MB, major=10230.55MB, promoted=10195.79MB
    minor collections=711675  major collections=140 compactions=0


runtime: 00:09:01.043
vars: 153063, evals: 1266648

|rho|=153063
|called|=43
|stable|=137147
|infl|=153038
|wpoint|=910
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=148704
Found 2640 contexts for 8 functions. Top 5 functions:
1216	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
886	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
478	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
26	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
24	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1521173.43MB, max=802.24MB, minor=1521138.51MB, major=10418.37MB, promoted=10383.44MB
    minor collections=725426  major collections=141 compactions=0


runtime: 00:09:11.066
vars: 154939, evals: 1285788

|rho|=154939
|called|=44
|stable|=131696
|infl|=154928
|wpoint|=909
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=150546
Found 2672 contexts for 8 functions. Top 5 functions:
1246	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
886	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
478	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
27	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
25	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1550134.70MB, max=802.24MB, minor=1550099.61MB, major=10598.18MB, promoted=10563.09MB
    minor collections=739236  major collections=141 compactions=0


runtime: 00:09:21.085
vars: 157159, evals: 1306000

|rho|=157159
|called|=36
|stable|=140457
|infl|=157125
|wpoint|=921
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=152707
Found 2710 contexts for 8 functions. Top 5 functions:
1260	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
900	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
485	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1577886.18MB, max=922.58MB, minor=1577850.94MB, major=10772.31MB, promoted=10737.07MB
    minor collections=752469  major collections=142 compactions=0


runtime: 00:09:31.096
vars: 160118, evals: 1328053

|rho|=160118
|called|=60
|stable|=143441
|infl|=160084
|wpoint|=943
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=155581
Found 2762 contexts for 8 functions. Top 5 functions:
1281	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
920	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
496	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1606758.25MB, max=922.58MB, minor=1606722.82MB, major=10958.72MB, promoted=10923.30MB
    minor collections=766237  major collections=143 compactions=0


runtime: 00:09:41.119
vars: 162952, evals: 1349876

|rho|=162952
|called|=37
|stable|=146124
|infl|=162919
|wpoint|=964
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=158336
Found 2812 contexts for 8 functions. Top 5 functions:
1300	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
940	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
507	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
28	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
26	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1635560.11MB, max=922.58MB, minor=1635524.52MB, major=11143.86MB, promoted=11108.27MB
    minor collections=779972  major collections=144 compactions=0


runtime: 00:09:51.138
vars: 165103, evals: 1370280

|rho|=165103
|called|=44
|stable|=148103
|infl|=165075
|wpoint|=971
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=160442
Found 2847 contexts for 8 functions. Top 5 functions:
1322	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
946	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
512	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1663391.77MB, max=922.58MB, minor=1663356.04MB, major=11322.24MB, promoted=11286.51MB
    minor collections=793243  major collections=144 compactions=0


runtime: 00:10:01.153
vars: 167674, evals: 1391126

|rho|=167674
|called|=40
|stable|=150688
|infl|=167646
|wpoint|=989
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=162941
Found 2892 contexts for 8 functions. Top 5 functions:
1340	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
964	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
521	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1691351.87MB, max=922.58MB, minor=1691315.97MB, major=11501.53MB, promoted=11465.63MB
    minor collections=806577  major collections=145 compactions=0


runtime: 00:10:11.172
vars: 170401, evals: 1412167

|rho|=170401
|called|=46
|stable|=153437
|infl|=170368
|wpoint|=1009
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=165593
Found 2940 contexts for 8 functions. Top 5 functions:
1359	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
984	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
530	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
29	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
27	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1719527.43MB, max=922.58MB, minor=1719491.36MB, major=11683.52MB, promoted=11647.46MB
    minor collections=820012  major collections=145 compactions=0


runtime: 00:10:21.203
vars: 172370, evals: 1430469

|rho|=172370
|called|=46
|stable|=155476
|infl|=172348
|wpoint|=1015
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=167518
Found 2973 contexts for 8 functions. Top 5 functions:
1380	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
990	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
534	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
30	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
28	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1746136.62MB, max=922.58MB, minor=1746100.41MB, major=11850.61MB, promoted=11814.39MB
    minor collections=832701  major collections=146 compactions=0


runtime: 00:10:31.214
vars: 173831, evals: 1449899

|rho|=173831
|called|=45
|stable|=156040
|infl|=173797
|wpoint|=1016
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=168946
Found 2998 contexts for 8 functions. Top 5 functions:
1398	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
992	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
536	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
29	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1775373.92MB, max=922.58MB, minor=1775337.59MB, major=12027.03MB, promoted=11990.70MB
    minor collections=846643  major collections=147 compactions=0


runtime: 00:10:41.233
vars: 176676, evals: 1470319

|rho|=176676
|called|=35
|stable|=158885
|infl|=176642
|wpoint|=1036
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=171711
Found 3048 contexts for 8 functions. Top 5 functions:
1418	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1012	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
546	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
29	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1802747.68MB, max=922.58MB, minor=1802711.16MB, major=12202.13MB, promoted=12165.61MB
    minor collections=859696  major collections=147 compactions=0


runtime: 00:10:51.248
vars: 179501, evals: 1490444

|rho|=179501
|called|=38
|stable|=161680
|infl|=179466
|wpoint|=1056
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=174456
Found 3098 contexts for 8 functions. Top 5 functions:
1438	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1032	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
556	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
29	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1829841.71MB, max=922.58MB, minor=1829805.03MB, major=12375.25MB, promoted=12338.56MB
    minor collections=872616  major collections=148 compactions=0


runtime: 00:11:01.267
vars: 182155, evals: 1511546

|rho|=182155
|called|=36
|stable|=158780
|infl|=182131
|wpoint|=1070
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=177047
Found 3144 contexts for 8 functions. Top 5 functions:
1464	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1044	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
564	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
31	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
29	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1858386.02MB, max=922.58MB, minor=1858349.19MB, major=12556.80MB, promoted=12519.97MB
    minor collections=886228  major collections=148 compactions=0


runtime: 00:11:11.282
vars: 184158, evals: 1531047

|rho|=184158
|called|=62
|stable|=166075
|infl|=184132
|wpoint|=1084
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=179002
Found 3176 contexts for 8 functions. Top 5 functions:
1476	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1056	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
570	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
32	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
30	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1885643.43MB, max=1060.96MB, minor=1885606.48MB, major=12729.46MB, promoted=12692.51MB
    minor collections=899226  major collections=149 compactions=0


runtime: 00:11:21.293
vars: 186716, evals: 1551803

|rho|=186716
|called|=46
|stable|=168235
|infl|=186694
|wpoint|=1101
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=181486
Found 3221 contexts for 8 functions. Top 5 functions:
1494	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1074	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
579	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
32	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
30	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1914281.26MB, max=1060.96MB, minor=1914244.14MB, major=12911.16MB, promoted=12874.04MB
    minor collections=912882  major collections=150 compactions=0


runtime: 00:11:31.316
vars: 189183, evals: 1571218

|rho|=189183
|called|=41
|stable|=171097
|infl|=189154
|wpoint|=1119
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=183884
Found 3265 contexts for 8 functions. Top 5 functions:
1512	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1091	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
588	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
32	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
30	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1941231.37MB, max=1060.96MB, minor=1941194.09MB, major=13081.42MB, promoted=13044.14MB
    minor collections=925733  major collections=150 compactions=0


runtime: 00:11:41.327
vars: 191481, evals: 1589661

|rho|=191481
|called|=43
|stable|=160762
|infl|=191470
|wpoint|=1120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=186136
Found 3304 contexts for 8 functions. Top 5 functions:
1544	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1094	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
590	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
33	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
31	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1969806.90MB, max=1060.96MB, minor=1969769.47MB, major=13256.43MB, promoted=13218.99MB
    minor collections=939360  major collections=151 compactions=0


runtime: 00:11:51.358
vars: 192660, evals: 1608393

|rho|=192660
|called|=39
|stable|=173742
|infl|=192625
|wpoint|=1126
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=187283
Found 3324 contexts for 8 functions. Top 5 functions:
1551	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1100	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
594	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
34	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
32	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=1997654.26MB, max=1060.96MB, minor=1997616.73MB, major=13422.68MB, promoted=13385.16MB
    minor collections=952639  major collections=151 compactions=0


runtime: 00:12:01.369
vars: 195471, evals: 1628602

|rho|=195471
|called|=37
|stable|=176563
|infl|=195434
|wpoint|=1146
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=190014
Found 3374 contexts for 8 functions. Top 5 functions:
1571	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1120	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
604	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
34	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
32	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2025750.18MB, max=1060.96MB, minor=2025712.46MB, major=13599.35MB, promoted=13561.64MB
    minor collections=966037  major collections=152 compactions=0


runtime: 00:12:11.396
vars: 198274, evals: 1648899

|rho|=198274
|called|=34
|stable|=179347
|infl|=198245
|wpoint|=1166
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=192740
Found 3422 contexts for 8 functions. Top 5 functions:
1590	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1140	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
613	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
34	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
32	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2053623.19MB, max=1060.96MB, minor=2053585.32MB, major=13775.46MB, promoted=13737.59MB
    minor collections=979328  major collections=152 compactions=0


runtime: 00:12:21.407
vars: 200426, evals: 1668778

|rho|=200426
|called|=42
|stable|=178607
|infl|=200402
|wpoint|=1176
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=194842
Found 3460 contexts for 8 functions. Top 5 functions:
1613	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1148	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
620	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
34	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
32	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2081506.94MB, max=1060.96MB, minor=2081468.95MB, major=13950.53MB, promoted=13912.54MB
    minor collections=992625  major collections=153 compactions=0


runtime: 00:12:31.426
vars: 202781, evals: 1688600

|rho|=202781
|called|=44
|stable|=183580
|infl|=202754
|wpoint|=1191
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=197136
Found 3499 contexts for 8 functions. Top 5 functions:
1628	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1162	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
628	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
35	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
33	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2109523.43MB, max=1060.96MB, minor=2109485.30MB, major=14124.66MB, promoted=14086.53MB
    minor collections=1005984  major collections=153 compactions=0


runtime: 00:12:41.437
vars: 205252, evals: 1707856

|rho|=205252
|called|=46
|stable|=186016
|infl|=205225
|wpoint|=1208
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=199540
Found 3542 contexts for 8 functions. Top 5 functions:
1645	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1180	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
636	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
35	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
33	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2136658.23MB, max=1060.96MB, minor=2136619.94MB, major=14294.40MB, promoted=14256.12MB
    minor collections=1018924  major collections=154 compactions=0


runtime: 00:12:51.460
vars: 207633, evals: 1727855

|rho|=207633
|called|=44
|stable|=188428
|infl|=207606
|wpoint|=1226
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=201852
Found 3584 contexts for 8 functions. Top 5 functions:
1662	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1196	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
645	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
35	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
33	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2164807.67MB, max=1060.96MB, minor=2164769.26MB, major=14470.78MB, promoted=14432.37MB
    minor collections=1032347  major collections=154 compactions=0


runtime: 00:13:01.467
vars: 209752, evals: 1745115

|rho|=209752
|called|=43
|stable|=178808
|infl|=209741
|wpoint|=1226
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=203931
Found 3620 contexts for 8 functions. Top 5 functions:
1693	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1198	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
646	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
36	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
34	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2192418.87MB, max=1060.96MB, minor=2192380.29MB, major=14636.42MB, promoted=14597.83MB
    minor collections=1045514  major collections=155 compactions=0


runtime: 00:13:11.486
vars: 211142, evals: 1764319

|rho|=211142
|called|=39
|stable|=191089
|infl|=211108
|wpoint|=1233
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=205286
Found 3643 contexts for 8 functions. Top 5 functions:
1701	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1206	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
650	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
37	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
35	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2221415.73MB, max=1220.11MB, minor=2221377.04MB, major=14809.06MB, promoted=14770.37MB
    minor collections=1059341  major collections=155 compactions=0


runtime: 00:13:21.501
vars: 213786, evals: 1783508

|rho|=213786
|called|=45
|stable|=193759
|infl|=213752
|wpoint|=1252
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=207853
Found 3690 contexts for 8 functions. Top 5 functions:
1720	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1224	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
660	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
37	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
35	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2248530.15MB, max=1220.11MB, minor=2248491.27MB, major=14977.39MB, promoted=14938.51MB
    minor collections=1072271  major collections=156 compactions=0


runtime: 00:13:31.532
vars: 216545, evals: 1803445

|rho|=216545
|called|=44
|stable|=196485
|infl|=216516
|wpoint|=1272
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=210535
Found 3738 contexts for 8 functions. Top 5 functions:
1739	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1244	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
669	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
37	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
35	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2276470.89MB, max=1220.11MB, minor=2276431.87MB, major=15152.31MB, promoted=15113.28MB
    minor collections=1085594  major collections=156 compactions=0


runtime: 00:13:41.551
vars: 218697, evals: 1822760

|rho|=218697
|called|=35
|stable|=195181
|infl|=218673
|wpoint|=1282
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=212637
Found 3776 contexts for 8 functions. Top 5 functions:
1762	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1252	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
676	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
37	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
35	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2304174.33MB, max=1220.11MB, minor=2304135.18MB, major=15323.24MB, promoted=15284.09MB
    minor collections=1098805  major collections=157 compactions=0


runtime: 00:13:51.578
vars: 220981, evals: 1842296

|rho|=220981
|called|=38
|stable|=200633
|infl|=220954
|wpoint|=1296
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=214865
Found 3813 contexts for 8 functions. Top 5 functions:
1776	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1266	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
683	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
38	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
36	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2332385.21MB, max=1220.11MB, minor=2332345.93MB, major=15498.16MB, promoted=15458.89MB
    minor collections=1112257  major collections=157 compactions=0


runtime: 00:14:01.589
vars: 223334, evals: 1861585

|rho|=223334
|called|=42
|stable|=202970
|infl|=223306
|wpoint|=1313
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=217149
Found 3855 contexts for 8 functions. Top 5 functions:
1793	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1282	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
692	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
38	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
36	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2360186.50MB, max=1220.11MB, minor=2360147.08MB, major=15669.53MB, promoted=15630.11MB
    minor collections=1125515  major collections=158 compactions=0


runtime: 00:14:11.616
vars: 225795, evals: 1880743

|rho|=225795
|called|=45
|stable|=205423
|infl|=225768
|wpoint|=1330
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=219543
Found 3898 contexts for 8 functions. Top 5 functions:
1810	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1300	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
700	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
38	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
36	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2387758.37MB, max=1220.11MB, minor=2387718.81MB, major=15840.18MB, promoted=15800.62MB
    minor collections=1138662  major collections=158 compactions=0


runtime: 00:14:21.627
vars: 228023, evals: 1897826

|rho|=228023
|called|=34
|stable|=194108
|infl|=228012
|wpoint|=1332
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=221726
Found 3936 contexts for 8 functions. Top 5 functions:
1842	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1302	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
702	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
39	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
37	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2415525.75MB, max=1220.11MB, minor=2415486.02MB, major=16006.89MB, promoted=15967.16MB
    minor collections=1151904  major collections=159 compactions=0


runtime: 00:14:31.654
vars: 228923, evals: 1915537

|rho|=228923
|called|=40
|stable|=207763
|infl|=228888
|wpoint|=1336
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=222602
Found 3951 contexts for 8 functions. Top 5 functions:
1847	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1306	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
705	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
40	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
38	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2443167.47MB, max=1220.11MB, minor=2443127.67MB, major=16167.55MB, promoted=16127.75MB
    minor collections=1165084  major collections=159 compactions=0


runtime: 00:14:41.673
vars: 231690, evals: 1935305

|rho|=231690
|called|=45
|stable|=210498
|infl|=231657
|wpoint|=1356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=225294
Found 3999 contexts for 8 functions. Top 5 functions:
1866	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1326	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
714	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
40	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
38	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2471729.35MB, max=1220.11MB, minor=2471689.36MB, major=16342.91MB, promoted=16302.92MB
    minor collections=1178705  major collections=160 compactions=0


runtime: 00:14:51.700
vars: 234241, evals: 1953472

|rho|=234241
|called|=43
|stable|=213064
|infl|=234207
|wpoint|=1373
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=227773
Found 4044 contexts for 8 functions. Top 5 functions:
1884	contexts for entry state of worker_for (2257) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:612:1-638:1
1344	contexts for entry state of steal_work (2252) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:205:1-232:1
723	contexts for entry state of ktf_worker (2253) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:233:1-256:1
40	contexts for entry state of worker_pipeline (2258) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:639:1-686:1
38	contexts for entry state of kt_for (2072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:257:1-302:1

Memory statistics: total=2498061.10MB, max=1220.11MB, minor=2498020.92MB, major=16504.63MB, promoted=16464.45MB
    minor collections=1191261  major collections=160 compactions=0

