./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 --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.220
vars: 28798, evals: 35696

|rho|=28798
|stable|=26473
|infl|=23970
|wpoint|=958
|sides|=2390
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25016
|called|=9609
Found 1947 contexts for 110 functions. Top 5 functions:
957	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=10279.63MB, max=86.79MB, minor=10274.34MB, major=138.66MB, promoted=133.37MB
    minor collections=4906  major collections=14 compactions=0


runtime: 00:00:20.280
vars: 38407, evals: 47705

|rho|=38407
|stable|=36082
|infl|=31178
|wpoint|=1438
|sides|=2870
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=34145
|called|=14410
Found 2427 contexts for 110 functions. Top 5 functions:
1437	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=12657.03MB, max=114.78MB, minor=12650.09MB, major=170.66MB, promoted=163.71MB
    minor collections=6039  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:4814:5-4814:48!

runtime: 00:00:24.336
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.57MB, max=114.77MB, minor=13578.01MB, major=182.92MB, promoted=175.36MB
    minor collections=6482  major collections=15 compactions=0


Fatal error: exception Stack overflow
