./goblint --conf conf/svcomp23.json --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.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:606:3-610:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:642:3-646:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1225:3-1229:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1267:3-1272:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1439:3-1450:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1503:5-1525:5 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1555:5-1564:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1565:5-1581:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1584:5-1590:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1591:5-1607:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1635:5-1646:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1649:5-1660:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1673:3-1679:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1681:3-1692:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1716:3-1721:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1956:3-1964:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1984:3-1992:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2007:3-2019:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2381:3-2387:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2431:3-2437:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2451:3-2457:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2678:7-2682:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2844:3-2854:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2857:3-2886:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2920:3-2946:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2964:3-2970:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3000:3-3009:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3010:3-3021:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3022:3-3033:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3034:3-3045:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3046:3-3057:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3091:5-3096:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3102:3-3105:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3114:3-3120:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3211:3-3214:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3275:3-3285:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3336:3-3341:3 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3423:3-3455:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3684:3-3692:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3829:5-3832:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3911:7-3915:7 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4002:3-4018:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4353:5-4374:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4601:3-4608:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4715:7-4723:7 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4813:3-4819:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4876:3-4883:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5011:3-5018:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5043:3-5052:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5212:3-5216:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5234:3-5242:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5312:3-5316:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5470:3-5474:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5562:5-5587:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5707:3-5710:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6047:3-6083:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6200:5-6203:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6362:3-6400:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6415:3-6438:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6457:3-6463:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6467:3-6474:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6494:3-6509:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6543:3-6547:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6679:5-6682:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7036:3-7039:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7055:3-7077:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7453:3-7460:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7515:3-7544:3 with factor 2
Collected factors:
functions: 285
functionCalls: 1215
loops: 84
loopBreaks: 0
controlFlowStatements: 3502
expressions: 24567
instructions: 4128
integralVars: (22,771)
arrayVars: (8,16)
pointerVars: (3,507)

Complexity estimates:
File: 19372996
function recursiveFunction is recursive, disable interval context
function rmtHashTable_Resize is recursive, disable interval context
function rmtHashTable_Insert is recursive, disable interval context
function bin_SampleArray is recursive, disable interval context
function bin_Sample is recursive, disable interval context
function FlattenSamples is recursive, disable interval context
function SampleTree_CopySample is recursive, disable interval context
function CloseOpenSamples is recursive, disable interval context
function PostProcessSamples is recursive, disable interval context
function FreePropertySnapshots is recursive, disable interval context
function RegisterProperty is recursive, disable interval context
function TakePropertySnapshot is recursive, disable interval context
function PropertyFrameReset is recursive, disable interval context
thread created by pthread_create, called by:
  rmtThread_Constructor
Total: 19372996
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.242
vars: 29412, evals: 46147

|rho|=29412
|called|=7182
|stable|=27885
|infl|=22202
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=26770
Found 1905 contexts for 109 functions. Top 5 functions:
715	contexts for entry state of FlattenSamples (4760) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
125	contexts for entry state of CRTFree (4814) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
125	contexts for entry state of rmtFree (4596) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
61	contexts for entry state of AtomicAddS32 (4616) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1139:1-1147:1
59	contexts for entry state of rmtMalloc (4594) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=25202.59MB, max=114.78MB, minor=25194.89MB, major=244.53MB, promoted=236.84MB
    minor collections=12022  major collections=18 compactions=0

[Error][Analyzer] About to crash!

runtime: 00:00:19.597
vars: 46538, evals: 62458

|rho|=46538
|called|=15343
|stable|=45011
|infl|=31167
|wpoint|=21
|side_dep|=0
|side_infl|=0
|rho_write|=0
|dep|=43081
Found 2720 contexts for 109 functions. Top 5 functions:
1530	contexts for entry state of FlattenSamples (4760) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
125	contexts for entry state of CRTFree (4814) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
125	contexts for entry state of rmtFree (4596) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
61	contexts for entry state of AtomicAddS32 (4616) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1139:1-1147:1
59	contexts for entry state of rmtMalloc (4594) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=29676.49MB, max=151.79MB, minor=29666.67MB, major=299.38MB, promoted=289.56MB
    minor collections=14155  major collections=19 compactions=0


Fatal error: exception Stack overflow
