./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.driving_phils.3.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.driving_phils.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.driving_phils.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.545
[Info] vars: 5275, evals: 9956

[Info] |called|=3730

Memory statistics: total=16279.46MB, max=114.78MB, minor=16270.57MB, major=275.84MB, promoted=266.95MB
    minor collections=7769  major collections=23 compactions=0


[Info] runtime: 00:00:20.612
[Info] vars: 5308, evals: 9989

[Info] |called|=3294

Memory statistics: total=36895.73MB, max=174.57MB, minor=36883.26MB, major=491.55MB, promoted=479.07MB
    minor collections=17601  major collections=28 compactions=0


[Info] runtime: 00:00:30.667
[Info] vars: 5333, evals: 10014

[Info] |called|=2950

Memory statistics: total=58894.34MB, max=265.50MB, minor=58874.95MB, major=710.88MB, promoted=691.48MB
    minor collections=28089  major collections=31 compactions=0


[Info] runtime: 00:00:40.719
[Info] vars: 5356, evals: 10036

[Info] |called|=2719

Memory statistics: total=81782.31MB, max=265.50MB, minor=81757.26MB, major=923.70MB, promoted=898.64MB
    minor collections=39001  major collections=34 compactions=0


[Info] runtime: 00:00:50.761
[Info] vars: 5376, evals: 10057

[Info] |called|=2493

Memory statistics: total=103677.30MB, max=305.32MB, minor=103646.68MB, major=1138.94MB, promoted=1108.31MB
    minor collections=49440  major collections=36 compactions=0


[Info] runtime: 00:01:00.781
[Info] vars: 5389, evals: 10070

[Info] |called|=2308

Memory statistics: total=128351.31MB, max=351.13MB, minor=128316.11MB, major=1370.07MB, promoted=1334.86MB
    minor collections=61205  major collections=38 compactions=0

