./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/pthread-ext/28_buggy_simple_loop1_vf.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/pthread-ext/28_buggy_simple_loop1_vf.i:690:7-692:7 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-ext/28_buggy_simple_loop1_vf.i:701:3-704:3 with factor 50
[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 octagon domain ONLY for:
[Info] pthread_create, abort, i, count, tmp, key, a, count, j, k, size, i, i___0, j___0, a, top, expression, k, z, i, x, y, j, tmp, tmp___0, __x, __x, __x
[Info] Enabled widening thresholds
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.148
[Info] vars: 599, evals: 20628

[Info] |called|=69

Memory statistics: total=13502.05MB, max=25.58MB, minor=13498.65MB, major=139.47MB, promoted=136.07MB
    minor collections=6450  major collections=28 compactions=0


[Info] runtime: 00:00:20.202
[Info] vars: 1101, evals: 40130

[Info] |called|=18

Memory statistics: total=26343.05MB, max=29.42MB, minor=26339.35MB, major=264.82MB, promoted=261.12MB
    minor collections=12582  major collections=45 compactions=0


[Info] runtime: 00:00:30.235
[Info] vars: 1617, evals: 59409

[Info] |called|=31

Memory statistics: total=39071.66MB, max=33.84MB, minor=39067.73MB, major=388.07MB, promoted=384.14MB
    minor collections=18658  major collections=58 compactions=0


[Info] runtime: 00:00:40.308
[Info] vars: 2133, evals: 78418

[Info] |called|=33

Memory statistics: total=51567.68MB, max=38.91MB, minor=51563.48MB, major=506.12MB, promoted=501.92MB
    minor collections=24622  major collections=70 compactions=0


[Info] runtime: 00:00:50.385
[Info] vars: 2520, evals: 96787

[Info] |called|=12

Memory statistics: total=63960.16MB, max=44.75MB, minor=63955.73MB, major=625.27MB, promoted=620.84MB
    minor collections=30536  major collections=79 compactions=0


[Info] runtime: 00:01:00.435
[Info] vars: 3036, evals: 116057

[Info] |called|=39

Memory statistics: total=76843.65MB, max=51.46MB, minor=76839.01MB, major=748.98MB, promoted=744.34MB
    minor collections=36684  major collections=88 compactions=0

