./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_bresenham.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_27_to_39_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, i, j, i___0, j___0, k, size, r, top, expression, Y, X, x, y, v, v, x, y, X, Y, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.141
[Info] vars: 12754, evals: 10094

[Info] |called|=1069

Memory statistics: total=15174.42MB, max=57.55MB, minor=15163.48MB, major=121.58MB, promoted=110.64MB
    minor collections=7238  major collections=16 compactions=0


[Info] runtime: 00:00:20.184
[Info] vars: 17457, evals: 13817

[Info] |called|=1461

Memory statistics: total=26229.37MB, max=76.11MB, minor=26212.26MB, major=172.85MB, promoted=155.75MB
    minor collections=12508  major collections=18 compactions=0


[Info] runtime: 00:00:30.218
[Info] vars: 20919, evals: 16557

[Info] |called|=1746

Memory statistics: total=36345.24MB, max=87.53MB, minor=36322.19MB, major=213.59MB, promoted=190.54MB
    minor collections=17330  major collections=20 compactions=0


[Info] runtime: 00:00:40.265
[Info] vars: 23799, evals: 18837

[Info] |called|=1987

Memory statistics: total=45929.68MB, max=100.66MB, minor=45901.43MB, major=248.10MB, promoted=219.85MB
    minor collections=21898  major collections=21 compactions=0


[Info] runtime: 00:00:50.311
[Info] vars: 26313, evals: 20828

[Info] |called|=2198

Memory statistics: total=55174.72MB, max=115.77MB, minor=55141.53MB, major=279.33MB, promoted=246.14MB
    minor collections=26304  major collections=22 compactions=0


[Info] runtime: 00:01:00.355
[Info] vars: 28569, evals: 22614

[Info] |called|=2387

Memory statistics: total=64160.95MB, max=115.77MB, minor=64123.08MB, major=308.12MB, promoted=270.24MB
    minor collections=30587  major collections=22 compactions=0

