./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/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.174
[Info] vars: 10647, evals: 16991

[Info] |called|=10

Memory statistics: total=24919.10MB, max=51.46MB, minor=24913.15MB, major=131.10MB, promoted=125.14MB
    minor collections=11888  major collections=18 compactions=0


[Info] runtime: 00:00:20.205
[Info] vars: 17471, evals: 27906

[Info] |called|=10

Memory statistics: total=49844.76MB, max=78.28MB, minor=49836.29MB, major=225.28MB, promoted=216.81MB
    minor collections=23775  major collections=22 compactions=0


[Info] runtime: 00:00:30.252
[Info] vars: 22697, evals: 36271

[Info] |called|=9

Memory statistics: total=73767.91MB, max=103.52MB, minor=73757.86MB, major=304.13MB, promoted=294.08MB
    minor collections=35183  major collections=25 compactions=0


[Info] runtime: 00:00:40.283
[Info] vars: 26252, evals: 41959

[Info] |called|=11

Memory statistics: total=92175.71MB, max=103.52MB, minor=92165.05MB, major=360.04MB, promoted=349.38MB
    minor collections=43962  major collections=27 compactions=0


[Info] runtime: 00:00:50.329
[Info] vars: 29852, evals: 47719

[Info] |called|=12

Memory statistics: total=110792.71MB, max=119.05MB, minor=110780.51MB, major=416.43MB, promoted=404.24MB
    minor collections=52839  major collections=28 compactions=0


[Info] runtime: 00:01:00.360
[Info] vars: 33202, evals: 53079

[Info] |called|=10

Memory statistics: total=130982.33MB, max=136.91MB, minor=130967.80MB, major=474.55MB, promoted=460.01MB
    minor collections=62466  major collections=30 compactions=0

