./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --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.371
vars: 22102, evals: 49867

|rho|=22102
|stable|=9580
|infl|=22085
|wpoint|=14
|sides|=1738
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19197
|called|=20
Found 741 contexts for 84 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
46	contexts for L:entry state of cell_set (7197) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5123:1-5138:1
42	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=25396.06MB, max=151.80MB, minor=25373.57MB, major=437.19MB, promoted=414.70MB
    minor collections=12110  major collections=22 compactions=0


runtime: 00:00:20.431
vars: 43217, evals: 87298

|rho|=43217
|stable|=27192
|infl|=41989
|wpoint|=167
|sides|=3067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=38294
|called|=1425
Found 1819 contexts for 113 functions. Top 5 functions:
177	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
157	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
151	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
150	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=46470.35MB, max=230.87MB, minor=46444.66MB, major=672.45MB, promoted=646.76MB
    minor collections=22159  major collections=25 compactions=0


runtime: 00:00:30.518
vars: 66804, evals: 111343

|rho|=66804
|stable|=50779
|infl|=63746
|wpoint|=396
|sides|=4212
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=60278
|called|=3484
Found 2964 contexts for 113 functions. Top 5 functions:
406	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
386	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
380	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
379	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
379	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=62518.50MB, max=403.80MB, minor=62490.56MB, major=867.15MB, promoted=839.21MB
    minor collections=29812  major collections=27 compactions=0


runtime: 00:00:40.602
vars: 84795, evals: 129680

|rho|=84795
|stable|=68763
|infl|=80345
|wpoint|=572
|sides|=5084
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=77047
|called|=5053
Found 3836 contexts for 113 functions. Top 5 functions:
581	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
560	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
554	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
554	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
553	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=76558.59MB, max=464.37MB, minor=76526.87MB, major=1021.47MB, promoted=989.74MB
    minor collections=36505  major collections=28 compactions=0


runtime: 00:00:50.658
vars: 100115, evals: 145297

|rho|=100115
|stable|=84090
|infl|=94475
|wpoint|=719
|sides|=5828
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91325
|called|=6389
Found 4580 contexts for 113 functions. Top 5 functions:
730	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
709	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
703	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
702	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
702	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=89693.31MB, max=534.03MB, minor=89661.06MB, major=1154.80MB, promoted=1122.54MB
    minor collections=42769  major collections=29 compactions=0


runtime: 00:01:00.724
vars: 113512, evals: 158953

|rho|=113512
|stable|=97487
|infl|=106827
|wpoint|=849
|sides|=6479
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103811
|called|=7564
Found 5231 contexts for 113 functions. Top 5 functions:
860	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
839	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
833	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
833	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
832	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=102134.58MB, max=706.25MB, minor=102101.79MB, major=1272.55MB, promoted=1239.76MB
    minor collections=48701  major collections=29 compactions=0


runtime: 00:01:10.747
vars: 125374, evals: 171045

|rho|=125374
|stable|=109349
|infl|=117765
|wpoint|=964
|sides|=7054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=114868
|called|=8603
Found 5806 contexts for 113 functions. Top 5 functions:
975	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
954	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
948	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
948	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
947	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=113876.79MB, max=706.25MB, minor=113843.34MB, major=1379.28MB, promoted=1345.82MB
    minor collections=54300  major collections=30 compactions=0


runtime: 00:01:20.818
vars: 135664, evals: 181535

|rho|=135664
|stable|=119639
|infl|=127260
|wpoint|=1064
|sides|=7554
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=124458
|called|=9498
Found 6306 contexts for 113 functions. Top 5 functions:
1075	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
1054	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
1048	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
1048	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
1047	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=124746.03MB, max=812.19MB, minor=124709.92MB, major=1474.59MB, promoted=1438.49MB
    minor collections=59482  major collections=30 compactions=0


runtime: 00:01:30.910
vars: 144714, evals: 190762

|rho|=144714
|stable|=128689
|infl|=135608
|wpoint|=1152
|sides|=7993
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132893
|called|=10288
Found 6745 contexts for 113 functions. Top 5 functions:
1163	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
1142	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
1136	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
1135	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
1135	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=134489.21MB, max=934.02MB, minor=134448.50MB, major=1561.83MB, promoted=1521.12MB
    minor collections=64126  major collections=30 compactions=0


runtime: 00:01:40.925
vars: 153871, evals: 200099

|rho|=153871
|stable|=137846
|infl|=144051
|wpoint|=1241
|sides|=8438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=141429
|called|=11091
Found 7190 contexts for 113 functions. Top 5 functions:
1252	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
1231	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
1225	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
1224	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
1224	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=144780.16MB, max=934.02MB, minor=144736.74MB, major=1649.00MB, promoted=1605.58MB
    minor collections=69032  major collections=30 compactions=0


runtime: 00:01:50.977
vars: 162237, evals: 208624

|rho|=162237
|stable|=146212
|infl|=151768
|wpoint|=1322
|sides|=8844
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=149225
|called|=11821
Found 7596 contexts for 113 functions. Top 5 functions:
1333	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
1312	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
1306	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
1306	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
1305	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=154685.98MB, max=934.02MB, minor=154642.05MB, major=1727.19MB, promoted=1683.27MB
    minor collections=73756  major collections=31 compactions=0


runtime: 00:02:01.068
vars: 170122, evals: 216667

|rho|=170122
|stable|=154097
|infl|=159037
|wpoint|=1399
|sides|=9227
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156575
|called|=12514
Found 7979 contexts for 113 functions. Top 5 functions:
1409	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
1389	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
1383	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
1382	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
1382	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=164407.09MB, max=1074.12MB, minor=164362.66MB, major=1802.06MB, promoted=1757.62MB
    minor collections=78391  major collections=31 compactions=0


runtime: 00:02:11.144
vars: 177561, evals: 224249

|rho|=177561
|stable|=161536
|infl|=165899
|wpoint|=1471
|sides|=9588
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=163509
|called|=13163
Found 8340 contexts for 113 functions. Top 5 functions:
1482	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
1461	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
1455	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
1454	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
1454	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=173872.33MB, max=1074.12MB, minor=173827.40MB, major=1873.24MB, promoted=1828.31MB
    minor collections=82904  major collections=31 compactions=0


runtime: 00:02:21.171
vars: 185066, evals: 231900

|rho|=185066
|stable|=169041
|infl|=172820
|wpoint|=1544
|sides|=9953
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=170503
|called|=13820
Found 8705 contexts for 113 functions. Top 5 functions:
1555	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
1534	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
1528	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
1527	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
1527	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=183253.43MB, max=1074.12MB, minor=183208.14MB, major=1945.08MB, promoted=1899.79MB
    minor collections=87377  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:16033:3-16033:27!

runtime: 00:02:23.282
vars: 186490, evals: 233353

|rho|=186490
|stable|=170465
|infl|=174133
|wpoint|=1558
|sides|=10022
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=171830
|called|=13945
Found 8774 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
1548	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
1542	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
1541	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
1541	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=185132.27MB, max=1074.12MB, minor=185086.69MB, major=1959.62MB, promoted=1914.05MB
    minor collections=88273  major collections=31 compactions=0


Fatal error: exception Stack overflow
