./goblint --conf conf/svcomp.json --set ana.base.privatization vojdani --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-race-challenges/thread-local-value-dynamic.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-race-challenges/thread-local-value-dynamic.i:1041:3-1043:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-race-challenges/thread-local-value-dynamic.i:1044:3-1046:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-race-challenges/thread-local-value-dynamic.i:1054:3-1056:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-race-challenges/thread-local-value-dynamic.i:1057:3-1059:3 with factor 25
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] Enabled congruence domain.
[Info] Enabled octagon domain ONLY for:
[Info] pthread_create, pthread_join, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, threads_total, i, i___0, tmp, n, i, i___0, tmp, cond, cond, __x, __x, __x
[Info] Enabled widening thresholds
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.148
[Info] vars: 5160, evals: 24505

[Info] |called|=27

Memory statistics: total=20156.73MB, max=51.46MB, minor=20152.95MB, major=206.40MB, promoted=202.62MB
    minor collections=9623  major collections=28 compactions=0


[Info] runtime: 00:00:20.219
[Info] vars: 10275, evals: 48198

[Info] |called|=74

Memory statistics: total=40165.32MB, max=90.02MB, minor=40160.79MB, major=400.00MB, promoted=395.46MB
    minor collections=19168  major collections=36 compactions=0


[Info] runtime: 00:00:30.287
[Info] vars: 15294, evals: 71104

[Info] |called|=14

Memory statistics: total=60240.82MB, max=119.05MB, minor=60236.02MB, major=591.23MB, promoted=586.44MB
    minor collections=28744  major collections=42 compactions=0


[Info] runtime: 00:00:40.338
[Info] vars: 20060, evals: 93190

[Info] |called|=58

Memory statistics: total=80216.36MB, max=157.45MB, minor=80210.21MB, major=778.73MB, promoted=772.58MB
    minor collections=38271  major collections=46 compactions=0


[Info] runtime: 00:00:50.409
[Info] vars: 24824, evals: 114987

[Info] |called|=83

Memory statistics: total=100502.79MB, max=208.23MB, minor=100496.32MB, major=965.96MB, promoted=959.49MB
    minor collections=47946  major collections=49 compactions=0


[Info] runtime: 00:01:00.445
[Info] vars: 29463, evals: 136272

[Info] |called|=86

Memory statistics: total=120908.09MB, max=239.46MB, minor=120901.30MB, major=1150.57MB, promoted=1143.78MB
    minor collections=57677  major collections=52 compactions=0

