./goblint --conf conf/svcomp25.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.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
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-free) ) -> enabling soundness analyses "base, useAfterFree"[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-deref) ) -> enabling soundness analyses "base, memOutOfBounds"[0;0;00m
[0;34m[Info] Setting "ana.arrayoob" to true[0;0;00m
[0;34m[Info] Setting "cil.addNestedScopeAttr" to true[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-memtrack) ) -> enabling soundness analyses "memLeak"[0;0;00m
[0;34m[Info] Setting "ana.malloc.unique_address_count" to 5[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 valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )

[Info] runtime: 00:00:10.419
[Info] vars: 4921, evals: 8255

[Info] |called|=21

Memory statistics: total=24009.86MB, max=200.75MB, minor=24002.47MB, major=493.85MB, promoted=486.46MB
    minor collections=11457  major collections=20 compactions=0


[Info] runtime: 00:00:20.446
[Info] vars: 5712, evals: 20090

[Info] |called|=91

Memory statistics: total=51992.29MB, max=200.75MB, minor=51984.83MB, major=899.35MB, promoted=891.89MB
    minor collections=24804  major collections=27 compactions=0


[Info] runtime: 00:00:30.473
[Info] vars: 6014, evals: 31312

[Info] |called|=27

Memory statistics: total=80122.98MB, max=200.75MB, minor=80115.51MB, major=1308.90MB, promoted=1301.43MB
    minor collections=38221  major collections=34 compactions=0


[Info] runtime: 00:00:40.492
[Info] vars: 6381, evals: 42708

[Info] |called|=103

Memory statistics: total=107955.17MB, max=200.75MB, minor=107947.70MB, major=1716.01MB, promoted=1708.54MB
    minor collections=51496  major collections=40 compactions=0


[Info] runtime: 00:00:50.513
[Info] vars: 6740, evals: 54315

[Info] |called|=72

Memory statistics: total=136364.45MB, max=230.87MB, minor=136356.98MB, major=2130.87MB, promoted=2123.39MB
    minor collections=65046  major collections=47 compactions=0


[Info] runtime: 00:01:00.542
[Info] vars: 6928, evals: 65650

[Info] |called|=102

Memory statistics: total=164505.16MB, max=230.87MB, minor=164497.67MB, major=2541.85MB, promoted=2534.36MB
    minor collections=78468  major collections=53 compactions=0

