./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+sep-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.319
vars: 41, evals: 24

|rho|=41
|called|=17
|stable|=41
|infl|=13
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24
Found 2 contexts for 2 functions. Top 5 functions:
1	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=125.41MB, max=14.28MB, minor=121.92MB, major=14.75MB, promoted=11.25MB
    minor collections=89  major collections=9 compactions=0


runtime: 00:00:20.353
vars: 46, evals: 26

|rho|=46
|called|=12
|stable|=46
|infl|=23
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26
Found 3 contexts for 2 functions. Top 5 functions:
2	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=182.91MB, max=14.28MB, minor=179.29MB, major=15.29MB, promoted=11.68MB
    minor collections=144  major collections=16 compactions=0

