./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_5.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_5.i:1252:5-1257:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1258:5-1264:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1265:5-1270:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1271:5-1276: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: 264
expressions: 1911
instructions: 333
integralVars: (9,43)
arrayVars: (3,2)
pointerVars: (3,15)

Complexity estimates:
File: 17474
Total: 29036
Congruence: 2224
Enabled congruence domain.
Octagon: 4000
Enabled octagon domain for:
exit, fprintf, 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: 5338
Enabled widening thresholds
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.140
vars: 553, evals: 2602

|rho|=553
|stable|=535
|infl|=547
|wpoint|=18
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=27823.68MB, max=22.25MB, minor=27820.73MB, major=165.81MB, promoted=162.86MB
    minor collections=13283  major collections=34 compactions=0


runtime: 00:00:20.157
vars: 553, evals: 2619

|rho|=553
|stable|=552
|infl|=547
|wpoint|=18
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=56409.49MB, max=22.25MB, minor=56406.54MB, major=312.48MB, promoted=309.53MB
    minor collections=26926  major collections=58 compactions=0


runtime: 00:00:30.188
vars: 553, evals: 3093

|rho|=553
|stable|=543
|infl|=547
|wpoint|=19
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=83419.82MB, max=25.58MB, minor=83416.86MB, major=444.02MB, promoted=441.06MB
    minor collections=39815  major collections=77 compactions=0


runtime: 00:00:40.223
vars: 553, evals: 3093

|rho|=553
|stable|=543
|infl|=547
|wpoint|=19
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=110361.40MB, max=25.58MB, minor=110358.44MB, major=575.89MB, promoted=572.93MB
    minor collections=52673  major collections=97 compactions=0


runtime: 00:00:50.258
vars: 553, evals: 3102

|rho|=553
|stable|=552
|infl|=547
|wpoint|=19
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=136376.76MB, max=25.58MB, minor=136373.80MB, major=703.19MB, promoted=700.24MB
    minor collections=65087  major collections=116 compactions=0


runtime: 00:01:00.283
vars: 553, evals: 3102

|rho|=553
|stable|=552
|infl|=547
|wpoint|=19
|sides|=186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of setThread (2090) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1279:1-1283:1
12	contexts for L:entry state of checkThread (2093) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1284:1-1290:1
12	contexts for L:entry state of reach_error (319) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:11:1-11:75
1	contexts for L:entry state of main (2096) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/reorder_5.i:1236:1-1278:1

Memory statistics: total=163551.97MB, max=25.58MB, minor=163549.01MB, major=836.25MB, promoted=833.29MB
    minor collections=78056  major collections=136 compactions=0

