./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] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[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"
[Info] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] g, f, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, 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.157
[Info] vars: 217, evals: 18701

[Info] |called|=39

Memory statistics: total=12611.04MB, max=16.36MB, minor=12607.98MB, major=70.68MB, promoted=67.62MB
    minor collections=6021  major collections=19 compactions=0


[Info] runtime: 00:00:20.255
[Info] vars: 217, evals: 36254

[Info] |called|=30

Memory statistics: total=26009.01MB, max=16.36MB, minor=26005.95MB, major=132.55MB, promoted=129.49MB
    minor collections=12417  major collections=32 compactions=0


[Info] runtime: 00:00:30.339
[Info] vars: 218, evals: 50914

[Info] |called|=40

Memory statistics: total=37215.65MB, max=18.81MB, minor=37212.58MB, major=183.19MB, promoted=180.12MB
    minor collections=17766  major collections=43 compactions=0


[Info] runtime: 00:00:40.420
[Info] vars: 218, evals: 67378

[Info] |called|=34

Memory statistics: total=49501.95MB, max=18.81MB, minor=49498.87MB, major=240.35MB, promoted=237.27MB
    minor collections=23630  major collections=53 compactions=0


[Info] runtime: 00:00:50.499
[Info] vars: 218, evals: 83292

[Info] |called|=37

Memory statistics: total=61644.49MB, max=21.63MB, minor=61641.41MB, major=296.33MB, promoted=293.24MB
    minor collections=29425  major collections=63 compactions=0


[Info] runtime: 00:01:00.586
[Info] vars: 282, evals: 99998

[Info] |called|=52

Memory statistics: total=73755.73MB, max=21.63MB, minor=73752.58MB, major=354.99MB, promoted=351.83MB
    minor collections=35205  major collections=73 compactions=0

