./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.bridge.1.prop1-func-interl.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.bridge.1.prop1-func-interl.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.bridge.1.prop1-func-interl.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.251
[Info] vars: 2759, evals: 5215

[Info] |called|=1012

Memory statistics: total=22665.63MB, max=174.57MB, minor=22657.25MB, major=359.23MB, promoted=350.85MB
    minor collections=10813  major collections=20 compactions=0


[Info] runtime: 00:00:20.271
[Info] vars: 2759, evals: 5215

[Info] |called|=645

Memory statistics: total=49544.25MB, max=200.75MB, minor=49530.01MB, major=601.44MB, promoted=587.21MB
    minor collections=23630  major collections=24 compactions=0


[Info] runtime: 00:00:30.287
[Info] vars: 2759, evals: 5215

[Info] |called|=428

Memory statistics: total=78699.24MB, max=200.75MB, minor=78679.66MB, major=856.81MB, promoted=837.23MB
    minor collections=37532  major collections=29 compactions=0


[Info] runtime: 00:00:40.317
[Info] vars: 2759, evals: 5215

[Info] |called|=230

Memory statistics: total=108558.87MB, max=200.75MB, minor=108534.41MB, major=1141.71MB, promoted=1117.25MB
    minor collections=51770  major collections=33 compactions=0


[Info] runtime: 00:00:50.346
[Info] vars: 2759, evals: 5215

[Info] |called|=78

Memory statistics: total=138368.68MB, max=230.87MB, minor=138340.48MB, major=1432.04MB, promoted=1403.84MB
    minor collections=65985  major collections=38 compactions=0


[Info] runtime: 00:01:00.383
[Info] vars: 2775, evals: 7765

[Info] |called|=1594

Memory statistics: total=163818.19MB, max=230.87MB, minor=163788.12MB, major=1776.22MB, promoted=1746.15MB
    minor collections=78122  major collections=43 compactions=0

