./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/id_build.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.194
vars: 99, evals: 72

|rho|=99
|called|=2
|stable|=99
|infl|=95
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=72
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/id_build.i.p+nlh-reducer.c:13:2-2692:2

Memory statistics: total=89.82MB, max=10.08MB, minor=86.33MB, major=12.93MB, promoted=9.43MB
    minor collections=130  major collections=15 compactions=0


runtime: 00:00:20.260
vars: 275, evals: 228

|rho|=275
|called|=4
|stable|=275
|infl|=269
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=228
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/id_build.i.p+nlh-reducer.c:13:2-2692:2

Memory statistics: total=139.04MB, max=10.08MB, minor=135.13MB, major=15.14MB, promoted=11.23MB
    minor collections=231  major collections=24 compactions=0


runtime: 00:00:30.395
vars: 447, evals: 380

|rho|=447
|called|=4
|stable|=447
|infl|=441
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=380
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/id_build.i.p+nlh-reducer.c:13:2-2692:2

Memory statistics: total=202.92MB, max=10.08MB, minor=198.63MB, major=17.41MB, promoted=13.11MB
    minor collections=328  major collections=32 compactions=0


runtime: 00:00:40.354
vars: 614, evals: 528

|rho|=614
|called|=3
|stable|=614
|infl|=609
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=528
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/id_build.i.p+nlh-reducer.c:13:2-2692:2

Memory statistics: total=281.34MB, max=10.08MB, minor=276.66MB, major=19.73MB, promoted=15.05MB
    minor collections=427  major collections=40 compactions=0


runtime: 00:00:50.423
vars: 691, evals: 588

|rho|=691
|called|=7
|stable|=691
|infl|=682
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=588
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/id_build.i.p+nlh-reducer.c:13:2-2692:2

Memory statistics: total=372.96MB, max=10.08MB, minor=367.93MB, major=22.13MB, promoted=17.10MB
    minor collections=528  major collections=48 compactions=0

