./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.vis_arrays_FIFOs.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.vis_arrays_FIFOs.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.vis_arrays_FIFOs.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.252
[Info] vars: 2185, evals: 3939

[Info] |called|=580

Memory statistics: total=23065.72MB, max=101.11MB, minor=23058.89MB, major=278.39MB, promoted=271.56MB
    minor collections=11007  major collections=24 compactions=0


[Info] runtime: 00:00:20.315
[Info] vars: 2211, evals: 3965

[Info] |called|=154

Memory statistics: total=51060.23MB, max=133.72MB, minor=51049.89MB, major=513.84MB, promoted=503.50MB
    minor collections=24358  major collections=31 compactions=0


[Info] runtime: 00:00:30.365
[Info] vars: 2238, evals: 5818

[Info] |called|=955

Memory statistics: total=77636.13MB, max=176.85MB, minor=77621.89MB, major=778.11MB, promoted=763.87MB
    minor collections=37031  major collections=36 compactions=0


[Info] runtime: 00:00:40.401
[Info] vars: 2238, evals: 5851

[Info] |called|=403

Memory statistics: total=104163.34MB, max=203.38MB, minor=104144.57MB, major=1012.52MB, promoted=993.75MB
    minor collections=49680  major collections=40 compactions=0


[Info] runtime: 00:00:50.465
[Info] vars: 2238, evals: 5872

[Info] |called|=78

Memory statistics: total=131225.22MB, max=203.38MB, minor=131201.78MB, major=1239.58MB, promoted=1216.14MB
    minor collections=62584  major collections=44 compactions=0


[Info] runtime: 00:01:00.500
[Info] vars: 2250, evals: 7725

[Info] |called|=801

Memory statistics: total=157828.73MB, max=233.89MB, minor=157801.38MB, major=1517.44MB, promoted=1490.09MB
    minor collections=75270  major collections=48 compactions=0

