./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-numeric/Addition01-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] Setting "ana.int.interval" to true
[Info] function addition 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] addition, abort, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, m, n, tmp, tmp___0, tmp___1, n, m, tmp, tmp___0
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.339
[Info] vars: 23811, evals: 20404

[Info] |called|=6799

Memory statistics: total=12201.78MB, max=354.15MB, minor=12195.37MB, major=340.49MB, promoted=334.08MB
    minor collections=5822  major collections=14 compactions=0


[Info] runtime: 00:00:20.554
[Info] vars: 32134, evals: 27538

[Info] |called|=9178

Memory statistics: total=24883.66MB, max=619.41MB, minor=24876.43MB, major=585.23MB, promoted=578.01MB
    minor collections=11870  major collections=15 compactions=0


[Info] runtime: 00:00:30.689
[Info] vars: 37181, evals: 31864

[Info] |called|=10619

Memory statistics: total=35980.74MB, max=819.18MB, minor=35972.05MB, major=769.24MB, promoted=760.55MB
    minor collections=17161  major collections=16 compactions=0


[Info] runtime: 00:00:40.831
[Info] vars: 40751, evals: 34924

[Info] |called|=11639

Memory statistics: total=45777.56MB, max=942.06MB, minor=45767.97MB, major=915.12MB, promoted=905.53MB
    minor collections=21832  major collections=16 compactions=0

