./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.iprotocol.2.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.iprotocol.2.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.iprotocol.2.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.283
[Info] vars: 3203, evals: 6041

[Info] |called|=1733

Memory statistics: total=21618.45MB, max=86.79MB, minor=21609.87MB, major=282.95MB, promoted=274.38MB
    minor collections=10317  major collections=26 compactions=0


[Info] runtime: 00:00:20.334
[Info] vars: 3224, evals: 6062

[Info] |called|=1347

Memory statistics: total=47075.32MB, max=114.78MB, minor=47062.07MB, major=518.56MB, promoted=505.31MB
    minor collections=22457  major collections=34 compactions=0


[Info] runtime: 00:00:30.365
[Info] vars: 3225, evals: 6063

[Info] |called|=1064

Memory statistics: total=75203.92MB, max=151.80MB, minor=75183.70MB, major=769.79MB, promoted=749.57MB
    minor collections=35870  major collections=40 compactions=0


[Info] runtime: 00:00:40.387
[Info] vars: 3225, evals: 6063

[Info] |called|=834

Memory statistics: total=105293.05MB, max=151.80MB, minor=105267.17MB, major=1051.59MB, promoted=1025.71MB
    minor collections=50218  major collections=46 compactions=0


[Info] runtime: 00:00:50.410
[Info] vars: 3225, evals: 6063

[Info] |called|=647

Memory statistics: total=134431.49MB, max=151.80MB, minor=134401.01MB, major=1338.11MB, promoted=1307.63MB
    minor collections=64114  major collections=53 compactions=0


[Info] runtime: 00:01:00.437
[Info] vars: 3236, evals: 6074

[Info] |called|=513

Memory statistics: total=164853.16MB, max=174.57MB, minor=164819.47MB, major=1631.08MB, promoted=1597.40MB
    minor collections=78621  major collections=59 compactions=0

