./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --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.215
vars: 31984, evals: 39678

|rho|=31984
|stable|=29660
|infl|=26363
|wpoint|=1117
|sides|=2549
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=28044
|called|=11198
Found 2106 contexts for 110 functions. Top 5 functions:
1116	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=11153.59MB, max=99.81MB, minor=11148.27MB, major=148.16MB, promoted=142.83MB
    minor collections=5322  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:4795:1-4825:1!

runtime: 00:00:17.716
vars: 42081, evals: 52300

|rho|=42081
|stable|=39757
|infl|=33930
|wpoint|=1622
|sides|=3054
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37636
|called|=16253
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=13661.38MB, max=114.77MB, minor=13653.82MB, major=182.31MB, promoted=174.75MB
    minor collections=6518  major collections=15 compactions=0


Fatal error: exception Stack overflow
