./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-deagle/reorder_c11_bad-10.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:702:3-703:70 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:704:3-705:74 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:706:3-707:42 with factor 25
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:708:3-709:44 with factor 25
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: 33
functionCalls: 132
loops: 10
loopBreaks: 0
controlFlowStatements: 332
expressions: 2216
instructions: 315
integralVars: (7,35)
arrayVars: (2,2)
pointerVars: (0,15)

Complexity estimates:
File: 18253
Total: 30117
Congruence: 1752
Enabled congruence domain.
Octagon: 4000
Enabled octagon domain for:
i, pthread_create, i___0, key, count, a___0, tmp, j, count, k, size, a___0, b___0, c, i___0, setPool, checkPool
Widening: 6112
Enabled widening thresholds
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.143
vars: 485, evals: 1229

|rho|=485
|stable|=484
|infl|=478
|wpoint|=6
|sides|=159
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318
|called|=8
Found 30 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
1	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
1	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=24781.59MB, max=16.36MB, minor=24778.78MB, major=163.98MB, promoted=161.17MB
    minor collections=11836  major collections=40 compactions=0


runtime: 00:00:20.226
vars: 507, evals: 1467

|rho|=507
|stable|=506
|infl|=500
|wpoint|=7
|sides|=165
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=333
|called|=8
Found 32 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
2	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
2	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=49510.50MB, max=16.36MB, minor=49507.68MB, major=318.82MB, promoted=316.00MB
    minor collections=23646  major collections=75 compactions=0


runtime: 00:00:30.265
vars: 529, evals: 1705

|rho|=529
|stable|=528
|infl|=522
|wpoint|=8
|sides|=171
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=348
|called|=8
Found 34 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
3	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
3	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=74437.61MB, max=16.36MB, minor=74434.76MB, major=475.85MB, promoted=473.00MB
    minor collections=35550  major collections=110 compactions=0


runtime: 00:00:40.325
vars: 551, evals: 1943

|rho|=551
|stable|=550
|infl|=544
|wpoint|=9
|sides|=177
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=363
|called|=8
Found 36 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
4	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
4	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=99231.82MB, max=16.36MB, minor=99228.97MB, major=632.54MB, promoted=629.69MB
    minor collections=47389  major collections=143 compactions=0


runtime: 00:00:50.388
vars: 573, evals: 2181

|rho|=573
|stable|=572
|infl|=566
|wpoint|=10
|sides|=183
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=378
|called|=8
Found 38 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
5	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
5	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=123564.09MB, max=18.81MB, minor=123561.23MB, major=786.65MB, promoted=783.79MB
    minor collections=59008  major collections=175 compactions=0


runtime: 00:01:00.427
vars: 595, evals: 2419

|rho|=595
|stable|=594
|infl|=588
|wpoint|=11
|sides|=189
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=393
|called|=8
Found 40 contexts for 4 functions. Top 5 functions:
27	contexts for L:entry state of setThread (2035) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:685:1-693:1
6	contexts for L:entry state of reach_error (1004) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:680:1-680:151
6	contexts for L:entry state of checkThread (2036) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:694:1-698:1
1	contexts for L:entry state of main (1021) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-deagle/reorder_c11_bad-10.i:699:1-710:1

Memory statistics: total=148229.60MB, max=18.81MB, minor=148226.73MB, major=943.22MB, promoted=940.35MB
    minor collections=70786  major collections=207 compactions=0

