./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/nla-digbench-scaling/lcm1_unwindbound2.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 /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/nla-digbench-scaling/lcm1_unwindbound2.c:44:9-50:9 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/nla-digbench-scaling/lcm1_unwindbound2.c:52:9-58:9 with factor 5
[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] 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] counter, __VERIFIER_assert, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, y, x, tmp, tmp___0, b, a, u, v, cond, cond
[Info] Enabled widening thresholds
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.141
[Info] vars: 5072, evals: 82220

[Info] |called|=44

Memory statistics: total=7652.45MB, max=50.04MB, minor=7648.79MB, major=159.11MB, promoted=155.46MB
    minor collections=3659  major collections=23 compactions=0


[Info] runtime: 00:00:20.263
[Info] vars: 9274, evals: 154101

[Info] |called|=59

Memory statistics: total=15900.66MB, max=87.53MB, minor=15896.34MB, major=323.32MB, promoted=318.99MB
    minor collections=7595  major collections=31 compactions=0


[Info] runtime: 00:00:30.348
[Info] vars: 12959, evals: 217019

[Info] |called|=85

Memory statistics: total=24480.24MB, max=153.11MB, minor=24475.57MB, major=494.16MB, promoted=489.48MB
    minor collections=11688  major collections=35 compactions=0


[Info] runtime: 00:00:40.441
[Info] vars: 16864, evals: 283851

[Info] |called|=5

Memory statistics: total=35044.10MB, max=232.85MB, minor=35038.43MB, major=707.32MB, promoted=701.65MB
    minor collections=16727  major collections=39 compactions=0


[Info] runtime: 00:00:50.575
[Info] vars: 20230, evals: 341284

[Info] |called|=83

Memory statistics: total=45417.85MB, max=307.95MB, minor=45411.99MB, major=921.69MB, promoted=915.83MB
    minor collections=21675  major collections=41 compactions=0


[Info] runtime: 00:01:00.673
[Info] vars: 23288, evals: 393643

[Info] |called|=45

Memory statistics: total=55916.26MB, max=407.27MB, minor=55910.13MB, major=1144.89MB, promoted=1138.76MB
    minor collections=26682  major collections=43 compactions=0

