./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_geo1-ll2.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_30_to_38_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, assume_abort_if_not, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, z, k, x, y, y, x, c, z, k, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.130
[Info] vars: 12380, evals: 9571

[Info] |called|=1131

Memory statistics: total=15436.26MB, max=57.55MB, minor=15424.54MB, major=93.75MB, promoted=82.04MB
    minor collections=7361  major collections=13 compactions=0


[Info] runtime: 00:00:20.179
[Info] vars: 17171, evals: 13273

[Info] |called|=1565

Memory statistics: total=27984.69MB, max=76.11MB, minor=27965.63MB, major=138.32MB, promoted=119.26MB
    minor collections=13342  major collections=15 compactions=0


[Info] runtime: 00:00:30.221
[Info] vars: 20590, evals: 15915

[Info] |called|=1880

Memory statistics: total=39159.81MB, max=87.53MB, minor=39134.37MB, major=172.84MB, promoted=147.40MB
    minor collections=18669  major collections=17 compactions=0


[Info] runtime: 00:00:40.272
[Info] vars: 23380, evals: 18071

[Info] |called|=2131

Memory statistics: total=49635.87MB, max=100.66MB, minor=49604.39MB, major=203.22MB, promoted=171.74MB
    minor collections=23662  major collections=18 compactions=0


[Info] runtime: 00:00:50.311
[Info] vars: 25783, evals: 19927

[Info] |called|=2347

Memory statistics: total=59672.62MB, max=115.77MB, minor=59635.51MB, major=229.91MB, promoted=192.79MB
    minor collections=28446  major collections=18 compactions=0


[Info] runtime: 00:01:00.346
[Info] vars: 27995, evals: 21637

[Info] |called|=2549

Memory statistics: total=69804.15MB, max=115.77MB, minor=69761.10MB, major=256.07MB, promoted=213.03MB
    minor collections=33274  major collections=19 compactions=0

