./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.brp.2.prop1-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.brp.2.prop1-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.brp.2.prop1-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.279
[Info] vars: 2645, evals: 5035

[Info] |called|=1273

Memory statistics: total=23616.92MB, max=65.62MB, minor=23608.25MB, major=285.42MB, promoted=276.76MB
    minor collections=11271  major collections=27 compactions=0


[Info] runtime: 00:00:20.311
[Info] vars: 2652, evals: 5042

[Info] |called|=938

Memory statistics: total=50664.91MB, max=86.79MB, minor=50651.03MB, major=518.60MB, promoted=504.72MB
    minor collections=24171  major collections=37 compactions=0


[Info] runtime: 00:00:30.334
[Info] vars: 2652, evals: 5042

[Info] |called|=714

Memory statistics: total=77286.53MB, max=99.81MB, minor=77267.13MB, major=752.72MB, promoted=733.32MB
    minor collections=36866  major collections=45 compactions=0


[Info] runtime: 00:00:40.360
[Info] vars: 2652, evals: 5042

[Info] |called|=504

Memory statistics: total=104715.33MB, max=99.81MB, minor=104690.76MB, major=1015.28MB, promoted=990.71MB
    minor collections=49948  major collections=54 compactions=0


[Info] runtime: 00:00:50.389
[Info] vars: 2652, evals: 5042

[Info] |called|=330

Memory statistics: total=132272.78MB, max=114.78MB, minor=132243.92MB, major=1288.12MB, promoted=1259.27MB
    minor collections=63091  major collections=63 compactions=0


[Info] runtime: 00:01:00.414
[Info] vars: 2658, evals: 5048

[Info] |called|=228

Memory statistics: total=160632.40MB, max=132.00MB, minor=160601.03MB, major=1552.68MB, promoted=1521.31MB
    minor collections=76616  major collections=71 compactions=0

