./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-recursive-malloc/selectionSort_recursive.i


--------------------------------------------------------------------------------


[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 /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/termination-recursive-malloc/selectionSort_recursive.i:14:5-18:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/termination-recursive-malloc/selectionSort_recursive.i:36:2-38:2 with factor 8
[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 selectionSort 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 octagon domain ONLY for:
[Info] selectionSort, malloc, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, i, n, tmp, a, index, size, startIndex, array, temp
[Info] Enabled widening thresholds
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.247
[Info] vars: 15523, evals: 26162

[Info] |called|=500

Memory statistics: total=11269.94MB, max=87.53MB, minor=11264.88MB, major=147.77MB, promoted=142.71MB
    minor collections=5379  major collections=15 compactions=0


[Info] runtime: 00:00:20.423
[Info] vars: 29237, evals: 48358

[Info] |called|=935

Memory statistics: total=22912.01MB, max=176.07MB, minor=22904.47MB, major=273.72MB, promoted=266.18MB
    minor collections=10930  major collections=17 compactions=0


[Info] runtime: 00:00:30.568
[Info] vars: 41620, evals: 68424

[Info] |called|=1329

Memory statistics: total=35132.75MB, max=232.85MB, minor=35121.31MB, major=393.28MB, promoted=381.84MB
    minor collections=16757  major collections=19 compactions=0


[Info] runtime: 00:00:40.689
[Info] vars: 52256, evals: 85651

[Info] |called|=1660

Memory statistics: total=46909.06MB, max=307.95MB, minor=46895.72MB, major=498.57MB, promoted=485.23MB
    minor collections=22372  major collections=20 compactions=0


[Info] runtime: 00:00:50.833
[Info] vars: 62017, evals: 101434

[Info] |called|=1975

Memory statistics: total=58649.24MB, max=354.15MB, minor=58633.96MB, major=597.49MB, promoted=582.21MB
    minor collections=27969  major collections=20 compactions=0

