./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_91-arrayloop2_racefree.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_91-arrayloop2_racefree.i:1046:7-1046:421 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1045:5-1049:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1041:3-1052:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1059:5-1059:71 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1056:3-1060:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1061:27-1061:113 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i:1062:3-1062:69 with factor 4
[Info] malloc wrapper: new
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

[Info] runtime: 00:00:10.251
[Info] vars: 4472, evals: 29932

[Info] |called|=74

Memory statistics: total=29229.38MB, max=86.79MB, minor=29223.37MB, major=451.13MB, promoted=445.11MB
    minor collections=13948  major collections=26 compactions=0


[Info] runtime: 00:00:20.298
[Info] vars: 5296, evals: 60036

[Info] |called|=71

Memory statistics: total=59052.09MB, max=86.79MB, minor=59046.00MB, major=848.49MB, promoted=842.40MB
    minor collections=28177  major collections=42 compactions=0


[Info] runtime: 00:00:30.329
[Info] vars: 5998, evals: 90894

[Info] |called|=100

Memory statistics: total=89429.63MB, max=99.81MB, minor=89423.54MB, major=1253.25MB, promoted=1247.16MB
    minor collections=42670  major collections=57 compactions=0


[Info] runtime: 00:00:40.350
[Info] vars: 6786, evals: 121279

[Info] |called|=18

Memory statistics: total=119710.58MB, max=99.81MB, minor=119704.47MB, major=1656.81MB, promoted=1650.70MB
    minor collections=57117  major collections=71 compactions=0


[Info] runtime: 00:00:50.393
[Info] vars: 9272, evals: 154424

[Info] |called|=56

Memory statistics: total=149867.01MB, max=114.78MB, minor=149860.47MB, major=2064.23MB, promoted=2057.69MB
    minor collections=71503  major collections=83 compactions=0


[Info] runtime: 00:01:00.426
[Info] vars: 10110, evals: 185193

[Info] |called|=59

Memory statistics: total=180192.06MB, max=132.00MB, minor=180185.38MB, major=2467.43MB, promoted=2460.75MB
    minor collections=85969  major collections=95 compactions=0

