./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/termination-crafted/Ackermann-1.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 Ack 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] Ack, abort, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, x, y, tmp, tmp___0, r, tmp___1, m, n, tmp, tmp___0, tmp___1
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.183
[Info] vars: 4728, evals: 26987

[Info] |called|=168

Memory statistics: total=10472.87MB, max=43.51MB, minor=10469.07MB, major=97.43MB, promoted=93.62MB
    minor collections=5001  major collections=16 compactions=0


[Info] runtime: 00:00:20.285
[Info] vars: 8251, evals: 49534

[Info] |called|=309

Memory statistics: total=21152.19MB, max=66.18MB, minor=21147.77MB, major=185.13MB, promoted=180.71MB
    minor collections=10095  major collections=21 compactions=0


[Info] runtime: 00:00:30.360
[Info] vars: 11691, evals: 70561

[Info] |called|=438

Memory statistics: total=32345.73MB, max=100.66MB, minor=32340.76MB, major=276.26MB, promoted=271.29MB
    minor collections=15435  major collections=25 compactions=0


[Info] runtime: 00:00:40.440
[Info] vars: 14375, evals: 87573

[Info] |called|=535

Memory statistics: total=42484.93MB, max=133.13MB, minor=42479.72MB, major=358.30MB, promoted=353.10MB
    minor collections=20270  major collections=27 compactions=0


[Info] runtime: 00:00:50.538
[Info] vars: 16850, evals: 102864

[Info] |called|=614

Memory statistics: total=52402.89MB, max=153.11MB, minor=52396.94MB, major=438.10MB, promoted=432.15MB
    minor collections=25000  major collections=29 compactions=0


[Info] runtime: 00:01:00.633
[Info] vars: 19402, evals: 118893

[Info] |called|=721

Memory statistics: total=63512.29MB, max=176.07MB, minor=63505.86MB, major=528.37MB, promoted=521.94MB
    minor collections=30299  major collections=31 compactions=0

