./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_vsa16a_p8.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_vsa16a_p8.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_vsa16a_p8.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.245
[Info] vars: 2248, evals: 4137

[Info] |called|=734

Memory statistics: total=22536.27MB, max=38.01MB, minor=22525.97MB, major=286.03MB, promoted=275.73MB
    minor collections=10759  major collections=35 compactions=0


[Info] runtime: 00:00:20.300
[Info] vars: 2275, evals: 4163

[Info] |called|=346

Memory statistics: total=46095.71MB, max=50.27MB, minor=46076.49MB, major=520.71MB, promoted=501.49MB
    minor collections=21997  major collections=52 compactions=0


[Info] runtime: 00:00:30.353
[Info] vars: 2292, evals: 4181

[Info] |called|=47

Memory statistics: total=71768.31MB, max=57.81MB, minor=71742.15MB, major=772.95MB, promoted=746.79MB
    minor collections=34243  major collections=68 compactions=0


[Info] runtime: 00:00:40.433
[Info] vars: 2312, evals: 6168

[Info] |called|=948

Memory statistics: total=97213.02MB, max=133.72MB, minor=97183.31MB, major=1032.67MB, promoted=1002.96MB
    minor collections=46380  major collections=78 compactions=0


[Info] runtime: 00:00:50.492
[Info] vars: 2312, evals: 6193

[Info] |called|=500

Memory statistics: total=125595.70MB, max=133.72MB, minor=125560.16MB, major=1272.64MB, promoted=1237.09MB
    minor collections=59914  major collections=84 compactions=0


[Info] runtime: 00:01:00.544
[Info] vars: 2312, evals: 6213

[Info] |called|=192

Memory statistics: total=156399.57MB, max=133.72MB, minor=156356.96MB, major=1535.50MB, promoted=1492.89MB
    minor collections=74603  major collections=91 compactions=0

