/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 korn/nested_6.yml.witness.yml --witness.yaml.validate korn/nested_6.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/nested_6.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.099
vars: 40, evals: 304

|rho|=40
|called|=18
|stable|=40
|infl|=32
|wpoint|=5
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=174.06MB, max=8.13MB, minor=171.23MB, major=9.40MB, promoted=6.57MB
    minor collections=83  major collections=4 compactions=0


runtime: 00:00:20.128
vars: 40, evals: 443

|rho|=40
|called|=19
|stable|=40
|infl|=32
|wpoint|=6
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=283.33MB, max=9.35MB, minor=280.49MB, major=10.64MB, promoted=7.80MB
    minor collections=135  major collections=5 compactions=0


runtime: 00:00:30.124
vars: 40, evals: 555

|rho|=40
|called|=18
|stable|=40
|infl|=32
|wpoint|=6
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=372.41MB, max=10.75MB, minor=369.55MB, major=11.62MB, promoted=8.76MB
    minor collections=178  major collections=5 compactions=0


runtime: 00:00:40.152
vars: 40, evals: 660

|rho|=40
|called|=19
|stable|=39
|infl|=32
|wpoint|=6
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=455.18MB, max=10.75MB, minor=452.32MB, major=12.54MB, promoted=9.67MB
    minor collections=217  major collections=5 compactions=0


runtime: 00:00:50.172
vars: 40, evals: 751

|rho|=40
|called|=18
|stable|=40
|infl|=32
|wpoint|=6
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=527.59MB, max=10.75MB, minor=524.72MB, major=13.40MB, promoted=10.53MB
    minor collections=252  major collections=6 compactions=0


runtime: 00:01:00.155
vars: 40, evals: 837

|rho|=40
|called|=19
|stable|=40
|infl|=32
|wpoint|=6
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=32
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_6.c:15:1-40:1

Memory statistics: total=595.67MB, max=10.75MB, minor=592.80MB, major=14.13MB, promoted=11.26MB
    minor collections=285  major collections=6 compactions=0

