./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_cohencu-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] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] Setting "ana.int.interval" to true
[Info] function func_to_recursive_line_29_to_41_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, j, k, size, i, i___0, j___0, a, top, expression, z, y, x, n, y, n, z, x, a, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.129
[Info] vars: 5456, evals: 12088

[Info] |called|=506

Memory statistics: total=17540.65MB, max=37.84MB, minor=17536.48MB, major=119.90MB, promoted=115.73MB
    minor collections=8373  major collections=21 compactions=0


[Info] runtime: 00:00:20.175
[Info] vars: 8228, evals: 18261

[Info] |called|=761

Memory statistics: total=34033.12MB, max=50.04MB, minor=34027.84MB, major=189.34MB, promoted=184.06MB
    minor collections=16239  major collections=27 compactions=0


[Info] runtime: 00:00:30.239
[Info] vars: 9856, evals: 21900

[Info] |called|=906

Memory statistics: total=46251.94MB, max=57.55MB, minor=46245.77MB, major=234.70MB, promoted=228.53MB
    minor collections=22067  major collections=30 compactions=0


[Info] runtime: 00:00:40.278
[Info] vars: 10846, evals: 24110

[Info] |called|=997

Memory statistics: total=54472.97MB, max=57.55MB, minor=54466.37MB, major=263.38MB, promoted=256.78MB
    minor collections=25987  major collections=31 compactions=0


[Info] runtime: 00:00:50.305
[Info] vars: 11836, evals: 26304

[Info] |called|=1086

Memory statistics: total=63285.41MB, max=66.18MB, minor=63278.31MB, major=291.92MB, promoted=284.82MB
    minor collections=30190  major collections=33 compactions=0


[Info] runtime: 00:01:00.351
[Info] vars: 12722, evals: 28290

[Info] |called|=1162

Memory statistics: total=71840.90MB, max=66.18MB, minor=71833.35MB, major=318.34MB, promoted=310.79MB
    minor collections=34270  major collections=34 compactions=0

