/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_4.yml.witness.yml --witness.yaml.validate korn/nested_4.yml.witness.yml --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/nested_4.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.118
vars: 28, evals: 4093

|rho|=28
|called|=14
|stable|=28
|infl|=22
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=6532.59MB, max=16.36MB, minor=6529.57MB, major=41.48MB, promoted=38.46MB
    minor collections=3119  major collections=12 compactions=0


runtime: 00:00:20.150
vars: 28, evals: 6715

|rho|=28
|called|=10
|stable|=28
|infl|=22
|wpoint|=3
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=11331.90MB, max=18.81MB, minor=11328.79MB, major=65.43MB, promoted=62.31MB
    minor collections=5410  major collections=17 compactions=0


runtime: 00:00:30.174
vars: 28, evals: 8739

|rho|=28
|called|=13
|stable|=28
|infl|=22
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=15156.41MB, max=18.81MB, minor=15153.24MB, major=84.12MB, promoted=80.95MB
    minor collections=7236  major collections=21 compactions=0


runtime: 00:00:40.201
vars: 28, evals: 10404

|rho|=28
|called|=14
|stable|=27
|infl|=22
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=18429.01MB, max=21.63MB, minor=18425.79MB, major=99.80MB, promoted=96.58MB
    minor collections=8798  major collections=24 compactions=0


runtime: 00:00:50.229
vars: 28, evals: 11819

|rho|=28
|called|=14
|stable|=28
|infl|=22
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=21344.27MB, max=21.63MB, minor=21341.00MB, major=113.38MB, promoted=110.11MB
    minor collections=10189  major collections=26 compactions=0


runtime: 00:01:00.245
vars: 28, evals: 13077

|rho|=28
|called|=14
|stable|=27
|infl|=22
|wpoint|=4
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22
Found 1 contexts for 1 functions. Top 5 functions:
1	contexts for entry state of main (1997) on ../plain/nested_4.c:15:1-35:1

Memory statistics: total=23934.03MB, max=21.63MB, minor=23930.72MB, major=125.47MB, promoted=122.16MB
    minor collections=11425  major collections=28 compactions=0

