./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/btor2c-lazyMod.needham.1.prop3-back-serstep.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/btor2c-lazyMod.needham.1.prop3-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.1.prop3-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.262
[Info] vars: 3049, evals: 5742

[Info] |called|=1528

Memory statistics: total=22491.99MB, max=49.62MB, minor=22483.92MB, major=276.80MB, promoted=268.74MB
    minor collections=10736  major collections=31 compactions=0


[Info] runtime: 00:00:20.290
[Info] vars: 3054, evals: 5747

[Info] |called|=1193

Memory statistics: total=49205.69MB, max=65.62MB, minor=49193.17MB, major=512.38MB, promoted=499.85MB
    minor collections=23479  major collections=44 compactions=0


[Info] runtime: 00:00:30.324
[Info] vars: 3054, evals: 5747

[Info] |called|=990

Memory statistics: total=77712.08MB, max=75.47MB, minor=77694.53MB, major=765.34MB, promoted=747.79MB
    minor collections=37076  major collections=57 compactions=0


[Info] runtime: 00:00:40.347
[Info] vars: 3054, evals: 5747

[Info] |called|=823

Memory statistics: total=105210.66MB, max=75.47MB, minor=105189.00MB, major=1027.29MB, promoted=1005.63MB
    minor collections=50192  major collections=69 compactions=0


[Info] runtime: 00:00:50.370
[Info] vars: 3054, evals: 5747

[Info] |called|=677

Memory statistics: total=133916.05MB, max=86.79MB, minor=133890.80MB, major=1310.26MB, promoted=1285.00MB
    minor collections=63884  major collections=80 compactions=0


[Info] runtime: 00:01:00.401
[Info] vars: 3054, evals: 5747

[Info] |called|=542

Memory statistics: total=162630.25MB, max=86.79MB, minor=162601.67MB, major=1606.27MB, promoted=1577.69MB
    minor collections=77581  major collections=92 compactions=0

