./goblint --conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/../../../results/st-lit-guide/convert-tmp.2023-01-31_11-34-58.files/cpachecker/hh-ex3.yml/witness.yml --sets ana.specification /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Warning][Witness] couldn't locate invariant: j == (4) && i == (4) (/mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:32:3)
[Warning][Witness] couldn't locate invariant: (i == (7) && j == (4)) || (i == (6) && j == (4)) || (j == (4) && i == (4)) || (i == (5) && j == (4)) (/mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:26:5)

runtime: 00:00:11.864
vars: 20, evals: 38

|rho|=20
|called|=9
|stable|=20
|infl|=18
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (2020) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:14:1-33:1

Memory statistics: total=11136.31MB, max=797.15MB, minor=11122.50MB, major=776.65MB, promoted=762.85MB
    minor collections=5313  major collections=16 compactions=0


runtime: 00:00:21.883
vars: 20, evals: 38

|rho|=20
|called|=9
|stable|=20
|infl|=18
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=17
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (2020) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:14:1-33:1

Memory statistics: total=11619.15MB, max=797.15MB, minor=11605.35MB, major=776.80MB, promoted=763.00MB
    minor collections=5543  major collections=16 compactions=0


runtime: 00:00:31.954
vars: 29, evals: 70

|rho|=29
|called|=9
|stable|=25
|infl|=27
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 2 contexts for 2 functions. Top 5 functions:
1	contexts for entry state of __VERIFIER_assert (2017) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:13:1-13:84
1	contexts for entry state of main (2020) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:14:1-33:1

Memory statistics: total=19415.37MB, max=916.73MB, minor=19401.51MB, major=1412.00MB, promoted=1398.14MB
    minor collections=9262  major collections=19 compactions=0


runtime: 00:00:41.961
vars: 29, evals: 70

|rho|=29
|called|=9
|stable|=25
|infl|=27
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 2 contexts for 2 functions. Top 5 functions:
1	contexts for entry state of __VERIFIER_assert (2017) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:13:1-13:84
1	contexts for entry state of main (2020) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:14:1-33:1

Memory statistics: total=19906.28MB, max=916.73MB, minor=19892.42MB, major=1412.14MB, promoted=1398.28MB
    minor collections=9496  major collections=19 compactions=0


runtime: 00:00:51.972
vars: 29, evals: 70

|rho|=29
|called|=9
|stable|=25
|infl|=27
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 2 contexts for 2 functions. Top 5 functions:
1	contexts for entry state of __VERIFIER_assert (2017) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:13:1-13:84
1	contexts for entry state of main (2020) on /mnt/thread-witnesses/replication/bench/thread-witnesses/st-lit/prec/hh-ex3.i:14:1-33:1

Memory statistics: total=28431.48MB, max=916.73MB, minor=28417.56MB, major=2048.75MB, promoted=2034.84MB
    minor collections=13563  major collections=22 compactions=0

