./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/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.226
vars: 31255, evals: 38769

|rho|=31255
|stable|=28931
|infl|=25815
|wpoint|=1081
|sides|=2513
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27351
|called|=10837
Found 2070 contexts for 110 functions. Top 5 functions:
1080	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=10871.97MB, max=99.81MB, minor=10866.65MB, major=145.81MB, promoted=140.49MB
    minor collections=5188  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:18.773
vars: 42077, evals: 52295

|rho|=42077
|stable|=39753
|infl|=33930
|wpoint|=1622
|sides|=3054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37631
|called|=16249
Found 2611 contexts for 110 functions. Top 5 functions:
1621	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=13558.87MB, max=114.77MB, minor=13551.31MB, major=182.53MB, promoted=174.97MB
    minor collections=6468  major collections=15 compactions=0


Fatal error: exception Stack overflow
