./goblint --enable dbg.warn_with_context --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
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
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
longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
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 and interval_set contexts
malloc wrapper: try_throw_
math function -> enabling tmpSpecial analysis and floating-point domain
Total: 913155490
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.358
vars: 15205, evals: 42800

|rho|=15205
|stable|=7177
|infl|=15176
|wpoint|=5
|sides|=1123
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13413
|called|=51
Found 667 contexts for 13 functions. Top 5 functions:
241	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
133	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
133	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
133	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
7	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=28409.58MB, max=132.00MB, minor=28402.43MB, major=289.36MB, promoted=282.21MB
    minor collections=13552  major collections=18 compactions=0


runtime: 00:00:20.413
vars: 25457, evals: 76715

|rho|=25457
|stable|=17932
|infl|=25424
|wpoint|=28
|sides|=1705
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22691
|called|=53
Found 1059 contexts for 13 functions. Top 5 functions:
409	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
203	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
203	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
203	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
13	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=52290.10MB, max=200.75MB, minor=52281.31MB, major=476.96MB, promoted=468.16MB
    minor collections=24940  major collections=21 compactions=0


runtime: 00:00:30.436
vars: 33708, evals: 103470

|rho|=33708
|stable|=26050
|infl|=33685
|wpoint|=40
|sides|=2029
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30305
|called|=31
Found 1372 contexts for 13 functions. Top 5 functions:
550	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
255	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
255	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
255	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
19	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=73261.16MB, max=265.50MB, minor=73250.93MB, major=626.07MB, promoted=615.84MB
    minor collections=34940  major collections=23 compactions=0


runtime: 00:00:40.459
vars: 40252, evals: 126619

|rho|=40252
|stable|=32471
|infl|=40217
|wpoint|=52
|sides|=2287
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36337
|called|=35
Found 1627 contexts for 13 functions. Top 5 functions:
669	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
297	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
297	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
297	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
24	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=92368.41MB, max=305.32MB, minor=92357.24MB, major=758.63MB, promoted=747.47MB
    minor collections=44052  major collections=24 compactions=0


runtime: 00:00:52.821
vars: 42364, evals: 133316

|rho|=42364
|stable|=7125
|infl|=42331
|wpoint|=54
|sides|=2428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38240
|called|=33
Found 1690 contexts for 20 functions. Top 5 functions:
688	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
302	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
302	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
302	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
24	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=104577.97MB, max=1771.69MB, minor=98123.73MB, major=7247.29MB, promoted=793.05MB
    minor collections=46815  major collections=43 compactions=6


runtime: 00:01:04.052
vars: 44172, evals: 135364

|rho|=44172
|stable|=8933
|infl|=44128
|wpoint|=56
|sides|=2536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39872
|called|=44
Found 1760 contexts for 20 functions. Top 5 functions:
696	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
309	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
309	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
309	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
24	contexts for L:entry state of num (4070) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=114552.65MB, max=1771.69MB, minor=99776.85MB, major=15588.90MB, promoted=813.09MB
    minor collections=47621  major collections=65 compactions=13


runtime: 00:01:15.198
vars: 54301, evals: 149497

|rho|=54301
|stable|=15384
|infl|=54273
|wpoint|=66
|sides|=3270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=48694
|called|=29
Found 2257 contexts for 40 functions. Top 5 functions:
767	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
374	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
374	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
374	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
60	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=131836.13MB, max=2362.25MB, minor=110348.80MB, major=22407.46MB, promoted=920.13MB
    minor collections=52675  major collections=81 compactions=17


runtime: 00:01:25.205
vars: 66142, evals: 178443

|rho|=66142
|stable|=26837
|infl|=66065
|wpoint|=77
|sides|=3942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59235
|called|=109
Found 2884 contexts for 41 functions. Top 5 functions:
863	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
459	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
459	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
459	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
144	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=156415.97MB, max=2362.25MB, minor=134925.45MB, major=22633.72MB, promoted=1143.19MB
    minor collections=64396  major collections=83 compactions=17


runtime: 00:01:35.220
vars: 78275, evals: 204291

|rho|=78275
|stable|=39004
|infl|=78236
|wpoint|=88
|sides|=4624
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=70037
|called|=71
Found 3533 contexts for 41 functions. Top 5 functions:
962	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
547	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
547	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
547	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
232	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=179833.59MB, max=2362.25MB, minor=158341.06MB, major=22878.29MB, promoted=1385.77MB
    minor collections=75562  major collections=84 compactions=17


runtime: 00:01:45.239
vars: 80594, evals: 231322

|rho|=80594
|stable|=41661
|infl|=80527
|wpoint|=90
|sides|=4759
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72101
|called|=68
Found 3658 contexts for 41 functions. Top 5 functions:
981	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
563	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
563	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
563	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
249	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=204444.48MB, max=2362.25MB, minor=182951.28MB, major=23066.62MB, promoted=1573.42MB
    minor collections=87298  major collections=85 compactions=17


runtime: 00:01:55.274
vars: 98369, evals: 256936

|rho|=98369
|stable|=56963
|infl|=98319
|wpoint|=111
|sides|=5764
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=87938
|called|=252
Found 4590 contexts for 42 functions. Top 5 functions:
1122	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
689	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
689	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
689	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
376	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=227615.36MB, max=2362.25MB, minor=206120.44MB, major=23306.56MB, promoted=1811.64MB
    minor collections=98346  major collections=86 compactions=17


runtime: 00:02:05.301
vars: 109752, evals: 278504

|rho|=109752
|stable|=68010
|infl|=109719
|wpoint|=124
|sides|=6449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=98011
|called|=202
Found 5212 contexts for 43 functions. Top 5 functions:
1220	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
774	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
774	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
774	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
456	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=250840.85MB, max=2362.25MB, minor=229343.82MB, major=23535.74MB, promoted=2038.71MB
    minor collections=109421  major collections=87 compactions=17


runtime: 00:02:15.344
vars: 118295, evals: 298949

|rho|=118295
|stable|=76322
|infl|=118262
|wpoint|=134
|sides|=6954
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105573
|called|=199
Found 5688 contexts for 43 functions. Top 5 functions:
1295	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
839	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
839	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
839	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
516	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=274824.63MB, max=2362.25MB, minor=253326.60MB, major=23773.91MB, promoted=2275.89MB
    minor collections=120858  major collections=88 compactions=17


runtime: 00:02:25.370
vars: 124412, evals: 316646

|rho|=124412
|stable|=81798
|infl|=124375
|wpoint|=139
|sides|=7311
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=111005
|called|=43
Found 6017 contexts for 44 functions. Top 5 functions:
1345	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
882	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
882	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
882	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
560	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=298636.41MB, max=2362.25MB, minor=277137.55MB, major=24014.43MB, promoted=2515.57MB
    minor collections=132212  major collections=89 compactions=17


runtime: 00:02:35.689
vars: 137547, evals: 336747

|rho|=137547
|stable|=95056
|infl|=137491
|wpoint|=150
|sides|=8050
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=122740
|called|=57
Found 6679 contexts for 44 functions. Top 5 functions:
1442	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
967	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
967	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
967	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
648	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=320448.31MB, max=2362.25MB, minor=297870.03MB, major=25279.48MB, promoted=2701.20MB
    minor collections=142101  major collections=90 compactions=17


runtime: 00:02:46.080
vars: 140442, evals: 350780

|rho|=140442
|stable|=50489
|infl|=140408
|wpoint|=153
|sides|=8181
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125385
|called|=70
Found 6795 contexts for 44 functions. Top 5 functions:
1457	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
979	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
979	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
979	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
668	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=340778.16MB, max=3985.72MB, minor=312830.98MB, major=30767.77MB, promoted=2820.59MB
    minor collections=149243  major collections=95 compactions=17


runtime: 00:02:56.095
vars: 144453, evals: 364387

|rho|=144453
|stable|=59444
|infl|=144427
|wpoint|=157
|sides|=8399
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128980
|called|=76
Found 6993 contexts for 44 functions. Top 5 functions:
1486	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1004	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1004	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1004	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
696	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=361820.06MB, max=3985.72MB, minor=328503.78MB, major=36268.48MB, promoted=2952.20MB
    minor collections=156725  major collections=100 compactions=17


runtime: 00:03:06.106
vars: 144453, evals: 383440

|rho|=144453
|stable|=78496
|infl|=144427
|wpoint|=157
|sides|=8399
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128980
|called|=51
Found 6993 contexts for 44 functions. Top 5 functions:
1486	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1004	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1004	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1004	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
696	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=379699.16MB, max=3985.72MB, minor=346382.15MB, major=36395.14MB, promoted=3078.13MB
    minor collections=165250  major collections=100 compactions=17


runtime: 00:03:16.125
vars: 152534, evals: 403266

|rho|=152533
|stable|=51866
|infl|=152485
|wpoint|=167
|sides|=8863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136167
|called|=63
Found 7424 contexts for 45 functions. Top 5 functions:
1548	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1059	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1059	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1059	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
760	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=402120.58MB, max=3985.72MB, minor=368799.62MB, major=36573.01MB, promoted=3252.05MB
    minor collections=175941  major collections=101 compactions=17


runtime: 00:03:26.156
vars: 157050, evals: 423095

|rho|=157050
|stable|=69430
|infl|=157027
|wpoint|=170
|sides|=9142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140171
|called|=113
Found 7653 contexts for 45 functions. Top 5 functions:
1585	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1091	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1091	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1091	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
788	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=422143.64MB, max=3985.72MB, minor=388821.95MB, major=36722.66MB, promoted=3400.97MB
    minor collections=185488  major collections=101 compactions=17


runtime: 00:03:36.302
vars: 157050, evals: 436821

|rho|=157050
|stable|=83156
|infl|=157027
|wpoint|=170
|sides|=9142
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140171
|called|=36
Found 7653 contexts for 45 functions. Top 5 functions:
1585	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1091	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1091	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1091	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
788	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=436298.19MB, max=3985.72MB, minor=402976.23MB, major=36824.94MB, promoted=3502.98MB
    minor collections=192238  major collections=103 compactions=18


runtime: 00:03:46.737
vars: 157529, evals: 451433

|rho|=157529
|stable|=97765
|infl|=157472
|wpoint|=171
|sides|=9203
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=140569
|called|=60
Found 7672 contexts for 46 functions. Top 5 functions:
1587	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1093	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1093	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1093	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
790	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=458801.58MB, max=3985.72MB, minor=420110.83MB, major=42309.43MB, promoted=3618.69MB
    minor collections=200419  major collections=108 compactions=18


runtime: 00:03:56.772
vars: 161761, evals: 469567

|rho|=161761
|stable|=99864
|infl|=161737
|wpoint|=178
|sides|=9426
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144360
|called|=194
Found 7888 contexts for 46 functions. Top 5 functions:
1621	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1122	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1122	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1122	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
820	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=481866.61MB, max=3985.72MB, minor=443175.63MB, major=42539.20MB, promoted=3848.22MB
    minor collections=211417  major collections=108 compactions=18


runtime: 00:04:06.783
vars: 167666, evals: 484832

|rho|=167666
|stable|=103841
|infl|=167594
|wpoint|=183
|sides|=9787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149605
|called|=73
Found 8189 contexts for 47 functions. Top 5 functions:
1668	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1161	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1161	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1161	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
854	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=504990.49MB, max=3985.72MB, minor=463077.93MB, major=45936.05MB, promoted=4023.50MB
    minor collections=220911  major collections=111 compactions=18


runtime: 00:04:16.794
vars: 176273, evals: 502917

|rho|=176273
|stable|=111593
|infl|=176197
|wpoint|=197
|sides|=10275
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=157236
|called|=85
Found 8677 contexts for 47 functions. Top 5 functions:
1750	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1229	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1229	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1229	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
908	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=528109.41MB, max=3985.72MB, minor=486195.79MB, major=46136.35MB, promoted=4222.74MB
    minor collections=231936  major collections=112 compactions=18


runtime: 00:04:26.813
vars: 181889, evals: 519614

|rho|=181889
|stable|=116844
|infl|=181845
|wpoint|=206
|sides|=10599
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162204
|called|=58
Found 9001 contexts for 47 functions. Top 5 functions:
1804	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1274	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1274	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1274	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
944	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=550487.39MB, max=3985.72MB, minor=508572.72MB, major=46331.45MB, promoted=4416.79MB
    minor collections=242606  major collections=112 compactions=18


runtime: 00:04:36.824
vars: 190095, evals: 538264

|rho|=190095
|stable|=126818
|infl|=190036
|wpoint|=224
|sides|=11048
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169516
|called|=308
Found 9450 contexts for 47 functions. Top 5 functions:
1878	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1336	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1336	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1336	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
994	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=574241.72MB, max=3985.72MB, minor=532325.38MB, major=46537.00MB, promoted=4620.67MB
    minor collections=253933  major collections=113 compactions=18


runtime: 00:04:46.839
vars: 197226, evals: 554607

|rho|=197226
|stable|=135725
|infl|=197191
|wpoint|=235
|sides|=11465
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175808
|called|=249
Found 9867 contexts for 47 functions. Top 5 functions:
1948	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1394	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1394	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1394	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1040	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=597548.57MB, max=3985.72MB, minor=555627.95MB, major=46732.02MB, promoted=4811.41MB
    minor collections=265045  major collections=113 compactions=18


runtime: 00:04:56.850
vars: 202747, evals: 571556

|rho|=202747
|stable|=143105
|infl|=202712
|wpoint|=244
|sides|=11790
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=180679
|called|=261
Found 10192 contexts for 47 functions. Top 5 functions:
2002	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1439	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1439	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1439	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1076	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=622261.59MB, max=3985.72MB, minor=580339.97MB, major=46941.22MB, promoted=5019.60MB
    minor collections=276829  major collections=113 compactions=18


runtime: 00:05:06.865
vars: 208376, evals: 587059

|rho|=208376
|stable|=148540
|infl|=208298
|wpoint|=251
|sides|=12124
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=185646
|called|=195
Found 10526 contexts for 47 functions. Top 5 functions:
2057	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1485	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1485	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1485	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1113	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=646916.30MB, max=3985.72MB, minor=604993.44MB, major=47155.30MB, promoted=5232.44MB
    minor collections=288585  major collections=114 compactions=18


runtime: 00:05:16.876
vars: 211942, evals: 600789

|rho|=211942
|stable|=151243
|infl|=211899
|wpoint|=256
|sides|=12319
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188818
|called|=49
Found 10721 contexts for 47 functions. Top 5 functions:
2089	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1511	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1511	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1511	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1136	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=671779.01MB, max=3985.72MB, minor=629855.26MB, major=47383.78MB, promoted=5460.04MB
    minor collections=300440  major collections=114 compactions=18


runtime: 00:05:26.887
vars: 220088, evals: 616632

|rho|=220088
|stable|=159614
|infl|=220035
|wpoint|=267
|sides|=12743
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196116
|called|=53
Found 11145 contexts for 47 functions. Top 5 functions:
2155	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1566	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1566	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1566	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1181	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=694979.82MB, max=3985.72MB, minor=651981.08MB, major=48630.15MB, promoted=5631.41MB
    minor collections=310992  major collections=115 compactions=18


runtime: 00:05:37.310
vars: 223857, evals: 625753

|rho|=223857
|stable|=163408
|infl|=223797
|wpoint|=272
|sides|=12918
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199535
|called|=61
Found 11320 contexts for 47 functions. Top 5 functions:
2181	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1587	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1587	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1587	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1201	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=714874.30MB, max=6287.20MB, minor=665432.90MB, major=55188.82MB, promoted=5747.43MB
    minor collections=317415  major collections=119 compactions=18


runtime: 00:05:47.321
vars: 231851, evals: 641762

|rho|=231851
|stable|=75531
|infl|=231780
|wpoint|=275
|sides|=13420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=206591
|called|=136
Found 11721 contexts for 52 functions. Top 5 functions:
2238	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1642	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1642	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1642	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1261	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=737453.84MB, max=6287.20MB, minor=688011.36MB, major=55368.87MB, promoted=5926.39MB
    minor collections=328181  major collections=119 compactions=18


runtime: 00:05:57.336
vars: 246996, evals: 658698

|rho|=246996
|stable|=90213
|infl|=246944
|wpoint|=280
|sides|=14276
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220025
|called|=95
Found 12558 contexts for 52 functions. Top 5 functions:
2350	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1749	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1749	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1749	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1403	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=763432.35MB, max=6287.20MB, minor=713985.72MB, major=55560.13MB, promoted=6113.49MB
    minor collections=340567  major collections=120 compactions=18


runtime: 00:06:07.347
vars: 259820, evals: 673371

|rho|=259820
|stable|=102803
|infl|=259767
|wpoint|=284
|sides|=15013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=231383
|called|=90
Found 13274 contexts for 52 functions. Top 5 functions:
2451	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1846	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1846	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1846	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1514	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=787507.55MB, max=6287.20MB, minor=738056.61MB, major=55735.16MB, promoted=6284.22MB
    minor collections=352046  major collections=120 compactions=18


runtime: 00:06:17.358
vars: 273167, evals: 688464

|rho|=273167
|stable|=116239
|infl|=273113
|wpoint|=290
|sides|=15782
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=243202
|called|=204
Found 14018 contexts for 52 functions. Top 5 functions:
2555	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1944	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1944	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
1944	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1632	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=812038.24MB, max=6287.20MB, minor=762575.63MB, major=55920.19MB, promoted=6457.57MB
    minor collections=363739  major collections=120 compactions=18


runtime: 00:06:27.369
vars: 286822, evals: 703840

|rho|=286822
|stable|=129356
|infl|=286764
|wpoint|=294
|sides|=16553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=255319
|called|=186
Found 14777 contexts for 52 functions. Top 5 functions:
2657	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2042	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2042	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2042	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1758	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=838460.82MB, max=6287.20MB, minor=788993.75MB, major=56107.96MB, promoted=6640.89MB
    minor collections=376337  major collections=120 compactions=18


runtime: 00:06:37.380
vars: 296674, evals: 715767

|rho|=296674
|stable|=138980
|infl|=296620
|wpoint|=297
|sides|=17108
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=264061
|called|=164
Found 15323 contexts for 52 functions. Top 5 functions:
2730	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2112	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2112	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2112	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1849	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=859688.09MB, max=6287.20MB, minor=810215.48MB, major=56264.49MB, promoted=6791.88MB
    minor collections=386458  major collections=122 compactions=18


runtime: 00:06:47.395
vars: 306656, evals: 728690

|rho|=306656
|stable|=148880
|infl|=306623
|wpoint|=301
|sides|=17678
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=272905
|called|=215
Found 15877 contexts for 52 functions. Top 5 functions:
2807	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2185	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2185	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2185	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1938	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=884021.40MB, max=6287.20MB, minor=834547.17MB, major=56435.61MB, promoted=6961.38MB
    minor collections=398061  major collections=122 compactions=18


runtime: 00:06:57.406
vars: 315832, evals: 741331

|rho|=315832
|stable|=157864
|infl|=315799
|wpoint|=304
|sides|=18198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=281044
|called|=225
Found 16387 contexts for 52 functions. Top 5 functions:
2876	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2251	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2251	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2251	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2022	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=909408.07MB, max=6287.20MB, minor=859931.09MB, major=56612.92MB, promoted=7135.94MB
    minor collections=410165  major collections=122 compactions=18


runtime: 00:07:07.417
vars: 324393, evals: 753815

|rho|=324393
|stable|=166100
|infl|=324341
|wpoint|=306
|sides|=18685
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=288638
|called|=103
Found 16865 contexts for 52 functions. Top 5 functions:
2939	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2312	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2312	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2312	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2102	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=936008.49MB, max=6287.20MB, minor=886528.19MB, major=56797.87MB, promoted=7317.56MB
    minor collections=422848  major collections=122 compactions=18


runtime: 00:07:17.428
vars: 331125, evals: 765375

|rho|=331125
|stable|=174320
|infl|=331092
|wpoint|=309
|sides|=19063
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294609
|called|=87
Found 17237 contexts for 52 functions. Top 5 functions:
2991	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2361	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2361	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2361	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2162	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=962143.70MB, max=6287.20MB, minor=912660.44MB, major=56977.96MB, promoted=7494.70MB
    minor collections=435309  major collections=123 compactions=18


runtime: 00:07:27.439
vars: 339002, evals: 776868

|rho|=339002
|stable|=180405
|infl|=338936
|wpoint|=311
|sides|=19521
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=301587
|called|=81
Found 17676 contexts for 52 functions. Top 5 functions:
3053	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2420	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2420	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2420	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2230	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=987155.92MB, max=6287.20MB, minor=937669.19MB, major=57152.94MB, promoted=7666.21MB
    minor collections=447235  major collections=123 compactions=18


runtime: 00:07:37.450
vars: 351065, evals: 791029

|rho|=351065
|stable|=192034
|infl|=350985
|wpoint|=313
|sides|=20183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=312305
|called|=96
Found 18336 contexts for 52 functions. Top 5 functions:
3132	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2499	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2499	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2498	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2354	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1011914.71MB, max=6287.20MB, minor=962415.68MB, major=57344.87MB, promoted=7845.84MB
    minor collections=459035  major collections=123 compactions=18


runtime: 00:07:47.461
vars: 363229, evals: 805846

|rho|=363229
|stable|=203785
|infl|=363176
|wpoint|=321
|sides|=20860
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=323111
|called|=81
Found 19013 contexts for 52 functions. Top 5 functions:
3228	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2589	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2589	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2589	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2457	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1038259.19MB, max=6287.20MB, minor=988758.27MB, major=57554.07MB, promoted=8053.15MB
    minor collections=471596  major collections=123 compactions=18


runtime: 00:07:57.472
vars: 370190, evals: 818382

|rho|=370190
|stable|=213174
|infl|=370157
|wpoint|=325
|sides|=21236
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=329315
|called|=103
Found 19388 contexts for 52 functions. Top 5 functions:
3285	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2641	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2641	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2641	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2510	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1065547.13MB, max=6287.20MB, minor=1016044.98MB, major=57764.35MB, promoted=8262.20MB
    minor collections=484609  major collections=124 compactions=18


runtime: 00:08:07.483
vars: 378661, evals: 831748

|rho|=378661
|stable|=218605
|infl|=378583
|wpoint|=325
|sides|=21694
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=336827
|called|=81
Found 19830 contexts for 54 functions. Top 5 functions:
3336	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2692	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2692	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2692	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2590	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1092054.90MB, max=6287.20MB, minor=1042551.45MB, major=57974.82MB, promoted=8471.37MB
    minor collections=497248  major collections=124 compactions=18


runtime: 00:08:17.494
vars: 388919, evals: 846099

|rho|=388919
|stable|=229065
|infl|=388836
|wpoint|=325
|sides|=22260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=345944
|called|=86
Found 20377 contexts for 54 functions. Top 5 functions:
3402	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2758	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2758	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2758	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2692	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1118053.84MB, max=6287.20MB, minor=1068548.73MB, major=58176.28MB, promoted=8671.17MB
    minor collections=509645  major collections=124 compactions=18


runtime: 00:08:27.505
vars: 398490, evals: 861087

|rho|=398490
|stable|=238297
|infl|=398430
|wpoint|=325
|sides|=22785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=354448
|called|=100
Found 20902 contexts for 54 functions. Top 5 functions:
3465	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2821	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2821	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2821	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2790	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1145018.03MB, max=6287.20MB, minor=1095511.86MB, major=58387.45MB, promoted=8881.27MB
    minor collections=522502  major collections=124 compactions=18


runtime: 00:08:37.516
vars: 406702, evals: 875207

|rho|=406702
|stable|=245749
|infl|=406663
|wpoint|=325
|sides|=23235
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=361744
|called|=165
Found 21352 contexts for 54 functions. Top 5 functions:
3519	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2875	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2875	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2875	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2874	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1171442.53MB, max=6287.20MB, minor=1121935.24MB, major=58594.73MB, promoted=9087.43MB
    minor collections=535102  major collections=124 compactions=18


runtime: 00:08:47.531
vars: 416303, evals: 889470

|rho|=416303
|stable|=254567
|infl|=416218
|wpoint|=330
|sides|=23742
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=370334
|called|=361
Found 21841 contexts for 54 functions. Top 5 functions:
3574	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2973	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
2930	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2930	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2929	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1196712.64MB, max=6287.20MB, minor=1147203.98MB, major=58793.32MB, promoted=9284.66MB
    minor collections=547152  major collections=125 compactions=18


runtime: 00:08:57.539
vars: 426553, evals: 901414

|rho|=426553
|stable|=264487
|infl|=426507
|wpoint|=329
|sides|=24306
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=379434
|called|=250
Found 22404 contexts for 54 functions. Top 5 functions:
3641	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3079	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
2997	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2997	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
2997	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1218208.45MB, max=6287.20MB, minor=1168693.92MB, major=58972.37MB, promoted=9457.83MB
    minor collections=557401  major collections=125 compactions=18


runtime: 00:09:07.578
vars: 431138, evals: 916140

|rho|=431138
|stable|=269393
|infl|=431098
|wpoint|=331
|sides|=24560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=383504
|called|=312
Found 22658 contexts for 54 functions. Top 5 functions:
3672	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3126	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3028	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3028	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3028	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1246946.88MB, max=6287.20MB, minor=1197431.50MB, major=59188.58MB, promoted=9673.20MB
    minor collections=571104  major collections=125 compactions=18


runtime: 00:09:17.589
vars: 439984, evals: 931632

|rho|=439984
|stable|=277091
|infl|=439901
|wpoint|=326
|sides|=25020
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391432
|called|=86
Found 23103 contexts for 54 functions. Top 5 functions:
3720	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3217	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3076	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3075	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3075	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1275375.88MB, max=6287.20MB, minor=1225859.49MB, major=59403.83MB, promoted=9887.43MB
    minor collections=584660  major collections=125 compactions=18


runtime: 00:09:27.600
vars: 448753, evals: 946983

|rho|=448753
|stable|=288482
|infl|=448673
|wpoint|=326
|sides|=25487
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=399270
|called|=83
Found 23550 contexts for 54 functions. Top 5 functions:
3773	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3296	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3129	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3129	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3129	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1303681.58MB, max=6287.20MB, minor=1254164.01MB, major=59619.43MB, promoted=10101.86MB
    minor collections=598157  major collections=125 compactions=18


runtime: 00:09:37.615
vars: 459093, evals: 958944

|rho|=459093
|stable|=295991
|infl|=459058
|wpoint|=332
|sides|=26058
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=408462
|called|=49
Found 24121 contexts for 54 functions. Top 5 functions:
3856	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3382	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3206	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3206	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3206	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1326459.52MB, max=6287.20MB, minor=1276940.17MB, major=59796.83MB, promoted=10277.49MB
    minor collections=609018  major collections=126 compactions=18


runtime: 00:09:47.626
vars: 466606, evals: 969904

|rho|=466606
|stable|=303056
|infl|=466571
|wpoint|=337
|sides|=26474
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415143
|called|=81
Found 24537 contexts for 54 functions. Top 5 functions:
3918	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3442	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3263	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3263	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3263	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1351319.04MB, max=6287.20MB, minor=1301798.33MB, major=59990.02MB, promoted=10469.32MB
    minor collections=620872  major collections=126 compactions=18


runtime: 00:09:57.641
vars: 471996, evals: 980666

|rho|=471996
|stable|=308011
|infl|=471862
|wpoint|=341
|sides|=26776
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419938
|called|=136
Found 24839 contexts for 54 functions. Top 5 functions:
3963	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3485	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3304	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3304	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3304	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1379082.46MB, max=6287.20MB, minor=1329560.70MB, major=60201.40MB, promoted=10679.64MB
    minor collections=634110  major collections=126 compactions=18


runtime: 00:10:07.651
vars: 478237, evals: 991358

|rho|=478237
|stable|=314771
|infl|=478163
|wpoint|=345
|sides|=27116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425490
|called|=133
Found 25179 contexts for 54 functions. Top 5 functions:
4014	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3534	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3351	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3351	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3351	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1404458.33MB, max=6287.20MB, minor=1354935.77MB, major=60401.63MB, promoted=10879.06MB
    minor collections=646210  major collections=126 compactions=18


runtime: 00:10:17.670
vars: 483521, evals: 1001981

|rho|=483521
|stable|=320854
|infl|=483437
|wpoint|=348
|sides|=27411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=430187
|called|=87
Found 25474 contexts for 54 functions. Top 5 functions:
4057	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3578	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3391	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3391	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3391	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1431601.54MB, max=6287.20MB, minor=1382078.18MB, major=60618.34MB, promoted=11094.99MB
    minor collections=659153  major collections=126 compactions=18


runtime: 00:10:27.681
vars: 488570, evals: 1012347

|rho|=488570
|stable|=325993
|infl|=488497
|wpoint|=351
|sides|=27691
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=434677
|called|=76
Found 25754 contexts for 54 functions. Top 5 functions:
4098	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3619	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3429	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3429	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3429	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1458307.34MB, max=6287.20MB, minor=1408783.12MB, major=60831.20MB, promoted=11306.97MB
    minor collections=671888  major collections=127 compactions=18


runtime: 00:10:37.692
vars: 493618, evals: 1022516

|rho|=493618
|stable|=330280
|infl|=493576
|wpoint|=354
|sides|=27971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=439161
|called|=90
Found 26034 contexts for 54 functions. Top 5 functions:
4140	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3660	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3468	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3468	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3468	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1484352.08MB, max=6287.20MB, minor=1434826.94MB, major=61037.92MB, promoted=11512.79MB
    minor collections=684307  major collections=127 compactions=18


runtime: 00:10:47.703
vars: 498414, evals: 1032466

|rho|=498414
|stable|=333723
|infl|=498333
|wpoint|=356
|sides|=28238
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=443432
|called|=83
Found 26301 contexts for 54 functions. Top 5 functions:
4178	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3700	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3504	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3504	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3504	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1510376.69MB, max=6287.20MB, minor=1460850.64MB, major=61245.99MB, promoted=11719.94MB
    minor collections=696716  major collections=127 compactions=18


runtime: 00:10:57.742
vars: 504824, evals: 1043045

|rho|=504824
|stable|=339766
|infl|=504755
|wpoint|=362
|sides|=28562
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449190
|called|=73
Found 26625 contexts for 54 functions. Top 5 functions:
4222	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3756	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3544	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3544	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3544	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1534444.07MB, max=6287.20MB, minor=1484917.06MB, major=61436.15MB, promoted=11909.14MB
    minor collections=708192  major collections=127 compactions=18


runtime: 00:11:07.753
vars: 514113, evals: 1053743

|rho|=514113
|stable|=348740
|infl|=514066
|wpoint|=370
|sides|=29078
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=457445
|called|=303
Found 27141 contexts for 54 functions. Top 5 functions:
4298	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3832	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3615	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3615	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3615	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1555175.49MB, max=6287.20MB, minor=1505647.05MB, major=61601.91MB, promoted=12073.46MB
    minor collections=718077  major collections=127 compactions=18


runtime: 00:11:17.767
vars: 520645, evals: 1064309

|rho|=520645
|stable|=355569
|infl|=520605
|wpoint|=376
|sides|=29445
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=463241
|called|=297
Found 27508 contexts for 54 functions. Top 5 functions:
4355	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3882	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3666	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3666	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3666	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1581234.25MB, max=6287.20MB, minor=1531704.51MB, major=61801.02MB, promoted=12271.28MB
    minor collections=730503  major collections=127 compactions=18


runtime: 00:11:27.778
vars: 527549, evals: 1077028

|rho|=527549
|stable|=361637
|infl|=527459
|wpoint|=378
|sides|=29842
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=469360
|called|=145
Found 27905 contexts for 54 functions. Top 5 functions:
4414	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3939	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3720	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3720	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3720	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1600438.62MB, max=6287.20MB, minor=1550882.22MB, major=62006.70MB, promoted=12450.30MB
    minor collections=739649  major collections=128 compactions=18


runtime: 00:11:37.789
vars: 532340, evals: 1091771

|rho|=532340
|stable|=366243
|infl|=532299
|wpoint|=385
|sides|=30113
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473601
|called|=100
Found 28176 contexts for 54 functions. Top 5 functions:
4459	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3970	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3758	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3758	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3758	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1621127.00MB, max=6287.20MB, minor=1571570.34MB, major=62221.03MB, promoted=12664.37MB
    minor collections=749514  major collections=128 compactions=18


runtime: 00:11:47.800
vars: 535965, evals: 1106933

|rho|=535965
|stable|=372907
|infl|=535928
|wpoint|=387
|sides|=30316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476818
|called|=46
Found 28379 contexts for 54 functions. Top 5 functions:
4491	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3996	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3786	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3786	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3786	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1641903.58MB, max=6287.20MB, minor=1592346.73MB, major=62436.23MB, promoted=12879.38MB
    minor collections=759422  major collections=128 compactions=18


runtime: 00:11:57.811
vars: 546385, evals: 1124431

|rho|=546385
|stable|=380241
|infl|=546329
|wpoint|=395
|sides|=30858
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=486155
|called|=59
Found 28921 contexts for 54 functions. Top 5 functions:
4568	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4078	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3855	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3855	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3855	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1658268.65MB, max=6287.20MB, minor=1608711.36MB, major=62612.65MB, promoted=13055.36MB
    minor collections=767225  major collections=128 compactions=18


runtime: 00:12:07.826
vars: 555967, evals: 1140432

|rho|=555967
|stable|=388734
|infl|=555910
|wpoint|=401
|sides|=31368
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494720
|called|=67
Found 29431 contexts for 54 functions. Top 5 functions:
4641	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4151	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3923	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3923	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3923	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1673757.96MB, max=6287.20MB, minor=1624200.29MB, major=62783.41MB, promoted=13225.75MB
    minor collections=774611  major collections=128 compactions=18


runtime: 00:12:17.837
vars: 560030, evals: 1156323

|rho|=560030
|stable|=392913
|infl|=559971
|wpoint|=405
|sides|=31599
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=498325
|called|=128
Found 29647 contexts for 54 functions. Top 5 functions:
4675	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4182	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3953	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3953	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
3953	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1694072.75MB, max=6287.20MB, minor=1644514.87MB, major=63006.38MB, promoted=13448.50MB
    minor collections=784298  major collections=128 compactions=18


runtime: 00:12:27.847
vars: 571277, evals: 1174424

|rho|=571277
|stable|=401162
|infl|=571244
|wpoint|=407
|sides|=32262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=508240
|called|=203
Found 30310 contexts for 54 functions. Top 5 functions:
4763	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4287	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4037	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4037	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4037	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1712083.94MB, max=6287.20MB, minor=1662525.60MB, major=63209.32MB, promoted=13650.98MB
    minor collections=792886  major collections=128 compactions=18


runtime: 00:12:37.862
vars: 577602, evals: 1191103

|rho|=577602
|stable|=406981
|infl|=577569
|wpoint|=408
|sides|=32662
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=513765
|called|=225
Found 30710 contexts for 54 functions. Top 5 functions:
4811	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4347	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4084	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4084	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4084	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1733443.10MB, max=6287.20MB, minor=1683884.47MB, major=63447.63MB, promoted=13889.00MB
    minor collections=803072  major collections=129 compactions=18


runtime: 00:12:47.873
vars: 581782, evals: 1204660

|rho|=581782
|stable|=410380
|infl|=581708
|wpoint|=408
|sides|=32909
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=517456
|called|=89
Found 30957 contexts for 54 functions. Top 5 functions:
4840	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4390	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4112	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4112	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4112	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1753309.62MB, max=6287.20MB, minor=1703750.27MB, major=63671.42MB, promoted=14112.08MB
    minor collections=812545  major collections=129 compactions=18


runtime: 00:12:57.884
vars: 595465, evals: 1220962

|rho|=595465
|stable|=423407
|infl|=595371
|wpoint|=411
|sides|=33646
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=529669
|called|=108
Found 31694 contexts for 54 functions. Top 5 functions:
4928	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4530	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4199	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4199	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4199	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1767184.03MB, max=6287.20MB, minor=1717615.70MB, major=63843.18MB, promoted=14274.84MB
    minor collections=819158  major collections=129 compactions=18


runtime: 00:13:07.935
vars: 606921, evals: 1235874

|rho|=606921
|stable|=434857
|infl|=606886
|wpoint|=420
|sides|=34284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=539842
|called|=63
Found 32332 contexts for 54 functions. Top 5 functions:
5021	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4625	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4285	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4285	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4285	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1781152.73MB, max=6287.20MB, minor=1731583.89MB, major=64005.68MB, promoted=14436.84MB
    minor collections=825819  major collections=129 compactions=18


runtime: 00:13:17.946
vars: 616620, evals: 1250648

|rho|=616620
|stable|=443942
|infl|=616560
|wpoint|=422
|sides|=34785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=548541
|called|=66
Found 32833 contexts for 54 functions. Top 5 functions:
5083	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4713	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4344	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4344	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4344	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1796901.98MB, max=6287.20MB, minor=1747332.73MB, major=64183.48MB, promoted=14614.24MB
    minor collections=833328  major collections=129 compactions=18


runtime: 00:13:27.952
vars: 628797, evals: 1266258

|rho|=628797
|stable|=455697
|infl|=628709
|wpoint|=422
|sides|=35439
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=559408
|called|=144
Found 33487 contexts for 54 functions. Top 5 functions:
5162	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4835	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4423	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4423	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4423	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1810961.89MB, max=6287.20MB, minor=1761392.18MB, major=64342.30MB, promoted=14772.59MB
    minor collections=840033  major collections=129 compactions=18


runtime: 00:13:37.963
vars: 639277, evals: 1282626

|rho|=639277
|stable|=465611
|infl|=639174
|wpoint|=422
|sides|=36015
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=568742
|called|=106
Found 34063 contexts for 54 functions. Top 5 functions:
5231	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4943	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4492	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4491	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4491	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1826238.87MB, max=6287.20MB, minor=1776668.77MB, major=64508.61MB, promoted=14938.51MB
    minor collections=847317  major collections=129 compactions=18


runtime: 00:13:47.974
vars: 647921, evals: 1298838

|rho|=647921
|stable|=475173
|infl|=647882
|wpoint|=422
|sides|=36489
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=576432
|called|=52
Found 34537 contexts for 54 functions. Top 5 functions:
5288	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5031	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4549	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4549	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4549	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1842251.90MB, max=6287.20MB, minor=1792681.46MB, major=64677.04MB, promoted=15106.60MB
    minor collections=854953  major collections=129 compactions=18


runtime: 00:13:57.985
vars: 660037, evals: 1314648

|rho|=660037
|stable|=485376
|infl|=659959
|wpoint|=427
|sides|=37119
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=587297
|called|=349
Found 35167 contexts for 54 functions. Top 5 functions:
5360	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5156	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4621	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4621	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4621	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1856138.72MB, max=6287.20MB, minor=1806567.81MB, major=64837.85MB, promoted=15266.94MB
    minor collections=861575  major collections=130 compactions=18


runtime: 00:14:07.996
vars: 670735, evals: 1327787

|rho|=670735
|stable|=495750
|infl|=670677
|wpoint|=426
|sides|=37709
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=596812
|called|=247
Found 35757 contexts for 54 functions. Top 5 functions:
5431	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5267	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4691	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4691	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4691	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1868575.90MB, max=6287.20MB, minor=1819004.50MB, major=64983.25MB, promoted=15411.86MB
    minor collections=867506  major collections=130 compactions=18


runtime: 00:14:18.002
vars: 675336, evals: 1346553

|rho|=675336
|stable|=499902
|infl|=675282
|wpoint|=423
|sides|=37943
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=600942
|called|=56
Found 35991 contexts for 54 functions. Top 5 functions:
5454	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5320	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4715	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4715	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4715	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1887635.54MB, max=6287.20MB, minor=1838063.86MB, major=65161.76MB, promoted=15590.09MB
    minor collections=876594  major collections=130 compactions=18


runtime: 00:14:28.013
vars: 686915, evals: 1362795

|rho|=686915
|stable|=511553
|infl|=686854
|wpoint|=424
|sides|=38531
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=611345
|called|=72
Found 36579 contexts for 54 functions. Top 5 functions:
5523	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5424	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4784	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4784	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4784	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1902472.26MB, max=6287.20MB, minor=1852900.03MB, major=65321.28MB, promoted=15749.06MB
    minor collections=883669  major collections=130 compactions=18


runtime: 00:14:38.024
vars: 697258, evals: 1377921

|rho|=697258
|stable|=520750
|infl|=697189
|wpoint|=427
|sides|=39088
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=620575
|called|=71
Found 37136 contexts for 54 functions. Top 5 functions:
5597	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5521	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4853	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4853	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4853	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1916157.28MB, max=6287.20MB, minor=1866584.60MB, major=65474.27MB, promoted=15901.59MB
    minor collections=890194  major collections=130 compactions=18


runtime: 00:14:48.063
vars: 706506, evals: 1391174

|rho|=706506
|stable|=529706
|infl|=706437
|wpoint|=433
|sides|=39602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=628796
|called|=72
Found 37650 contexts for 54 functions. Top 5 functions:
5673	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5595	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4924	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4924	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4924	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1929684.84MB, max=6287.20MB, minor=1880103.32MB, major=65633.91MB, promoted=16052.39MB
    minor collections=896641  major collections=130 compactions=18


runtime: 00:14:58.078
vars: 714419, evals: 1405845

|rho|=714419
|stable|=537289
|infl|=714318
|wpoint|=440
|sides|=40040
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=635832
|called|=104
Found 38088 contexts for 54 functions. Top 5 functions:
5739	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5657	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4984	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4984	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
4984	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1946529.92MB, max=6287.20MB, minor=1896948.04MB, major=65812.70MB, promoted=16230.82MB
    minor collections=904673  major collections=130 compactions=18


runtime: 00:15:08.089
vars: 722187, evals: 1419794

|rho|=722187
|stable|=545549
|infl|=722120
|wpoint|=444
|sides|=40466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=642744
|called|=121
Found 38514 contexts for 54 functions. Top 5 functions:
5803	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5719	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5043	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5043	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5043	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1962202.22MB, max=6287.20MB, minor=1912620.02MB, major=65982.23MB, promoted=16400.03MB
    minor collections=912147  major collections=130 compactions=18


runtime: 00:15:18.100
vars: 729023, evals: 1434035

|rho|=729023
|stable|=552984
|infl|=728970
|wpoint|=448
|sides|=40846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=648820
|called|=89
Found 38894 contexts for 54 functions. Top 5 functions:
5859	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5775	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5095	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5095	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5095	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1979284.22MB, max=6287.20MB, minor=1929701.74MB, major=66163.02MB, promoted=16580.55MB
    minor collections=920292  major collections=130 compactions=18


runtime: 00:15:28.111
vars: 735859, evals: 1448129

|rho|=735859
|stable|=559080
|infl|=735820
|wpoint|=452
|sides|=41226
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=654896
|called|=105
Found 39274 contexts for 54 functions. Top 5 functions:
5915	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5831	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5147	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5147	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5147	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1996064.65MB, max=6287.20MB, minor=1946481.89MB, major=66341.70MB, promoted=16758.94MB
    minor collections=928294  major collections=130 compactions=18


runtime: 00:15:38.122
vars: 743073, evals: 1462708

|rho|=743073
|stable|=565108
|infl|=742992
|wpoint|=457
|sides|=41592
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=661384
|called|=85
Found 39640 contexts for 54 functions. Top 5 functions:
5965	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5892	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5193	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5193	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5193	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2013079.04MB, max=6287.20MB, minor=1963495.99MB, major=66521.01MB, promoted=16937.96MB
    minor collections=936407  major collections=130 compactions=18


runtime: 00:15:48.132
vars: 754102, evals: 1475378

|rho|=754102
|stable|=575628
|infl|=754017
|wpoint|=467
|sides|=42209
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=671183
|called|=340
Found 40257 contexts for 54 functions. Top 5 functions:
6055	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5984	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5277	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5277	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5277	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2023701.38MB, max=6287.20MB, minor=1974117.86MB, major=66657.79MB, promoted=17074.28MB
    minor collections=941472  major collections=131 compactions=18


runtime: 00:15:58.143
vars: 762875, evals: 1488794

|rho|=762875
|stable|=584602
|infl|=762835
|wpoint|=474
|sides|=42700
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=678965
|called|=310
Found 40748 contexts for 54 functions. Top 5 functions:
6130	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6053	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5345	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5345	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5345	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2037835.44MB, max=6287.20MB, minor=1988251.51MB, major=66817.05MB, promoted=17233.12MB
    minor collections=948212  major collections=131 compactions=18


runtime: 00:16:08.150
vars: 769597, evals: 1502611

|rho|=769597
|stable|=590512
|infl|=769551
|wpoint|=475
|sides|=43083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=684922
|called|=80
Found 41131 contexts for 54 functions. Top 5 functions:
6187	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6107	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5397	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5397	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5397	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2054660.04MB, max=6287.20MB, minor=2005075.75MB, major=66989.66MB, promoted=17405.36MB
    minor collections=956235  major collections=131 compactions=18


runtime: 00:16:18.161
vars: 773486, evals: 1516826

|rho|=773486
|stable|=594423
|infl|=773446
|wpoint|=483
|sides|=43309
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=688358
|called|=88
Found 41357 contexts for 54 functions. Top 5 functions:
6226	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6131	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5429	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5429	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5429	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2076791.09MB, max=6287.20MB, minor=2027206.56MB, major=67210.56MB, promoted=17626.02MB
    minor collections=966788  major collections=131 compactions=18


runtime: 00:16:28.212
vars: 777241, evals: 1530498

|rho|=777241
|stable|=597702
|infl|=777193
|wpoint|=484
|sides|=43506
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=691720
|called|=53
Found 41554 contexts for 54 functions. Top 5 functions:
6252	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6167	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5452	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5452	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5452	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2096721.26MB, max=6287.20MB, minor=2047136.51MB, major=67410.20MB, promoted=17825.45MB
    minor collections=976291  major collections=131 compactions=18


runtime: 00:16:38.255
vars: 786637, evals: 1545370

|rho|=786637
|stable|=606704
|infl|=786568
|wpoint|=491
|sides|=44010
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=700109
|called|=72
Found 42058 contexts for 54 functions. Top 5 functions:
6327	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6235	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5520	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5520	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5520	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2111479.38MB, max=6287.20MB, minor=2061894.16MB, major=67563.25MB, promoted=17978.03MB
    minor collections=983328  major collections=131 compactions=18


runtime: 00:16:48.268
vars: 794863, evals: 1559869

|rho|=794863
|stable|=614938
|infl|=794819
|wpoint|=498
|sides|=44442
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=707468
|called|=96
Found 42490 contexts for 54 functions. Top 5 functions:
6391	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6295	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5578	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5578	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5578	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2126678.39MB, max=6287.20MB, minor=2077074.63MB, major=67741.17MB, promoted=18137.41MB
    minor collections=990567  major collections=131 compactions=18


runtime: 00:16:58.279
vars: 798512, evals: 1573368

|rho|=798512
|stable|=625374
|infl|=798479
|wpoint|=499
|sides|=44635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=710729
|called|=85
Found 42683 contexts for 54 functions. Top 5 functions:
6419	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6323	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5604	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5604	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5604	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2145387.03MB, max=6287.20MB, minor=2095782.96MB, major=67943.85MB, promoted=18339.79MB
    minor collections=999488  major collections=131 compactions=18


runtime: 00:17:08.286
vars: 798512, evals: 1584199

|rho|=798512
|stable|=627605
|infl|=798479
|wpoint|=562
|sides|=44635
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=710729
|called|=168
Found 42683 contexts for 54 functions. Top 5 functions:
6419	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6323	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5604	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5604	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5604	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2166775.19MB, max=6287.20MB, minor=2117170.94MB, major=68228.83MB, promoted=18624.59MB
    minor collections=1009687  major collections=131 compactions=18


runtime: 00:17:18.299
vars: 800999, evals: 1597231

|rho|=800999
|stable|=623891
|infl|=800971
|wpoint|=582
|sides|=44778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=712943
|called|=55
Found 42797 contexts for 56 functions. Top 5 functions:
6434	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6337	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5619	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5619	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5619	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2187615.02MB, max=6287.20MB, minor=2138010.61MB, major=68462.10MB, promoted=18857.69MB
    minor collections=1019624  major collections=131 compactions=18


runtime: 00:17:28.306
vars: 800999, evals: 1608059

|rho|=800999
|stable|=629431
|infl|=800971
|wpoint|=582
|sides|=44778
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=712943
|called|=199
Found 42797 contexts for 56 functions. Top 5 functions:
6434	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6337	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5619	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5619	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5619	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2208492.69MB, max=6287.20MB, minor=2158888.23MB, major=68708.99MB, promoted=19104.53MB
    minor collections=1029580  major collections=132 compactions=18


runtime: 00:17:38.316
vars: 801040, evals: 1619399

|rho|=801040
|stable|=629635
|infl|=801015
|wpoint|=582
|sides|=44785
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=712969
|called|=47
Found 42801 contexts for 56 functions. Top 5 functions:
6434	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6337	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5619	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5619	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5619	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2229823.47MB, max=6287.20MB, minor=2180219.01MB, major=68945.27MB, promoted=19340.80MB
    minor collections=1039752  major collections=132 compactions=18


runtime: 00:17:49.102
vars: 801752, evals: 1629934

|rho|=801752
|stable|=630904
|infl|=801727
|wpoint|=583
|sides|=44838
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=713581
|called|=83
Found 42845 contexts for 56 functions. Top 5 functions:
6440	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6341	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5624	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5624	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5624	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2248688.68MB, max=8314.82MB, minor=2197205.10MB, major=70997.44MB, promoted=19513.87MB
    minor collections=1047853  major collections=132 compactions=18


runtime: 00:17:59.022
vars: 807363, evals: 1637504

|rho|=807363
|stable|=638515
|infl|=807306
|wpoint|=583
|sides|=45140
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=718594
|called|=89
Found 43147 contexts for 56 functions. Top 5 functions:
6479	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6392	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5663	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5662	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5662	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2255440.99MB, max=9562.05MB, minor=2202614.92MB, major=72400.12MB, promoted=19574.04MB
    minor collections=1050435  major collections=133 compactions=18


runtime: 00:18:09.033
vars: 815055, evals: 1648981

|rho|=815055
|stable|=648330
|infl|=814992
|wpoint|=584
|sides|=45560
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=725446
|called|=88
Found 43567 contexts for 56 functions. Top 5 functions:
6531	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6467	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5714	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5714	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5714	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2264960.88MB, max=9562.05MB, minor=2212134.38MB, major=72502.42MB, promoted=19675.93MB
    minor collections=1054974  major collections=133 compactions=18


runtime: 00:18:19.044
vars: 822642, evals: 1660376

|rho|=822642
|stable|=657995
|infl|=822615
|wpoint|=584
|sides|=45968
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=732213
|called|=166
Found 43975 contexts for 56 functions. Top 5 functions:
6582	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6537	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5766	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5766	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5766	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2274315.43MB, max=9562.05MB, minor=2221488.54MB, major=72604.40MB, promoted=19777.50MB
    minor collections=1059435  major collections=133 compactions=18


runtime: 00:18:29.055
vars: 829865, evals: 1671621

|rho|=829865
|stable|=666853
|infl|=829802
|wpoint|=583
|sides|=46356
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=738659
|called|=150
Found 44363 contexts for 56 functions. Top 5 functions:
6631	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6604	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5815	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5815	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5815	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2284157.41MB, max=9562.05MB, minor=2231330.14MB, major=72709.29MB, promoted=19882.02MB
    minor collections=1064128  major collections=133 compactions=18


runtime: 00:18:39.066
vars: 836409, evals: 1682994

|rho|=836409
|stable|=675011
|infl|=836374
|wpoint|=583
|sides|=46706
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=744492
|called|=110
Found 44713 contexts for 56 functions. Top 5 functions:
6674	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6666	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
5858	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5858	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5858	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2294591.49MB, max=9562.05MB, minor=2241763.86MB, major=72818.55MB, promoted=19990.92MB
    minor collections=1069103  major collections=133 compactions=18


runtime: 00:18:49.077
vars: 842509, evals: 1694199

|rho|=842509
|stable|=682329
|infl|=842484
|wpoint|=583
|sides|=47041
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=749921
|called|=105
Found 45047 contexts for 56 functions. Top 5 functions:
6725	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6716	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5900	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5900	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5900	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2305454.94MB, max=9562.05MB, minor=2252626.99MB, major=72933.61MB, promoted=20105.67MB
    minor collections=1074283  major collections=133 compactions=18


runtime: 00:18:59.088
vars: 847818, evals: 1704971

|rho|=847818
|stable|=690190
|infl|=847793
|wpoint|=583
|sides|=47326
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=754659
|called|=130
Found 45332 contexts for 56 functions. Top 5 functions:
6774	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6752	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5936	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5936	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5936	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2315930.90MB, max=9562.05MB, minor=2263102.68MB, major=73041.47MB, promoted=20213.25MB
    minor collections=1079279  major collections=133 compactions=18


runtime: 00:19:09.099
vars: 853765, evals: 1716385

|rho|=853765
|stable|=696577
|infl|=853738
|wpoint|=584
|sides|=47650
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=759960
|called|=89
Found 45656 contexts for 56 functions. Top 5 functions:
6831	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6792	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
5976	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
5976	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
5976	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2327129.02MB, max=9562.05MB, minor=2274300.48MB, major=73158.34MB, promoted=20329.81MB
    minor collections=1084618  major collections=133 compactions=18


runtime: 00:19:19.109
vars: 858923, evals: 1726812

|rho|=858923
|stable|=703337
|infl|=858898
|wpoint|=583
|sides|=47926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=764564
|called|=146
Found 45932 contexts for 56 functions. Top 5 functions:
6879	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6827	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6011	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6011	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6011	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2337382.84MB, max=9562.05MB, minor=2284554.04MB, major=73265.65MB, promoted=20436.85MB
    minor collections=1089508  major collections=133 compactions=18


runtime: 00:19:29.121
vars: 863509, evals: 1738275

|rho|=863509
|stable|=710818
|infl|=863461
|wpoint|=583
|sides|=48176
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=768653
|called|=73
Found 46182 contexts for 56 functions. Top 5 functions:
6923	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6858	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6042	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6042	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6042	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2350044.19MB, max=9562.05MB, minor=2297215.15MB, major=73393.58MB, promoted=20564.54MB
    minor collections=1095545  major collections=133 compactions=18


runtime: 00:19:39.131
vars: 869171, evals: 1749746

|rho|=869171
|stable|=715672
|infl|=869146
|wpoint|=583
|sides|=48482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=773698
|called|=87
Found 46488 contexts for 56 functions. Top 5 functions:
6977	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6896	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6080	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6080	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6080	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2361623.09MB, max=9562.05MB, minor=2308793.75MB, major=73513.88MB, promoted=20684.54MB
    minor collections=1101067  major collections=134 compactions=18


runtime: 00:19:49.142
vars: 878870, evals: 1763039

|rho|=878870
|stable|=725108
|infl|=878823
|wpoint|=588
|sides|=48979
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=782408
|called|=337
Found 46985 contexts for 56 functions. Top 5 functions:
7077	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
6952	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6136	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6136	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6136	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2373009.82MB, max=9562.05MB, minor=2320180.04MB, major=73644.20MB, promoted=20814.42MB
    minor collections=1106496  major collections=134 compactions=18


runtime: 00:19:59.157
vars: 889791, evals: 1776372

|rho|=889791
|stable|=735705
|infl|=889719
|wpoint|=587
|sides|=49586
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=792117
|called|=281
Found 47592 contexts for 56 functions. Top 5 functions:
7190	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7025	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6209	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6209	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6209	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2383922.33MB, max=9562.05MB, minor=2331092.03MB, major=73774.18MB, promoted=20943.87MB
    minor collections=1111700  major collections=134 compactions=18


runtime: 00:20:09.168
vars: 898988, evals: 1790895

|rho|=898988
|stable|=744578
|infl|=898916
|wpoint|=586
|sides|=50099
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=800271
|called|=174
Found 48104 contexts for 56 functions. Top 5 functions:
7286	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7086	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6270	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6270	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6270	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2397036.84MB, max=9562.05MB, minor=2344206.07MB, major=73917.05MB, promoted=21086.28MB
    minor collections=1117953  major collections=134 compactions=18


runtime: 00:20:19.179
vars: 905172, evals: 1807525

|rho|=905172
|stable|=751502
|infl|=905145
|wpoint|=587
|sides|=50436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=805766
|called|=268
Found 48441 contexts for 56 functions. Top 5 functions:
7348	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7127	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6311	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6311	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6311	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2413384.54MB, max=9562.05MB, minor=2360553.45MB, major=74083.11MB, promoted=21252.02MB
    minor collections=1125748  major collections=134 compactions=18


runtime: 00:20:29.190
vars: 908487, evals: 1824395

|rho|=908487
|stable|=755726
|infl|=908462
|wpoint|=589
|sides|=50603
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=808747
|called|=299
Found 48608 contexts for 56 functions. Top 5 functions:
7387	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7143	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6327	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6327	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6327	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2431825.52MB, max=9562.05MB, minor=2378994.20MB, major=74259.63MB, promoted=21428.31MB
    minor collections=1134542  major collections=134 compactions=18


runtime: 00:20:39.201
vars: 908491, evals: 1835258

|rho|=908491
|stable|=757453
|infl|=908466
|wpoint|=589
|sides|=50604
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=808749
|called|=315
Found 48609 contexts for 56 functions. Top 5 functions:
7387	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7143	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6327	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6327	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6327	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2454183.84MB, max=9562.05MB, minor=2401352.47MB, major=74483.35MB, promoted=21651.98MB
    minor collections=1145203  major collections=134 compactions=18


runtime: 00:20:49.220
vars: 909659, evals: 1844727

|rho|=909659
|stable|=758652
|infl|=909591
|wpoint|=585
|sides|=50657
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=809818
|called|=99
Found 48662 contexts for 56 functions. Top 5 functions:
7404	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7146	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6330	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6330	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6330	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2474747.00MB, max=9562.05MB, minor=2421915.55MB, major=74689.25MB, promoted=21857.80MB
    minor collections=1155009  major collections=134 compactions=18


runtime: 00:20:59.255
vars: 915063, evals: 1856810

|rho|=915063
|stable|=765532
|infl|=915029
|wpoint|=585
|sides|=50925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=814681
|called|=87
Found 48930 contexts for 56 functions. Top 5 functions:
7465	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7173	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6357	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6357	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6357	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2487924.53MB, max=9562.05MB, minor=2435092.83MB, major=74821.98MB, promoted=21990.29MB
    minor collections=1161293  major collections=134 compactions=18


runtime: 00:21:09.270
vars: 922145, evals: 1866726

|rho|=922145
|stable|=774308
|infl|=922118
|wpoint|=586
|sides|=51298
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=821008
|called|=82
Found 49303 contexts for 56 functions. Top 5 functions:
7528	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7219	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6403	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6403	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6403	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2495686.98MB, max=9562.05MB, minor=2442854.97MB, major=74907.11MB, promoted=22075.10MB
    minor collections=1164994  major collections=134 compactions=18


runtime: 00:21:19.281
vars: 928659, evals: 1877486

|rho|=928659
|stable|=782419
|infl|=928621
|wpoint|=586
|sides|=51636
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=826844
|called|=67
Found 49641 contexts for 56 functions. Top 5 functions:
7586	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7260	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6444	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6444	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6444	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2505208.62MB, max=9562.05MB, minor=2452376.29MB, major=75006.58MB, promoted=22174.25MB
    minor collections=1169534  major collections=134 compactions=18


runtime: 00:21:29.304
vars: 934489, evals: 1887641

|rho|=934489
|stable|=790868
|infl|=934464
|wpoint|=585
|sides|=51946
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=832052
|called|=56
Found 49951 contexts for 56 functions. Top 5 functions:
7639	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7299	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6483	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6483	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6483	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2514562.70MB, max=9562.05MB, minor=2461730.07MB, major=75102.76MB, promoted=22270.14MB
    minor collections=1173994  major collections=134 compactions=18


runtime: 00:21:39.327
vars: 938037, evals: 1894134

|rho|=938037
|stable|=794414
|infl|=937985
|wpoint|=585
|sides|=52116
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=835252
|called|=77
Found 50119 contexts for 56 functions. Top 5 functions:
7680	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7314	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6498	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6498	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6498	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2523010.15MB, max=9562.05MB, minor=2468029.88MB, major=77309.90MB, promoted=22329.64MB
    minor collections=1177002  major collections=135 compactions=18


runtime: 00:21:49.710
vars: 940330, evals: 1900346

|rho|=940330
|stable|=797203
|infl|=940303
|wpoint|=586
|sides|=52206
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=837362
|called|=69
Found 50207 contexts for 56 functions. Top 5 functions:
7717	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7315	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6499	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6499	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6499	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2533020.88MB, max=12645.81MB, minor=2474819.30MB, major=80598.46MB, promoted=22396.88MB
    minor collections=1180244  major collections=136 compactions=18


runtime: 00:22:01.126
vars: 943180, evals: 1907307

|rho|=943180
|stable|=802574
|infl|=943144
|wpoint|=585
|sides|=52346
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=839928
|called|=63
Found 50347 contexts for 56 functions. Top 5 functions:
7744	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7331	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6515	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6515	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6515	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2543361.47MB, max=12645.81MB, minor=2482206.97MB, major=83621.47MB, promoted=22466.97MB
    minor collections=1183771  major collections=137 compactions=18


runtime: 00:22:09.732
vars: 946698, evals: 1915736

|rho|=946698
|stable|=807334
|infl|=946673
|wpoint|=586
|sides|=52513
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=843110
|called|=62
Found 50514 contexts for 56 functions. Top 5 functions:
7786	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7346	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6530	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6530	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6530	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2553279.20MB, max=12645.81MB, minor=2490782.37MB, major=85044.16MB, promoted=22547.33MB
    minor collections=1187861  major collections=137 compactions=18


runtime: 00:22:19.743
vars: 952955, evals: 1926976

|rho|=952955
|stable|=808902
|infl|=952887
|wpoint|=589
|sides|=52881
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=848649
|called|=183
Found 50847 contexts for 57 functions. Top 5 functions:
7841	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7390	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6574	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6574	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6574	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2565658.58MB, max=12645.81MB, minor=2503161.51MB, major=85190.75MB, promoted=22693.67MB
    minor collections=1193765  major collections=138 compactions=18


runtime: 00:22:32.414
vars: 964706, evals: 1945427

|rho|=964706
|stable|=820541
|infl|=964678
|wpoint|=592
|sides|=53589
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=859071
|called|=139
Found 51444 contexts for 57 functions. Top 5 functions:
7946	contexts for L:entry state of fail (4076) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
7487	contexts for L:entry state of try_throw_ (766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
6645	contexts for L:entry state of try_setup_ (761) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
6645	contexts for L:entry state of pthread_once (1976) on lib/libc/stub/src/pthread.c:5:1-10:1
6645	contexts for L:entry state of try_create_ (4075) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=2582106.95MB, max=12645.81MB, minor=2518535.60MB, major=86422.69MB, promoted=22851.34MB
    minor collections=1201096  major collections=138 compactions=18

