./goblint --conf conf/svcomp25.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.198
[Info] vars: 3976, evals: 32283

[Info] |called|=23

Memory statistics: total=29841.66MB, max=57.81MB, minor=29837.23MB, major=410.01MB, promoted=405.57MB
    minor collections=14243  major collections=31 compactions=0


[Info] runtime: 00:00:20.235
[Info] vars: 6202, evals: 63771

[Info] |called|=35

Memory statistics: total=59237.16MB, max=76.45MB, minor=59232.41MB, major=785.83MB, promoted=781.08MB
    minor collections=28270  major collections=50 compactions=0


[Info] runtime: 00:00:30.262
[Info] vars: 8166, evals: 95182

[Info] |called|=58

Memory statistics: total=88887.87MB, max=87.92MB, minor=88883.07MB, major=1164.60MB, promoted=1159.80MB
    minor collections=42416  major collections=65 compactions=0


[Info] runtime: 00:00:40.286
[Info] vars: 9396, evals: 126573

[Info] |called|=22

Memory statistics: total=118626.43MB, max=101.11MB, minor=118621.08MB, major=1541.99MB, promoted=1536.63MB
    minor collections=56603  major collections=78 compactions=0


[Info] runtime: 00:00:50.313
[Info] vars: 11825, evals: 161796

[Info] |called|=20

Memory statistics: total=148079.81MB, max=116.28MB, minor=148074.40MB, major=1946.91MB, promoted=1941.50MB
    minor collections=70654  major collections=90 compactions=0


[Info] runtime: 00:01:00.342
[Info] vars: 14308, evals: 197476

[Info] |called|=75

Memory statistics: total=177593.61MB, max=133.72MB, minor=177588.14MB, major=2357.74MB, promoted=2352.28MB
    minor collections=84733  major collections=101 compactions=0

