./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.needham.3.prop4-back-serstep.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.needham.3.prop4-back-serstep.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.needham.3.prop4-back-serstep.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.514
[Info] vars: 5980, evals: 11372

[Info] |called|=4588

Memory statistics: total=12176.25MB, max=57.06MB, minor=12168.79MB, major=233.84MB, promoted=226.38MB
    minor collections=5815  major collections=25 compactions=0


[Info] runtime: 00:00:20.557
[Info] vars: 6022, evals: 11432

[Info] |called|=4097

Memory statistics: total=27712.47MB, max=65.62MB, minor=27701.16MB, major=388.12MB, promoted=376.82MB
    minor collections=13226  major collections=33 compactions=0


[Info] runtime: 00:00:30.594
[Info] vars: 6022, evals: 11432

[Info] |called|=3797

Memory statistics: total=46072.55MB, max=75.47MB, minor=46056.97MB, major=564.53MB, promoted=548.95MB
    minor collections=21983  major collections=42 compactions=0


[Info] runtime: 00:00:40.628
[Info] vars: 6022, evals: 11432

[Info] |called|=3568

Memory statistics: total=65754.90MB, max=75.47MB, minor=65733.68MB, major=759.85MB, promoted=738.64MB
    minor collections=31370  major collections=51 compactions=0


[Info] runtime: 00:00:50.654
[Info] vars: 6024, evals: 11434

[Info] |called|=3404

Memory statistics: total=86295.52MB, max=86.79MB, minor=86270.26MB, major=961.16MB, promoted=935.91MB
    minor collections=41167  major collections=59 compactions=0


[Info] runtime: 00:01:00.681
[Info] vars: 6025, evals: 11435

[Info] |called|=3262

Memory statistics: total=108349.96MB, max=99.81MB, minor=108321.22MB, major=1177.39MB, promoted=1148.66MB
    minor collections=51686  major collections=67 compactions=0

