./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.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_40_to_48_0 is recursive, disable interval and interval_set contexts
[Info] function func_to_recursive_line_34_to_60_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, abort, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, x, y, a, p, q, r, s, s, c, b, k, r, q, a, p, c, k, s, x, b, r, q, y, cond, cond
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.173
[Info] vars: 5188, evals: 13764

[Info] |called|=801

Memory statistics: total=12135.27MB, max=50.04MB, minor=12131.73MB, major=201.35MB, promoted=197.82MB
    minor collections=5799  major collections=29 compactions=0


[Info] runtime: 00:00:20.239
[Info] vars: 8867, evals: 23677

[Info] |called|=1367

Memory statistics: total=21183.72MB, max=76.11MB, minor=21179.84MB, major=342.08MB, promoted=338.21MB
    minor collections=10117  major collections=37 compactions=0


[Info] runtime: 00:00:30.319
[Info] vars: 11883, evals: 31797

[Info] |called|=1832

Memory statistics: total=28776.49MB, max=100.66MB, minor=28772.22MB, major=459.77MB, promoted=455.50MB
    minor collections=13740  major collections=41 compactions=0


[Info] runtime: 00:00:40.383
[Info] vars: 14496, evals: 38828

[Info] |called|=2232

Memory statistics: total=35490.94MB, max=115.77MB, minor=35486.49MB, major=560.65MB, promoted=556.21MB
    minor collections=16943  major collections=44 compactions=0


[Info] runtime: 00:00:50.437
[Info] vars: 16810, evals: 45054

[Info] |called|=2591

Memory statistics: total=41541.86MB, max=133.13MB, minor=41537.03MB, major=652.49MB, promoted=647.66MB
    minor collections=19829  major collections=46 compactions=0


[Info] runtime: 00:01:00.483
[Info] vars: 18903, evals: 50697

[Info] |called|=2912

Memory statistics: total=47123.83MB, max=153.11MB, minor=47118.57MB, major=735.81MB, promoted=730.55MB
    minor collections=22492  major collections=48 compactions=0

