./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/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.202
vars: 28443, evals: 35252

|rho|=28443
|stable|=26119
|infl|=23708
|wpoint|=940
|sides|=2372
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24680
|called|=9427
Found 1929 contexts for 110 functions. Top 5 functions:
939	contexts for L:entry state of FlattenSamples (4768) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
86	contexts for L:entry state of rmtFree (4604) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
86	contexts for L:entry state of CRTFree (4822) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of rmtMalloc (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1
59	contexts for L:entry state of CRTMalloc (4821) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1

Memory statistics: total=10196.20MB, max=86.79MB, minor=10190.92MB, major=137.38MB, promoted=132.10MB
    minor collections=4866  major collections=14 compactions=0


runtime: 00:00:20.228
vars: 37828, evals: 46985

|rho|=37828
|stable|=35501
|infl|=30749
|wpoint|=1410
|sides|=2841
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=33596
|called|=14119
Found 2398 contexts for 110 functions. Top 5 functions:
1408	contexts for L:entry state of FlattenSamples (4768) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
86	contexts for L:entry state of rmtFree (4604) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
86	contexts for L:entry state of CRTFree (4822) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of rmtMalloc (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1
59	contexts for L:entry state of CRTMalloc (4821) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1

Memory statistics: total=12513.15MB, max=114.78MB, minor=12506.20MB, major=168.60MB, promoted=161.66MB
    minor collections=5970  major collections=15 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:25.052
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 (4768) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
86	contexts for L:entry state of rmtFree (4604) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
86	contexts for L:entry state of CRTFree (4822) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of rmtMalloc (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1
59	contexts for L:entry state of CRTMalloc (4821) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1

Memory statistics: total=13585.62MB, max=114.77MB, minor=13578.06MB, major=182.87MB, promoted=175.31MB
    minor collections=6481  major collections=15 compactions=0


Fatal error: exception Stack overflow
