./goblint --conf conf/svcomp24.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, modifiedSinceLongjmp, 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.382
vars: 15612, evals: 43616

|rho|=15612
|stable|=7612
|infl|=15570
|wpoint|=4
|sides|=1141
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13784
|called|=50
Found 685 contexts for 13 functions. Top 5 functions:
249	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
136	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
136	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
136	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
8	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=29079.90MB, max=132.00MB, minor=29072.73MB, major=292.89MB, promoted=285.72MB
    minor collections=13872  major collections=17 compactions=0


runtime: 00:00:20.445
vars: 26177, evals: 78140

|rho|=26177
|stable|=18647
|infl|=26129
|wpoint|=28
|sides|=1737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23347
|called|=54
Found 1091 contexts for 13 functions. Top 5 functions:
419	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
209	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
209	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
209	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
14	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=53841.92MB, max=200.75MB, minor=53833.10MB, major=485.23MB, promoted=476.41MB
    minor collections=25680  major collections=20 compactions=0


runtime: 00:00:30.477
vars: 33965, evals: 105369

|rho|=33965
|stable|=26005
|infl|=33942
|wpoint|=40
|sides|=2035
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=30549
|called|=56
Found 1378 contexts for 13 functions. Top 5 functions:
556	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
255	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
255	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
255	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
19	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=74960.56MB, max=265.50MB, minor=74950.32MB, major=632.01MB, promoted=621.77MB
    minor collections=35751  major collections=22 compactions=0


runtime: 00:00:40.504
vars: 40846, evals: 130733

|rho|=40846
|stable|=33004
|infl|=40834
|wpoint|=54
|sides|=2306
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36895
|called|=22
Found 1640 contexts for 13 functions. Top 5 functions:
682	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
297	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
297	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
297	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
24	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=96150.65MB, max=305.32MB, minor=96138.92MB, major=779.07MB, promoted=767.33MB
    minor collections=45856  major collections=24 compactions=0


runtime: 00:00:52.732
vars: 42675, evals: 133758

|rho|=42675
|stable|=7436
|infl|=42645
|wpoint|=55
|sides|=2471
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38499
|called|=30
Found 1698 contexts for 20 functions. Top 5 functions:
689	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
303	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
303	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
303	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
24	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=106215.92MB, max=1771.69MB, minor=98687.94MB, major=8320.84MB, promoted=792.86MB
    minor collections=47088  major collections=45 compactions=7


runtime: 00:01:04.762
vars: 44181, evals: 135371

|rho|=44181
|stable|=8942
|infl|=44141
|wpoint|=56
|sides|=2536
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39879
|called|=40
Found 1760 contexts for 20 functions. Top 5 functions:
696	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
309	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
309	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
309	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
24	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=115010.95MB, max=1771.69MB, minor=99966.71MB, major=15853.27MB, promoted=809.03MB
    minor collections=47715  major collections=66 compactions=14


runtime: 00:01:15.535
vars: 47358, evals: 139592

|rho|=47358
|stable|=8813
|infl|=47306
|wpoint|=59
|sides|=2846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=42556
|called|=68
Found 1886 contexts for 37 functions. Top 5 functions:
709	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
322	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
322	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
322	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
24	contexts for L:entry state of num (4078) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8002:1-8033:1

Memory statistics: total=124502.01MB, max=1771.69MB, minor=103015.20MB, major=22327.62MB, promoted=840.81MB
    minor collections=49183  major collections=84 compactions=20


runtime: 00:01:25.549
vars: 62840, evals: 167536

|rho|=62840
|stable|=18602
|infl|=62754
|wpoint|=74
|sides|=3757
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=56295
|called|=120
Found 2707 contexts for 41 functions. Top 5 functions:
836	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
435	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
435	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
435	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
120	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=147496.90MB, max=1771.69MB, minor=126008.77MB, major=22546.15MB, promoted=1058.01MB
    minor collections=60148  major collections=85 compactions=20


runtime: 00:01:35.579
vars: 73229, evals: 192576

|rho|=73229
|stable|=33076
|infl|=73125
|wpoint|=83
|sides|=4349
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65537
|called|=105
Found 3270 contexts for 41 functions. Top 5 functions:
921	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
511	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
511	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
511	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
197	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=169865.05MB, max=1771.69MB, minor=148372.89MB, major=22762.04MB, promoted=1269.88MB
    minor collections=70813  major collections=87 compactions=20


runtime: 00:01:45.610
vars: 80509, evals: 214609

|rho|=80509
|stable|=24940
|infl|=80475
|wpoint|=91
|sides|=4752
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72024
|called|=150
Found 3652 contexts for 41 functions. Top 5 functions:
980	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
563	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
563	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
563	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
248	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=190306.65MB, max=1771.69MB, minor=168813.80MB, major=22957.65MB, promoted=1464.80MB
    minor collections=80561  major collections=88 compactions=20


runtime: 00:01:55.665
vars: 85228, evals: 239701

|rho|=85228
|stable|=44437
|infl|=85161
|wpoint|=96
|sides|=4992
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76285
|called|=73
Found 3874 contexts for 42 functions. Top 5 functions:
1013	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
592	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
592	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
592	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
280	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=213191.93MB, max=1771.69MB, minor=191698.33MB, major=23140.17MB, promoted=1646.56MB
    minor collections=91474  major collections=89 compactions=20


runtime: 00:02:05.684
vars: 100507, evals: 260162

|rho|=100507
|stable|=59027
|infl|=100466
|wpoint|=113
|sides|=5883
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=89842
|called|=228
Found 4704 contexts for 42 functions. Top 5 functions:
1139	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
704	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
704	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
704	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
392	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=232448.47MB, max=1771.69MB, minor=210953.39MB, major=23336.94MB, promoted=1841.85MB
    minor collections=100656  major collections=90 compactions=20


runtime: 00:02:15.731
vars: 109752, evals: 278893

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

Memory statistics: total=253198.13MB, max=1771.69MB, minor=231701.11MB, major=23537.78MB, promoted=2040.77MB
    minor collections=110549  major collections=90 compactions=20


runtime: 00:02:25.786
vars: 118269, evals: 297259

|rho|=118269
|stable|=76145
|infl|=118214
|wpoint|=134
|sides|=6954
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105550
|called|=281
Found 5688 contexts for 43 functions. Top 5 functions:
1295	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
839	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
839	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
839	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
516	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=274401.36MB, max=1771.69MB, minor=252903.47MB, major=23746.87MB, promoted=2248.98MB
    minor collections=120660  major collections=91 compactions=20


runtime: 00:02:35.821
vars: 122558, evals: 312798

|rho|=122558
|stable|=80684
|infl|=122527
|wpoint|=137
|sides|=7213
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=109337
|called|=33
Found 5928 contexts for 43 functions. Top 5 functions:
1334	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
872	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
872	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
872	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
544	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=297470.48MB, max=1771.69MB, minor=275971.91MB, major=23975.55MB, promoted=2476.98MB
    minor collections=131661  major collections=92 compactions=20


runtime: 00:02:45.852
vars: 134217, evals: 330796

|rho|=134216
|stable|=91131
|infl|=134149
|wpoint|=147
|sides|=7846
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=119779
|called|=68
Found 6515 contexts for 44 functions. Top 5 functions:
1419	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
946	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
946	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
946	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
625	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=315442.75MB, max=1771.69MB, minor=293938.73MB, major=24147.16MB, promoted=2643.13MB
    minor collections=140229  major collections=93 compactions=20


runtime: 00:02:56.343
vars: 140299, evals: 341843

|rho|=140299
|stable|=97128
|infl|=140271
|wpoint|=153
|sides|=8176
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=125250
|called|=56
Found 6792 contexts for 44 functions. Top 5 functions:
1457	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
979	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
979	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
979	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
668	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=332262.01MB, max=3395.15MB, minor=306462.44MB, major=28555.62MB, promoted=2756.05MB
    minor collections=146206  major collections=97 compactions=20


runtime: 00:03:06.470
vars: 140442, evals: 354226

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

Memory statistics: total=349086.33MB, max=3985.72MB, minor=320065.41MB, major=31868.38MB, promoted=2847.45MB
    minor collections=152698  major collections=100 compactions=20


runtime: 00:03:16.481
vars: 144453, evals: 365383

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

Memory statistics: total=366119.58MB, max=3985.72MB, minor=332803.29MB, major=36275.79MB, promoted=2959.50MB
    minor collections=158777  major collections=104 compactions=20


runtime: 00:03:26.496
vars: 144453, evals: 375322

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

Memory statistics: total=375270.16MB, max=3985.72MB, minor=341953.52MB, major=36340.27MB, promoted=3023.63MB
    minor collections=163141  major collections=104 compactions=20


runtime: 00:03:36.515
vars: 145141, evals: 390575

|rho|=145141
|stable|=81830
|infl|=145080
|wpoint|=157
|sides|=8449
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=129575
|called|=61
Found 7037 contexts for 45 functions. Top 5 functions:
1491	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1009	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1009	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1009	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
703	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=391500.48MB, max=3985.72MB, minor=358183.02MB, major=36461.91MB, promoted=3144.44MB
    minor collections=170880  major collections=105 compactions=20


runtime: 00:03:46.554
vars: 153565, evals: 405003

|rho|=153565
|stable|=52954
|infl|=153539
|wpoint|=166
|sides|=8917
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=137090
|called|=73
Found 7475 contexts for 45 functions. Top 5 functions:
1558	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1067	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1067	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1067	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
764	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=407757.29MB, max=3985.72MB, minor=374436.18MB, major=36588.54MB, promoted=3267.43MB
    minor collections=178631  major collections=105 compactions=20


runtime: 00:03:56.581
vars: 157050, evals: 417856

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

Memory statistics: total=420865.17MB, max=3985.72MB, minor=387543.61MB, major=36687.45MB, promoted=3365.89MB
    minor collections=184881  major collections=105 compactions=20


runtime: 00:04:07.718
vars: 157050, evals: 427156

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

Memory statistics: total=429778.23MB, max=3985.72MB, minor=396456.37MB, major=36748.35MB, promoted=3426.50MB
    minor collections=189132  major collections=107 compactions=21


runtime: 00:04:16.723
vars: 157050, evals: 442600

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

Memory statistics: total=446644.63MB, max=3985.72MB, minor=413322.73MB, major=36867.53MB, promoted=3545.63MB
    minor collections=197174  major collections=107 compactions=21


runtime: 00:04:27.086
vars: 158358, evals: 453156

|rho|=158358
|stable|=94955
|infl|=158333
|wpoint|=172
|sides|=9246
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141311
|called|=121
Found 7714 contexts for 46 functions. Top 5 functions:
1594	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1099	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1099	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1099	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
796	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=464344.33MB, max=3985.72MB, minor=425653.63MB, major=42325.51MB, promoted=3634.81MB
    minor collections=203065  major collections=112 compactions=21


runtime: 00:04:37.129
vars: 161761, evals: 467753

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

Memory statistics: total=483943.27MB, max=3985.72MB, minor=445252.35MB, major=42516.05MB, promoted=3825.12MB
    minor collections=212410  major collections=112 compactions=21


runtime: 00:04:47.148
vars: 164833, evals: 480442

|rho|=164833
|stable|=100957
|infl|=164794
|wpoint|=179
|sides|=9626
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147094
|called|=41
Found 8028 contexts for 47 functions. Top 5 functions:
1642	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1139	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1139	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1139	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
836	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=504117.15MB, max=3985.72MB, minor=462204.82MB, major=45889.21MB, promoted=3976.87MB
    minor collections=220498  major collections=115 compactions=21


runtime: 00:04:57.163
vars: 172942, evals: 494923

|rho|=172942
|stable|=108458
|infl|=172837
|wpoint|=191
|sides|=10085
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=154285
|called|=109
Found 8487 contexts for 47 functions. Top 5 functions:
1717	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1202	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1202	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1202	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
888	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=522445.41MB, max=3985.72MB, minor=480532.37MB, major=46042.62MB, promoted=4129.58MB
    minor collections=229238  major collections=115 compactions=21


runtime: 00:05:07.174
vars: 178150, evals: 509108

|rho|=178150
|stable|=114311
|infl|=178092
|wpoint|=200
|sides|=10383
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158895
|called|=85
Found 8785 contexts for 47 functions. Top 5 functions:
1768	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1244	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1244	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1244	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
920	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=541340.72MB, max=3985.72MB, minor=499426.76MB, major=46204.50MB, promoted=4290.55MB
    minor collections=238248  major collections=116 compactions=21


runtime: 00:05:17.189
vars: 182999, evals: 523648

|rho|=182999
|stable|=117900
|infl|=182942
|wpoint|=207
|sides|=10667
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163180
|called|=58
Found 9069 contexts for 47 functions. Top 5 functions:
1814	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1283	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1283	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1283	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
952	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=561327.69MB, max=3985.72MB, minor=519412.89MB, major=46380.18MB, promoted=4465.38MB
    minor collections=247778  major collections=116 compactions=21


runtime: 00:05:27.200
vars: 190267, evals: 538536

|rho|=190267
|stable|=126875
|infl|=190214
|wpoint|=224
|sides|=11059
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169663
|called|=307
Found 9461 contexts for 47 functions. Top 5 functions:
1879	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1337	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1337	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1337	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
996	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=580160.75MB, max=3985.72MB, minor=538244.36MB, major=46538.31MB, promoted=4621.92MB
    minor collections=256759  major collections=117 compactions=21


runtime: 00:05:37.215
vars: 196395, evals: 552016

|rho|=196395
|stable|=134756
|infl|=196339
|wpoint|=232
|sides|=11419
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=175071
|called|=201
Found 9821 contexts for 47 functions. Top 5 functions:
1939	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1387	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1387	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1387	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1036	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=599476.29MB, max=3985.72MB, minor=557555.93MB, major=46697.28MB, promoted=4776.92MB
    minor collections=265967  major collections=117 compactions=21


runtime: 00:05:47.226
vars: 201305, evals: 566373

|rho|=201305
|stable|=140402
|infl|=201256
|wpoint|=239
|sides|=11708
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=179403
|called|=133
Found 10110 contexts for 47 functions. Top 5 functions:
1987	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1427	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1427	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1427	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1068	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=620817.02MB, max=3985.72MB, minor=578895.64MB, major=46872.73MB, promoted=4951.35MB
    minor collections=276143  major collections=117 compactions=21


runtime: 00:05:57.241
vars: 206027, evals: 581025

|rho|=206027
|stable|=146120
|infl|=205965
|wpoint|=250
|sides|=11986
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=183571
|called|=307
Found 10388 contexts for 47 functions. Top 5 functions:
2034	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1466	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1466	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1466	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1098	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=642924.03MB, max=3985.72MB, minor=601001.73MB, major=47059.96MB, promoted=5137.65MB
    minor collections=286685  major collections=118 compactions=21


runtime: 00:06:07.256
vars: 209498, evals: 593714

|rho|=209498
|stable|=149665
|infl|=209463
|wpoint|=255
|sides|=12188
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=186634
|called|=189
Found 10590 contexts for 47 functions. Top 5 functions:
2068	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1494	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1494	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1494	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1120	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=666375.93MB, max=3985.72MB, minor=624452.58MB, major=47268.62MB, promoted=5345.28MB
    minor collections=297867  major collections=118 compactions=21


runtime: 00:06:17.266
vars: 215926, evals: 607252

|rho|=215926
|stable|=155434
|infl|=215864
|wpoint|=261
|sides|=12527
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=192388
|called|=62
Found 10929 contexts for 47 functions. Top 5 functions:
2121	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1538	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1538	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1538	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1158	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=687067.10MB, max=3985.72MB, minor=645142.91MB, major=47444.74MB, promoted=5520.55MB
    minor collections=307734  major collections=118 compactions=21


runtime: 00:06:27.710
vars: 220779, evals: 618217

|rho|=220779
|stable|=160310
|infl|=220731
|wpoint|=268
|sides|=12781
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=196730
|called|=49
Found 11183 contexts for 47 functions. Top 5 functions:
2162	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1572	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1572	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1572	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1184	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=705644.04MB, max=4133.93MB, minor=661571.37MB, major=49719.68MB, promoted=5647.00MB
    minor collections=315571  major collections=120 compactions=21


runtime: 00:06:37.692
vars: 223798, evals: 625684

|rho|=223798
|stable|=163334
|infl|=223760
|wpoint|=273
|sides|=12914
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199481
|called|=42
Found 11316 contexts for 47 functions. Top 5 functions:
2181	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1587	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1587	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1587	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1200	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=722143.34MB, max=6287.20MB, minor=672701.81MB, major=55183.13MB, promoted=5741.59MB
    minor collections=320886  major collections=123 compactions=21


runtime: 00:06:47.703
vars: 226653, evals: 633448

|rho|=226653
|stable|=134568
|infl|=226605
|wpoint|=275
|sides|=13060
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=202074
|called|=116
Found 11431 contexts for 50 functions. Top 5 functions:
2200	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1604	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1604	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1604	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1210	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=733248.08MB, max=6287.20MB, minor=683806.31MB, major=55285.44MB, promoted=5843.66MB
    minor collections=326181  major collections=123 compactions=21


runtime: 00:06:57.714
vars: 234600, evals: 645129

|rho|=234600
|stable|=78214
|infl|=234531
|wpoint|=276
|sides|=13574
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209034
|called|=129
Found 11868 contexts for 52 functions. Top 5 functions:
2257	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1660	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1660	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1660	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1288	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=750354.90MB, max=6287.20MB, minor=700911.66MB, major=55398.57MB, promoted=5955.33MB
    minor collections=334338  major collections=123 compactions=21


runtime: 00:07:07.729
vars: 247196, evals: 658911

|rho|=247196
|stable|=90421
|infl|=247141
|wpoint|=281
|sides|=14288
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=220203
|called|=94
Found 12570 contexts for 52 functions. Top 5 functions:
2351	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1750	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1750	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1750	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1406	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=771840.90MB, max=6287.20MB, minor=722394.02MB, major=55557.70MB, promoted=6110.82MB
    minor collections=344582  major collections=124 compactions=21


runtime: 00:07:17.740
vars: 257276, evals: 670982

|rho|=257276
|stable|=100289
|infl|=257198
|wpoint|=284
|sides|=14875
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=229122
|called|=115
Found 13136 contexts for 52 functions. Top 5 functions:
2432	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1827	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1827	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1827	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1493	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=792318.83MB, max=6287.20MB, minor=742868.48MB, major=55705.50MB, promoted=6255.15MB
    minor collections=354345  major collections=124 compactions=21


runtime: 00:07:27.751
vars: 268851, evals: 683698

|rho|=268851
|stable|=111748
|infl|=268789
|wpoint|=288
|sides|=15540
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=239372
|called|=223
Found 13782 contexts for 52 functions. Top 5 functions:
2522	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
1913	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
1913	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
1913	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1595	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=812683.49MB, max=6287.20MB, minor=763221.72MB, major=55860.58MB, promoted=6398.81MB
    minor collections=364052  major collections=124 compactions=21


runtime: 00:07:37.766
vars: 281603, evals: 697565

|rho|=281603
|stable|=124238
|infl|=281557
|wpoint|=292
|sides|=16256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=250690
|called|=185
Found 14486 contexts for 52 functions. Top 5 functions:
2617	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2004	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2004	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2004	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1710	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=835610.16MB, max=6287.20MB, minor=786145.05MB, major=56024.78MB, promoted=6559.68MB
    minor collections=374983  major collections=124 compactions=21


runtime: 00:07:47.777
vars: 290404, evals: 708018

|rho|=290404
|stable|=132842
|infl|=290345
|wpoint|=296
|sides|=16760
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=258488
|called|=182
Found 14981 contexts for 52 functions. Top 5 functions:
2684	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2068	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2068	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2068	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1792	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=854425.90MB, max=6287.20MB, minor=804958.17MB, major=56160.24MB, promoted=6692.51MB
    minor collections=383954  major collections=126 compactions=21


runtime: 00:07:57.788
vars: 299422, evals: 719359

|rho|=299422
|stable|=141663
|infl|=299351
|wpoint|=298
|sides|=17270
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=266488
|called|=176
Found 15482 contexts for 52 functions. Top 5 functions:
2752	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2133	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2133	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2133	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1875	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=875339.84MB, max=6287.20MB, minor=825867.06MB, major=56310.29MB, promoted=6837.51MB
    minor collections=393925  major collections=126 compactions=21


runtime: 00:08:07.803
vars: 307469, evals: 730481

|rho|=307469
|stable|=149534
|infl|=307395
|wpoint|=301
|sides|=17728
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273629
|called|=153
Found 15924 contexts for 52 functions. Top 5 functions:
2812	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2190	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2190	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2190	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
1947	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=897246.77MB, max=6287.20MB, minor=847772.25MB, major=56463.61MB, promoted=6989.09MB
    minor collections=404371  major collections=126 compactions=21


runtime: 00:08:17.814
vars: 315832, evals: 742314

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

Memory statistics: total=921645.11MB, max=6287.20MB, minor=872167.83MB, major=56633.31MB, promoted=7156.04MB
    minor collections=416004  major collections=126 compactions=21


runtime: 00:08:27.825
vars: 324880, evals: 754266

|rho|=324880
|stable|=166587
|infl|=324838
|wpoint|=306
|sides|=18712
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289069
|called|=93
Found 16892 contexts for 52 functions. Top 5 functions:
2943	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2316	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2316	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2316	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2106	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=946240.94MB, max=6287.20MB, minor=896760.02MB, major=56804.96MB, promoted=7324.05MB
    minor collections=427730  major collections=126 compactions=21


runtime: 00:08:37.836
vars: 331125, evals: 764935

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

Memory statistics: total=970308.48MB, max=6287.20MB, minor=920824.83MB, major=56970.04MB, promoted=7486.39MB
    minor collections=439206  major collections=127 compactions=21


runtime: 00:08:47.848
vars: 337242, evals: 775067

|rho|=337242
|stable|=180455
|infl|=337209
|wpoint|=311
|sides|=19409
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=300035
|called|=73
Found 17577 contexts for 52 functions. Top 5 functions:
3037	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2405	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2405	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2405	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2218	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=993748.16MB, max=6287.20MB, minor=944261.75MB, major=57131.09MB, promoted=7644.68MB
    minor collections=450382  major collections=127 compactions=21


runtime: 00:08:57.862
vars: 347142, evals: 785809

|rho|=347142
|stable|=188287
|infl|=347091
|wpoint|=314
|sides|=19965
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=308820
|called|=79
Found 18120 contexts for 52 functions. Top 5 functions:
3106	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2473	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2473	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2473	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2314	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1014038.15MB, max=6287.20MB, minor=964547.59MB, major=57273.85MB, promoted=7783.30MB
    minor collections=460055  major collections=127 compactions=21


runtime: 00:09:07.873
vars: 358226, evals: 799068

|rho|=358226
|stable|=198940
|infl|=358164
|wpoint|=316
|sides|=20572
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318684
|called|=76
Found 18725 contexts for 52 functions. Top 5 functions:
3186	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2550	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2550	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2550	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2415	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1037272.53MB, max=6287.20MB, minor=987771.65MB, major=57456.02MB, promoted=7955.14MB
    minor collections=471130  major collections=127 compactions=21


runtime: 00:09:17.883
vars: 366640, evals: 811083

|rho|=366640
|stable|=207536
|infl|=366601
|wpoint|=322
|sides|=21044
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=326151
|called|=54
Found 19197 contexts for 52 functions. Top 5 functions:
3257	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2615	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2615	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2615	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2482	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1061447.32MB, max=6287.20MB, minor=1011945.02MB, major=57642.00MB, promoted=8139.71MB
    minor collections=482657  major collections=127 compactions=21


runtime: 00:09:27.894
vars: 370744, evals: 822134

|rho|=370744
|stable|=213287
|infl|=370711
|wpoint|=325
|sides|=21262
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=329779
|called|=93
Found 19400 contexts for 54 functions. Top 5 functions:
3285	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2641	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2641	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2641	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2510	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1087395.75MB, max=6287.20MB, minor=1037892.71MB, major=57842.65MB, promoted=8339.61MB
    minor collections=495030  major collections=128 compactions=21


runtime: 00:09:37.904
vars: 380893, evals: 834878

|rho|=380893
|stable|=220698
|infl|=380825
|wpoint|=325
|sides|=21813
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=338810
|called|=75
Found 19949 contexts for 54 functions. Top 5 functions:
3350	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2706	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2706	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2706	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2613	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1110816.43MB, max=6287.20MB, minor=1061311.77MB, major=58027.72MB, promoted=8523.06MB
    minor collections=506198  major collections=128 compactions=21


runtime: 00:09:47.919
vars: 390571, evals: 848416

|rho|=390571
|stable|=230719
|infl|=390458
|wpoint|=325
|sides|=22355
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347408
|called|=116
Found 20472 contexts for 54 functions. Top 5 functions:
3413	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2769	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2769	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2769	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2709	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1134925.47MB, max=6287.20MB, minor=1085419.59MB, major=58217.48MB, promoted=8711.59MB
    minor collections=517693  major collections=128 compactions=21


runtime: 00:09:57.930
vars: 399369, evals: 862332

|rho|=399369
|stable|=238503
|infl|=399290
|wpoint|=325
|sides|=22833
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355233
|called|=82
Found 20950 contexts for 54 functions. Top 5 functions:
3470	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2826	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2826	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2826	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2800	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1

Memory statistics: total=1160191.83MB, max=6287.20MB, minor=1110684.86MB, major=58415.42MB, promoted=8908.45MB
    minor collections=529741  major collections=128 compactions=21


runtime: 00:10:07.937
vars: 406702, evals: 875526

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

Memory statistics: total=1185449.74MB, max=6287.20MB, minor=1135941.69MB, major=58612.33MB, promoted=9104.28MB
    minor collections=541785  major collections=129 compactions=21


runtime: 00:10:17.948
vars: 415646, evals: 888864

|rho|=415646
|stable|=253901
|infl|=415564
|wpoint|=330
|sides|=23704
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=369757
|called|=363
Found 21803 contexts for 54 functions. Top 5 functions:
3569	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
2967	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
2925	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2925	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
2924	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1208909.21MB, max=6287.20MB, minor=1159399.89MB, major=58798.07MB, promoted=9288.75MB
    minor collections=552971  major collections=129 compactions=21


runtime: 00:10:27.959
vars: 425234, evals: 899756

|rho|=425234
|stable|=263202
|infl|=425174
|wpoint|=329
|sides|=24233
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=378265
|called|=268
Found 22332 contexts for 54 functions. Top 5 functions:
3632	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3066	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
2988	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
2988	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
2988	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1228482.37MB, max=6287.20MB, minor=1178967.24MB, major=58961.91MB, promoted=9446.77MB
    minor collections=562303  major collections=129 compactions=21


runtime: 00:10:37.970
vars: 431138, evals: 913217

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

Memory statistics: total=1256080.01MB, max=6287.20MB, minor=1206563.91MB, major=59176.00MB, promoted=9659.90MB
    minor collections=575463  major collections=129 compactions=21


runtime: 00:10:47.981
vars: 439035, evals: 929828

|rho|=439035
|stable|=276224
|infl|=438981
|wpoint|=326
|sides|=24969
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=390583
|called|=57
Found 23052 contexts for 54 functions. Top 5 functions:
3714	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3207	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3070	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3070	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3070	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1285795.31MB, max=6287.20MB, minor=1236278.19MB, major=59400.91MB, promoted=9883.79MB
    minor collections=589632  major collections=129 compactions=21


runtime: 00:10:57.992
vars: 448420, evals: 943773

|rho|=448420
|stable|=285246
|infl|=448383
|wpoint|=326
|sides|=25472
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=398963
|called|=96
Found 23535 contexts for 54 functions. Top 5 functions:
3771	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3294	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3127	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3127	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3127	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1311098.69MB, max=6287.20MB, minor=1261580.28MB, major=59592.28MB, promoted=10073.88MB
    minor collections=601698  major collections=130 compactions=21


runtime: 00:11:08.003
vars: 455978, evals: 955056

|rho|=455978
|stable|=292884
|infl|=455911
|wpoint|=330
|sides|=25888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=405690
|called|=70
Found 23951 contexts for 54 functions. Top 5 functions:
3830	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3357	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3182	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3182	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3182	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1333256.88MB, max=6287.20MB, minor=1283737.16MB, major=59762.76MB, promoted=10243.04MB
    minor collections=612263  major collections=130 compactions=21


runtime: 00:11:18.033
vars: 463189, evals: 965243

|rho|=463189
|stable|=299868
|infl|=463141
|wpoint|=335
|sides|=26284
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=412106
|called|=70
Found 24347 contexts for 54 functions. Top 5 functions:
3890	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3414	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3237	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3237	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3237	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1355861.15MB, max=6287.20MB, minor=1306340.05MB, major=59935.28MB, promoted=10414.18MB
    minor collections=623041  major collections=130 compactions=21


runtime: 00:11:28.044
vars: 468932, evals: 974852

|rho|=468932
|stable|=305987
|infl|=468896
|wpoint|=339
|sides|=26605
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=417207
|called|=44
Found 24668 contexts for 54 functions. Top 5 functions:
3938	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3460	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3281	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3281	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3281	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1379378.05MB, max=6287.20MB, minor=1329855.88MB, major=60117.12MB, promoted=10594.94MB
    minor collections=634255  major collections=130 compactions=21


runtime: 00:11:38.055
vars: 474819, evals: 985712

|rho|=474819
|stable|=311783
|infl|=474738
|wpoint|=343
|sides|=26926
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422452
|called|=115
Found 24989 contexts for 54 functions. Top 5 functions:
3986	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3506	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3325	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3325	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3325	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1406212.57MB, max=6287.20MB, minor=1356689.63MB, major=60326.83MB, promoted=10803.88MB
    minor collections=647050  major collections=130 compactions=21


runtime: 00:11:48.066
vars: 480890, evals: 996163

|rho|=480890
|stable|=316683
|infl|=480780
|wpoint|=346
|sides|=27265
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=427851
|called|=112
Found 25329 contexts for 54 functions. Top 5 functions:
4035	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3557	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3371	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3371	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
3370	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1431752.61MB, max=6287.20MB, minor=1382228.68MB, major=60530.97MB, promoted=11007.04MB
    minor collections=659229  major collections=130 compactions=21


runtime: 00:11:58.077
vars: 486079, evals: 1006200

|rho|=486079
|stable|=321738
|infl|=486005
|wpoint|=349
|sides|=27553
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=432459
|called|=76
Found 25617 contexts for 54 functions. Top 5 functions:
4077	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3600	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3410	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3410	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3410	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1457517.51MB, max=6287.20MB, minor=1407992.67MB, major=60734.56MB, promoted=11209.72MB
    minor collections=671515  major collections=131 compactions=21


runtime: 00:12:08.088
vars: 490200, evals: 1015488

|rho|=490200
|stable|=327251
|infl|=490151
|wpoint|=352
|sides|=27781
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=436123
|called|=85
Found 25844 contexts for 54 functions. Top 5 functions:
4112	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3632	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3442	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3442	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3442	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1482451.26MB, max=6287.20MB, minor=1432925.65MB, major=60934.25MB, promoted=11408.63MB
    minor collections=683404  major collections=131 compactions=21


runtime: 00:12:18.099
vars: 495050, evals: 1024724

|rho|=495050
|stable|=330487
|infl|=494974
|wpoint|=354
|sides|=28054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=440434
|called|=79
Found 26117 contexts for 54 functions. Top 5 functions:
4151	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3673	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3479	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3479	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
3478	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1506377.07MB, max=6287.20MB, minor=1456850.53MB, major=61125.70MB, promoted=11599.16MB
    minor collections=694812  major collections=131 compactions=21


runtime: 00:12:28.122
vars: 498788, evals: 1033956

|rho|=498788
|stable|=335117
|infl|=498753
|wpoint|=358
|sides|=28256
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=443761
|called|=108
Found 26319 contexts for 54 functions. Top 5 functions:
4182	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3702	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3507	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3507	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3507	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1531400.25MB, max=6287.20MB, minor=1481873.12MB, major=61324.82MB, promoted=11797.70MB
    minor collections=706744  major collections=131 compactions=21


runtime: 00:12:38.137
vars: 506303, evals: 1045128

|rho|=506303
|stable|=341076
|infl|=506232
|wpoint|=366
|sides|=28645
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=450504
|called|=353
Found 26708 contexts for 54 functions. Top 5 functions:
4235	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3767	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3556	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3556	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3556	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1555059.06MB, max=6287.20MB, minor=1505530.95MB, major=61513.99MB, promoted=11985.89MB
    minor collections=718026  major collections=131 compactions=21


runtime: 00:12:48.148
vars: 514833, evals: 1054903

|rho|=514833
|stable|=349426
|infl|=514769
|wpoint|=371
|sides|=29121
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=458079
|called|=315
Found 27184 contexts for 54 functions. Top 5 functions:
4305	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3838	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3621	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3621	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3621	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1575032.72MB, max=6287.20MB, minor=1525503.11MB, major=61670.46MB, promoted=12140.84MB
    minor collections=727549  major collections=131 compactions=21


runtime: 00:12:58.159
vars: 520645, evals: 1064441

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

Memory statistics: total=1598987.38MB, max=6287.20MB, minor=1549456.56MB, major=61853.06MB, promoted=12322.24MB
    minor collections=738972  major collections=132 compactions=21


runtime: 00:13:08.174
vars: 526851, evals: 1075073

|rho|=526851
|stable|=360972
|infl|=526797
|wpoint|=377
|sides|=29798
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=468743
|called|=112
Found 27861 contexts for 54 functions. Top 5 functions:
4408	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3932	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3714	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3714	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3714	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1614991.06MB, max=6287.20MB, minor=1565433.68MB, major=62028.82MB, promoted=12471.44MB
    minor collections=746592  major collections=132 compactions=21


runtime: 00:13:18.189
vars: 531728, evals: 1089562

|rho|=531728
|stable|=366035
|infl|=531688
|wpoint|=387
|sides|=30077
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=473060
|called|=301
Found 28140 contexts for 54 functions. Top 5 functions:
4453	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3966	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3753	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3753	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3753	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1634518.74MB, max=6287.20MB, minor=1584961.09MB, major=62230.88MB, promoted=12673.23MB
    minor collections=755904  major collections=132 compactions=21


runtime: 00:13:28.200
vars: 535926, evals: 1103814

|rho|=535926
|stable|=370333
|infl|=535886
|wpoint|=389
|sides|=30316
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=476780
|called|=73
Found 28379 contexts for 54 functions. Top 5 functions:
4491	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
3996	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3786	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3786	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3786	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1654826.18MB, max=6287.20MB, minor=1605268.31MB, major=62440.08MB, promoted=12882.21MB
    minor collections=765587  major collections=132 compactions=21


runtime: 00:13:38.211
vars: 543857, evals: 1119442

|rho|=543857
|stable|=377669
|infl|=543821
|wpoint|=393
|sides|=30724
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=483895
|called|=52
Found 28787 contexts for 54 functions. Top 5 functions:
4548	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4060	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3837	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3837	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3837	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1671591.74MB, max=6287.20MB, minor=1622033.56MB, major=62619.17MB, promoted=13060.99MB
    minor collections=773582  major collections=132 compactions=21


runtime: 00:13:48.226
vars: 552672, evals: 1135680

|rho|=552672
|stable|=386563
|infl|=552588
|wpoint|=400
|sides|=31192
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=491777
|called|=95
Found 29255 contexts for 54 functions. Top 5 functions:
4617	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4125	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3899	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3899	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3899	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1688247.88MB, max=6287.20MB, minor=1638689.33MB, major=62795.20MB, promoted=13236.65MB
    minor collections=781524  major collections=132 compactions=21


runtime: 00:13:58.237
vars: 557982, evals: 1150365

|rho|=557982
|stable|=397075
|infl|=557949
|wpoint|=402
|sides|=31476
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=496513
|called|=209
Found 29538 contexts for 54 functions. Top 5 functions:
4658	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4166	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3938	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3938	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3938	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1706451.41MB, max=6287.20MB, minor=1656892.63MB, major=62992.64MB, promoted=13433.86MB
    minor collections=790204  major collections=132 compactions=21


runtime: 00:14:08.248
vars: 566580, evals: 1165397

|rho|=566580
|stable|=396748
|infl|=566547
|wpoint|=405
|sides|=31971
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=504125
|called|=96
Found 30019 contexts for 54 functions. Top 5 functions:
4720	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4251	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
3997	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
3997	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
3997	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1722114.19MB, max=6287.20MB, minor=1672554.99MB, major=63171.84MB, promoted=13612.64MB
    minor collections=797673  major collections=133 compactions=21


runtime: 00:14:18.259
vars: 574120, evals: 1180494

|rho|=574120
|stable|=403654
|infl|=574066
|wpoint|=407
|sides|=32444
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=510721
|called|=178
Found 30492 contexts for 54 functions. Top 5 functions:
4784	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4315	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4058	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4058	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4058	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1739304.45MB, max=6287.20MB, minor=1689744.90MB, major=63363.38MB, promoted=13803.83MB
    minor collections=805870  major collections=133 compactions=21


runtime: 00:14:28.270
vars: 578418, evals: 1194491

|rho|=578418
|stable|=408158
|infl|=578385
|wpoint|=408
|sides|=32714
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=514477
|called|=166
Found 30762 contexts for 54 functions. Top 5 functions:
4817	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4355	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4090	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4090	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4090	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1759305.53MB, max=6287.20MB, minor=1709745.77MB, major=63582.80MB, promoted=14023.04MB
    minor collections=815408  major collections=133 compactions=21


runtime: 00:14:38.289
vars: 584421, evals: 1207317

|rho|=584421
|stable|=412932
|infl|=584360
|wpoint|=408
|sides|=33055
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=519803
|called|=75
Found 31103 contexts for 54 functions. Top 5 functions:
4858	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4417	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4130	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4130	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4130	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1776638.90MB, max=6287.20MB, minor=1727078.37MB, major=63780.41MB, promoted=14219.87MB
    minor collections=823673  major collections=133 compactions=21


runtime: 00:14:48.304
vars: 596643, evals: 1222279

|rho|=596643
|stable|=424502
|infl|=596573
|wpoint|=411
|sides|=33710
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=530715
|called|=84
Found 31759 contexts for 54 functions. Top 5 functions:
4935	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4543	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4206	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1
4206	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4206	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1

Memory statistics: total=1789704.73MB, max=6287.20MB, minor=1740135.28MB, major=63940.33MB, promoted=14370.89MB
    minor collections=829900  major collections=133 compactions=21


runtime: 00:14:58.315
vars: 607500, evals: 1236462

|rho|=607500
|stable|=435024
|infl|=607421
|wpoint|=418
|sides|=34322
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=540351
|called|=93
Found 32371 contexts for 54 functions. Top 5 functions:
5026	contexts for L:entry state of try_throw_ (774) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8708:1-8774:1
4632	contexts for L:entry state of fail (4084) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8808:1-8847:1
4290	contexts for L:entry state of try_setup_ (769) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8689:1-8706:1
4290	contexts for L:entry state of pthread_once (1984) on lib/libc/stub/src/pthread.c:5:1-10:1
4289	contexts for L:entry state of try_create_ (4083) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pigz/main.c:8669:1-8688:1

Memory statistics: total=1803341.66MB, max=6287.20MB, minor=1753771.76MB, major=64097.61MB, promoted=14527.71MB
    minor collections=836402  major collections=133 compactions=21

