./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_egcd2-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] Setting "ana.int.interval" to true
[Info] function func_to_recursive_line_45_to_53_0 is recursive, disable interval and interval_set contexts
[Info] function func_to_recursive_line_39_to_65_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] __VERIFIER_assert, assume_abort_if_not, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, x, y, a, xy, yy, p, q, r, c, s, k, q, b, r, a, p, c, k, yy, y, s, x, q, b, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.144
[Info] vars: 4537, evals: 11986

[Info] |called|=700

Memory statistics: total=12373.55MB, max=43.51MB, minor=12370.10MB, major=216.58MB, promoted=213.13MB
    minor collections=5914  major collections=32 compactions=0


[Info] runtime: 00:00:20.222
[Info] vars: 8099, evals: 21583

[Info] |called|=1249

Memory statistics: total=22575.06MB, max=76.11MB, minor=22571.38MB, major=386.13MB, promoted=382.45MB
    minor collections=10783  major collections=41 compactions=0


[Info] runtime: 00:00:30.287
[Info] vars: 11141, evals: 29777

[Info] |called|=1714

Memory statistics: total=31480.32MB, max=100.66MB, minor=31476.09MB, major=532.09MB, promoted=527.86MB
    minor collections=15032  major collections=47 compactions=0


[Info] runtime: 00:00:40.344
[Info] vars: 13767, evals: 36836

[Info] |called|=2121

Memory statistics: total=39274.84MB, max=115.77MB, minor=39270.44MB, major=659.11MB, promoted=654.70MB
    minor collections=18751  major collections=50 compactions=0


[Info] runtime: 00:00:50.402
[Info] vars: 16042, evals: 42972

[Info] |called|=2468

Memory statistics: total=46180.54MB, max=133.13MB, minor=46176.02MB, major=769.35MB, promoted=764.83MB
    minor collections=22045  major collections=53 compactions=0


[Info] runtime: 00:01:00.451
[Info] vars: 18304, evals: 49043

[Info] |called|=2819

Memory statistics: total=53098.55MB, max=153.11MB, minor=53093.32MB, major=879.11MB, promoted=873.88MB
    minor collections=25345  major collections=56 compactions=0

