/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.090
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.141
vars: 40, evals: 445

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


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

|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=373.55MB, max=10.75MB, minor=370.70MB, major=11.71MB, promoted=8.86MB
    minor collections=178  major collections=5 compactions=0


runtime: 00:00:40.094
vars: 40, evals: 656

|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=452.38MB, max=10.75MB, minor=449.52MB, major=12.59MB, promoted=9.73MB
    minor collections=216  major collections=5 compactions=0


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

|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=526.27MB, max=10.75MB, minor=523.40MB, major=13.47MB, promoted=10.60MB
    minor collections=252  major collections=6 compactions=0


runtime: 00:01:00.151
vars: 40, evals: 832

|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=591.58MB, max=12.37MB, minor=588.70MB, major=14.18MB, promoted=11.31MB
    minor collections=283  major collections=6 compactions=0


runtime: 00:01:10.270
vars: 40, evals: 913

|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=655.91MB, max=12.37MB, minor=653.02MB, major=14.91MB, promoted=12.03MB
    minor collections=314  major collections=6 compactions=0


runtime: 00:01:20.196
vars: 40, evals: 984

|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=712.52MB, max=12.37MB, minor=709.64MB, major=15.60MB, promoted=12.71MB
    minor collections=341  major collections=6 compactions=0


runtime: 00:01:30.141
vars: 40, evals: 1052

|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=767.99MB, max=14.22MB, minor=765.10MB, major=16.20MB, promoted=13.31MB
    minor collections=367  major collections=6 compactions=0


runtime: 00:01:40.221
vars: 40, evals: 1118

|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=818.61MB, max=14.22MB, minor=815.71MB, major=16.76MB, promoted=13.86MB
    minor collections=391  major collections=6 compactions=0


runtime: 00:01:50.261
vars: 40, evals: 1182

|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=869.13MB, max=14.22MB, minor=866.23MB, major=17.36MB, promoted=14.45MB
    minor collections=416  major collections=7 compactions=0


runtime: 00:02:00.303
vars: 40, evals: 1243

|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=917.92MB, max=14.22MB, minor=915.01MB, major=17.91MB, promoted=15.00MB
    minor collections=439  major collections=7 compactions=0


runtime: 00:02:10.311
vars: 40, evals: 1301

|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=964.21MB, max=14.22MB, minor=961.30MB, major=18.41MB, promoted=15.50MB
    minor collections=461  major collections=7 compactions=0


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

|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=1009.01MB, max=14.22MB, minor=1006.09MB, major=18.91MB, promoted=16.00MB
    minor collections=482  major collections=7 compactions=0


runtime: 00:02:30.227
vars: 40, evals: 1411

|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=1051.66MB, max=14.22MB, minor=1048.74MB, major=19.40MB, promoted=16.47MB
    minor collections=503  major collections=7 compactions=0


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

|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=1094.61MB, max=14.22MB, minor=1091.68MB, major=19.93MB, promoted=17.00MB
    minor collections=523  major collections=7 compactions=0


runtime: 00:02:50.229
vars: 40, evals: 1512

|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=1131.96MB, max=14.22MB, minor=1129.03MB, major=20.34MB, promoted=17.41MB
    minor collections=541  major collections=7 compactions=0


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

|rho|=40
|called|=20
|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=1172.37MB, max=14.22MB, minor=1169.44MB, major=20.82MB, promoted=17.89MB
    minor collections=561  major collections=8 compactions=0


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

|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=1209.95MB, max=14.22MB, minor=1207.02MB, major=21.22MB, promoted=18.29MB
    minor collections=579  major collections=8 compactions=0


runtime: 00:03:20.399
vars: 40, evals: 1655

|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=1245.62MB, max=14.22MB, minor=1242.68MB, major=21.64MB, promoted=18.70MB
    minor collections=596  major collections=8 compactions=0


runtime: 00:03:30.404
vars: 40, evals: 1701

|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=1281.71MB, max=14.22MB, minor=1278.76MB, major=22.08MB, promoted=19.13MB
    minor collections=613  major collections=8 compactions=0


runtime: 00:03:40.322
vars: 40, evals: 1745

|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=1316.65MB, max=14.22MB, minor=1313.71MB, major=22.51MB, promoted=19.56MB
    minor collections=630  major collections=8 compactions=0


runtime: 00:03:50.390
vars: 40, evals: 1789

|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=1351.62MB, max=14.22MB, minor=1348.67MB, major=22.89MB, promoted=19.94MB
    minor collections=646  major collections=8 compactions=0


runtime: 00:04:00.303
vars: 40, evals: 1833

|rho|=40
|called|=20
|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=1385.69MB, max=14.22MB, minor=1382.73MB, major=23.30MB, promoted=20.35MB
    minor collections=663  major collections=8 compactions=0


runtime: 00:04:10.527
vars: 40, evals: 1875

|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=1419.84MB, max=14.22MB, minor=1416.89MB, major=23.68MB, promoted=20.72MB
    minor collections=679  major collections=8 compactions=0


runtime: 00:04:20.590
vars: 40, evals: 1917

|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=1453.02MB, max=14.22MB, minor=1450.06MB, major=24.05MB, promoted=21.09MB
    minor collections=695  major collections=8 compactions=0


runtime: 00:04:30.540
vars: 40, evals: 1952

|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=1481.63MB, max=14.22MB, minor=1478.66MB, major=24.35MB, promoted=21.39MB
    minor collections=708  major collections=8 compactions=0


runtime: 00:04:40.464
vars: 40, evals: 1994

|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=1514.11MB, max=14.22MB, minor=1511.15MB, major=24.70MB, promoted=21.73MB
    minor collections=724  major collections=9 compactions=0


runtime: 00:04:50.451
vars: 40, evals: 2029

|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=1542.77MB, max=14.22MB, minor=1539.80MB, major=25.05MB, promoted=22.08MB
    minor collections=738  major collections=9 compactions=0


runtime: 00:05:00.544
vars: 40, evals: 2068

|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=1573.45MB, max=14.22MB, minor=1570.48MB, major=25.42MB, promoted=22.45MB
    minor collections=753  major collections=9 compactions=0


runtime: 00:05:10.426
vars: 40, evals: 2104

|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=1602.17MB, max=14.22MB, minor=1599.20MB, major=25.72MB, promoted=22.75MB
    minor collections=766  major collections=9 compactions=0


runtime: 00:05:20.598
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.11MB, max=14.22MB, minor=1627.14MB, major=26.07MB, promoted=23.10MB
    minor collections=780  major collections=9 compactions=0


runtime: 00:05:30.530
vars: 40, evals: 2174

|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=1657.61MB, max=14.22MB, minor=1654.63MB, major=26.39MB, promoted=23.41MB
    minor collections=793  major collections=9 compactions=0


runtime: 00:05:40.498
vars: 40, evals: 2211

|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=1687.14MB, max=14.22MB, minor=1684.15MB, major=26.68MB, promoted=23.70MB
    minor collections=807  major collections=9 compactions=0


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

|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=1715.17MB, max=14.22MB, minor=1712.18MB, major=26.99MB, promoted=24.01MB
    minor collections=820  major collections=9 compactions=0


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

|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=1741.87MB, max=14.22MB, minor=1738.89MB, major=27.30MB, promoted=24.32MB
    minor collections=833  major collections=9 compactions=0


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

|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=1768.06MB, max=14.22MB, minor=1765.07MB, major=27.60MB, promoted=24.61MB
    minor collections=845  major collections=9 compactions=0


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

|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=1793.80MB, max=14.22MB, minor=1790.81MB, major=27.91MB, promoted=24.92MB
    minor collections=858  major collections=9 compactions=0


runtime: 00:06:30.592
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.24MB, promoted=25.24MB
    minor collections=870  major collections=9 compactions=0


runtime: 00:06:40.466
vars: 40, evals: 2410

|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=1845.12MB, max=14.22MB, minor=1842.12MB, major=28.52MB, promoted=25.52MB
    minor collections=883  major collections=10 compactions=0


runtime: 00:06:50.508
vars: 40, evals: 2438

|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=1868.87MB, max=14.22MB, minor=1865.87MB, major=28.74MB, promoted=25.74MB
    minor collections=894  major collections=10 compactions=0


runtime: 00:07:00.467
vars: 40, evals: 2469

|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=1892.35MB, max=14.22MB, minor=1889.35MB, major=29.03MB, promoted=26.03MB
    minor collections=905  major collections=10 compactions=0


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

|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=1918.39MB, max=14.22MB, minor=1915.39MB, major=29.35MB, promoted=26.35MB
    minor collections=918  major collections=10 compactions=0


runtime: 00:07:20.789
vars: 40, evals: 2533

|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=1943.03MB, max=14.22MB, minor=1940.03MB, major=29.63MB, promoted=26.62MB
    minor collections=929  major collections=10 compactions=0


runtime: 00:07:30.505
vars: 40, evals: 2564

|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=1967.47MB, max=14.22MB, minor=1964.47MB, major=29.94MB, promoted=26.93MB
    minor collections=941  major collections=10 compactions=0


runtime: 00:07:40.775
vars: 40, evals: 2592

|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=1989.86MB, max=14.22MB, minor=1986.86MB, major=30.21MB, promoted=27.20MB
    minor collections=952  major collections=10 compactions=0


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

|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=2014.35MB, max=14.22MB, minor=2011.34MB, major=30.49MB, promoted=27.48MB
    minor collections=963  major collections=10 compactions=0


runtime: 00:08:00.536
vars: 40, evals: 2652

|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=2037.87MB, max=14.22MB, minor=2034.85MB, major=30.76MB, promoted=27.75MB
    minor collections=975  major collections=10 compactions=0


runtime: 00:08:10.730
vars: 40, evals: 2678

|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=2058.84MB, max=14.22MB, minor=2055.82MB, major=30.97MB, promoted=27.96MB
    minor collections=984  major collections=10 compactions=0


runtime: 00:08:20.627
vars: 40, evals: 2709

|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=2083.42MB, max=14.22MB, minor=2080.40MB, major=31.22MB, promoted=28.21MB
    minor collections=996  major collections=10 compactions=0


runtime: 00:08:30.737
vars: 40, evals: 2735

|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=2103.91MB, max=14.22MB, minor=2100.89MB, major=31.48MB, promoted=28.46MB
    minor collections=1006  major collections=10 compactions=0


runtime: 00:08:40.647
vars: 40, evals: 2764

|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=2127.23MB, max=14.22MB, minor=2124.21MB, major=31.76MB, promoted=28.74MB
    minor collections=1017  major collections=10 compactions=0


runtime: 00:08:50.566
vars: 40, evals: 2790

|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=2146.98MB, max=14.22MB, minor=2143.96MB, major=32.02MB, promoted=28.99MB
    minor collections=1027  major collections=10 compactions=0


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

|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=2170.31MB, max=14.22MB, minor=2167.28MB, major=32.25MB, promoted=29.23MB
    minor collections=1038  major collections=10 compactions=0


runtime: 00:09:10.814
vars: 40, evals: 2843

|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=2190.20MB, max=14.22MB, minor=2187.18MB, major=32.42MB, promoted=29.39MB
    minor collections=1047  major collections=10 compactions=0


runtime: 00:09:20.898
vars: 40, evals: 2871

|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=2212.17MB, max=14.22MB, minor=2209.15MB, major=32.68MB, promoted=29.65MB
    minor collections=1058  major collections=11 compactions=0


runtime: 00:09:30.836
vars: 40, evals: 2896

|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=2232.15MB, max=14.22MB, minor=2229.12MB, major=32.90MB, promoted=29.87MB
    minor collections=1068  major collections=11 compactions=0


runtime: 00:09:40.719
vars: 40, evals: 2920

|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=2251.43MB, max=14.22MB, minor=2248.40MB, major=33.10MB, promoted=30.07MB
    minor collections=1077  major collections=11 compactions=0


runtime: 00:09:50.711
vars: 40, evals: 2948

|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=2273.37MB, max=14.22MB, minor=2270.34MB, major=33.33MB, promoted=30.30MB
    minor collections=1087  major collections=11 compactions=0


runtime: 00:10:00.846
vars: 40, evals: 2973

|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=2293.43MB, max=14.22MB, minor=2290.39MB, major=33.57MB, promoted=30.53MB
    minor collections=1097  major collections=11 compactions=0


runtime: 00:10:10.627
vars: 40, evals: 2997

|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=2312.69MB, max=14.22MB, minor=2309.65MB, major=33.77MB, promoted=30.74MB
    minor collections=1106  major collections=11 compactions=0


runtime: 00:10:21.098
vars: 40, evals: 3025

|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=2334.74MB, max=14.22MB, minor=2331.71MB, major=34.05MB, promoted=31.02MB
    minor collections=1117  major collections=11 compactions=0


runtime: 00:10:30.910
vars: 40, evals: 3050

|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=2354.88MB, max=14.22MB, minor=2351.85MB, major=34.25MB, promoted=31.21MB
    minor collections=1126  major collections=11 compactions=0


runtime: 00:10:40.769
vars: 40, evals: 3074

|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=2373.53MB, max=14.22MB, minor=2370.49MB, major=34.47MB, promoted=31.43MB
    minor collections=1135  major collections=11 compactions=0


runtime: 00:10:50.664
vars: 40, evals: 3096

|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=2391.78MB, max=14.22MB, minor=2388.74MB, major=34.68MB, promoted=31.64MB
    minor collections=1144  major collections=11 compactions=0


runtime: 00:11:01.055
vars: 40, evals: 3124

|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=2413.92MB, max=14.22MB, minor=2410.87MB, major=34.89MB, promoted=31.85MB
    minor collections=1154  major collections=11 compactions=0


runtime: 00:11:10.896
vars: 40, evals: 3149

|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=2433.44MB, max=14.22MB, minor=2430.39MB, major=35.16MB, promoted=32.12MB
    minor collections=1164  major collections=11 compactions=0


runtime: 00:11:20.942
vars: 40, evals: 3171

|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=2451.63MB, max=14.22MB, minor=2448.58MB, major=35.34MB, promoted=32.29MB
    minor collections=1172  major collections=11 compactions=0


runtime: 00:11:31.033
vars: 40, evals: 3195

|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=2470.25MB, max=14.22MB, minor=2467.21MB, major=35.59MB, promoted=32.54MB
    minor collections=1181  major collections=11 compactions=0


runtime: 00:11:40.712
vars: 40, evals: 3217

|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=2488.39MB, max=14.22MB, minor=2485.34MB, major=35.82MB, promoted=32.77MB
    minor collections=1190  major collections=11 compactions=0


runtime: 00:11:50.745
vars: 40, evals: 3239

|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=2505.99MB, max=14.22MB, minor=2502.94MB, major=36.00MB, promoted=32.95MB
    minor collections=1198  major collections=11 compactions=0


runtime: 00:12:00.897
vars: 40, evals: 3261

|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=2523.56MB, max=14.22MB, minor=2520.51MB, major=36.19MB, promoted=33.14MB
    minor collections=1207  major collections=11 compactions=0


runtime: 00:12:10.714
vars: 40, evals: 3285

|rho|=40
|called|=20
|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=2541.39MB, max=14.22MB, minor=2538.34MB, major=36.39MB, promoted=33.34MB
    minor collections=1215  major collections=11 compactions=0


runtime: 00:12:21.240
vars: 40, evals: 3307

|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=2559.79MB, max=14.22MB, minor=2556.73MB, major=36.57MB, promoted=33.51MB
    minor collections=1224  major collections=11 compactions=0


runtime: 00:12:31.135
vars: 40, evals: 3329

|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=2577.30MB, max=14.22MB, minor=2574.25MB, major=36.74MB, promoted=33.69MB
    minor collections=1232  major collections=11 compactions=0


runtime: 00:12:40.932
vars: 40, evals: 3351

|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=2594.84MB, max=14.22MB, minor=2591.78MB, major=36.93MB, promoted=33.87MB
    minor collections=1241  major collections=12 compactions=0


runtime: 00:12:50.878
vars: 40, evals: 3373

|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=2612.36MB, max=14.22MB, minor=2609.30MB, major=37.13MB, promoted=34.07MB
    minor collections=1249  major collections=12 compactions=0


runtime: 00:13:00.964
vars: 40, evals: 3395

|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=2629.86MB, max=14.22MB, minor=2626.80MB, major=37.33MB, promoted=34.27MB
    minor collections=1258  major collections=12 compactions=0


runtime: 00:13:11.049
vars: 40, evals: 3417

|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=2647.41MB, max=14.22MB, minor=2644.35MB, major=37.49MB, promoted=34.43MB
    minor collections=1266  major collections=12 compactions=0


runtime: 00:13:21.133
vars: 40, evals: 3439

|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=2664.96MB, max=14.22MB, minor=2661.90MB, major=37.73MB, promoted=34.67MB
    minor collections=1275  major collections=12 compactions=0


runtime: 00:13:31.305
vars: 40, evals: 3461

|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=2682.44MB, max=14.22MB, minor=2679.38MB, major=37.92MB, promoted=34.86MB
    minor collections=1283  major collections=12 compactions=0


runtime: 00:13:40.810
vars: 40, evals: 3481

|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=2698.85MB, max=14.22MB, minor=2695.78MB, major=38.10MB, promoted=35.03MB
    minor collections=1291  major collections=12 compactions=0


runtime: 00:13:51.073
vars: 40, evals: 3503

|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=2716.47MB, max=14.22MB, minor=2713.40MB, major=38.27MB, promoted=35.20MB
    minor collections=1299  major collections=12 compactions=0


runtime: 00:14:00.829
vars: 40, evals: 3525

|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=2734.00MB, max=14.22MB, minor=2730.93MB, major=38.50MB, promoted=35.43MB
    minor collections=1307  major collections=12 compactions=0


runtime: 00:14:10.816
vars: 40, evals: 3547

|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=2751.52MB, max=14.22MB, minor=2748.45MB, major=38.71MB, promoted=35.64MB
    minor collections=1316  major collections=12 compactions=0


runtime: 00:14:21.423
vars: 40, evals: 3569

|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=2768.49MB, max=14.22MB, minor=2765.41MB, major=38.87MB, promoted=35.80MB
    minor collections=1324  major collections=12 compactions=0


runtime: 00:14:31.073
vars: 40, evals: 3589

|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=2785.08MB, max=14.22MB, minor=2782.01MB, major=39.05MB, promoted=35.98MB
    minor collections=1332  major collections=12 compactions=0


runtime: 00:14:41.128
vars: 40, evals: 3611

|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=2802.12MB, max=14.22MB, minor=2799.05MB, major=39.22MB, promoted=36.15MB
    minor collections=1340  major collections=12 compactions=0


runtime: 00:14:51.156
vars: 40, evals: 3630

|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=2818.10MB, max=16.36MB, minor=2815.02MB, major=39.42MB, promoted=36.34MB
    minor collections=1348  major collections=12 compactions=0

