./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.159
[Info] vars: 10905, evals: 8630

[Info] |called|=914

Memory statistics: total=11625.05MB, max=50.04MB, minor=11615.92MB, major=102.54MB, promoted=93.41MB
    minor collections=5546  major collections=15 compactions=0


[Info] runtime: 00:00:20.198
[Info] vars: 15849, evals: 12544

[Info] |called|=1327

Memory statistics: total=22116.23MB, max=66.18MB, minor=22101.84MB, major=154.06MB, promoted=139.66MB
    minor collections=10548  major collections=18 compactions=0


[Info] runtime: 00:00:30.250
[Info] vars: 19354, evals: 15319

[Info] |called|=1619

Memory statistics: total=31588.98MB, max=87.53MB, minor=31568.63MB, major=194.47MB, promoted=174.12MB
    minor collections=15062  major collections=19 compactions=0


[Info] runtime: 00:00:40.291
[Info] vars: 22257, evals: 17617

[Info] |called|=1860

Memory statistics: total=40620.71MB, max=100.66MB, minor=40595.36MB, major=229.42MB, promoted=204.07MB
    minor collections=19367  major collections=20 compactions=0


[Info] runtime: 00:00:50.330
[Info] vars: 24777, evals: 19612

[Info] |called|=2071

Memory statistics: total=49408.48MB, max=115.77MB, minor=49378.31MB, major=260.57MB, promoted=230.40MB
    minor collections=23556  major collections=21 compactions=0


[Info] runtime: 00:01:00.353
[Info] vars: 27029, evals: 21395

[Info] |called|=2256

Memory statistics: total=57995.68MB, max=115.77MB, minor=57960.86MB, major=289.07MB, promoted=254.25MB
    minor collections=27649  major collections=22 compactions=0

