/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.084
vars: 40, evals: 311

|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=179.12MB, max=8.13MB, minor=176.29MB, major=9.43MB, promoted=6.60MB
    minor collections=85  major collections=4 compactions=0


runtime: 00:00:20.113
vars: 40, evals: 445

|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=285.28MB, max=9.35MB, minor=282.44MB, major=10.71MB, promoted=7.87MB
    minor collections=136  major collections=5 compactions=0


runtime: 00:00:30.114
vars: 40, evals: 557

|rho|=40
|called|=16
|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=375.64MB, max=10.75MB, minor=372.79MB, major=11.73MB, promoted=8.87MB
    minor collections=179  major collections=5 compactions=0


runtime: 00:00:40.130
vars: 40, evals: 661

|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=455.92MB, max=10.75MB, minor=453.05MB, major=12.63MB, promoted=9.77MB
    minor collections=218  major collections=5 compactions=0


runtime: 00:00:50.250
vars: 40, evals: 753

|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=528.65MB, max=10.75MB, minor=525.78MB, major=13.48MB, promoted=10.61MB
    minor collections=253  major collections=6 compactions=0


runtime: 00:01:00.173
vars: 40, evals: 836

|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=594.91MB, max=12.37MB, minor=592.03MB, major=14.21MB, promoted=11.33MB
    minor collections=284  major collections=6 compactions=0


runtime: 00:01:10.148
vars: 40, evals: 916

|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=657.77MB, max=12.37MB, minor=654.88MB, major=14.90MB, promoted=12.02MB
    minor collections=314  major collections=6 compactions=0


runtime: 00:01:20.185
vars: 40, evals: 986

|rho|=40
|called|=17
|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=715.26MB, max=12.37MB, minor=712.38MB, major=15.60MB, promoted=12.71MB
    minor collections=342  major collections=6 compactions=0


runtime: 00:01:30.266
vars: 40, evals: 1059

|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=771.10MB, max=14.22MB, minor=768.21MB, major=16.25MB, promoted=13.35MB
    minor collections=369  major collections=6 compactions=0


runtime: 00:01:40.311
vars: 40, evals: 1125

|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=823.75MB, max=14.22MB, minor=820.86MB, major=16.84MB, promoted=13.95MB
    minor collections=394  major collections=6 compactions=0


runtime: 00:01:50.215
vars: 40, evals: 1184

|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=871.44MB, max=14.22MB, minor=868.53MB, major=17.39MB, promoted=14.48MB
    minor collections=417  major collections=7 compactions=0


runtime: 00:02:00.261
vars: 40, evals: 1246

|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=920.43MB, max=14.22MB, minor=917.53MB, major=17.92MB, promoted=15.01MB
    minor collections=440  major collections=7 compactions=0


runtime: 00:02:10.233
vars: 40, evals: 1303

|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=965.92MB, max=14.22MB, minor=963.00MB, major=18.44MB, promoted=15.53MB
    minor collections=462  major collections=7 compactions=0


runtime: 00:02:20.223
vars: 40, evals: 1358

|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=1009.71MB, max=14.22MB, minor=1006.80MB, major=18.92MB, promoted=16.00MB
    minor collections=483  major collections=7 compactions=0


runtime: 00:02:30.231
vars: 40, evals: 1413

|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=1053.38MB, max=14.22MB, minor=1050.46MB, major=19.39MB, promoted=16.47MB
    minor collections=504  major collections=7 compactions=0


runtime: 00:02:40.296
vars: 40, evals: 1466

|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=1095.29MB, max=14.22MB, minor=1092.37MB, major=19.93MB, promoted=17.00MB
    minor collections=524  major collections=7 compactions=0


runtime: 00:02:50.474
vars: 40, evals: 1518

|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=1136.44MB, max=14.22MB, minor=1133.51MB, major=20.40MB, promoted=17.47MB
    minor collections=543  major collections=7 compactions=0


runtime: 00:03:00.287
vars: 40, evals: 1565

|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=1173.91MB, max=14.22MB, minor=1170.98MB, major=20.82MB, promoted=17.89MB
    minor collections=562  major collections=8 compactions=0


runtime: 00:03:10.265
vars: 40, evals: 1611

|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=1210.61MB, max=14.22MB, minor=1207.68MB, major=21.22MB, promoted=18.28MB
    minor collections=579  major collections=8 compactions=0


runtime: 00:03:20.278
vars: 40, evals: 1661

|rho|=40
|called|=20
|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=1249.30MB, max=14.22MB, minor=1246.36MB, major=21.66MB, promoted=18.72MB
    minor collections=598  major collections=8 compactions=0


runtime: 00:03:30.474
vars: 40, evals: 1708

|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=1286.87MB, max=14.22MB, minor=1283.92MB, major=22.14MB, promoted=19.19MB
    minor collections=615  major collections=8 compactions=0


runtime: 00:03:40.295
vars: 40, evals: 1752

|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=1322.31MB, max=14.22MB, minor=1319.36MB, major=22.56MB, promoted=19.61MB
    minor collections=632  major collections=8 compactions=0


runtime: 00:03:50.300
vars: 40, evals: 1796

|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=1357.43MB, max=14.22MB, minor=1354.48MB, major=22.97MB, promoted=20.02MB
    minor collections=649  major collections=8 compactions=0


runtime: 00:04:00.419
vars: 40, evals: 1840

|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=1391.77MB, max=14.22MB, minor=1388.82MB, major=23.39MB, promoted=20.43MB
    minor collections=665  major collections=8 compactions=0


runtime: 00:04:10.328
vars: 40, evals: 1877

|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=1422.15MB, max=14.22MB, minor=1419.19MB, major=23.72MB, promoted=20.76MB
    minor collections=680  major collections=8 compactions=0


runtime: 00:04:20.332
vars: 40, evals: 1919

|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=1454.77MB, max=14.22MB, minor=1451.81MB, major=24.06MB, promoted=21.10MB
    minor collections=695  major collections=8 compactions=0


runtime: 00:04:30.363
vars: 40, evals: 1959

|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=1486.83MB, max=14.22MB, minor=1483.87MB, major=24.43MB, promoted=21.46MB
    minor collections=711  major collections=8 compactions=0


runtime: 00:04:40.396
vars: 40, evals: 1996

|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=1515.86MB, max=14.22MB, minor=1512.89MB, major=24.78MB, promoted=21.82MB
    minor collections=725  major collections=9 compactions=0


runtime: 00:04:50.425
vars: 40, evals: 2031

|rho|=40
|called|=17
|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=1545.55MB, max=14.22MB, minor=1542.58MB, major=25.13MB, promoted=22.16MB
    minor collections=739  major collections=9 compactions=0


runtime: 00:05:00.573
vars: 40, evals: 2071

|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=1575.93MB, max=14.22MB, minor=1572.96MB, major=25.52MB, promoted=22.54MB
    minor collections=754  major collections=9 compactions=0


runtime: 00:05:10.517
vars: 40, evals: 2106

|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=1603.28MB, max=14.22MB, minor=1600.30MB, major=25.83MB, promoted=22.86MB
    minor collections=767  major collections=9 compactions=0


runtime: 00:05:20.532
vars: 40, evals: 2139

|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=1630.16MB, max=14.22MB, minor=1627.18MB, major=26.16MB, promoted=23.18MB
    minor collections=780  major collections=9 compactions=0


runtime: 00:05:30.711
vars: 40, evals: 2178

|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=1660.93MB, max=14.22MB, minor=1657.95MB, major=26.49MB, promoted=23.51MB
    minor collections=794  major collections=9 compactions=0


runtime: 00:05:40.512
vars: 40, evals: 2214

|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=1688.97MB, max=14.22MB, minor=1685.99MB, major=26.81MB, promoted=23.83MB
    minor collections=808  major collections=9 compactions=0


runtime: 00:05:50.474
vars: 40, evals: 2247

|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=1715.81MB, max=14.22MB, minor=1712.83MB, major=27.07MB, promoted=24.09MB
    minor collections=820  major collections=9 compactions=0


runtime: 00:06:00.420
vars: 40, evals: 2280

|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=1742.05MB, max=14.22MB, minor=1739.06MB, major=27.39MB, promoted=24.40MB
    minor collections=833  major collections=9 compactions=0


runtime: 00:06:10.692
vars: 40, evals: 2313

|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=1768.26MB, max=14.22MB, minor=1765.27MB, major=27.68MB, promoted=24.70MB
    minor collections=845  major collections=9 compactions=0


runtime: 00:06:20.633
vars: 40, evals: 2346

|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=1794.44MB, max=14.22MB, minor=1791.45MB, major=28.00MB, promoted=25.01MB
    minor collections=858  major collections=9 compactions=0


runtime: 00:06:30.534
vars: 40, evals: 2379

|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=1819.99MB, max=14.22MB, minor=1817.00MB, major=28.32MB, promoted=25.32MB
    minor collections=870  major collections=9 compactions=0


runtime: 00:06:40.795
vars: 40, evals: 2412

|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=1846.19MB, max=14.22MB, minor=1843.19MB, major=28.66MB, promoted=25.67MB
    minor collections=883  major collections=10 compactions=0


runtime: 00:06:50.738
vars: 40, evals: 2442

|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=1870.57MB, max=14.22MB, minor=1867.57MB, major=28.92MB, promoted=25.92MB
    minor collections=895  major collections=10 compactions=0


runtime: 00:07:00.643
vars: 40, evals: 2471

|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=1893.46MB, max=14.22MB, minor=1890.46MB, major=29.21MB, promoted=26.21MB
    minor collections=906  major collections=10 compactions=0


runtime: 00:07:10.515
vars: 40, evals: 2502

|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=1918.50MB, max=14.22MB, minor=1915.50MB, major=29.49MB, promoted=26.48MB
    minor collections=918  major collections=10 compactions=0


runtime: 00:07:20.799
vars: 40, evals: 2535

|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=1944.08MB, max=14.22MB, minor=1941.07MB, major=29.80MB, promoted=26.79MB
    minor collections=930  major collections=10 compactions=0


runtime: 00:07:30.571
vars: 40, evals: 2566

|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=1969.04MB, max=14.22MB, minor=1966.03MB, major=30.12MB, promoted=27.11MB
    minor collections=942  major collections=10 compactions=0


runtime: 00:07:40.934
vars: 40, evals: 2596

|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=1993.19MB, max=14.22MB, minor=1990.18MB, major=30.40MB, promoted=27.39MB
    minor collections=953  major collections=10 compactions=0


runtime: 00:07:50.608
vars: 40, evals: 2623

|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=2015.00MB, max=14.22MB, minor=2011.99MB, major=30.63MB, promoted=27.62MB
    minor collections=964  major collections=10 compactions=0


runtime: 00:08:00.667
vars: 40, evals: 2654

|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=2039.57MB, max=14.22MB, minor=2036.56MB, major=30.89MB, promoted=27.88MB
    minor collections=975  major collections=10 compactions=0


runtime: 00:08:10.589
vars: 40, evals: 2680

|rho|=40
|called|=17
|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=2062.03MB, max=14.22MB, minor=2059.02MB, major=31.13MB, promoted=28.11MB
    minor collections=986  major collections=10 compactions=0


runtime: 00:08:20.718
vars: 40, evals: 2711

|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=2084.53MB, max=14.22MB, minor=2081.52MB, major=31.38MB, promoted=28.37MB
    minor collections=997  major collections=10 compactions=0


runtime: 00:08:30.741
vars: 40, evals: 2739

|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=2107.23MB, max=14.22MB, minor=2104.21MB, major=31.68MB, promoted=28.67MB
    minor collections=1008  major collections=10 compactions=0


runtime: 00:08:40.705
vars: 40, evals: 2766

|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=2128.33MB, max=14.22MB, minor=2125.31MB, major=31.94MB, promoted=28.92MB
    minor collections=1018  major collections=10 compactions=0


runtime: 00:08:50.974
vars: 40, evals: 2794

|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=2150.94MB, max=14.22MB, minor=2147.92MB, major=32.20MB, promoted=29.18MB
    minor collections=1028  major collections=10 compactions=0


runtime: 00:09:00.697
vars: 40, evals: 2819

|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=2170.98MB, max=14.22MB, minor=2167.96MB, major=32.44MB, promoted=29.42MB
    minor collections=1038  major collections=10 compactions=0


runtime: 00:09:10.792
vars: 40, evals: 2845

|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=2191.42MB, max=14.22MB, minor=2188.39MB, major=32.64MB, promoted=29.62MB
    minor collections=1048  major collections=11 compactions=0


runtime: 00:09:20.662
vars: 40, evals: 2874

|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=2214.55MB, max=14.22MB, minor=2211.52MB, major=32.89MB, promoted=29.86MB
    minor collections=1059  major collections=11 compactions=0


runtime: 00:09:30.753
vars: 40, evals: 2898

|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=2233.95MB, max=14.22MB, minor=2230.92MB, major=33.10MB, promoted=30.07MB
    minor collections=1068  major collections=11 compactions=0


runtime: 00:09:40.956
vars: 40, evals: 2926

|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=2255.98MB, max=14.22MB, minor=2252.95MB, major=33.35MB, promoted=30.32MB
    minor collections=1079  major collections=11 compactions=0


runtime: 00:09:50.993
vars: 40, evals: 2951

|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=2275.96MB, max=14.22MB, minor=2272.93MB, major=33.55MB, promoted=30.52MB
    minor collections=1089  major collections=11 compactions=0


runtime: 00:10:00.897
vars: 40, evals: 2975

|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=2295.28MB, max=14.22MB, minor=2292.25MB, major=33.77MB, promoted=30.74MB
    minor collections=1098  major collections=11 compactions=0


runtime: 00:10:10.836
vars: 40, evals: 3003

|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=2317.26MB, max=14.22MB, minor=2314.22MB, major=34.03MB, promoted=30.99MB
    minor collections=1108  major collections=11 compactions=0


runtime: 00:10:21.004
vars: 40, evals: 3028

|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=2337.34MB, max=14.22MB, minor=2334.31MB, major=34.29MB, promoted=31.26MB
    minor collections=1118  major collections=11 compactions=0


runtime: 00:10:30.943
vars: 40, evals: 3052

|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=2356.70MB, max=14.22MB, minor=2353.67MB, major=34.50MB, promoted=31.46MB
    minor collections=1127  major collections=11 compactions=0


runtime: 00:10:40.725
vars: 40, evals: 3076

|rho|=40
|called|=17
|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=2376.43MB, max=14.22MB, minor=2373.39MB, major=34.70MB, promoted=31.66MB
    minor collections=1136  major collections=11 compactions=0


runtime: 00:10:50.991
vars: 40, evals: 3105

|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=2398.16MB, max=14.22MB, minor=2395.12MB, major=34.97MB, promoted=31.92MB
    minor collections=1147  major collections=11 compactions=0


runtime: 00:11:01.003
vars: 40, evals: 3127

|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=2416.51MB, max=14.22MB, minor=2413.47MB, major=35.14MB, promoted=32.10MB
    minor collections=1156  major collections=11 compactions=0


runtime: 00:11:10.777
vars: 40, evals: 3151

|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=2435.21MB, max=14.22MB, minor=2432.16MB, major=35.34MB, promoted=32.29MB
    minor collections=1164  major collections=11 compactions=0


runtime: 00:11:21.179
vars: 40, evals: 3173

|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=2453.39MB, max=14.22MB, minor=2450.34MB, major=35.54MB, promoted=32.50MB
    minor collections=1173  major collections=11 compactions=0


runtime: 00:11:31.205
vars: 40, evals: 3197

|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=2472.13MB, max=14.22MB, minor=2469.08MB, major=35.77MB, promoted=32.72MB
    minor collections=1182  major collections=11 compactions=0


runtime: 00:11:40.789
vars: 40, evals: 3219

|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=2489.87MB, max=14.22MB, minor=2486.82MB, major=36.01MB, promoted=32.96MB
    minor collections=1191  major collections=11 compactions=0


runtime: 00:11:51.297
vars: 40, evals: 3245

|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=2510.51MB, max=14.22MB, minor=2507.45MB, major=36.22MB, promoted=33.17MB
    minor collections=1200  major collections=11 compactions=0


runtime: 00:12:00.910
vars: 40, evals: 3267

|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=2528.05MB, max=14.22MB, minor=2525.00MB, major=36.41MB, promoted=33.36MB
    minor collections=1209  major collections=11 compactions=0


runtime: 00:12:11.286
vars: 40, evals: 3292

|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=2547.47MB, max=14.22MB, minor=2544.42MB, major=36.62MB, promoted=33.56MB
    minor collections=1218  major collections=11 compactions=0


runtime: 00:12:21.038
vars: 40, evals: 3314

|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=2564.95MB, max=14.22MB, minor=2561.90MB, major=36.81MB, promoted=33.76MB
    minor collections=1227  major collections=12 compactions=0


runtime: 00:12:30.845
vars: 40, evals: 3336

|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=2582.45MB, max=14.22MB, minor=2579.39MB, major=36.99MB, promoted=33.93MB
    minor collections=1235  major collections=12 compactions=0


runtime: 00:12:41.254
vars: 40, evals: 3358

|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=2600.60MB, max=14.22MB, minor=2597.54MB, major=37.19MB, promoted=34.13MB
    minor collections=1244  major collections=12 compactions=0


runtime: 00:12:51.073
vars: 40, evals: 3380

|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=2618.14MB, max=14.22MB, minor=2615.08MB, major=37.36MB, promoted=34.30MB
    minor collections=1252  major collections=12 compactions=0


runtime: 00:13:01.115
vars: 40, evals: 3402

|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=2635.61MB, max=14.22MB, minor=2632.55MB, major=37.56MB, promoted=34.50MB
    minor collections=1261  major collections=12 compactions=0


runtime: 00:13:11.131
vars: 40, evals: 3424

|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=2653.21MB, max=14.22MB, minor=2650.15MB, major=37.76MB, promoted=34.69MB
    minor collections=1269  major collections=12 compactions=0


runtime: 00:13:21.260
vars: 40, evals: 3446

|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=2670.75MB, max=14.22MB, minor=2667.68MB, major=37.92MB, promoted=34.85MB
    minor collections=1277  major collections=12 compactions=0


runtime: 00:13:30.936
vars: 40, evals: 3468

|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=2687.60MB, max=14.22MB, minor=2684.53MB, major=38.14MB, promoted=35.07MB
    minor collections=1285  major collections=12 compactions=0


runtime: 00:13:41.227
vars: 40, evals: 3490

|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=2705.16MB, max=14.22MB, minor=2702.09MB, major=38.36MB, promoted=35.29MB
    minor collections=1294  major collections=12 compactions=0


runtime: 00:13:50.891
vars: 40, evals: 3510

|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=2721.68MB, max=14.22MB, minor=2718.62MB, major=38.56MB, promoted=35.49MB
    minor collections=1302  major collections=12 compactions=0


runtime: 00:14:01.170
vars: 40, evals: 3531

|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=2738.52MB, max=14.22MB, minor=2735.45MB, major=38.77MB, promoted=35.70MB
    minor collections=1310  major collections=12 compactions=0


runtime: 00:14:10.956
vars: 40, evals: 3549

|rho|=40
|called|=17
|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=2754.30MB, max=14.22MB, minor=2751.23MB, major=38.93MB, promoted=35.86MB
    minor collections=1317  major collections=12 compactions=0


runtime: 00:14:21.199
vars: 40, evals: 3571

|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=2770.34MB, max=14.22MB, minor=2767.26MB, major=39.09MB, promoted=36.01MB
    minor collections=1325  major collections=12 compactions=0


runtime: 00:14:31.214
vars: 40, evals: 3591

|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=2786.87MB, max=16.36MB, minor=2783.80MB, major=39.25MB, promoted=36.17MB
    minor collections=1333  major collections=12 compactions=0


runtime: 00:14:41.419
vars: 40, evals: 3613

|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=2804.55MB, max=16.36MB, minor=2801.48MB, major=39.44MB, promoted=36.36MB
    minor collections=1341  major collections=12 compactions=0


runtime: 00:14:51.122
vars: 40, evals: 3633

|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=2820.49MB, max=16.36MB, minor=2817.41MB, major=39.69MB, promoted=36.62MB
    minor collections=1349  major collections=12 compactions=0

