./goblint --conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --enable witness.invariant.loop-head --disable witness.invariant.other --disable witness.invariant.accessed --sets ana.specification /mnt/thread-witnesses/replication/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/thread-witnesses/replication/sv-benchmarks/c/loop-invgen/apache-get-tag.i.p+nlh-reducer.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )

runtime: 00:00:10.344
vars: 75, evals: 52

|rho|=75
|called|=13
|stable|=75
|infl|=57
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52
Found 5 contexts for 2 functions. Top 5 functions:
4	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on /mnt/thread-witnesses/replication/sv-benchmarks/c/loop-invgen/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=126.89MB, max=11.29MB, minor=123.27MB, major=13.07MB, promoted=9.45MB
    minor collections=115  major collections=14 compactions=0


runtime: 00:00:20.323
vars: 128, evals: 91

|rho|=128
|called|=16
|stable|=128
|infl|=107
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91
Found 8 contexts for 2 functions. Top 5 functions:
7	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on /mnt/thread-witnesses/replication/sv-benchmarks/c/loop-invgen/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=193.56MB, max=11.29MB, minor=189.60MB, major=14.71MB, promoted=10.76MB
    minor collections=201  major collections=24 compactions=0


runtime: 00:00:30.369
vars: 166, evals: 117

|rho|=166
|called|=10
|stable|=166
|infl|=151
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117
Found 10 contexts for 2 functions. Top 5 functions:
9	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on /mnt/thread-witnesses/replication/sv-benchmarks/c/loop-invgen/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=247.51MB, max=11.29MB, minor=243.27MB, major=16.09MB, promoted=11.85MB
    minor collections=275  major collections=33 compactions=0

