./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/28-race_reach_90-arrayloop2_racing.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/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1046:7-1046:421 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1045:5-1049:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1041:3-1052:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1066:7-1066:421 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1065:5-1069:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1061:3-1072:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1080:5-1080:71 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1077:3-1081:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1082:28-1082:116 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1082:143-1082:231 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1083:3-1083:70 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1083:72-1083:139 with factor 2
[Info] Setting "ana.int.interval" to true
[Info] malloc wrapper: new
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.192
[Info] vars: 3402, evals: 25771

[Info] |called|=17

Memory statistics: total=31476.28MB, max=65.62MB, minor=31471.85MB, major=437.72MB, promoted=433.30MB
    minor collections=15022  major collections=31 compactions=0


[Info] runtime: 00:00:20.219
[Info] vars: 5181, evals: 51372

[Info] |called|=79

Memory statistics: total=62341.03MB, max=86.79MB, minor=62336.30MB, major=830.37MB, promoted=825.63MB
    minor collections=29749  major collections=49 compactions=0


[Info] runtime: 00:00:30.253
[Info] vars: 6913, evals: 77060

[Info] |called|=46

Memory statistics: total=93394.83MB, max=99.81MB, minor=93390.06MB, major=1226.03MB, promoted=1221.26MB
    minor collections=44564  major collections=63 compactions=0


[Info] runtime: 00:00:40.286
[Info] vars: 8641, evals: 102562

[Info] |called|=56

Memory statistics: total=124250.44MB, max=114.78MB, minor=124245.23MB, major=1620.68MB, promoted=1615.47MB
    minor collections=59284  major collections=76 compactions=0


[Info] runtime: 00:00:50.310
[Info] vars: 9449, evals: 128399

[Info] |called|=26

Memory statistics: total=155658.53MB, max=114.78MB, minor=155653.17MB, major=2017.39MB, promoted=2012.02MB
    minor collections=74267  major collections=88 compactions=0


[Info] runtime: 00:01:00.338
[Info] vars: 11192, evals: 155975

[Info] |called|=97

Memory statistics: total=187248.39MB, max=132.00MB, minor=187242.98MB, major=2451.89MB, promoted=2446.48MB
    minor collections=89336  major collections=99 compactions=0

