./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_bpbs_p2.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_bpbs_p2.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_bpbs_p2.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.294
[Info] vars: 2942, evals: 5446

[Info] |called|=1456

Memory statistics: total=24438.12MB, max=99.81MB, minor=24430.82MB, major=270.94MB, promoted=263.65MB
    minor collections=11661  major collections=23 compactions=0


[Info] runtime: 00:00:20.351
[Info] vars: 2979, evals: 5483

[Info] |called|=1073

Memory statistics: total=50227.32MB, max=174.57MB, minor=50216.87MB, major=501.87MB, promoted=491.42MB
    minor collections=23960  major collections=29 compactions=0


[Info] runtime: 00:00:30.424
[Info] vars: 3005, evals: 5509

[Info] |called|=794

Memory statistics: total=77127.05MB, max=230.87MB, minor=77110.43MB, major=732.40MB, promoted=715.78MB
    minor collections=36785  major collections=32 compactions=0


[Info] runtime: 00:00:40.496
[Info] vars: 3033, evals: 5537

[Info] |called|=578

Memory statistics: total=105233.31MB, max=265.50MB, minor=105211.37MB, major=966.78MB, promoted=944.84MB
    minor collections=50186  major collections=35 compactions=0


[Info] runtime: 00:00:50.565
[Info] vars: 3051, evals: 5554

[Info] |called|=380

Memory statistics: total=133571.46MB, max=351.13MB, minor=133544.67MB, major=1207.44MB, promoted=1180.65MB
    minor collections=63698  major collections=37 compactions=0


[Info] runtime: 00:01:00.633
[Info] vars: 3072, evals: 5575

[Info] |called|=217

Memory statistics: total=162529.53MB, max=351.13MB, minor=162498.72MB, major=1451.05MB, promoted=1420.24MB
    minor collections=77506  major collections=40 compactions=0

