./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.prop1-func-interl.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.prop1-func-interl.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.prop1-func-interl.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.684
[Info] vars: 5832, evals: 11010

[Info] |called|=4356

Memory statistics: total=13593.48MB, max=174.57MB, minor=13587.00MB, major=316.00MB, promoted=309.52MB
    minor collections=6491  major collections=25 compactions=0


[Info] runtime: 00:00:20.791
[Info] vars: 5878, evals: 11059

[Info] |called|=3826

Memory statistics: total=30328.72MB, max=351.13MB, minor=30320.00MB, major=515.15MB, promoted=506.42MB
    minor collections=14471  major collections=27 compactions=0


[Info] runtime: 00:00:30.862
[Info] vars: 5878, evals: 11059

[Info] |called|=3459

Memory statistics: total=49377.71MB, max=464.37MB, minor=49365.97MB, major=686.90MB, promoted=675.16MB
    minor collections=23553  major collections=28 compactions=0


[Info] runtime: 00:00:40.888
[Info] vars: 5878, evals: 11059

[Info] |called|=3242

Memory statistics: total=71211.29MB, max=464.37MB, minor=71195.45MB, major=871.26MB, promoted=855.43MB
    minor collections=33963  major collections=29 compactions=0


[Info] runtime: 00:00:50.920
[Info] vars: 5884, evals: 11068

[Info] |called|=3048

Memory statistics: total=92518.34MB, max=464.37MB, minor=92497.88MB, major=1069.75MB, promoted=1049.28MB
    minor collections=44122  major collections=31 compactions=0


[Info] runtime: 00:01:00.943
[Info] vars: 5899, evals: 11092

[Info] |called|=2879

Memory statistics: total=114429.70MB, max=464.37MB, minor=114405.43MB, major=1275.73MB, promoted=1251.47MB
    minor collections=54568  major collections=32 compactions=0

