/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint --conf conf/svcomp-yaml-validate.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --witness.yaml.unassume graves-cpa/sumt9.yml.witness.yml --witness.yaml.validate graves-cpa/sumt9.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/sumt9.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.102
vars: 26, evals: 20

|rho|=26
|called|=3
|stable|=26
|infl|=22
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=20
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 ../plain/sumt9.c:16:1-45:1

Memory statistics: total=66.05MB, max=9.35MB, minor=63.25MB, major=10.32MB, promoted=7.51MB
    minor collections=42  major collections=4 compactions=0


runtime: 00:00:20.383
vars: 45, evals: 40

|rho|=45
|called|=3
|stable|=26
|infl|=42
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
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 ../plain/sumt9.c:16:1-45:1

Memory statistics: total=94.08MB, max=12.37MB, minor=91.28MB, major=12.74MB, promoted=9.93MB
    minor collections=67  major collections=5 compactions=0


runtime: 00:00:30.202
vars: 45, evals: 40

|rho|=45
|called|=3
|stable|=26
|infl|=42
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
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 ../plain/sumt9.c:16:1-45:1

Memory statistics: total=94.99MB, max=12.37MB, minor=92.18MB, major=12.75MB, promoted=9.94MB
    minor collections=78  major collections=6 compactions=0


runtime: 00:00:40.142
vars: 58, evals: 67

|rho|=58
|called|=3
|stable|=58
|infl|=55
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47
Found 4 contexts for 4 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 __VERIFIER_assert (2006) on ../plain/sumt9.c:8:1-13:1
1	contexts for entry state of main (2011) on ../plain/sumt9.c:16:1-45:1
1	contexts for entry state of reach_error (1999) on ../plain/sumt9.c:3:1-3:71

Memory statistics: total=126.32MB, max=12.37MB, minor=123.51MB, major=15.20MB, promoted=12.39MB
    minor collections=99  major collections=6 compactions=0


runtime: 00:00:50.179
vars: 58, evals: 67

|rho|=58
|called|=3
|stable|=58
|infl|=55
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47
Found 4 contexts for 4 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 __VERIFIER_assert (2006) on ../plain/sumt9.c:8:1-13:1
1	contexts for entry state of main (2011) on ../plain/sumt9.c:16:1-45:1
1	contexts for entry state of reach_error (1999) on ../plain/sumt9.c:3:1-3:71

Memory statistics: total=126.66MB, max=12.37MB, minor=123.86MB, major=15.20MB, promoted=12.39MB
    minor collections=103  major collections=6 compactions=0


runtime: 00:01:00.402
vars: 58, evals: 67

|rho|=58
|called|=3
|stable|=58
|infl|=55
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47
Found 4 contexts for 4 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 __VERIFIER_assert (2006) on ../plain/sumt9.c:8:1-13:1
1	contexts for entry state of main (2011) on ../plain/sumt9.c:16:1-45:1
1	contexts for entry state of reach_error (1999) on ../plain/sumt9.c:3:1-3:71

Memory statistics: total=127.29MB, max=12.37MB, minor=124.48MB, major=15.20MB, promoted=12.40MB
    minor collections=110  major collections=7 compactions=0

