./goblint --conf conf/svcomp24.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 /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
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
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 and interval_set contexts
function rmtHashTable_Resize is recursive, disable interval and interval_set contexts
function rmtHashTable_Insert is recursive, disable interval and interval_set contexts
function bin_SampleArray is recursive, disable interval and interval_set contexts
function bin_Sample is recursive, disable interval and interval_set contexts
function FlattenSamples is recursive, disable interval and interval_set contexts
function SampleTree_CopySample is recursive, disable interval and interval_set contexts
function CloseOpenSamples is recursive, disable interval and interval_set contexts
function PostProcessSamples is recursive, disable interval and interval_set contexts
function FreePropertySnapshots is recursive, disable interval and interval_set contexts
function RegisterProperty is recursive, disable interval and interval_set contexts
function TakePropertySnapshot is recursive, disable interval and interval_set contexts
function PropertyFrameReset is recursive, disable interval and interval_set contexts
math function -> enabling tmpSpecial analysis and floating-point domain
Total: 19372996
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.275
vars: 27883, evals: 49244

|rho|=27883
|stable|=26303
|infl|=22045
|wpoint|=24
|sides|=2441
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23975
|called|=5837
Found 1749 contexts for 109 functions. Top 5 functions:
580	contexts for L:entry state of FlattenSamples (4766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
115	contexts for L:entry state of rmtFree (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
115	contexts for L:entry state of CRTFree (4820) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of CRTMalloc (4819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1
59	contexts for L:entry state of rmtMalloc (4600) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=24228.73MB, max=132.00MB, minor=24221.72MB, major=251.03MB, promoted=244.01MB
    minor collections=11558  major collections=17 compactions=0


runtime: 00:00:20.330
vars: 41360, evals: 62078

|rho|=41360
|stable|=39779
|infl|=29100
|wpoint|=24
|sides|=3083
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=36809
|called|=12259
Found 2391 contexts for 109 functions. Top 5 functions:
1222	contexts for L:entry state of FlattenSamples (4766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
115	contexts for L:entry state of rmtFree (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
115	contexts for L:entry state of CRTFree (4820) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of CRTMalloc (4819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1
59	contexts for L:entry state of rmtMalloc (4600) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=27741.09MB, max=151.80MB, minor=27731.99MB, major=301.15MB, promoted=292.05MB
    minor collections=13233  major collections=18 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:29.774
vars: 49742, evals: 70062

|rho|=49742
|stable|=48162
|infl|=33489
|wpoint|=24
|sides|=3482
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44793
|called|=16253
Found 2790 contexts for 109 functions. Top 5 functions:
1621	contexts for L:entry state of FlattenSamples (4766) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1
115	contexts for L:entry state of rmtFree (4602) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:847:1-855:1
115	contexts for L:entry state of CRTFree (4820) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6824:1-6832:1
59	contexts for L:entry state of CRTMalloc (4819) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6815:1-6823:1
59	contexts for L:entry state of rmtMalloc (4600) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:829:1-837:1

Memory statistics: total=29986.20MB, max=174.56MB, minor=29976.23MB, major=332.42MB, promoted=322.45MB
    minor collections=14303  major collections=18 compactions=0


Fatal error: exception Stack overflow
