./goblint --conf conf/svcomp.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/recursified_nla-digbench/recursified_ps2-ll.c


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


[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] function func_to_recursive_line_26_to_34_0 is recursive, disable interval and interval_set contexts
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] abort, __VERIFIER_assert, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, y, x, x, y, c, k, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.161
[Info] vars: 14034, evals: 11551

[Info] |called|=1654

Memory statistics: total=15676.21MB, max=57.55MB, minor=15665.29MB, major=88.18MB, promoted=77.25MB
    minor collections=7476  major collections=13 compactions=0


[Info] runtime: 00:00:20.204
[Info] vars: 18941, evals: 15592

[Info] |called|=2230

Memory statistics: total=27173.28MB, max=76.11MB, minor=27156.01MB, major=126.50MB, promoted=109.23MB
    minor collections=12956  major collections=15 compactions=0


[Info] runtime: 00:00:30.243
[Info] vars: 22636, evals: 18635

[Info] |called|=2666

Memory statistics: total=37864.99MB, max=87.53MB, minor=37842.29MB, major=157.08MB, promoted=134.38MB
    minor collections=18053  major collections=16 compactions=0


[Info] runtime: 00:00:40.287
[Info] vars: 25753, evals: 21201

[Info] |called|=3032

Memory statistics: total=48301.50MB, max=100.66MB, minor=48273.74MB, major=184.43MB, promoted=156.66MB
    minor collections=23027  major collections=16 compactions=0


[Info] runtime: 00:00:50.339
[Info] vars: 28138, evals: 23166

[Info] |called|=3312

Memory statistics: total=57133.97MB, max=115.77MB, minor=57101.84MB, major=206.37MB, promoted=174.25MB
    minor collections=27237  major collections=17 compactions=0


[Info] runtime: 00:01:00.369
[Info] vars: 30324, evals: 24966

[Info] |called|=3573

Memory statistics: total=65802.08MB, max=115.77MB, minor=65765.74MB, major=226.93MB, promoted=190.59MB
    minor collections=31369  major collections=18 compactions=0

