./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.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.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.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.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.i:1067:5-1067:76 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_92-evilcollapse_racing.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.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.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.295
[Info] vars: 6861, evals: 7565

[Info] |called|=50

Memory statistics: total=21819.48MB, max=200.75MB, minor=21813.18MB, major=477.53MB, promoted=471.24MB
    minor collections=10412  major collections=21 compactions=0


[Info] runtime: 00:00:20.338
[Info] vars: 7999, evals: 21327

[Info] |called|=108

Memory statistics: total=50966.79MB, max=230.87MB, minor=50960.49MB, major=939.97MB, promoted=933.67MB
    minor collections=24314  major collections=28 compactions=0


[Info] runtime: 00:00:30.354
[Info] vars: 8464, evals: 34437

[Info] |called|=72

Memory statistics: total=79711.54MB, max=230.87MB, minor=79704.97MB, major=1399.58MB, promoted=1393.01MB
    minor collections=38024  major collections=34 compactions=0


[Info] runtime: 00:00:40.365
[Info] vars: 8831, evals: 47739

[Info] |called|=52

Memory statistics: total=108785.89MB, max=265.50MB, minor=108779.32MB, major=1866.62MB, promoted=1860.04MB
    minor collections=51891  major collections=40 compactions=0


[Info] runtime: 00:00:50.378
[Info] vars: 9198, evals: 61574

[Info] |called|=49

Memory statistics: total=139074.04MB, max=265.50MB, minor=139067.47MB, major=2354.14MB, promoted=2347.56MB
    minor collections=66338  major collections=47 compactions=0


[Info] runtime: 00:01:00.400
[Info] vars: 9460, evals: 74964

[Info] |called|=28

Memory statistics: total=168510.38MB, max=265.50MB, minor=168503.80MB, major=2827.80MB, promoted=2821.22MB
    minor collections=80377  major collections=53 compactions=0

