./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.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_25_to_33_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, c, y, x, k, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.169
[Info] vars: 15041, evals: 12380

[Info] |called|=1775

Memory statistics: total=17530.88MB, max=57.55MB, minor=17518.94MB, major=93.68MB, promoted=81.74MB
    minor collections=8360  major collections=13 compactions=0


[Info] runtime: 00:00:20.232
[Info] vars: 20481, evals: 16860

[Info] |called|=2415

Memory statistics: total=31047.35MB, max=76.11MB, minor=31027.77MB, major=136.37MB, promoted=116.79MB
    minor collections=14802  major collections=14 compactions=0


[Info] runtime: 00:00:30.280
[Info] vars: 24324, evals: 20025

[Info] |called|=2866

Memory statistics: total=42975.71MB, max=100.66MB, minor=42950.35MB, major=168.25MB, promoted=142.89MB
    minor collections=20487  major collections=15 compactions=0


[Info] runtime: 00:00:40.326
[Info] vars: 27401, evals: 22559

[Info] |called|=3229

Memory statistics: total=53852.64MB, max=115.77MB, minor=53821.94MB, major=195.41MB, promoted=164.71MB
    minor collections=25672  major collections=16 compactions=0


[Info] runtime: 00:00:50.363
[Info] vars: 29950, evals: 24658

[Info] |called|=3529

Memory statistics: total=63763.64MB, max=115.77MB, minor=63728.09MB, major=218.81MB, promoted=183.26MB
    minor collections=30396  major collections=17 compactions=0


[Info] runtime: 00:01:00.395
[Info] vars: 32161, evals: 26479

[Info] |called|=3789

Memory statistics: total=73062.08MB, max=133.13MB, minor=73021.92MB, major=239.83MB, promoted=199.67MB
    minor collections=34828  major collections=17 compactions=0

