./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --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.404
vars: 21771, evals: 49420

|rho|=21771
|stable|=9226
|infl|=21745
|wpoint|=14
|sides|=1719
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18907
|called|=46
Found 722 contexts for 84 functions. Top 5 functions:
64	contexts for L:entry state of bytebuf_nputs (7574) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5311:1-5326:1
61	contexts for L:entry state of bytebuf_reserve (7577) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5367:1-5402:1
46	contexts for L:entry state of cell_set (7566) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	contexts for L:entry state of cellbuf_get (7571) 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=25142.13MB, max=151.80MB, minor=25119.49MB, major=434.84MB, promoted=412.21MB
    minor collections=11988  major collections=23 compactions=0


runtime: 00:00:20.450
vars: 42648, evals: 86713

|rho|=42648
|stable|=26623
|infl|=41472
|wpoint|=161
|sides|=3039
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37763
|called|=1367
Found 1791 contexts for 113 functions. Top 5 functions:
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
172	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
151	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
145	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
145	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=46172.15MB, max=230.87MB, minor=46146.32MB, major=668.50MB, promoted=642.67MB
    minor collections=22017  major collections=27 compactions=0


runtime: 00:00:30.521
vars: 66301, evals: 110830

|rho|=66301
|stable|=50276
|infl|=63280
|wpoint|=391
|sides|=4187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=59810
|called|=3442
Found 2939 contexts for 113 functions. Top 5 functions:
401	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
381	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
375	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
374	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
374	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=62103.15MB, max=351.13MB, minor=62075.09MB, major=861.16MB, promoted=833.10MB
    minor collections=29613  major collections=29 compactions=0


runtime: 00:00:40.571
vars: 84399, evals: 129282

|rho|=84399
|stable|=68374
|infl|=79974
|wpoint|=567
|sides|=5065
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76678
|called|=5022
Found 3817 contexts for 113 functions. Top 5 functions:
577	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
556	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
550	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
550	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
550	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=76142.31MB, max=464.37MB, minor=76110.47MB, major=1016.77MB, promoted=984.94MB
    minor collections=36307  major collections=30 compactions=0


runtime: 00:00:50.642
vars: 99510, evals: 144679

|rho|=99510
|stable|=83485
|infl|=93913
|wpoint|=713
|sides|=5799
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=90761
|called|=6340
Found 4551 contexts for 113 functions. Top 5 functions:
724	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
703	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
697	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
697	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
696	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=89095.44MB, max=614.13MB, minor=89063.07MB, major=1147.33MB, promoted=1114.96MB
    minor collections=42483  major collections=30 compactions=0


runtime: 00:01:00.693
vars: 112631, evals: 158061

|rho|=112631
|stable|=96606
|infl|=106015
|wpoint|=841
|sides|=6436
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=102991
|called|=7487
Found 5188 contexts for 113 functions. Top 5 functions:
851	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
830	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
825	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
824	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
824	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=101303.66MB, max=614.13MB, minor=101270.74MB, major=1263.19MB, promoted=1230.27MB
    minor collections=48305  major collections=31 compactions=0


runtime: 00:01:10.783
vars: 124005, evals: 169652

|rho|=124005
|stable|=107980
|infl|=116509
|wpoint|=951
|sides|=6988
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=113592
|called|=8477
Found 5740 contexts for 113 functions. Top 5 functions:
962	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
941	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
935	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
934	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
934	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=112478.31MB, max=812.19MB, minor=112444.77MB, major=1365.09MB, promoted=1331.55MB
    minor collections=53633  major collections=31 compactions=0


runtime: 00:01:20.805
vars: 134560, evals: 180417

|rho|=134560
|stable|=118535
|infl|=126239
|wpoint|=1054
|sides|=7500
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=123430
|called|=9405
Found 6252 contexts for 113 functions. Top 5 functions:
1064	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1043	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1037	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1037	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1037	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=123386.04MB, max=812.19MB, minor=123349.90MB, major=1462.43MB, promoted=1426.29MB
    minor collections=58834  major collections=32 compactions=0


runtime: 00:01:30.884
vars: 143801, evals: 189830

|rho|=143801
|stable|=127776
|infl|=134769
|wpoint|=1143
|sides|=7949
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132042
|called|=10205
Found 6701 contexts for 113 functions. Top 5 functions:
1154	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1133	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1127	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1127	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1126	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=133534.01MB, max=812.19MB, minor=133493.16MB, major=1552.57MB, promoted=1511.72MB
    minor collections=63671  major collections=32 compactions=0


runtime: 00:01:40.979
vars: 152326, evals: 198524

|rho|=152326
|stable|=136301
|infl|=142626
|wpoint|=1226
|sides|=8363
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=139989
|called|=10956
Found 7115 contexts for 113 functions. Top 5 functions:
1237	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1216	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1210	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1209	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1209	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=143319.45MB, max=934.02MB, minor=143275.86MB, major=1634.31MB, promoted=1590.72MB
    minor collections=68336  major collections=32 compactions=0


runtime: 00:01:51.013
vars: 161015, evals: 207378

|rho|=161015
|stable|=144990
|infl|=150645
|wpoint|=1312
|sides|=8784
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148087
|called|=11712
Found 7536 contexts for 113 functions. Top 5 functions:
1321	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1300	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1294	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1294	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1
1293	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1

Memory statistics: total=153161.27MB, max=934.02MB, minor=153117.31MB, major=1715.14MB, promoted=1671.18MB
    minor collections=73029  major collections=32 compactions=0


runtime: 00:02:01.032
vars: 169125, evals: 215647

|rho|=169125
|stable|=153100
|infl|=158123
|wpoint|=1389
|sides|=9178
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=155645
|called|=12421
Found 7930 contexts for 113 functions. Top 5 functions:
1400	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1379	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1373	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1372	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1372	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=162923.40MB, max=934.02MB, minor=162878.96MB, major=1791.80MB, promoted=1747.36MB
    minor collections=77683  major collections=32 compactions=0


runtime: 00:02:11.098
vars: 176428, evals: 223094

|rho|=176428
|stable|=160403
|infl|=164853
|wpoint|=1460
|sides|=9533
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=162453
|called|=13065
Found 8285 contexts for 113 functions. Top 5 functions:
1471	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1450	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1444	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1443	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1443	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=172122.13MB, max=1074.12MB, minor=172077.20MB, major=1862.07MB, promoted=1817.14MB
    minor collections=82070  major collections=33 compactions=0


runtime: 00:02:21.168
vars: 183222, evals: 230020

|rho|=183222
|stable|=167197
|infl|=171123
|wpoint|=1526
|sides|=9863
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=168785
|called|=13655
Found 8615 contexts for 113 functions. Top 5 functions:
1537	contexts for L:entry state of copy_proc_mem (7592) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1-7861:1
1516	contexts for L:entry state of sprint_zstring_81 (7682) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1-16069:1
1510	contexts for L:entry state of sprint_zval_81 (7683) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1-16112:1
1509	contexts for L:entry state of sprint_zarray_bucket_81 (7686) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16194:1-16231:1
1509	contexts for L:entry state of sprint_zarray_81 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=180963.53MB, max=1074.12MB, minor=180918.12MB, major=1927.51MB, promoted=1882.10MB
    minor collections=86286  major collections=33 compactions=0

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

runtime: 00:02:25.997
vars: 186395, evals: 233256

|rho|=186395
|stable|=170370
|infl|=174043
|wpoint|=1557
|sides|=10017
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171742
|called|=13939
Found 8769 contexts for 113 functions. Top 5 functions:
1567	contexts for L:entry state of copy_proc_mem (7592) 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 (7682) 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 (7683) 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 (7686) 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 (7684) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16113:1-16168:1

Memory statistics: total=185176.62MB, max=1074.12MB, minor=185130.78MB, major=1958.59MB, promoted=1912.74MB
    minor collections=88295  major collections=33 compactions=0


Fatal error: exception Stack overflow
