./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/goblint-regression/04-mutex_05-lockfuns.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 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] Enabled congruence domain.
[Info] Enabled widening thresholds
[Info] Enabled octagon domain ONLY for:
[Info] myglobal, lock, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, id, __x, __x, __x
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.169
[Info] vars: 7141, evals: 11377

[Info] |called|=10

Memory statistics: total=14567.80MB, max=38.91MB, minor=14562.98MB, major=86.22MB, promoted=81.40MB
    minor collections=6951  major collections=15 compactions=0


[Info] runtime: 00:00:20.224
[Info] vars: 10794, evals: 17223

[Info] |called|=9

Memory statistics: total=25740.53MB, max=51.46MB, minor=25734.53MB, major=133.47MB, promoted=127.46MB
    minor collections=12280  major collections=18 compactions=0


[Info] runtime: 00:00:30.271
[Info] vars: 13437, evals: 21455

[Info] |called|=10

Memory statistics: total=34710.73MB, max=59.18MB, minor=34704.24MB, major=168.54MB, promoted=162.05MB
    minor collections=16558  major collections=20 compactions=0


[Info] runtime: 00:00:40.328
[Info] vars: 15842, evals: 25303

[Info] |called|=10

Memory statistics: total=43356.43MB, max=68.06MB, minor=43349.17MB, major=201.25MB, promoted=193.98MB
    minor collections=20681  major collections=21 compactions=0


[Info] runtime: 00:00:50.392
[Info] vars: 18097, evals: 28911

[Info] |called|=10

Memory statistics: total=52908.35MB, max=78.28MB, minor=52899.96MB, major=234.85MB, promoted=226.46MB
    minor collections=25236  major collections=23 compactions=0


[Info] runtime: 00:01:00.450
[Info] vars: 20582, evals: 32882

[Info] |called|=8

Memory statistics: total=64206.50MB, max=90.02MB, minor=64197.14MB, major=272.12MB, promoted=262.76MB
    minor collections=30624  major collections=24 compactions=0

