./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+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.192
vars: 103, evals: 76

|rho|=103
|called|=4
|stable|=103
|infl|=97
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=76
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+sep-reducer.c:13:2-2724:2

Memory statistics: total=91.14MB, max=9.61MB, minor=87.62MB, major=12.92MB, promoted=9.40MB
    minor collections=135  major collections=15 compactions=0


runtime: 00:00:20.324
vars: 290, evals: 242

|rho|=290
|called|=7
|stable|=290
|infl|=281
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=242
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+sep-reducer.c:13:2-2724:2

Memory statistics: total=141.36MB, max=9.61MB, minor=137.43MB, major=15.14MB, promoted=11.21MB
    minor collections=235  major collections=24 compactions=0


runtime: 00:00:30.396
vars: 464, evals: 396

|rho|=464
|called|=2
|stable|=464
|infl|=460
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=396
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+sep-reducer.c:13:2-2724:2

Memory statistics: total=205.75MB, max=9.61MB, minor=201.44MB, major=17.38MB, promoted=13.07MB
    minor collections=329  major collections=32 compactions=0


runtime: 00:00:40.434
vars: 643, evals: 556

|rho|=643
|called|=5
|stable|=643
|infl|=636
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=556
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+sep-reducer.c:13:2-2724:2

Memory statistics: total=285.10MB, max=11.06MB, minor=280.40MB, major=19.71MB, promoted=15.02MB
    minor collections=428  major collections=39 compactions=0


runtime: 00:00:50.478
vars: 716, evals: 612

|rho|=716
|called|=5
|stable|=716
|infl|=709
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=612
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+sep-reducer.c:13:2-2724:2

Memory statistics: total=376.72MB, max=11.06MB, minor=371.67MB, major=22.11MB, promoted=17.07MB
    minor collections=527  major collections=47 compactions=0

