./goblint --conf conf/svcomp.json --set ana.base.privatization vojdani --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/goblint-regression/04-mutex_05-lockfuns.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 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] Specification: CHECK( init(main()), LTL(G ! data-race) ) -> enabling soundness analyses "access, race"
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] myglobal, lock, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, id, __x, __x, __x
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

[Info] runtime: 00:00:10.177
[Info] vars: 30730, evals: 49127

[Info] |called|=8

Memory statistics: total=19593.71MB, max=181.06MB, minor=19586.39MB, major=359.28MB, promoted=351.96MB
    minor collections=9350  major collections=21 compactions=0


[Info] runtime: 00:00:20.299
[Info] vars: 57620, evals: 92146

[Info] |called|=8

Memory statistics: total=40716.88MB, max=364.20MB, minor=40705.45MB, major=687.98MB, promoted=676.55MB
    minor collections=19422  major collections=24 compactions=0


[Info] runtime: 00:00:30.370
[Info] vars: 81333, evals: 130088

[Info] |called|=9

Memory statistics: total=62455.62MB, max=481.65MB, minor=62438.86MB, major=992.34MB, promoted=975.58MB
    minor collections=29787  major collections=27 compactions=0


[Info] runtime: 00:00:40.467
[Info] vars: 103075, evals: 164874

[Info] |called|=8

Memory statistics: total=85294.29MB, max=636.99MB, minor=85274.57MB, major=1280.87MB, promoted=1261.14MB
    minor collections=40677  major collections=28 compactions=0


[Info] runtime: 00:00:50.565
[Info] vars: 123654, evals: 197802

[Info] |called|=8

Memory statistics: total=108507.03MB, max=732.54MB, minor=108483.78MB, major=1560.51MB, promoted=1537.26MB
    minor collections=51744  major collections=29 compactions=0


[Info] runtime: 00:01:00.631
[Info] vars: 142004, evals: 227162

[Info] |called|=10

Memory statistics: total=131396.73MB, max=968.79MB, minor=131364.45MB, major=1822.20MB, promoted=1789.92MB
    minor collections=62656  major collections=30 compactions=0

