./goblint --conf conf/svcomp25.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.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 4
[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 4
[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 4
[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 4
[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 4
[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 4
[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 4
[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 4
[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 4
[Info] malloc wrapper: new
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.354
[Info] vars: 4628, evals: 30570

[Info] |called|=49

Memory statistics: total=29720.46MB, max=99.81MB, minor=29713.12MB, major=467.04MB, promoted=459.70MB
    minor collections=14181  major collections=24 compactions=0


[Info] runtime: 00:00:20.368
[Info] vars: 5301, evals: 59690

[Info] |called|=78

Memory statistics: total=58763.66MB, max=99.81MB, minor=58756.25MB, major=853.73MB, promoted=846.32MB
    minor collections=28037  major collections=37 compactions=0


[Info] runtime: 00:00:30.385
[Info] vars: 6003, evals: 90416

[Info] |called|=125

Memory statistics: total=89035.87MB, max=114.78MB, minor=89028.45MB, major=1255.73MB, promoted=1248.31MB
    minor collections=42479  major collections=50 compactions=0


[Info] runtime: 00:00:40.402
[Info] vars: 6706, evals: 120913

[Info] |called|=27

Memory statistics: total=119459.63MB, max=114.78MB, minor=119452.20MB, major=1661.51MB, promoted=1654.08MB
    minor collections=56992  major collections=62 compactions=0


[Info] runtime: 00:00:50.427
[Info] vars: 9277, evals: 154424

[Info] |called|=60

Memory statistics: total=149963.68MB, max=132.00MB, minor=149955.82MB, major=2072.15MB, promoted=2064.29MB
    minor collections=71543  major collections=73 compactions=0


[Info] runtime: 00:01:00.446
[Info] vars: 10115, evals: 185347

[Info] |called|=41

Memory statistics: total=180507.44MB, max=132.00MB, minor=180499.44MB, major=2477.33MB, promoted=2469.33MB
    minor collections=86113  major collections=83 compactions=0

