./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_92-evilcollapse_racing-deref.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_92-evilcollapse_racing-deref.i:1053:7-1053:421 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1052:5-1056:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1048:3-1059:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1067:5-1067:71 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1064:3-1068:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1072:27-1072:113 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i:1073:3-1073:69 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.293
[Info] vars: 6864, evals: 7727

[Info] |called|=32

Memory statistics: total=22175.57MB, max=200.75MB, minor=22169.28MB, major=484.75MB, promoted=478.46MB
    minor collections=10582  major collections=21 compactions=0


[Info] runtime: 00:00:20.343
[Info] vars: 7917, evals: 20651

[Info] |called|=27

Memory statistics: total=50452.11MB, max=230.87MB, minor=50445.81MB, major=930.71MB, promoted=924.41MB
    minor collections=24068  major collections=27 compactions=0


[Info] runtime: 00:00:30.368
[Info] vars: 8456, evals: 33414

[Info] |called|=77

Memory statistics: total=78557.89MB, max=230.87MB, minor=78551.32MB, major=1378.33MB, promoted=1371.77MB
    minor collections=37474  major collections=34 compactions=0


[Info] runtime: 00:00:40.386
[Info] vars: 8823, evals: 45949

[Info] |called|=55

Memory statistics: total=106519.09MB, max=230.87MB, minor=106512.52MB, major=1823.13MB, promoted=1816.56MB
    minor collections=50810  major collections=40 compactions=0


[Info] runtime: 00:00:50.418
[Info] vars: 9190, evals: 58885

[Info] |called|=66

Memory statistics: total=135494.80MB, max=265.50MB, minor=135488.23MB, major=2285.51MB, promoted=2278.94MB
    minor collections=64630  major collections=46 compactions=0


[Info] runtime: 00:01:00.446
[Info] vars: 9378, evals: 71880

[Info] |called|=63

Memory statistics: total=165140.12MB, max=265.50MB, minor=165133.54MB, major=2760.15MB, promoted=2753.57MB
    minor collections=78770  major collections=53 compactions=0

