./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_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
[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 ! call(reach_error())) )

[Info] runtime: 00:00:10.273
[Info] vars: 5727, evals: 35181

[Info] |called|=89

Memory statistics: total=28779.92MB, max=99.81MB, minor=28773.78MB, major=489.43MB, promoted=483.30MB
    minor collections=13733  major collections=25 compactions=0


[Info] runtime: 00:00:20.290
[Info] vars: 6633, evals: 71022

[Info] |called|=99

Memory statistics: total=58060.91MB, max=114.78MB, minor=58054.77MB, major=917.64MB, promoted=911.50MB
    minor collections=27703  major collections=39 compactions=0


[Info] runtime: 00:00:30.312
[Info] vars: 7285, evals: 107382

[Info] |called|=55

Memory statistics: total=87938.89MB, max=114.78MB, minor=87932.73MB, major=1354.05MB, promoted=1347.89MB
    minor collections=41957  major collections=52 compactions=0


[Info] runtime: 00:00:40.334
[Info] vars: 8858, evals: 146257

[Info] |called|=17

Memory statistics: total=117861.71MB, max=114.78MB, minor=117855.28MB, major=1794.46MB, promoted=1788.02MB
    minor collections=56232  major collections=65 compactions=0


[Info] runtime: 00:00:50.357
[Info] vars: 10814, evals: 183420

[Info] |called|=43

Memory statistics: total=147928.22MB, max=132.00MB, minor=147921.50MB, major=2237.34MB, promoted=2230.62MB
    minor collections=70574  major collections=76 compactions=0


[Info] runtime: 00:01:00.374
[Info] vars: 11652, evals: 220359

[Info] |called|=79

Memory statistics: total=178034.36MB, max=132.00MB, minor=178027.63MB, major=2676.87MB, promoted=2670.14MB
    minor collections=84936  major collections=87 compactions=0

