./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.lann.3.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.lann.3.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.lann.3.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.224
[Info] vars: 2569, evals: 4888

[Info] |called|=1149

Memory statistics: total=26495.93MB, max=65.62MB, minor=26487.11MB, major=307.26MB, promoted=298.44MB
    minor collections=12644  major collections=29 compactions=0


[Info] runtime: 00:00:20.270
[Info] vars: 2579, evals: 4899

[Info] |called|=775

Memory statistics: total=56705.57MB, max=99.81MB, minor=56691.33MB, major=572.23MB, promoted=557.99MB
    minor collections=27051  major collections=39 compactions=0


[Info] runtime: 00:00:30.301
[Info] vars: 2579, evals: 4899

[Info] |called|=510

Memory statistics: total=88375.00MB, max=114.78MB, minor=88354.24MB, major=854.16MB, promoted=833.40MB
    minor collections=42154  major collections=48 compactions=0


[Info] runtime: 00:00:40.324
[Info] vars: 2579, evals: 4899

[Info] |called|=272

Memory statistics: total=120983.91MB, max=114.78MB, minor=120957.28MB, major=1168.96MB, promoted=1142.34MB
    minor collections=57705  major collections=57 compactions=0


[Info] runtime: 00:00:50.340
[Info] vars: 2584, evals: 4904

[Info] |called|=131

Memory statistics: total=154230.02MB, max=132.00MB, minor=154199.92MB, major=1476.55MB, promoted=1446.45MB
    minor collections=73561  major collections=66 compactions=0


[Info] runtime: 00:01:00.368
[Info] vars: 2589, evals: 4909

[Info] |called|=25

Memory statistics: total=183751.16MB, max=151.80MB, minor=183718.47MB, major=1755.45MB, promoted=1722.76MB
    minor collections=87640  major collections=72 compactions=0

