./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/btor2c-lazyMod.h_b05.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/btor2c-lazyMod.h_b05.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardware-verification-bv/btor2c-lazyMod.h_b05.c


--------------------------------------------------------------------------------


[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 lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] cannot unassume entry of type violation_sequence

[Info] runtime: 00:00:10.369
[Info] vars: 4726, evals: 8723

[Info] |called|=2831

Memory statistics: total=18035.52MB, max=57.06MB, minor=18028.21MB, major=254.27MB, promoted=246.96MB
    minor collections=8610  major collections=26 compactions=0


[Info] runtime: 00:00:20.383
[Info] vars: 4802, evals: 8799

[Info] |called|=2375

Memory statistics: total=42657.63MB, max=65.62MB, minor=42645.38MB, major=446.30MB, promoted=434.05MB
    minor collections=20353  major collections=36 compactions=0


[Info] runtime: 00:00:30.406
[Info] vars: 4854, evals: 8851

[Info] |called|=2064

Memory statistics: total=67866.29MB, max=75.47MB, minor=67847.66MB, major=653.40MB, promoted=634.77MB
    minor collections=32376  major collections=46 compactions=0


[Info] runtime: 00:00:40.436
[Info] vars: 4895, evals: 8892

[Info] |called|=1819

Memory statistics: total=93334.28MB, max=86.79MB, minor=93310.62MB, major=868.13MB, promoted=844.48MB
    minor collections=44522  major collections=55 compactions=0


[Info] runtime: 00:00:50.461
[Info] vars: 4930, evals: 8926

[Info] |called|=1611

Memory statistics: total=119395.85MB, max=86.79MB, minor=119367.93MB, major=1092.49MB, promoted=1064.57MB
    minor collections=56952  major collections=64 compactions=0


[Info] runtime: 00:01:00.483
[Info] vars: 4959, evals: 8956

[Info] |called|=1433

Memory statistics: total=145487.04MB, max=99.81MB, minor=145454.30MB, major=1323.05MB, promoted=1290.31MB
    minor collections=69395  major collections=73 compactions=0

