./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --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.374
vars: 22604, evals: 50480

|rho|=22604
|stable|=10081
|infl|=22583
|wpoint|=15
|sides|=1787
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19600
|called|=29
Found 775 contexts for 86 functions. Top 5 functions:
65	contexts for L:entry state of bytebuf_nputs (7205) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
62	contexts for L:entry state of bytebuf_reserve (7208) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
61	contexts for L:entry state of cell_set (7197) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
49	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=25725.19MB, max=151.80MB, minor=25702.70MB, major=440.69MB, promoted=418.19MB
    minor collections=12267  major collections=22 compactions=0


runtime: 00:00:20.425
vars: 44221, evals: 88324

|rho|=44221
|stable|=28196
|infl|=42921
|wpoint|=177
|sides|=3115
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39230
|called|=1507
Found 1867 contexts for 113 functions. Top 5 functions:
187	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
172	contexts for L:entry state of log_error (1482) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1-8055:1
166	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
160	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
160	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=47120.54MB, max=230.87MB, minor=47094.83MB, major=680.57MB, promoted=654.86MB
    minor collections=22470  major collections=26 compactions=0


runtime: 00:00:30.524
vars: 68559, evals: 113131

|rho|=68559
|stable|=52533
|infl|=65363
|wpoint|=413
|sides|=4297
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=61913
|called|=3638
Found 3049 contexts for 113 functions. Top 5 functions:
423	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
403	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
397	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
396	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
396	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=63807.23MB, max=403.80MB, minor=63779.25MB, major=881.87MB, promoted=853.89MB
    minor collections=30427  major collections=27 compactions=0


runtime: 00:00:40.576
vars: 87048, evals: 131975

|rho|=87048
|stable|=71023
|infl|=82419
|wpoint|=592
|sides|=5194
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=79146
|called|=5251
Found 3946 contexts for 113 functions. Top 5 functions:
603	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
582	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
576	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
576	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
575	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=78367.69MB, max=534.03MB, minor=78335.92MB, major=1041.74MB, promoted=1009.96MB
    minor collections=37368  major collections=28 compactions=0


runtime: 00:00:50.659
vars: 102450, evals: 147681

|rho|=102450
|stable|=86425
|infl|=96620
|wpoint|=742
|sides|=5942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=93502
|called|=6602
Found 4694 contexts for 113 functions. Top 5 functions:
752	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
732	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
726	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
725	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
725	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=91866.90MB, max=614.13MB, minor=91834.53MB, major=1175.92MB, promoted=1143.56MB
    minor collections=43806  major collections=29 compactions=0


runtime: 00:01:00.682
vars: 116046, evals: 161541

|rho|=116046
|stable|=100021
|infl|=109158
|wpoint|=874
|sides|=6602
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=106174
|called|=7792
Found 5354 contexts for 113 functions. Top 5 functions:
884	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
864	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
858	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
857	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
857	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=104556.18MB, max=614.13MB, minor=104523.28MB, major=1296.12MB, promoted=1263.22MB
    minor collections=49856  major collections=29 compactions=0


runtime: 00:01:10.758
vars: 127817, evals: 173537

|rho|=127817
|stable|=111792
|infl|=120026
|wpoint|=988
|sides|=7173
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117144
|called|=8809
Found 5925 contexts for 113 functions. Top 5 functions:
999	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
978	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
972	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
971	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
971	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=116463.56MB, max=706.25MB, minor=116429.97MB, major=1402.17MB, promoted=1368.59MB
    minor collections=55534  major collections=30 compactions=0


runtime: 00:01:20.818
vars: 138554, evals: 184481

|rho|=138554
|stable|=122529
|infl|=129925
|wpoint|=1092
|sides|=7694
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=127152
|called|=9751
Found 6446 contexts for 113 functions. Top 5 functions:
1103	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
1082	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
1076	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
1076	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
1075	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=127752.20MB, max=812.19MB, minor=127716.00MB, major=1501.66MB, promoted=1465.46MB
    minor collections=60916  major collections=30 compactions=0


runtime: 00:01:30.828
vars: 148223, evals: 194338

|rho|=148223
|stable|=132198
|infl|=138847
|wpoint|=1186
|sides|=8164
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=136163
|called|=10592
Found 6916 contexts for 113 functions. Top 5 functions:
1197	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
1176	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
1170	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
1170	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
1169	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=138396.93MB, max=812.19MB, minor=138353.95MB, major=1597.36MB, promoted=1554.38MB
    minor collections=65989  major collections=30 compactions=0


runtime: 00:01:40.884
vars: 157144, evals: 203437

|rho|=157144
|stable|=141119
|infl|=147065
|wpoint|=1273
|sides|=8597
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=144479
|called|=11382
Found 7349 contexts for 113 functions. Top 5 functions:
1283	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
1263	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
1257	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
1256	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
1256	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=148693.34MB, max=934.02MB, minor=148649.69MB, major=1681.17MB, promoted=1637.52MB
    minor collections=70899  major collections=31 compactions=0


runtime: 00:01:50.939
vars: 165460, evals: 211917

|rho|=165460
|stable|=149435
|infl|=154739
|wpoint|=1354
|sides|=9000
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=152230
|called|=12105
Found 7752 contexts for 113 functions. Top 5 functions:
1364	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
1343	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
1337	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
1337	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
1337	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=158761.73MB, max=1074.12MB, minor=158717.56MB, major=1759.92MB, promoted=1715.75MB
    minor collections=75700  major collections=31 compactions=0


runtime: 00:02:00.975
vars: 173361, evals: 219964

|rho|=173361
|stable|=157336
|infl|=162027
|wpoint|=1430
|sides|=9384
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=159593
|called|=12794
Found 8136 contexts for 113 functions. Top 5 functions:
1441	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
1420	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
1414	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
1414	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
1413	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=168398.52MB, max=1074.12MB, minor=168353.92MB, major=1835.12MB, promoted=1790.52MB
    minor collections=80295  major collections=31 compactions=0


runtime: 00:02:10.990
vars: 180791, evals: 227547

|rho|=180791
|stable|=164766
|infl|=168886
|wpoint|=1503
|sides|=9744
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=166519
|called|=13438
Found 8496 contexts for 113 functions. Top 5 functions:
1513	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
1492	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
1486	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
1486	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
1485	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=177683.29MB, max=1074.12MB, minor=177638.29MB, major=1906.47MB, promoted=1861.47MB
    minor collections=84722  major collections=31 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:02:18.860
vars: 186415, evals: 233275

|rho|=186415
|stable|=170390
|infl|=174058
|wpoint|=1557
|sides|=10018
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171761
|called|=13944
Found 8770 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=185026.91MB, max=1074.12MB, minor=184981.32MB, major=1961.34MB, promoted=1915.76MB
    minor collections=88224  major collections=31 compactions=0


Fatal error: exception Stack overflow
