./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.elevator_planning.2.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.elevator_planning.2.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.elevator_planning.2.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.273
[Info] vars: 2174, evals: 3996

[Info] |called|=528

Memory statistics: total=27688.54MB, max=151.80MB, minor=27680.07MB, major=349.43MB, promoted=340.96MB
    minor collections=13209  major collections=21 compactions=0


[Info] runtime: 00:00:20.304
[Info] vars: 2174, evals: 3996

[Info] |called|=101

Memory statistics: total=58299.77MB, max=151.80MB, minor=58282.42MB, major=630.59MB, promoted=613.24MB
    minor collections=27805  major collections=27 compactions=0


[Info] runtime: 00:00:30.339
[Info] vars: 2190, evals: 5903

[Info] |called|=945

Memory statistics: total=83372.91MB, max=174.57MB, minor=83351.97MB, major=907.16MB, promoted=886.22MB
    minor collections=39761  major collections=32 compactions=0


[Info] runtime: 00:00:40.358
[Info] vars: 2190, evals: 5913

[Info] |called|=335

Memory statistics: total=108163.89MB, max=174.57MB, minor=108136.42MB, major=1156.92MB, promoted=1129.45MB
    minor collections=51582  major collections=37 compactions=0


[Info] runtime: 00:00:50.386
[Info] vars: 2190, evals: 5913

[Info] |called|=27

Memory statistics: total=136540.64MB, max=174.57MB, minor=136505.56MB, major=1409.66MB, promoted=1374.58MB
    minor collections=65112  major collections=42 compactions=0


[Info] runtime: 00:01:00.405
[Info] vars: 2190, evals: 7820

[Info] |called|=732

Memory statistics: total=159795.60MB, max=174.57MB, minor=159757.00MB, major=1683.76MB, promoted=1645.16MB
    minor collections=76202  major collections=48 compactions=0

