./goblint --conf conf/svcomp25.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.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
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-free) ) -> enabling soundness analyses "base, useAfterFree"[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-deref) ) -> enabling soundness analyses "base, memOutOfBounds"[0;0;00m
[0;34m[Info] Setting "ana.arrayoob" to true[0;0;00m
[0;34m[Info] Setting "cil.addNestedScopeAttr" to true[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-memtrack) ) -> enabling soundness analyses "memLeak"[0;0;00m
[0;34m[Info] Setting "ana.malloc.unique_address_count" to 5[0;0;00m
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] myglobal, lock, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, id, __x, __x, __x
[Info] SV-COMP specification: CHECK( init(main()), LTL(G valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )

[Info] runtime: 00:00:10.157
[Info] vars: 9667, evals: 15423

[Info] |called|=12

Memory statistics: total=23828.99MB, max=51.46MB, minor=23823.42MB, major=130.33MB, promoted=124.76MB
    minor collections=11368  major collections=18 compactions=0


[Info] runtime: 00:00:20.206
[Info] vars: 15177, evals: 24239

[Info] |called|=12

Memory statistics: total=45250.47MB, max=68.06MB, minor=45243.68MB, major=214.88MB, promoted=208.08MB
    minor collections=21585  major collections=23 compactions=0


[Info] runtime: 00:00:30.271
[Info] vars: 20037, evals: 32015

[Info] |called|=12

Memory statistics: total=67892.99MB, max=90.02MB, minor=67884.34MB, major=295.00MB, promoted=286.35MB
    minor collections=32383  major collections=26 compactions=0


[Info] runtime: 00:00:40.311
[Info] vars: 23897, evals: 38191

[Info] |called|=11

Memory statistics: total=88578.23MB, max=103.52MB, minor=88568.63MB, major=361.95MB, promoted=352.35MB
    minor collections=42247  major collections=28 compactions=0


[Info] runtime: 00:00:50.351
[Info] vars: 27452, evals: 43879

[Info] |called|=10

Memory statistics: total=108448.49MB, max=119.05MB, minor=108437.62MB, major=424.87MB, promoted=414.00MB
    minor collections=51722  major collections=29 compactions=0


[Info] runtime: 00:01:00.391
[Info] vars: 30627, evals: 48959

[Info] |called|=9

Memory statistics: total=130416.51MB, max=136.91MB, minor=130404.68MB, major=486.93MB, promoted=475.11MB
    minor collections=62198  major collections=31 compactions=0

