./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.lamport.8.prop1-back-serstep.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.lamport.8.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.lamport.8.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.330
[Info] vars: 4299, evals: 8203

[Info] |called|=2888

Memory statistics: total=19241.72MB, max=86.79MB, minor=19232.54MB, major=284.78MB, promoted=275.60MB
    minor collections=9183  major collections=25 compactions=0


[Info] runtime: 00:00:20.392
[Info] vars: 4317, evals: 8221

[Info] |called|=2518

Memory statistics: total=42716.72MB, max=151.80MB, minor=42704.50MB, major=502.73MB, promoted=490.51MB
    minor collections=20378  major collections=31 compactions=0


[Info] runtime: 00:00:30.427
[Info] vars: 4328, evals: 8232

[Info] |called|=2261

Memory statistics: total=67741.94MB, max=174.57MB, minor=67723.88MB, major=728.30MB, promoted=710.24MB
    minor collections=32310  major collections=35 compactions=0


[Info] runtime: 00:00:40.467
[Info] vars: 4333, evals: 8237

[Info] |called|=2040

Memory statistics: total=93212.89MB, max=230.87MB, minor=93189.38MB, major=962.69MB, promoted=939.18MB
    minor collections=44455  major collections=39 compactions=0


[Info] runtime: 00:00:50.502
[Info] vars: 4343, evals: 8247

[Info] |called|=1881

Memory statistics: total=120915.44MB, max=265.50MB, minor=120888.01MB, major=1211.83MB, promoted=1184.41MB
    minor collections=57665  major collections=42 compactions=0


[Info] runtime: 00:01:00.530
[Info] vars: 4343, evals: 8247

[Info] |called|=1740

Memory statistics: total=148658.99MB, max=265.50MB, minor=148628.09MB, major=1463.82MB, promoted=1432.92MB
    minor collections=70894  major collections=46 compactions=0

