./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/reorder_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/reorder_2.i:1260:5-1265:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1266:5-1272:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1273:5-1278:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1279:5-1284:5 with factor 10
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: 38
functionCalls: 164
loops: 10
loopBreaks: 0
controlFlowStatements: 266
expressions: 1912
instructions: 333
integralVars: (9,44)
arrayVars: (3,2)
pointerVars: (3,15)

Complexity estimates:
File: 17474
Total: 29097
Congruence: 2251
Enabled congruence domain.
Octagon: 4000
Enabled octagon domain for:
fprintf, exit, i, key, count, a___0, tmp, j, count, k, size, a___0, b___0, c, i, i, err, setPool, checkPool, argc, __x, __x, __x
Widening: 5372
Enabled widening thresholds
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.143
vars: 566, evals: 2614

|rho|=566
|stable|=548
|infl|=560
|wpoint|=18
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=28471.23MB, max=22.25MB, minor=28468.28MB, major=168.98MB, promoted=166.03MB
    minor collections=13592  major collections=35 compactions=0


runtime: 00:00:20.167
vars: 566, evals: 2631

|rho|=566
|stable|=565
|infl|=560
|wpoint|=18
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=57007.45MB, max=22.25MB, minor=57004.50MB, major=314.48MB, promoted=311.53MB
    minor collections=27211  major collections=58 compactions=0


runtime: 00:00:30.198
vars: 566, evals: 3105

|rho|=566
|stable|=556
|infl|=560
|wpoint|=19
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=84274.38MB, max=22.25MB, minor=84271.42MB, major=448.59MB, promoted=445.63MB
    minor collections=40223  major collections=78 compactions=0


runtime: 00:00:40.237
vars: 566, evals: 3105

|rho|=566
|stable|=556
|infl|=560
|wpoint|=19
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=111121.27MB, max=22.25MB, minor=111118.31MB, major=580.05MB, promoted=577.09MB
    minor collections=53035  major collections=98 compactions=0


runtime: 00:00:50.277
vars: 566, evals: 3114

|rho|=566
|stable|=565
|infl|=560
|wpoint|=19
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=138001.88MB, max=22.25MB, minor=137998.92MB, major=710.96MB, promoted=708.00MB
    minor collections=65863  major collections=118 compactions=0


runtime: 00:01:00.312
vars: 566, evals: 3114

|rho|=566
|stable|=565
|infl|=560
|wpoint|=19
|sides|=187
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=355
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of checkThread (2109) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1292:1-1298:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:20:1-20:162
12	contexts for L:entry state of setThread (2106) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1287:1-1291:1
1	contexts for L:entry state of main (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_2.i:1244:1-1286:1

Memory statistics: total=166104.80MB, max=22.25MB, minor=166101.84MB, major=848.84MB, promoted=845.88MB
    minor collections=79274  major collections=138 compactions=0

