./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_93-evilcollapse_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
[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_93-evilcollapse_racefree.i:1060:7-1060:421 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1059:5-1063:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1055:3-1066:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1076:5-1076:71 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1073:3-1077:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1082:27-1082:113 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i:1083:3-1083: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.298
[Info] vars: 5031, evals: 8699

[Info] |called|=69

Memory statistics: total=24913.36MB, max=174.57MB, minor=24907.28MB, major=496.69MB, promoted=490.61MB
    minor collections=11888  major collections=22 compactions=0


[Info] runtime: 00:00:20.318
[Info] vars: 5741, evals: 20606

[Info] |called|=47

Memory statistics: total=53562.61MB, max=200.75MB, minor=53556.46MB, major=911.01MB, promoted=904.86MB
    minor collections=25553  major collections=29 compactions=0


[Info] runtime: 00:00:30.337
[Info] vars: 6198, evals: 32343

[Info] |called|=96

Memory statistics: total=82048.89MB, max=200.75MB, minor=82042.73MB, major=1327.16MB, promoted=1321.00MB
    minor collections=39140  major collections=36 compactions=0


[Info] runtime: 00:00:40.367
[Info] vars: 6492, evals: 43888

[Info] |called|=133

Memory statistics: total=110580.15MB, max=200.75MB, minor=110574.00MB, major=1745.02MB, promoted=1738.87MB
    minor collections=52749  major collections=44 compactions=0


[Info] runtime: 00:00:50.388
[Info] vars: 6777, evals: 55496

[Info] |called|=18

Memory statistics: total=139541.51MB, max=200.75MB, minor=139535.34MB, major=2166.79MB, promoted=2160.62MB
    minor collections=66563  major collections=51 compactions=0


[Info] runtime: 00:01:00.404
[Info] vars: 7112, evals: 67476

[Info] |called|=50

Memory statistics: total=168519.35MB, max=200.75MB, minor=168513.17MB, major=2590.12MB, promoted=2583.94MB
    minor collections=80384  major collections=58 compactions=0

