./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_sqrt1-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_29_to_40_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] __VERIFIER_assert, abort, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, t, s, a, a, t, s, n, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.149
[Info] vars: 7731, evals: 11781

[Info] |called|=819

Memory statistics: total=17738.74MB, max=43.51MB, minor=17733.49MB, major=94.67MB, promoted=89.42MB
    minor collections=8463  major collections=16 compactions=0


[Info] runtime: 00:00:20.199
[Info] vars: 11018, evals: 16789

[Info] |called|=1165

Memory statistics: total=32845.15MB, max=57.55MB, minor=32837.64MB, major=144.30MB, promoted=136.78MB
    minor collections=15667  major collections=19 compactions=0


[Info] runtime: 00:00:30.247
[Info] vars: 13544, evals: 20642

[Info] |called|=1435

Memory statistics: total=47532.11MB, max=66.18MB, minor=47522.89MB, major=186.88MB, promoted=177.66MB
    minor collections=22671  major collections=22 compactions=0


[Info] runtime: 00:00:40.295
[Info] vars: 15445, evals: 23555

[Info] |called|=1632

Memory statistics: total=60464.08MB, max=76.11MB, minor=60453.35MB, major=221.18MB, promoted=210.45MB
    minor collections=28837  major collections=23 compactions=0


[Info] runtime: 00:00:50.337
[Info] vars: 17286, evals: 26354

[Info] |called|=1828

Memory statistics: total=74259.70MB, max=76.11MB, minor=74246.83MB, major=255.62MB, promoted=242.75MB
    minor collections=35416  major collections=25 compactions=0


[Info] runtime: 00:01:00.382
[Info] vars: 18992, evals: 28961

[Info] |called|=2006

Memory statistics: total=88417.52MB, max=87.53MB, minor=88402.71MB, major=288.70MB, promoted=273.88MB
    minor collections=42167  major collections=26 compactions=0

