./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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/phpspy/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.360
vars: 23260, evals: 51197

|rho|=23260
|stable|=10943
|infl|=23249
|wpoint|=15
|sides|=1832
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20162
|called|=70
Found 813 contexts for 86 functions. Top 5 functions:
72	contexts for L:entry state of bytebuf_nputs (7205) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
69	contexts for L:entry state of bytebuf_reserve (7208) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
69	contexts for L:entry state of cell_set (7197) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
54	contexts for L:entry state of cellbuf_get (7202) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5200:1-5224:1
42	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1

Memory statistics: total=26156.85MB, max=151.80MB, minor=26134.32MB, major=445.72MB, promoted=423.18MB
    minor collections=12473  major collections=22 compactions=0


runtime: 00:00:20.387
vars: 43647, evals: 87493

|rho|=43647
|stable|=27622
|infl|=42389
|wpoint|=171
|sides|=3084
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38698
|called|=1459
Found 1836 contexts for 113 functions. Top 5 functions:
182	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
167	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
161	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
155	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
155	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=47404.44MB, max=230.87MB, minor=47378.56MB, major=691.00MB, promoted=665.12MB
    minor collections=22604  major collections=25 compactions=0


runtime: 00:00:30.458
vars: 65107, evals: 109377

|rho|=65107
|stable|=49082
|infl|=62183
|wpoint|=380
|sides|=4125
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=58701
|called|=3334
Found 2877 contexts for 113 functions. Top 5 functions:
390	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
369	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
363	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
363	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
363	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=64607.07MB, max=403.80MB, minor=64580.05MB, major=886.18MB, promoted=859.17MB
    minor collections=30808  major collections=27 compactions=0


runtime: 00:00:40.533
vars: 81036, evals: 125608

|rho|=81036
|stable|=65011
|infl|=76871
|wpoint|=534
|sides|=4899
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=73546
|called|=4729
Found 3651 contexts for 113 functions. Top 5 functions:
545	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
524	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
518	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
518	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
517	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=80050.90MB, max=534.03MB, minor=80020.19MB, major=1040.67MB, promoted=1009.96MB
    minor collections=38171  major collections=28 compactions=0


runtime: 00:00:50.583
vars: 94205, evals: 139035

|rho|=94205
|stable|=78180
|infl|=89021
|wpoint|=662
|sides|=5538
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=85821
|called|=5876
Found 4290 contexts for 113 functions. Top 5 functions:
673	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
652	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
646	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
645	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
645	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=94487.81MB, max=534.03MB, minor=94455.61MB, major=1171.67MB, promoted=1139.47MB
    minor collections=45055  major collections=29 compactions=0


runtime: 00:01:00.642
vars: 105364, evals: 150417

|rho|=105364
|stable|=89339
|infl|=99315
|wpoint|=771
|sides|=6079
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=96222
|called|=6850
Found 4831 contexts for 113 functions. Top 5 functions:
781	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
760	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
754	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
754	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
753	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=108007.82MB, max=706.25MB, minor=107975.21MB, major=1284.91MB, promoted=1252.30MB
    minor collections=51502  major collections=29 compactions=0


runtime: 00:01:10.656
vars: 115587, evals: 160836

|rho|=115587
|stable|=99562
|infl|=108734
|wpoint|=870
|sides|=6576
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=105750
|called|=7753
Found 5328 contexts for 113 functions. Top 5 functions:
880	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
859	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
854	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
853	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
853	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=121312.74MB, max=706.25MB, minor=121279.72MB, major=1389.38MB, promoted=1356.36MB
    minor collections=57846  major collections=30 compactions=0


runtime: 00:01:20.719
vars: 124406, evals: 169820

|rho|=124406
|stable|=108381
|infl|=116874
|wpoint|=955
|sides|=7004
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113969
|called|=8517
Found 5756 contexts for 113 functions. Top 5 functions:
966	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
945	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
939	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
939	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
938	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=133807.92MB, max=812.19MB, minor=133774.34MB, major=1482.84MB, promoted=1449.26MB
    minor collections=63804  major collections=30 compactions=0


runtime: 00:01:30.774
vars: 132852, evals: 178430

|rho|=132852
|stable|=116827
|infl|=124667
|wpoint|=1037
|sides|=7414
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=121841
|called|=9252
Found 6166 contexts for 113 functions. Top 5 functions:
1048	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1027	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1021	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1021	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1020	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=146025.47MB, max=934.02MB, minor=145989.43MB, major=1574.76MB, promoted=1538.72MB
    minor collections=69629  major collections=30 compactions=0


runtime: 00:01:40.784
vars: 140431, evals: 186161

|rho|=140431
|stable|=124406
|infl|=131649
|wpoint|=1111
|sides|=7782
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=128906
|called|=9923
Found 6534 contexts for 113 functions. Top 5 functions:
1121	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1101	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1095	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1094	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1094	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=157729.15MB, max=934.02MB, minor=157690.65MB, major=1658.55MB, promoted=1620.05MB
    minor collections=75209  major collections=30 compactions=0


runtime: 00:01:50.839
vars: 147265, evals: 193123

|rho|=147265
|stable|=131240
|infl|=137956
|wpoint|=1177
|sides|=8114
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=135274
|called|=10516
Found 6866 contexts for 113 functions. Top 5 functions:
1188	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1167	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1161	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1161	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1160	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=168854.07MB, max=934.02MB, minor=168811.01MB, major=1737.58MB, promoted=1694.51MB
    minor collections=80512  major collections=31 compactions=0


runtime: 00:02:00.911
vars: 153741, evals: 199727

|rho|=153741
|stable|=137716
|infl|=143931
|wpoint|=1240
|sides|=8428
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141311
|called|=11080
Found 7180 contexts for 113 functions. Top 5 functions:
1251	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1230	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1224	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1223	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1223	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=179874.19MB, max=1074.12MB, minor=179830.61MB, major=1809.24MB, promoted=1765.66MB
    minor collections=85767  major collections=31 compactions=0


runtime: 00:02:10.965
vars: 159988, evals: 206098

|rho|=159988
|stable|=143963
|infl|=149692
|wpoint|=1301
|sides|=8732
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=147133
|called|=11627
Found 7484 contexts for 113 functions. Top 5 functions:
1311	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1291	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1285	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1284	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1284	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=190692.76MB, max=1074.12MB, minor=190648.85MB, major=1878.82MB, promoted=1834.91MB
    minor collections=90925  major collections=31 compactions=0


runtime: 00:02:20.999
vars: 166205, evals: 212432

|rho|=166205
|stable|=150180
|infl|=155431
|wpoint|=1361
|sides|=9033
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152927
|called|=12165
Found 7785 contexts for 113 functions. Top 5 functions:
1372	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1351	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1345	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1344	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1344	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=201369.27MB, max=1074.12MB, minor=201325.09MB, major=1948.14MB, promoted=1903.96MB
    minor collections=96016  major collections=31 compactions=0


runtime: 00:02:31.014
vars: 171841, evals: 218181

|rho|=171841
|stable|=155816
|infl|=160618
|wpoint|=1416
|sides|=9307
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=158181
|called|=12669
Found 8059 contexts for 113 functions. Top 5 functions:
1426	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1406	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1400	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1399	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1399	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=211642.48MB, max=1074.12MB, minor=211597.97MB, major=2012.14MB, promoted=1967.63MB
    minor collections=100915  major collections=31 compactions=0


runtime: 00:02:41.025
vars: 177189, evals: 223633

|rho|=177189
|stable|=161164
|infl|=165556
|wpoint|=1468
|sides|=9567
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163165
|called|=13131
Found 8319 contexts for 113 functions. Top 5 functions:
1478	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1458	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1452	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1451	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1451	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=221827.97MB, max=1074.12MB, minor=221783.12MB, major=2074.61MB, promoted=2029.75MB
    minor collections=105772  major collections=32 compactions=0


runtime: 00:02:51.093
vars: 182133, evals: 228673

|rho|=182133
|stable|=166108
|infl|=170114
|wpoint|=1516
|sides|=9807
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167773
|called|=13565
Found 8559 contexts for 113 functions. Top 5 functions:
1526	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1506	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1500	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1499	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1499	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=231543.19MB, max=1235.24MB, minor=231498.01MB, major=2132.07MB, promoted=2086.89MB
    minor collections=110405  major collections=32 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7837:7-7837:59!

runtime: 00:03:00.252
vars: 186384, evals: 233005

|rho|=186384
|stable|=170359
|infl|=174027
|wpoint|=1557
|sides|=10013
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171736
|called|=13944
Found 8765 contexts for 113 functions. Top 5 functions:
1568	contexts for L:entry state of copy_proc_mem (7223) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1547	contexts for L:entry state of sprint_zstring_81 (7313) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1541	contexts for L:entry state of sprint_zval_81 (7314) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1540	contexts for L:entry state of sprint_zarray_bucket_81 (7317) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1540	contexts for L:entry state of sprint_zarray_81 (7315) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=240098.12MB, max=1235.24MB, minor=240052.43MB, major=2182.62MB, promoted=2136.93MB
    minor collections=114484  major collections=32 compactions=0


Fatal error: exception Stack overflow
