./goblint --conf conf/svcomp25.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.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] Setting "ana.int.interval" to true
[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 ! overflow) )

[Info] runtime: 00:00:10.176
[Info] vars: 10237, evals: 16330

[Info] |called|=8

Memory statistics: total=23254.15MB, max=51.46MB, minor=23248.23MB, major=124.95MB, promoted=119.03MB
    minor collections=11094  major collections=17 compactions=0


[Info] runtime: 00:00:20.233
[Info] vars: 16342, evals: 26103

[Info] |called|=9

Memory statistics: total=45311.69MB, max=68.06MB, minor=45304.33MB, major=208.88MB, promoted=201.52MB
    minor collections=21614  major collections=22 compactions=0


[Info] runtime: 00:00:30.290
[Info] vars: 21517, evals: 34383

[Info] |called|=11

Memory statistics: total=67550.31MB, max=90.02MB, minor=67540.79MB, major=285.44MB, promoted=275.92MB
    minor collections=32219  major collections=25 compactions=0


[Info] runtime: 00:00:40.347
[Info] vars: 25577, evals: 40879

[Info] |called|=11

Memory statistics: total=87555.84MB, max=103.52MB, minor=87545.20MB, major=347.94MB, promoted=337.30MB
    minor collections=41759  major collections=27 compactions=0


[Info] runtime: 00:00:50.388
[Info] vars: 29372, evals: 46951

[Info] |called|=12

Memory statistics: total=108575.47MB, max=119.05MB, minor=108563.34MB, major=409.36MB, promoted=397.23MB
    minor collections=51782  major collections=28 compactions=0


[Info] runtime: 00:01:00.426
[Info] vars: 32882, evals: 52567

[Info] |called|=10

Memory statistics: total=128649.42MB, max=136.91MB, minor=128634.92MB, major=468.76MB, promoted=454.26MB
    minor collections=61354  major collections=30 compactions=0

