./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.6.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.6.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.6.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.374
[Info] vars: 3386, evals: 6451

[Info] |called|=2039

Memory statistics: total=22684.92MB, max=99.81MB, minor=22677.06MB, major=288.18MB, promoted=280.32MB
    minor collections=10826  major collections=27 compactions=0


[Info] runtime: 00:00:20.417
[Info] vars: 3389, evals: 6454

[Info] |called|=1655

Memory statistics: total=46657.89MB, max=132.00MB, minor=46646.46MB, major=498.14MB, promoted=486.71MB
    minor collections=22259  major collections=33 compactions=0


[Info] runtime: 00:00:30.456
[Info] vars: 3398, evals: 6463

[Info] |called|=1412

Memory statistics: total=72341.20MB, max=151.80MB, minor=72323.80MB, major=725.25MB, promoted=707.85MB
    minor collections=34506  major collections=38 compactions=0


[Info] runtime: 00:00:40.494
[Info] vars: 3399, evals: 6464

[Info] |called|=1196

Memory statistics: total=98744.59MB, max=174.57MB, minor=98721.85MB, major=969.88MB, promoted=947.15MB
    minor collections=47096  major collections=43 compactions=0


[Info] runtime: 00:00:50.527
[Info] vars: 3406, evals: 6471

[Info] |called|=1075

Memory statistics: total=125116.73MB, max=174.57MB, minor=125091.02MB, major=1202.61MB, promoted=1176.89MB
    minor collections=59672  major collections=47 compactions=0


[Info] runtime: 00:01:00.540
[Info] vars: 3406, evals: 6471

[Info] |called|=944

Memory statistics: total=153703.95MB, max=200.75MB, minor=153675.01MB, major=1465.07MB, promoted=1436.13MB
    minor collections=73304  major collections=52 compactions=0

