./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/twostage_3.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1299:5-1304:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1305:5-1310:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1311:5-1316:5 with factor 10
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1317:5-1322: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: 40
functionCalls: 187
loops: 10
loopBreaks: 0
controlFlowStatements: 268
expressions: 2002
instructions: 368
integralVars: (9,48)
arrayVars: (3,2)
pointerVars: (5,19)

Complexity estimates:
File: 19251
Total: 32302
Congruence: 2645
Enabled congruence domain.
Octagon: 5000
Enabled octagon domain for:
fprintf, exit, i, key, count, a, tmp, j, count, k, size, a, b, c, i, err, lock___0, err, lock___0, err, i, tPool, rPool, argc, t1, t2, __x, __x, __x
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.098
vars: 736, evals: 4552

|rho|=736
|stable|=708
|infl|=730
|wpoint|=18
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=27927.36MB, max=22.25MB, minor=27924.38MB, major=169.72MB, promoted=166.74MB
    minor collections=13332  major collections=34 compactions=0


runtime: 00:00:20.137
vars: 736, evals: 4579

|rho|=736
|stable|=735
|infl|=730
|wpoint|=18
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=55794.56MB, max=25.58MB, minor=55791.58MB, major=314.75MB, promoted=311.77MB
    minor collections=26631  major collections=55 compactions=0


runtime: 00:00:30.168
vars: 736, evals: 5469

|rho|=736
|stable|=721
|infl|=730
|wpoint|=19
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=81715.31MB, max=25.58MB, minor=81712.32MB, major=440.26MB, promoted=437.27MB
    minor collections=39000  major collections=73 compactions=0


runtime: 00:00:40.211
vars: 736, evals: 5469

|rho|=736
|stable|=721
|infl|=730
|wpoint|=19
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=108101.03MB, max=25.58MB, minor=108098.04MB, major=569.34MB, promoted=566.35MB
    minor collections=51591  major collections=91 compactions=0


runtime: 00:00:50.251
vars: 736, evals: 5483

|rho|=736
|stable|=735
|infl|=730
|wpoint|=19
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=134160.99MB, max=25.58MB, minor=134158.00MB, major=695.39MB, promoted=692.40MB
    minor collections=64027  major collections=109 compactions=0


runtime: 00:01:00.278
vars: 736, evals: 5483

|rho|=736
|stable|=735
|infl|=730
|wpoint|=19
|sides|=198
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=511
|called|=11
Found 37 contexts for 4 functions. Top 5 functions:
12	contexts for L:entry state of funcB (2115) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1253:1-1272:1
12	contexts for L:entry state of funcA (2112) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1244:1-1252:1
12	contexts for L:entry state of reach_error (335) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:20:1-20:163
1	contexts for L:entry state of main (2120) on /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread/twostage_3.i:1273:1-1324:1

Memory statistics: total=161214.61MB, max=25.58MB, minor=161211.62MB, major=827.94MB, promoted=824.96MB
    minor collections=76937  major collections=127 compactions=0

