./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_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_90-arrayloop2_racing.i:1046:7-1046:421 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1045:5-1049:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1041:3-1052:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1066:7-1066:421 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1065:5-1069:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1061:3-1072:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1080:5-1080:71 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1077:3-1081:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1082:28-1082:116 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1082:143-1082:231 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1083:3-1083:70 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/28-race_reach_90-arrayloop2_racing.i:1083:72-1083:139 with factor 2
[Info] Setting "ana.int.interval" to true
[Info] malloc wrapper: new
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.190
[Info] vars: 4311, evals: 33621

[Info] |called|=36

Memory statistics: total=30894.53MB, max=57.81MB, minor=30889.88MB, major=425.25MB, promoted=420.61MB
    minor collections=14745  major collections=32 compactions=0


[Info] runtime: 00:00:20.211
[Info] vars: 6383, evals: 65988

[Info] |called|=51

Memory statistics: total=61367.44MB, max=76.45MB, minor=61362.68MB, major=813.78MB, promoted=809.02MB
    minor collections=29286  major collections=51 compactions=0


[Info] runtime: 00:00:30.242
[Info] vars: 8429, evals: 98901

[Info] |called|=53

Memory statistics: total=92396.96MB, max=101.11MB, minor=92391.76MB, major=1210.88MB, promoted=1205.68MB
    minor collections=44090  major collections=66 compactions=0


[Info] runtime: 00:00:40.264
[Info] vars: 9853, evals: 131941

[Info] |called|=34

Memory statistics: total=123196.98MB, max=101.11MB, minor=123191.61MB, major=1602.13MB, promoted=1596.77MB
    minor collections=58783  major collections=80 compactions=0


[Info] runtime: 00:00:50.307
[Info] vars: 12444, evals: 168748

[Info] |called|=37

Memory statistics: total=153895.14MB, max=133.72MB, minor=153889.71MB, major=2029.08MB, promoted=2023.66MB
    minor collections=73428  major collections=92 compactions=0


[Info] runtime: 00:01:00.341
[Info] vars: 14626, evals: 205347

[Info] |called|=68

Memory statistics: total=184438.90MB, max=133.72MB, minor=184433.43MB, major=2452.50MB, promoted=2447.02MB
    minor collections=87998  major collections=103 compactions=0

