./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/Remotery/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.192
vars: 32833, evals: 40741

|rho|=32833
|stable|=30508
|infl|=27000
|wpoint|=1160
|sides|=2592
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28849
|called|=11624
Found 2149 contexts for 110 functions. Top 5 functions:
1159	contexts for L:entry state of FlattenSamples (4399) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
86	contexts for L:entry state of CRTFree (4453) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
86	contexts for L:entry state of rmtFree (4235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
59	contexts for L:entry state of CRTMalloc (4452) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1
59	contexts for L:entry state of rmtMalloc (4233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=11260.59MB, max=99.81MB, minor=11254.74MB, major=151.74MB, promoted=145.88MB
    minor collections=5373  major collections=14 compactions=0

[Error][Analyzer] About to crash at mark transfer function at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4814:5-4814:48!

runtime: 00:00:17.118
vars: 42061, evals: 52274

|rho|=42061
|stable|=39737
|infl|=33915
|wpoint|=1621
|sides|=3053
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37616
|called|=16243
Found 2610 contexts for 110 functions. Top 5 functions:
1620	contexts for L:entry state of FlattenSamples (4399) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
86	contexts for L:entry state of CRTFree (4453) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
86	contexts for L:entry state of rmtFree (4235) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
59	contexts for L:entry state of CRTMalloc (4452) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1
59	contexts for L:entry state of rmtMalloc (4233) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=13555.34MB, max=131.99MB, minor=13547.78MB, major=182.93MB, promoted=175.37MB
    minor collections=6467  major collections=15 compactions=0


Fatal error: exception Stack overflow
