./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.lamport.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.lamport.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.lamport.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.201
[Info] vars: 2320, evals: 4366

[Info] |called|=831

Memory statistics: total=27608.41MB, max=86.79MB, minor=27600.35MB, major=301.92MB, promoted=293.86MB
    minor collections=13172  major collections=22 compactions=0


[Info] runtime: 00:00:20.236
[Info] vars: 2320, evals: 4366

[Info] |called|=527

Memory statistics: total=58946.24MB, max=86.79MB, minor=58932.57MB, major=558.44MB, promoted=544.77MB
    minor collections=28117  major collections=32 compactions=0


[Info] runtime: 00:00:30.266
[Info] vars: 2320, evals: 4366

[Info] |called|=317

Memory statistics: total=88996.41MB, max=99.81MB, minor=88977.56MB, major=822.15MB, promoted=803.31MB
    minor collections=42448  major collections=41 compactions=0


[Info] runtime: 00:00:40.291
[Info] vars: 2320, evals: 4366

[Info] |called|=154

Memory statistics: total=120152.32MB, max=114.78MB, minor=120129.46MB, major=1104.53MB, promoted=1081.68MB
    minor collections=57307  major collections=50 compactions=0


[Info] runtime: 00:00:50.318
[Info] vars: 2320, evals: 4366

[Info] |called|=26

Memory statistics: total=150508.79MB, max=114.78MB, minor=150482.78MB, major=1389.24MB, promoted=1363.23MB
    minor collections=71785  major collections=59 compactions=0


[Info] runtime: 00:01:00.356
[Info] vars: 2336, evals: 6466

[Info] |called|=999

Memory statistics: total=176803.19MB, max=132.00MB, minor=176773.89MB, major=1673.12MB, promoted=1643.82MB
    minor collections=84326  major collections=67 compactions=0

