./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-crafted/MutualRecursion_1b.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 f is recursive, disable interval and interval_set contexts
[Info] function g 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] g, f, i, count, tmp, key, a, count, i, j, i___0, j___0, k, size, r, top, expression, x, tmp, x, tmp, tmp___0, x, tmp, tmp___0
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.123
[Info] vars: 217, evals: 23451

[Info] |called|=37

Memory statistics: total=16079.56MB, max=16.36MB, minor=16076.50MB, major=88.18MB, promoted=85.12MB
    minor collections=7679  major collections=24 compactions=0


[Info] runtime: 00:00:20.187
[Info] vars: 218, evals: 44842

[Info] |called|=40

Memory statistics: total=32159.90MB, max=18.81MB, minor=32156.83MB, major=162.07MB, promoted=159.00MB
    minor collections=15354  major collections=39 compactions=0


[Info] runtime: 00:00:30.255
[Info] vars: 218, evals: 65476

[Info] |called|=38

Memory statistics: total=47679.84MB, max=18.81MB, minor=47676.76MB, major=234.05MB, promoted=230.96MB
    minor collections=22762  major collections=53 compactions=0


[Info] runtime: 00:00:40.314
[Info] vars: 218, evals: 86831

[Info] |called|=38

Memory statistics: total=63515.24MB, max=18.81MB, minor=63512.15MB, major=308.67MB, promoted=305.58MB
    minor collections=30319  major collections=66 compactions=0


[Info] runtime: 00:00:50.365
[Info] vars: 345, evals: 107868

[Info] |called|=59

Memory statistics: total=78889.78MB, max=21.63MB, minor=78886.58MB, major=382.82MB, promoted=379.62MB
    minor collections=37656  major collections=78 compactions=0


[Info] runtime: 00:01:00.433
[Info] vars: 345, evals: 130830

[Info] |called|=68

Memory statistics: total=92320.43MB, max=24.88MB, minor=92317.23MB, major=451.09MB, promoted=447.89MB
    minor collections=44066  major collections=89 compactions=0

