./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/pigz/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/pigz/main.c:558:7-564:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:587:3-590:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:617:7-623:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:655:3-669:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:688:3-705:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:754:3-763:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:779:7-787:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:789:7-798:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1072:3-1083:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1093:3-1104:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1125:3-1150:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1167:3-1180:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1199:3-1205:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1368:3-1378:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1453:3-1470:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1537:5-1549:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1660:15-1664:15 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1682:21-1691:21 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1761:19-1770:19 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1801:11-1810:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1823:11-1833:11 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1856:7-1868:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1879:7-1886:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:1928:5-1940:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2012:7-2024:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2035:7-2042:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2166:11-2175:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2185:9-2195:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2418:9-2459:9 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2485:11-2494:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2519:13-2528:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2541:15-2550:15 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2558:13-2567:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2569:15-2578:15 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2587:13-2596:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2605:13-2614:13 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2623:11-2632:11 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2682:13-2690:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2702:7-2712:7 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2756:5-2768:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2772:9-2791:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2796:7-2808:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2819:7-2826:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2913:3-2919:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2920:3-2926:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3223:13-3229:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3323:13-3329:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3347:13-3353:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3556:7-3562:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3570:5-3576:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3727:5-3733:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3734:5-3740:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:3858:7-3864:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4045:9-4051:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4392:7-4401:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4411:9-4417:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4579:7-4586:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4595:5-4602:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4655:7-4662:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4674:9-4694:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4699:7-4725:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4733:9-4753:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:4758:7-4784:7 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5034:13-5040:13 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5055:15-5061:15 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5070:11-5075:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5365:9-5374:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5394:7-5399:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5422:7-5434:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5477:3-5482:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5533:5-5545:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5549:9-5562:9 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5567:7-5579:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5590:7-5597:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5628:5-5640:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5644:9-5659:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5664:7-5676:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:5687:7-5694:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:6949:11-6955:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7007:11-7013:11 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7039:5-7044:5 with factor 6
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7056:7-7061:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7068:5-7076:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7291:11-7306:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7360:7-7379:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7393:7-7398:7 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7516:9-7528:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7531:11-7542:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7545:11-7557:11 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7565:11-7582:11 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7585:9-7592:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7665:13-7694:13 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7699:11-7705:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7733:7-7745:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7748:9-7758:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7761:9-7773:9 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7781:9-7798:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7801:7-7808:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7815:11-7821:11 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7873:3-7879:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:7904:3-7907:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8013:3-8030:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8071:7-8078:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8106:7-8121:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8369:5-8381:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8416:13-8423:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8425:13-8438:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8458:13-8465:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8467:13-8480:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8534:9-8547:9 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8551:9-8579:9 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8587:7-8599:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8603:7-8609:7 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8615:7-8627:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8638:7-8645:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8961:3-8967:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8970:3-8976:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8979:3-8985:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8988:3-8994:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9047:3-9057:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9096:5-9102:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9170:3-9179:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9206:5-9215:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:9203:3-9228:3 with factor 1
Collected factors:
functions: 116
functionCalls: 2262
loops: 217
loopBreaks: 0
controlFlowStatements: 6574
expressions: 33311
instructions: 6889
integralVars: (10,720)
arrayVars: (8,13)
pointerVars: (23,348)

Complexity estimates:
File: 913155490
function process is recursive, disable interval context
malloc wrapper: try_throw_
thread created by pthread_create, called by:
  launch_
Total: 913155490
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.357
vars: 23552, evals: 49281

|rho|=23552
|called|=62
|stable|=16718
|infl|=23497
|wpoint|=120
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=21690
Found 1160 contexts for 13 functions. Top 5 functions:
306	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
267	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
267	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
267	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
16	contexts for entry state of num (4072) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=23111.78MB, max=151.80MB, minor=23102.88MB, major=278.75MB, promoted=269.85MB
    minor collections=11024  major collections=16 compactions=0


runtime: 00:00:20.377
vars: 40894, evals: 87958

|rho|=40894
|called|=101
|stable|=12189
|infl|=40823
|wpoint|=161
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=37748
Found 1932 contexts for 41 functions. Top 5 functions:
477	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
389	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
389	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
389	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
30	contexts for entry state of readn (3989) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:645:1-672:1

Memory statistics: total=45116.96MB, max=230.87MB, minor=45105.61MB, major=517.19MB, promoted=505.84MB
    minor collections=21518  major collections=20 compactions=0


runtime: 00:00:30.429
vars: 57113, evals: 123826

|rho|=57113
|called|=75
|stable|=13863
|infl|=57042
|wpoint|=162
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=52988
Found 2625 contexts for 44 functions. Top 5 functions:
653	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
508	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
508	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
508	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
90	contexts for entry state of readn (3989) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:645:1-672:1

Memory statistics: total=67034.04MB, max=403.80MB, minor=67021.90MB, major=803.00MB, promoted=790.86MB
    minor collections=31970  major collections=23 compactions=0


runtime: 00:00:40.460
vars: 64295, evals: 160456

|rho|=64295
|called|=74
|stable|=32314
|infl|=64185
|wpoint|=163
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=59660
Found 2923 contexts for 47 functions. Top 5 functions:
722	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
556	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
556	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
556	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
112	contexts for entry state of readn (3989) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:645:1-672:1

Memory statistics: total=88992.05MB, max=464.37MB, minor=88979.48MB, major=1032.95MB, promoted=1020.37MB
    minor collections=42441  major collections=25 compactions=0


runtime: 00:00:50.504
vars: 82392, evals: 193652

|rho|=82392
|called|=57
|stable|=49026
|infl|=82320
|wpoint|=165
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=76925
Found 3755 contexts for 47 functions. Top 5 functions:
946	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
707	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
707	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
707	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
186	contexts for entry state of readn (3989) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:645:1-672:1

Memory statistics: total=110504.72MB, max=534.03MB, minor=110487.61MB, major=1327.18MB, promoted=1310.07MB
    minor collections=52698  major collections=27 compactions=0


runtime: 00:01:00.588
vars: 109490, evals: 230338

|rho|=109490
|called|=56
|stable|=76157
|infl|=109407
|wpoint|=167
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=102660
Found 4928 contexts for 52 functions. Top 5 functions:
1244	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
914	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
914	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
914	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
282	contexts for entry state of readn (3989) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:645:1-672:1

Memory statistics: total=132627.81MB, max=706.25MB, minor=132608.49MB, major=1642.29MB, promoted=1622.97MB
    minor collections=63247  major collections=28 compactions=0


runtime: 00:01:10.652
vars: 124049, evals: 259245

|rho|=124049
|called|=157
|stable|=90390
|infl|=123975
|wpoint|=166
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=116547
Found 5547 contexts for 52 functions. Top 5 functions:
1399	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1020	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1020	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1020	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
350	contexts for entry state of load (4035) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2848:1-2893:1

Memory statistics: total=154584.87MB, max=812.19MB, minor=154564.89MB, major=1944.24MB, promoted=1924.25MB
    minor collections=73717  major collections=29 compactions=0


runtime: 00:01:20.739
vars: 141183, evals: 287120

|rho|=141183
|called|=309
|stable|=107677
|infl|=141106
|wpoint|=171
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=132926
Found 6302 contexts for 52 functions. Top 5 functions:
1598	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1154	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1154	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1154	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
429	contexts for entry state of load (4035) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2848:1-2893:1

Memory statistics: total=175912.90MB, max=1074.12MB, minor=175885.65MB, major=2248.98MB, promoted=2221.73MB
    minor collections=83885  major collections=30 compactions=0


runtime: 00:01:30.779
vars: 151665, evals: 312295

|rho|=151665
|called|=74
|stable|=118104
|infl|=151600
|wpoint|=227
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=142867
Found 6754 contexts for 53 functions. Top 5 functions:
1710	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1234	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1234	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1234	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
463	contexts for entry state of load (4035) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2848:1-2893:1

Memory statistics: total=197734.55MB, max=1074.12MB, minor=197706.76MB, major=2539.50MB, promoted=2511.72MB
    minor collections=94290  major collections=31 compactions=0


runtime: 00:01:40.835
vars: 160772, evals: 345260

|rho|=160772
|called|=145
|stable|=35234
|infl|=160679
|wpoint|=244
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=151388
Found 7187 contexts for 53 functions. Top 5 functions:
1803	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1306	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1306	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1306	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
478	contexts for entry state of load (4035) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2848:1-2893:1

Memory statistics: total=221213.67MB, max=1235.24MB, minor=221179.46MB, major=2786.25MB, promoted=2752.03MB
    minor collections=105484  major collections=32 compactions=0


runtime: 00:01:50.882
vars: 195947, evals: 382384

|rho|=195947
|called|=172
|stable|=71276
|infl|=195866
|wpoint|=245
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=184269
Found 9346 contexts for 55 functions. Top 5 functions:
2136	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1622	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1622	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1622	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
496	contexts for entry state of load (4035) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:2848:1-2893:1

Memory statistics: total=248309.73MB, max=1420.53MB, minor=248272.93MB, major=3038.77MB, promoted=3001.98MB
    minor collections=118403  major collections=32 compactions=0


runtime: 00:02:00.922
vars: 227780, evals: 414087

|rho|=227780
|called|=81
|stable|=103257
|infl|=227677
|wpoint|=246
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=214134
Found 11308 contexts for 55 functions. Top 5 functions:
2440	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1908	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
1908	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1908	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
576	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=273256.24MB, max=1420.53MB, minor=273216.99MB, major=3277.69MB, promoted=3238.43MB
    minor collections=130298  major collections=33 compactions=0


runtime: 00:02:10.958
vars: 244592, evals: 443400

|rho|=244592
|called|=66
|stable|=118517
|infl|=244519
|wpoint|=292
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=229974
Found 12270 contexts for 55 functions. Top 5 functions:
2583	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2042	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
2042	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2042	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
692	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=299444.14MB, max=1420.53MB, minor=299403.71MB, major=3494.77MB, promoted=3454.34MB
    minor collections=142785  major collections=33 compactions=0


runtime: 00:02:21.018
vars: 270918, evals: 470437

|rho|=270918
|called|=105
|stable|=145061
|infl|=270784
|wpoint|=293
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=254700
Found 13870 contexts for 55 functions. Top 5 functions:
2829	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2274	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
2274	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2274	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
896	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=322848.80MB, max=1633.61MB, minor=322796.06MB, major=3733.99MB, promoted=3681.24MB
    minor collections=153942  major collections=34 compactions=0


runtime: 00:02:31.089
vars: 298487, evals: 498086

|rho|=298487
|called|=86
|stable|=172565
|infl|=298368
|wpoint|=293
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=280614
Found 15525 contexts for 55 functions. Top 5 functions:
3083	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2514	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
2514	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2514	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1108	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=346899.05MB, max=1633.61MB, minor=346839.98MB, major=3980.43MB, promoted=3921.36MB
    minor collections=165408  major collections=34 compactions=0


runtime: 00:02:41.097
vars: 323607, evals: 524372

|rho|=323607
|called|=112
|stable|=197649
|infl|=323513
|wpoint|=294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=304188
Found 17071 contexts for 55 functions. Top 5 functions:
3322	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2739	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
2739	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2739	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1304	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=371476.07MB, max=1633.61MB, minor=371414.99MB, major=4223.97MB, promoted=4162.89MB
    minor collections=177127  major collections=35 compactions=0


runtime: 00:02:51.185
vars: 338673, evals: 546991

|rho|=338673
|called|=77
|stable|=212208
|infl|=338562
|wpoint|=292
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=318363
Found 17960 contexts for 55 functions. Top 5 functions:
3456	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2866	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
2866	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2866	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1416	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=396199.21MB, max=1878.66MB, minor=396136.75MB, major=4431.18MB, promoted=4368.73MB
    minor collections=188916  major collections=35 compactions=0


runtime: 00:03:01.260
vars: 354608, evals: 570632

|rho|=354608
|called|=99
|stable|=228523
|infl|=354487
|wpoint|=293
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=333333
Found 18917 contexts for 55 functions. Top 5 functions:
3606	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3008	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3008	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3008	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1534	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=422127.66MB, max=2160.46MB, minor=422064.06MB, major=4659.22MB, promoted=4595.63MB
    minor collections=201279  major collections=35 compactions=0


runtime: 00:03:11.268
vars: 377601, evals: 594938

|rho|=377601
|called|=65
|stable|=250903
|infl|=377502
|wpoint|=294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=354942
Found 20301 contexts for 55 functions. Top 5 functions:
3816	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3207	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3207	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3207	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1711	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=447142.01MB, max=2160.46MB, minor=447076.41MB, major=4876.67MB, promoted=4811.06MB
    minor collections=213207  major collections=36 compactions=0


runtime: 00:03:21.360
vars: 398505, evals: 616448

|rho|=398505
|called|=113
|stable|=271790
|infl|=398358
|wpoint|=294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=374578
Found 21569 contexts for 55 functions. Top 5 functions:
4013	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3392	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3392	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3392	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1871	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=471024.84MB, max=2160.46MB, minor=470952.95MB, major=5082.88MB, promoted=5010.99MB
    minor collections=224594  major collections=36 compactions=0


runtime: 00:03:31.452
vars: 420963, evals: 638631

|rho|=420963
|called|=85
|stable|=294248
|infl|=420844
|wpoint|=294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=395659
Found 22946 contexts for 55 functions. Top 5 functions:
4225	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3592	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3592	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3592	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2047	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=495780.73MB, max=2484.53MB, minor=495706.72MB, major=5296.62MB, promoted=5222.60MB
    minor collections=236397  major collections=36 compactions=0


runtime: 00:03:41.463
vars: 441781, evals: 660407

|rho|=441781
|called|=264
|stable|=314864
|infl|=441696
|wpoint|=298
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=415227
Found 24196 contexts for 55 functions. Top 5 functions:
4418	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3774	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3774	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3774	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2206	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=521250.59MB, max=2484.53MB, minor=521174.54MB, major=5511.63MB, promoted=5435.58MB
    minor collections=248542  major collections=36 compactions=0


runtime: 00:03:51.475
vars: 452550, evals: 678121

|rho|=452550
|called|=52
|stable|=325704
|infl|=452469
|wpoint|=294
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=425336
Found 24856 contexts for 55 functions. Top 5 functions:
4520	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3870	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3870	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3870	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2290	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=547342.19MB, max=2484.53MB, minor=547264.82MB, major=5704.63MB, promoted=5627.25MB
    minor collections=260983  major collections=37 compactions=0


runtime: 00:04:01.527
vars: 469869, evals: 697325

|rho|=469869
|called|=61
|stable|=342470
|infl|=469783
|wpoint|=295
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=441649
Found 25862 contexts for 55 functions. Top 5 functions:
4671	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4013	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4013	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4013	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2416	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=571310.77MB, max=2484.53MB, minor=571231.40MB, major=5888.15MB, promoted=5808.78MB
    minor collections=272412  major collections=37 compactions=0


runtime: 00:04:11.619
vars: 475566, evals: 714460

|rho|=475566
|called|=56
|stable|=333052
|infl|=475474
|wpoint|=313
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=446986
Found 26208 contexts for 57 functions. Top 5 functions:
4724	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4064	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4064	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4064	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2458	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=597107.67MB, max=2857.21MB, minor=597027.53MB, major=6089.24MB, promoted=6009.10MB
    minor collections=284712  major collections=37 compactions=0


runtime: 00:04:21.646
vars: 476169, evals: 733404

|rho|=476169
|called|=97
|stable|=336201
|infl|=476104
|wpoint|=316
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=447559
Found 26230 contexts for 57 functions. Top 5 functions:
4728	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4067	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4067	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4067	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2458	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=626329.01MB, max=2857.21MB, minor=626248.77MB, major=6294.64MB, promoted=6214.41MB
    minor collections=298646  major collections=37 compactions=0


runtime: 00:04:31.662
vars: 494306, evals: 757915

|rho|=494306
|called|=149
|stable|=359829
|infl|=494217
|wpoint|=316
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=464579
Found 27347 contexts for 57 functions. Top 5 functions:
4898	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4228	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4228	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4228	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2602	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=655177.49MB, max=2857.21MB, minor=655095.60MB, major=6504.32MB, promoted=6422.43MB
    minor collections=312402  major collections=37 compactions=0


runtime: 00:04:41.690
vars: 518438, evals: 781908

|rho|=518438
|called|=87
|stable|=384106
|infl|=518365
|wpoint|=316
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=487224
Found 28833 contexts for 57 functions. Top 5 functions:
5127	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4444	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4444	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4444	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2791	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=682673.31MB, max=2857.21MB, minor=682588.66MB, major=6709.96MB, promoted=6625.31MB
    minor collections=325512  major collections=38 compactions=0


runtime: 00:04:51.781
vars: 538875, evals: 802881

|rho|=538875
|called|=362
|stable|=404467
|infl|=538786
|wpoint|=321
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=506428
Found 30066 contexts for 57 functions. Top 5 functions:
5317	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4623	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4623	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4623	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2947	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=707168.29MB, max=3285.79MB, minor=707049.36MB, major=6925.31MB, promoted=6806.38MB
    minor collections=337179  major collections=38 compactions=0


runtime: 00:05:01.873
vars: 558449, evals: 823049

|rho|=558449
|called|=248
|stable|=424105
|infl|=558382
|wpoint|=320
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=524795
Found 31273 contexts for 57 functions. Top 5 functions:
5504	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4799	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4799	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4799	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3101	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=732394.49MB, max=3285.79MB, minor=732263.88MB, major=7123.80MB, promoted=6993.19MB
    minor collections=349204  major collections=38 compactions=0


runtime: 00:05:11.909
vars: 578069, evals: 845485

|rho|=578069
|called|=336
|stable|=443663
|infl|=578002
|wpoint|=321
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=543202
Found 32485 contexts for 57 functions. Top 5 functions:
5691	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4975	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4975	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4975	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3255	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=762063.68MB, max=3285.79MB, minor=761930.44MB, major=7344.94MB, promoted=7211.71MB
    minor collections=363350  major collections=38 compactions=0


runtime: 00:05:21.921
vars: 587230, evals: 864175

|rho|=587230
|called|=85
|stable|=452534
|infl|=587159
|wpoint|=317
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=551811
Found 33037 contexts for 57 functions. Top 5 functions:
5774	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5054	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5054	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5054	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3325	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=791928.98MB, max=3285.79MB, minor=791794.42MB, major=7538.57MB, promoted=7404.01MB
    minor collections=377591  major collections=38 compactions=0


runtime: 00:05:31.928
vars: 607250, evals: 885860

|rho|=607250
|called|=75
|stable|=472276
|infl|=607168
|wpoint|=316
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=570629
Found 34237 contexts for 57 functions. Top 5 functions:
5952	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5224	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5224	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5224	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3477	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=820393.13MB, max=3285.79MB, minor=820255.69MB, major=7730.66MB, promoted=7593.22MB
    minor collections=391163  major collections=39 compactions=0


runtime: 00:05:41.940
vars: 625064, evals: 905652

|rho|=625064
|called|=92
|stable|=491100
|infl|=624968
|wpoint|=320
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=587347
Found 35317 contexts for 57 functions. Top 5 functions:
6120	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5386	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5386	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5386	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3605	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=846729.59MB, max=3285.79MB, minor=846589.36MB, major=7909.66MB, promoted=7769.42MB
    minor collections=403720  major collections=39 compactions=0


runtime: 00:05:52.000
vars: 634505, evals: 924638

|rho|=634505
|called|=45
|stable|=500275
|infl|=634438
|wpoint|=338
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=596227
Found 35854 contexts for 57 functions. Top 5 functions:
6225	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5463	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5463	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5463	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3667	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=875642.17MB, max=3285.79MB, minor=875500.31MB, major=8078.92MB, promoted=7937.07MB
    minor collections=417506  major collections=39 compactions=0


runtime: 00:06:02.092
vars: 639330, evals: 944189

|rho|=639330
|called|=184
|stable|=512893
|infl|=639258
|wpoint|=339
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=600804
Found 36101 contexts for 57 functions. Top 5 functions:
6264	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5500	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5500	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5500	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3692	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=901958.15MB, max=3778.66MB, minor=901815.04MB, major=8261.20MB, promoted=8118.09MB
    minor collections=430054  major collections=39 compactions=0


runtime: 00:06:12.116
vars: 640600, evals: 961400

|rho|=640600
|called|=81
|stable|=514527
|infl|=640483
|wpoint|=340
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=601982
Found 36181 contexts for 57 functions. Top 5 functions:
6274	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5511	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5511	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5511	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3702	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=929814.16MB, max=3778.66MB, minor=929670.96MB, major=8472.67MB, promoted=8329.47MB
    minor collections=443337  major collections=39 compactions=0


runtime: 00:06:22.127
vars: 649555, evals: 976521

|rho|=649555
|called|=148
|stable|=133996
|infl|=649467
|wpoint|=345
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=610371
Found 36711 contexts for 63 functions. Top 5 functions:
6351	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5585	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
5585	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5585	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3770	contexts for entry state of fail (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=948831.56MB, max=3778.66MB, minor=948687.70MB, major=8583.61MB, promoted=8439.75MB
    minor collections=452405  major collections=39 compactions=0


runtime: 00:06:32.139
vars: 665401, evals: 1001031

|rho|=665401
|called|=111
|stable|=137997
|infl|=665332
|wpoint|=350
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=625256
Found 37637 contexts for 65 functions. Top 5 functions:
6475	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5706	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5706	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5706	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3874	contexts for entry state of cut_yarn (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8319:1-8326:1

Memory statistics: total=980675.47MB, max=3778.66MB, minor=980529.97MB, major=8779.43MB, promoted=8633.94MB
    minor collections=467589  major collections=39 compactions=0


runtime: 00:06:42.147
vars: 676191, evals: 1022930

|rho|=676191
|called|=68
|stable|=158213
|infl|=676112
|wpoint|=356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=635379
Found 38299 contexts for 66 functions. Top 5 functions:
6567	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5796	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5796	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5796	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
3958	contexts for entry state of cut_yarn (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8319:1-8326:1

Memory statistics: total=1009602.12MB, max=3778.66MB, minor=1009454.95MB, major=8955.07MB, promoted=8807.90MB
    minor collections=481382  major collections=40 compactions=0


runtime: 00:06:52.183
vars: 682135, evals: 1043286

|rho|=682135
|called|=102
|stable|=178810
|infl|=682059
|wpoint|=356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=640952
Found 38670 contexts for 66 functions. Top 5 functions:
6620	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5849	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5849	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5849	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4011	contexts for entry state of cut_yarn (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8319:1-8326:1

Memory statistics: total=1037379.28MB, max=3778.66MB, minor=1037230.70MB, major=9112.50MB, promoted=8963.92MB
    minor collections=494627  major collections=40 compactions=0


runtime: 00:07:02.274
vars: 690159, evals: 1070472

|rho|=690159
|called|=73
|stable|=206313
|infl|=690098
|wpoint|=356
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=648479
Found 39167 contexts for 66 functions. Top 5 functions:
6691	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5920	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
5920	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5920	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4082	contexts for entry state of cut_yarn (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8319:1-8326:1

Memory statistics: total=1063065.07MB, max=3778.66MB, minor=1062906.20MB, major=9302.70MB, promoted=9143.83MB
    minor collections=506870  major collections=40 compactions=0


runtime: 00:07:12.378
vars: 705623, evals: 1108778

|rho|=705623
|called|=92
|stable|=148563
|infl|=705557
|wpoint|=364
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=662916
Found 39953 contexts for 70 functions. Top 5 functions:
6830	contexts for entry state of try_throw_ (2456) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6052	contexts for entry state of try_create_ (4077) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
6052	contexts for entry state of try_setup_ (2451) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6052	contexts for entry state of pthread_once (1372) on lib/libc/stub/src/pthread.c:5:1-10:1
4134	contexts for entry state of cut_yarn (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8319:1-8326:1

Memory statistics: total=1085445.52MB, max=4345.46MB, minor=1085285.81MB, major=9512.62MB, promoted=9352.91MB
    minor collections=517542  major collections=40 compactions=0

