./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.126
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=27928.70MB, max=22.25MB, minor=27925.75MB, major=166.40MB, promoted=163.45MB
    minor collections=13334  major collections=35 compactions=0


runtime: 00:00:20.156
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=56718.31MB, max=22.25MB, minor=56715.36MB, major=313.70MB, promoted=310.75MB
    minor collections=27073  major collections=58 compactions=0


runtime: 00:00:30.184
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=83988.80MB, max=25.58MB, minor=83985.84MB, major=446.99MB, promoted=444.03MB
    minor collections=40087  major collections=78 compactions=0


runtime: 00:00:40.222
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=111624.56MB, max=25.58MB, minor=111621.61MB, major=582.02MB, promoted=579.06MB
    minor collections=53275  major collections=98 compactions=0


runtime: 00:00:50.270
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=138624.97MB, max=25.58MB, minor=138622.02MB, major=714.53MB, promoted=711.57MB
    minor collections=66161  major collections=118 compactions=0


runtime: 00:01:00.305
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=166441.04MB, max=25.58MB, minor=166438.08MB, major=850.88MB, promoted=847.92MB
    minor collections=79435  major collections=138 compactions=0

