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

[Info] runtime: 00:00:10.172
[Info] vars: 22985, evals: 29216

[Info] |called|=4176

Memory statistics: total=10462.83MB, max=100.66MB, minor=10457.14MB, major=171.91MB, promoted=166.22MB
    minor collections=4995  major collections=17 compactions=0


[Info] runtime: 00:00:20.260
[Info] vars: 36075, evals: 45876

[Info] |called|=6556

Memory statistics: total=16978.83MB, max=133.13MB, minor=16971.23MB, major=268.66MB, promoted=261.06MB
    minor collections=8103  major collections=20 compactions=0


[Info] runtime: 00:00:30.323
[Info] vars: 45359, evals: 57692

[Info] |called|=8244

Memory statistics: total=21881.17MB, max=176.07MB, minor=21872.20MB, major=337.15MB, promoted=328.18MB
    minor collections=10440  major collections=21 compactions=0


[Info] runtime: 00:00:40.386
[Info] vars: 53180, evals: 67650

[Info] |called|=9664

Memory statistics: total=26196.76MB, max=202.48MB, minor=26187.21MB, major=395.69MB, promoted=386.14MB
    minor collections=12498  major collections=21 compactions=0


[Info] runtime: 00:00:50.453
[Info] vars: 59978, evals: 76298

[Info] |called|=10902

Memory statistics: total=30101.72MB, max=232.85MB, minor=30091.32MB, major=445.59MB, promoted=435.19MB
    minor collections=14360  major collections=22 compactions=0


[Info] runtime: 00:01:00.504
[Info] vars: 65478, evals: 83298

[Info] |called|=11902

Memory statistics: total=33310.06MB, max=232.85MB, minor=33299.17MB, major=486.87MB, promoted=475.98MB
    minor collections=15890  major collections=23 compactions=0

