./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-2.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-2.i:1903:9-1906:9 with factor 8
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1907:9-1909:9 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1936:5-1940:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1948:5-1950:5 with factor 12
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1951:5-1953:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1954:5-1961:5 with factor 4
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1962:5-1967:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1968:5-1970:5 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1971:5-1973: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: 2759
instructions: 506
integralVars: (8,81)
arrayVars: (4,2)
pointerVars: (5,29)

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

runtime: 00:00:10.145
vars: 11034, evals: 35980

|rho|=11034
|stable|=5862
|infl|=11010
|wpoint|=3
|sides|=1688
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=7673
|called|=36
Found 1644 contexts for 11 functions. Top 5 functions:
808	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
808	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=20432.65MB, max=74.54MB, minor=20427.36MB, major=224.03MB, promoted=218.73MB
    minor collections=9751  major collections=22 compactions=0


runtime: 00:00:20.189
vars: 19445, evals: 64450

|rho|=19445
|stable|=10393
|infl|=19421
|wpoint|=3
|sides|=2982
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=13496
|called|=31
Found 2938 contexts for 11 functions. Top 5 functions:
1455	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
1455	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=37115.19MB, max=113.37MB, minor=37108.41MB, major=395.82MB, promoted=389.04MB
    minor collections=17709  major collections=28 compactions=0


runtime: 00:00:30.216
vars: 26114, evals: 87013

|rho|=26114
|stable|=13975
|infl|=26090
|wpoint|=3
|sides|=4008
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=18113
|called|=35
Found 3964 contexts for 11 functions. Top 5 functions:
1968	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
1968	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=50562.04MB, max=149.94MB, minor=50554.57MB, major=532.20MB, promoted=524.73MB
    minor collections=24122  major collections=31 compactions=0


runtime: 00:00:40.247
vars: 31834, evals: 106382

|rho|=31834
|stable|=17064
|infl|=31810
|wpoint|=3
|sides|=4888
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22073
|called|=26
Found 4844 contexts for 11 functions. Top 5 functions:
2408	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
2408	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=62287.52MB, max=172.43MB, minor=62279.36MB, major=650.08MB, promoted=641.92MB
    minor collections=29714  major collections=33 compactions=0


runtime: 00:00:50.305
vars: 37021, evals: 123945

|rho|=37021
|stable|=19863
|infl|=36997
|wpoint|=3
|sides|=5686
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=25664
|called|=25
Found 5642 contexts for 11 functions. Top 5 functions:
2807	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
2807	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=73045.48MB, max=198.30MB, minor=73035.96MB, major=758.26MB, promoted=748.74MB
    minor collections=34844  major collections=35 compactions=0


runtime: 00:01:00.347
vars: 41908, evals: 140456

|rho|=41908
|stable|=22462
|infl|=41881
|wpoint|=3
|sides|=6438
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=29048
|called|=27
Found 6394 contexts for 11 functions. Top 5 functions:
3183	contexts for L:entry state of atomic_exchange (2588) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1805:1-1811:1
3183	contexts for L:entry state of writeV (2606) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.i:1830:1-1832:1
8	contexts for L:entry state of readV (2602) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-complex/workstealqueue_mutex-2.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-2.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-2.i:1786:1-1788:1

Memory statistics: total=83277.57MB, max=228.04MB, minor=83267.75MB, major=858.70MB, promoted=848.87MB
    minor collections=39724  major collections=36 compactions=0

