./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1903:9-1906:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1907:9-1909:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1935:5-1939:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1947:5-1949:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1950:5-1952:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1953:5-1960:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1961:5-1966:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1967:5-1969:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1970:5-1972:5 with factor 12
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: 48
functionCalls: 200
loops: 15
loopBreaks: 0
controlFlowStatements: 408
expressions: 2761
instructions: 506
integralVars: (8,81)
arrayVars: (4,2)
pointerVars: (5,29)

Complexity estimates:
File: 62931
Total: 62931
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.125
vars: 12555, evals: 41116

|rho|=12555
|stable|=6672
|infl|=12532
|wpoint|=3
|sides|=1922
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=8726
|called|=38
Found 1878 contexts for 11 functions. Top 5 functions:
925	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
925	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=23422.23MB, max=85.72MB, minor=23416.69MB, major=254.90MB, promoted=249.36MB
    minor collections=11177  major collections=23 compactions=0


runtime: 00:00:20.186
vars: 21503, evals: 71409

|rho|=21503
|stable|=11509
|infl|=21478
|wpoint|=3
|sides|=3299
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=14921
|called|=27
Found 3255 contexts for 11 functions. Top 5 functions:
1614	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
1613	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=41263.33MB, max=130.38MB, minor=41256.44MB, major=438.12MB, promoted=431.23MB
    minor collections=19687  major collections=29 compactions=0


runtime: 00:00:30.205
vars: 28576, evals: 95345

|rho|=28576
|stable|=15318
|infl|=28551
|wpoint|=3
|sides|=4388
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=19817
|called|=27
Found 4344 contexts for 11 functions. Top 5 functions:
2158	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
2158	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=55625.33MB, max=172.43MB, minor=55617.65MB, major=583.27MB, promoted=575.60MB
    minor collections=26537  major collections=32 compactions=0


runtime: 00:00:40.220
vars: 34697, evals: 116067

|rho|=34697
|stable|=18613
|infl|=34672
|wpoint|=3
|sides|=5329
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24054
|called|=27
Found 5285 contexts for 11 functions. Top 5 functions:
2629	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
2628	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=68247.75MB, max=198.30MB, minor=68238.39MB, major=710.53MB, promoted=701.17MB
    minor collections=32556  major collections=34 compactions=0


runtime: 00:00:50.245
vars: 40283, evals: 134953

|rho|=40282
|stable|=21586
|infl|=40257
|wpoint|=3
|sides|=6188
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=27923
|called|=27
Found 6144 contexts for 11 functions. Top 5 functions:
3058	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
3058	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=79900.95MB, max=228.04MB, minor=79891.25MB, major=825.69MB, promoted=815.98MB
    minor collections=38114  major collections=36 compactions=0


runtime: 00:01:00.271
vars: 45278, evals: 151883

|rho|=45278
|stable|=24310
|infl|=45254
|wpoint|=3
|sides|=6957
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=31380
|called|=26
Found 6913 contexts for 11 functions. Top 5 functions:
3443	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1830:1-1832:1
3442	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1805:1-1811:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1825:1-1829:1
8	contexts for L:entry state of atomic_compare_exchange_strong (2594) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1812:1-1824:1
4	contexts for L:entry state of Init_ObjType (2578) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-1.i:1786:1-1788:1

Memory statistics: total=90474.56MB, max=262.25MB, minor=90464.54MB, major=928.64MB, promoted=918.63MB
    minor collections=43156  major collections=37 compactions=0

