./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.219
vars: 28970, evals: 37685

|rho|=28970
|stable|=25741
|infl|=28919
|wpoint|=5
|sides|=2891
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=23356
|called|=52
Found 2381 contexts for 64 functions. Top 5 functions:
518	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
314	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
244	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
148	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
148	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=27277.52MB, max=151.80MB, minor=27272.19MB, major=337.54MB, promoted=332.20MB
    minor collections=13014  major collections=19 compactions=0


runtime: 00:00:20.271
vars: 60374, evals: 68094

|rho|=60374
|stable|=57123
|infl|=60330
|wpoint|=7
|sides|=5612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=49274
|called|=71
Found 5025 contexts for 76 functions. Top 5 functions:
1083	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
674	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
529	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
328	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
314	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=51039.68MB, max=265.50MB, minor=51031.37MB, major=638.06MB, promoted=629.75MB
    minor collections=24345  major collections=23 compactions=0


runtime: 00:00:30.338
vars: 85401, evals: 92428

|rho|=85400
|stable|=82165
|infl|=85338
|wpoint|=6
|sides|=7771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=69976
|called|=71
Found 7162 contexts for 78 functions. Top 5 functions:
1543	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
970	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
756	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
470	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
451	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=72844.70MB, max=403.80MB, minor=72831.37MB, major=904.40MB, promoted=891.07MB
    minor collections=34742  major collections=26 compactions=0


runtime: 00:00:40.414
vars: 108034, evals: 114448

|rho|=108034
|stable|=104799
|infl|=107965
|wpoint|=5
|sides|=9708
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=88747
|called|=75
Found 9083 contexts for 78 functions. Top 5 functions:
1952	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
1238	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
963	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
602	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
570	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=94303.51MB, max=534.03MB, minor=94289.18MB, major=1151.35MB, promoted=1137.03MB
    minor collections=44975  major collections=27 compactions=0


runtime: 00:00:50.441
vars: 126142, evals: 132101

|rho|=126142
|stable|=122891
|infl|=126077
|wpoint|=7
|sides|=11249
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=103774
|called|=99
Found 10624 contexts for 78 functions. Top 5 functions:
2282	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
1450	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1131	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
706	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
671	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=115613.94MB, max=614.13MB, minor=115598.66MB, major=1347.68MB, promoted=1332.40MB
    minor collections=55137  major collections=28 compactions=0


runtime: 00:01:00.513
vars: 143184, evals: 148712

|rho|=143184
|stable|=139949
|infl|=143112
|wpoint|=6
|sides|=12703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117909
|called|=81
Found 12078 contexts for 78 functions. Top 5 functions:
2594	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
1652	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1286	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
803	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
762	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=137360.43MB, max=706.25MB, minor=137337.85MB, major=1551.48MB, promoted=1528.90MB
    minor collections=65504  major collections=29 compactions=0


runtime: 00:01:10.552
vars: 160623, evals: 165705

|rho|=160623
|stable|=157388
|infl|=160579
|wpoint|=7
|sides|=14186
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=132377
|called|=56
Found 13561 contexts for 78 functions. Top 5 functions:
2910	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
1860	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1444	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
905	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
854	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=159169.00MB, max=812.19MB, minor=159143.30MB, major=1758.50MB, promoted=1732.80MB
    minor collections=75902  major collections=30 compactions=0


runtime: 00:01:20.580
vars: 179934, evals: 184455

|rho|=179934
|stable|=176705
|infl|=179882
|wpoint|=6
|sides|=15826
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=148395
|called|=57
Found 15177 contexts for 80 functions. Top 5 functions:
3257	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2081	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1619	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1019	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
949	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=180918.41MB, max=812.19MB, minor=180891.59MB, major=1962.64MB, promoted=1935.82MB
    minor collections=86273  major collections=31 compactions=0


runtime: 00:01:30.655
vars: 195681, evals: 201206

|rho|=195681
|stable|=93893
|infl|=195638
|wpoint|=7
|sides|=17171
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=161457
|called|=52
Found 16503 contexts for 81 functions. Top 5 functions:
3536	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2264	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1759	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1109	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1029	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=199917.01MB, max=934.02MB, minor=199889.05MB, major=2151.11MB, promoted=2123.15MB
    minor collections=95332  major collections=31 compactions=0


runtime: 00:01:40.679
vars: 213479, evals: 218575

|rho|=213479
|stable|=100977
|infl|=213405
|wpoint|=5
|sides|=18674
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=176255
|called|=84
Found 18005 contexts for 81 functions. Top 5 functions:
3855	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2464	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
1919	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1211	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1120	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=220373.36MB, max=1074.12MB, minor=220344.27MB, major=2373.42MB, promoted=2344.33MB
    minor collections=105087  major collections=32 compactions=0


runtime: 00:01:50.730
vars: 228731, evals: 235344

|rho|=228731
|stable|=103451
|infl|=228671
|wpoint|=7
|sides|=19958
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=188887
|called|=91
Found 19255 contexts for 83 functions. Top 5 functions:
4110	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2656	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2059	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1306	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1192	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=242587.68MB, max=1074.12MB, minor=242557.68MB, major=2604.10MB, promoted=2574.10MB
    minor collections=115679  major collections=32 compactions=0


runtime: 00:02:00.781
vars: 241245, evals: 247633

|rho|=241245
|stable|=115970
|infl|=241183
|wpoint|=9
|sides|=21024
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=199271
|called|=89
Found 20321 contexts for 83 functions. Top 5 functions:
4338	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2805	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2173	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1378	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1259	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=261208.51MB, max=1235.24MB, minor=261177.50MB, major=2790.23MB, promoted=2759.22MB
    minor collections=124559  major collections=33 compactions=0


runtime: 00:02:10.845
vars: 253086, evals: 259393

|rho|=253086
|stable|=127809
|infl|=253052
|wpoint|=8
|sides|=22033
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=209086
|called|=46
Found 21323 contexts for 83 functions. Top 5 functions:
4550	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
2940	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2280	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1446	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1322	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=279111.88MB, max=1420.53MB, minor=279080.01MB, major=2963.87MB, promoted=2932.00MB
    minor collections=133095  major collections=33 compactions=0


runtime: 00:02:20.864
vars: 264415, evals: 270424

|rho|=264415
|stable|=139138
|infl|=264346
|wpoint|=7
|sides|=23011
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=218465
|called|=74
Found 22297 contexts for 83 functions. Top 5 functions:
4762	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3074	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2383	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1511	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1384	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=294653.00MB, max=1420.53MB, minor=294611.87MB, major=3139.96MB, promoted=3098.84MB
    minor collections=140503  major collections=34 compactions=0


runtime: 00:02:30.944
vars: 275116, evals: 280850

|rho|=275116
|stable|=149839
|infl|=275063
|wpoint|=8
|sides|=23925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=227328
|called|=62
Found 23195 contexts for 84 functions. Top 5 functions:
4953	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3209	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2481	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1575	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1439	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=311447.35MB, max=1420.53MB, minor=311405.21MB, major=3301.58MB, promoted=3259.45MB
    minor collections=148511  major collections=34 compactions=0


runtime: 00:02:40.992
vars: 285918, evals: 291362

|rho|=285918
|stable|=160639
|infl|=285852
|wpoint|=8
|sides|=24853
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=236274
|called|=88
Found 24111 contexts for 85 functions. Top 5 functions:
5148	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3334	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2579	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1638	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1495	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=326616.83MB, max=1633.61MB, minor=326573.94MB, major=3464.34MB, promoted=3421.44MB
    minor collections=155744  major collections=34 compactions=0


runtime: 00:02:51.007
vars: 295458, evals: 300675

|rho|=295458
|stable|=170174
|infl|=295399
|wpoint|=9
|sides|=25666
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=244185
|called|=90
Found 24919 contexts for 85 functions. Top 5 functions:
5321	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3452	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2665	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1693	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1545	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=340967.81MB, max=1633.61MB, minor=340924.13MB, major=3614.93MB, promoted=3571.24MB
    minor collections=162588  major collections=35 compactions=0


runtime: 00:03:01.075
vars: 303695, evals: 308720

|rho|=303695
|stable|=178418
|infl|=303662
|wpoint|=9
|sides|=26360
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=251029
|called|=50
Found 25613 contexts for 85 functions. Top 5 functions:
5470	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3556	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2740	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1742	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1588	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=356349.38MB, max=1633.61MB, minor=356304.83MB, major=3748.06MB, promoted=3703.52MB
    minor collections=169922  major collections=35 compactions=0


runtime: 00:03:11.126
vars: 312011, evals: 316827

|rho|=312011
|stable|=186734
|infl|=311963
|wpoint|=7
|sides|=27081
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=257911
|called|=54
Found 26328 contexts for 85 functions. Top 5 functions:
5625	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3654	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2815	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1787	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1634	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=370810.84MB, max=1878.66MB, minor=370765.39MB, major=3879.95MB, promoted=3834.51MB
    minor collections=176818  major collections=35 compactions=0


runtime: 00:03:21.162
vars: 320653, evals: 325534

|rho|=320653
|stable|=195373
|infl|=320593
|wpoint|=9
|sides|=27825
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=265058
|called|=83
Found 27043 contexts for 88 functions. Top 5 functions:
5775	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3765	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2895	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1842	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1675	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=384325.24MB, max=1878.66MB, minor=384275.01MB, major=4018.30MB, promoted=3968.06MB
    minor collections=183260  major collections=35 compactions=0


runtime: 00:03:31.177
vars: 328674, evals: 333436

|rho|=328674
|stable|=203395
|infl|=328628
|wpoint|=8
|sides|=28514
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=271699
|called|=67
Found 27723 contexts for 89 functions. Top 5 functions:
5921	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3858	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
2970	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1889	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1719	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=398196.12MB, max=1878.66MB, minor=398145.17MB, major=4143.76MB, promoted=4092.81MB
    minor collections=189874  major collections=35 compactions=0


runtime: 00:03:41.189
vars: 336392, evals: 341034

|rho|=336392
|stable|=211114
|infl|=336351
|wpoint|=8
|sides|=29169
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=278106
|called|=58
Found 28377 contexts for 89 functions. Top 5 functions:
6061	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
3948	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3039	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1933	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1760	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=411284.53MB, max=1878.66MB, minor=411232.78MB, major=4267.81MB, promoted=4216.07MB
    minor collections=196115  major collections=36 compactions=0


runtime: 00:03:51.229
vars: 343287, evals: 347808

|rho|=343287
|stable|=218003
|infl|=343236
|wpoint|=9
|sides|=29755
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=283833
|called|=74
Found 28963 contexts for 89 functions. Top 5 functions:
6186	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4030	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3103	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
1974	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1797	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=425068.79MB, max=1878.66MB, minor=425016.23MB, major=4380.79MB, promoted=4328.23MB
    minor collections=202688  major collections=36 compactions=0


runtime: 00:04:01.327
vars: 350269, evals: 354675

|rho|=350269
|stable|=224992
|infl|=350207
|wpoint|=7
|sides|=30345
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=289633
|called|=68
Found 29552 contexts for 89 functions. Top 5 functions:
6311	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4108	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3166	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2014	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1833	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=437932.21MB, max=2160.46MB, minor=437878.84MB, major=4492.60MB, promoted=4439.23MB
    minor collections=208821  major collections=36 compactions=0


runtime: 00:04:11.395
vars: 356718, evals: 360993

|rho|=356718
|stable|=231433
|infl|=356655
|wpoint|=9
|sides|=30896
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=294981
|called|=97
Found 30103 contexts for 89 functions. Top 5 functions:
6428	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4181	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3224	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2051	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1867	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=451539.53MB, max=2160.46MB, minor=451485.43MB, major=4597.98MB, promoted=4543.88MB
    minor collections=215310  major collections=36 compactions=0


runtime: 00:04:21.426
vars: 362728, evals: 366902

|rho|=362728
|stable|=237449
|infl|=362673
|wpoint|=8
|sides|=31404
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=299971
|called|=71
Found 30612 contexts for 89 functions. Top 5 functions:
6537	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4250	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3279	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2086	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1899	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=465733.25MB, max=2160.46MB, minor=465678.63MB, major=4701.17MB, promoted=4646.54MB
    minor collections=222078  major collections=36 compactions=0


runtime: 00:04:31.437
vars: 368320, evals: 372373

|rho|=368320
|stable|=243041
|infl|=368247
|wpoint|=8
|sides|=31884
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=304610
|called|=95
Found 31091 contexts for 89 functions. Top 5 functions:
6640	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4316	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3330	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2118	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1929	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=479737.11MB, max=2160.46MB, minor=479681.79MB, major=4796.41MB, promoted=4741.09MB
    minor collections=228755  major collections=36 compactions=0


runtime: 00:04:41.453
vars: 373751, evals: 377759

|rho|=373751
|stable|=248474
|infl|=373723
|wpoint|=7
|sides|=32338
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=309123
|called|=34
Found 31544 contexts for 89 functions. Top 5 functions:
6734	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4378	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3379	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2150	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1957	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=495066.48MB, max=2160.46MB, minor=495010.42MB, major=4892.84MB, promoted=4836.78MB
    minor collections=236064  major collections=36 compactions=0


runtime: 00:04:51.468
vars: 379404, evals: 383261

|rho|=379404
|stable|=254127
|infl|=379342
|wpoint|=7
|sides|=32820
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=313819
|called|=68
Found 32025 contexts for 89 functions. Top 5 functions:
6835	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4440	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3431	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2183	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
1986	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=509696.57MB, max=2160.46MB, minor=509639.25MB, major=4988.75MB, promoted=4931.43MB
    minor collections=243041  major collections=37 compactions=0


runtime: 00:05:01.479
vars: 385258, evals: 389001

|rho|=385258
|stable|=259985
|infl|=385198
|wpoint|=8
|sides|=33324
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=318663
|called|=68
Found 32524 contexts for 90 functions. Top 5 functions:
6941	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4509	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3483	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2216	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2018	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=522168.29MB, max=2160.46MB, minor=522110.26MB, major=5085.63MB, promoted=5027.60MB
    minor collections=248987  major collections=37 compactions=0


runtime: 00:05:11.543
vars: 391723, evals: 395295

|rho|=391723
|stable|=266450
|infl|=391661
|wpoint|=7
|sides|=33873
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=324032
|called|=68
Found 33071 contexts for 90 functions. Top 5 functions:
7059	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4580	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3540	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2252	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2050	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=533203.56MB, max=2484.53MB, minor=533140.55MB, major=5200.73MB, promoted=5137.72MB
    minor collections=254248  major collections=37 compactions=0


runtime: 00:05:21.610
vars: 394703, evals: 404862

|rho|=394703
|stable|=275376
|infl|=394691
|wpoint|=7
|sides|=34128
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=326488
|called|=82
Found 33323 contexts for 90 functions. Top 5 functions:
7114	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4614	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3567	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2269	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2067	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=548939.30MB, max=2484.53MB, minor=548875.63MB, major=5328.98MB, promoted=5265.32MB
    minor collections=261751  major collections=37 compactions=0


runtime: 00:05:31.685
vars: 398325, evals: 413628

|rho|=398325
|stable|=284086
|infl|=398272
|wpoint|=7
|sides|=34420
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=329533
|called|=59
Found 33615 contexts for 90 functions. Top 5 functions:
7163	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4674	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3604	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2300	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2076	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=564480.53MB, max=2484.53MB, minor=564416.29MB, major=5450.56MB, promoted=5386.32MB
    minor collections=269162  major collections=37 compactions=0


runtime: 00:05:41.705
vars: 404311, evals: 419517

|rho|=404311
|stable|=290065
|infl|=404255
|wpoint|=8
|sides|=34925
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=334510
|called|=86
Found 34121 contexts for 90 functions. Top 5 functions:
7273	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4744	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3659	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2334	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2109	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=576301.63MB, max=2857.21MB, minor=576236.81MB, major=5545.08MB, promoted=5480.26MB
    minor collections=274798  major collections=37 compactions=0


runtime: 00:05:51.717
vars: 409907, evals: 425015

|rho|=409906
|stable|=295666
|infl|=409847
|wpoint|=9
|sides|=35399
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=339160
|called|=79
Found 34594 contexts for 90 functions. Top 5 functions:
7374	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4809	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3711	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2367	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2138	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=588966.01MB, max=2857.21MB, minor=588900.54MB, major=5637.19MB, promoted=5571.72MB
    minor collections=280837  major collections=37 compactions=0


runtime: 00:06:01.729
vars: 415282, evals: 430304

|rho|=415282
|stable|=301033
|infl|=415242
|wpoint|=9
|sides|=35861
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=343607
|called|=70
Found 35056 contexts for 90 functions. Top 5 functions:
7473	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4874	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3758	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2396	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2169	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=601237.72MB, max=2857.21MB, minor=601171.52MB, major=5727.42MB, promoted=5661.22MB
    minor collections=286688  major collections=37 compactions=0


runtime: 00:06:11.740
vars: 420309, evals: 435249

|rho|=420309
|stable|=306069
|infl|=420272
|wpoint|=9
|sides|=36285
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=347785
|called|=56
Found 35480 contexts for 90 functions. Top 5 functions:
7563	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4931	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3804	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2426	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2194	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=614897.08MB, max=2857.21MB, minor=614830.11MB, major=5812.87MB, promoted=5745.91MB
    minor collections=293201  major collections=37 compactions=0


runtime: 00:06:21.752
vars: 425668, evals: 440540

|rho|=425668
|stable|=311423
|infl|=425612
|wpoint|=8
|sides|=36741
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=352235
|called|=73
Found 35936 contexts for 90 functions. Top 5 functions:
7659	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
4994	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3853	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2457	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2223	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=626375.63MB, max=2857.21MB, minor=626307.95MB, major=5899.32MB, promoted=5831.64MB
    minor collections=298675  major collections=38 compactions=0


runtime: 00:06:31.764
vars: 430750, evals: 445572

|rho|=430750
|stable|=316511
|infl|=430693
|wpoint|=7
|sides|=37169
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=356463
|called|=62
Found 36364 contexts for 90 functions. Top 5 functions:
7749	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5052	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3902	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2489	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2249	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=638651.35MB, max=2857.21MB, minor=638582.95MB, major=5983.86MB, promoted=5915.46MB
    minor collections=304528  major collections=38 compactions=0


runtime: 00:06:41.788
vars: 435846, evals: 450536

|rho|=435846
|stable|=321607
|infl|=435789
|wpoint|=8
|sides|=37610
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=360677
|called|=64
Found 36805 contexts for 90 functions. Top 5 functions:
7844	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5112	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3946	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2516	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2278	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=649764.27MB, max=2857.21MB, minor=649695.15MB, major=6068.57MB, promoted=5999.45MB
    minor collections=309827  major collections=38 compactions=0


runtime: 00:06:51.852
vars: 440421, evals: 454967

|rho|=440421
|stable|=326181
|infl|=440345
|wpoint|=7
|sides|=38003
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=364467
|called|=81
Found 37199 contexts for 90 functions. Top 5 functions:
7931	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5166	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
3988	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2542	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2303	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=662586.09MB, max=2857.21MB, minor=662516.24MB, major=6148.21MB, promoted=6078.37MB
    minor collections=315941  major collections=38 compactions=0


runtime: 00:07:01.919
vars: 445225, evals: 459661

|rho|=445225
|stable|=330985
|infl|=445164
|wpoint|=7
|sides|=38410
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=368455
|called|=66
Found 37605 contexts for 90 functions. Top 5 functions:
8018	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5226	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4032	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2570	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2329	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=673961.17MB, max=2857.21MB, minor=673890.56MB, major=6228.28MB, promoted=6157.67MB
    minor collections=321364  major collections=38 compactions=0


runtime: 00:07:11.986
vars: 449886, evals: 464222

|rho|=449885
|stable|=335646
|infl|=449832
|wpoint|=8
|sides|=38801
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=372332
|called|=62
Found 37996 contexts for 90 functions. Top 5 functions:
8100	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5287	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4075	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2599	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2352	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=686246.55MB, max=2857.21MB, minor=686175.21MB, major=6309.13MB, promoted=6237.78MB
    minor collections=327222  major collections=38 compactions=0


runtime: 00:07:22.053
vars: 454717, evals: 468945

|rho|=454717
|stable|=340477
|infl|=454679
|wpoint|=7
|sides|=39205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=376353
|called|=43
Found 38401 contexts for 90 functions. Top 5 functions:
8184	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5344	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4119	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2629	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2375	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=697652.59MB, max=3285.79MB, minor=697580.67MB, major=6390.22MB, promoted=6318.30MB
    minor collections=332661  major collections=38 compactions=0


runtime: 00:07:32.109
vars: 459466, evals: 473579

|rho|=459466
|stable|=345225
|infl|=459413
|wpoint|=8
|sides|=39612
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=380290
|called|=76
Found 38807 contexts for 90 functions. Top 5 functions:
8272	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5398	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4162	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2656	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2400	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=707685.17MB, max=3285.79MB, minor=707612.92MB, major=6468.17MB, promoted=6395.91MB
    minor collections=337445  major collections=38 compactions=0


runtime: 00:07:42.125
vars: 463839, evals: 477829

|rho|=463839
|stable|=349599
|infl|=463769
|wpoint|=8
|sides|=39980
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=383933
|called|=87
Found 39175 contexts for 90 functions. Top 5 functions:
8351	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5456	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4202	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2682	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2423	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=718033.69MB, max=3285.79MB, minor=717960.96MB, major=6544.41MB, promoted=6471.69MB
    minor collections=342379  major collections=38 compactions=0


runtime: 00:07:52.136
vars: 468336, evals: 482221

|rho|=468336
|stable|=354097
|infl|=468275
|wpoint|=9
|sides|=40367
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=387655
|called|=72
Found 39562 contexts for 90 functions. Top 5 functions:
8435	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5510	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4242	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2707	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2447	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=727805.90MB, max=3285.79MB, minor=727732.72MB, major=6619.40MB, promoted=6546.22MB
    minor collections=347039  major collections=38 compactions=0


runtime: 00:08:02.148
vars: 472689, evals: 486502

|rho|=472689
|stable|=358448
|infl|=472654
|wpoint|=8
|sides|=40737
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=391261
|called|=58
Found 39932 contexts for 90 functions. Top 5 functions:
8515	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5562	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4281	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2731	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2472	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=738809.42MB, max=3285.79MB, minor=738735.62MB, major=6697.28MB, promoted=6623.47MB
    minor collections=352286  major collections=38 compactions=0


runtime: 00:08:12.164
vars: 476872, evals: 490574

|rho|=476872
|stable|=362633
|infl|=476829
|wpoint|=8
|sides|=41087
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=394746
|called|=61
Found 40282 contexts for 90 functions. Top 5 functions:
8589	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5616	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4320	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2757	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2492	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=750735.83MB, max=3285.79MB, minor=750661.35MB, major=6773.31MB, promoted=6698.83MB
    minor collections=357972  major collections=38 compactions=0


runtime: 00:08:22.176
vars: 481277, evals: 494887

|rho|=481277
|stable|=367031
|infl|=481228
|wpoint|=8
|sides|=41466
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=398395
|called|=65
Found 40661 contexts for 90 functions. Top 5 functions:
8672	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5668	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4359	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2781	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2517	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=761832.16MB, max=3285.79MB, minor=761757.01MB, major=6849.19MB, promoted=6774.04MB
    minor collections=363263  major collections=38 compactions=0


runtime: 00:08:32.187
vars: 485557, evals: 499060

|rho|=485557
|stable|=371318
|infl|=485510
|wpoint|=8
|sides|=41835
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=401936
|called|=55
Found 41030 contexts for 90 functions. Top 5 functions:
8751	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5720	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4397	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2805	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2540	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=773096.21MB, max=3285.79MB, minor=773020.38MB, major=6925.16MB, promoted=6849.33MB
    minor collections=368635  major collections=39 compactions=0


runtime: 00:08:42.203
vars: 489874, evals: 503263

|rho|=489874
|stable|=375635
|infl|=489825
|wpoint|=7
|sides|=42205
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=405514
|called|=55
Found 41400 contexts for 90 functions. Top 5 functions:
8832	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5772	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4436	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2829	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2564	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=783287.78MB, max=3285.79MB, minor=783211.30MB, major=6998.88MB, promoted=6922.40MB
    minor collections=373494  major collections=39 compactions=0


runtime: 00:08:52.214
vars: 494485, evals: 507916

|rho|=494485
|stable|=380245
|infl|=494425
|wpoint|=12
|sides|=42587
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=409362
|called|=98
Found 41782 contexts for 90 functions. Top 5 functions:
8913	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5828	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4480	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2858	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2587	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=793123.09MB, max=3285.79MB, minor=793045.95MB, major=7075.39MB, promoted=6998.26MB
    minor collections=378184  major collections=39 compactions=0


runtime: 00:09:06.745
vars: 498750, evals: 512298

|rho|=498750
|stable|=384509
|infl|=498697
|wpoint|=8
|sides|=42942
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=412915
|called|=70
Found 42137 contexts for 90 functions. Top 5 functions:
8985	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5884	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4520	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2886	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2607	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=803516.86MB, max=3285.79MB, minor=803439.07MB, major=7152.32MB, promoted=7074.53MB
    minor collections=383140  major collections=39 compactions=0


runtime: 00:09:19.356
vars: 502460, evals: 515949

|rho|=502460
|stable|=388219
|infl|=502400
|wpoint|=8
|sides|=43260
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=415991
|called|=80
Found 42455 contexts for 90 functions. Top 5 functions:
9055	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5928	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4554	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2907	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2628	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=814645.91MB, max=3285.79MB, minor=814567.44MB, major=7217.63MB, promoted=7139.15MB
    minor collections=388446  major collections=39 compactions=0


runtime: 00:09:56.498
vars: 506346, evals: 519800

|rho|=506346
|stable|=392099
|infl|=506294
|wpoint|=9
|sides|=43586
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=419223
|called|=85
Found 42781 contexts for 90 functions. Top 5 functions:
9123	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
5974	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4590	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2930	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2648	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=825586.67MB, max=3285.79MB, minor=825507.53MB, major=7287.27MB, promoted=7208.13MB
    minor collections=393663  major collections=39 compactions=0


runtime: 00:10:15.732
vars: 509936, evals: 523327

|rho|=509936
|stable|=395695
|infl|=509893
|wpoint|=8
|sides|=43890
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=422203
|called|=64
Found 43085 contexts for 90 functions. Top 5 functions:
9189	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6016	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4624	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2952	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2667	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=837140.00MB, max=3285.79MB, minor=837060.22MB, major=7354.62MB, promoted=7274.84MB
    minor collections=399172  major collections=39 compactions=0


runtime: 00:10:25.772
vars: 513805, evals: 527109

|rho|=513804
|stable|=399564
|infl|=513739
|wpoint|=8
|sides|=44222
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=425413
|called|=73
Found 43417 contexts for 90 functions. Top 5 functions:
9260	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6060	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4658	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2973	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2688	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=848190.49MB, max=3285.79MB, minor=848110.00MB, major=7423.69MB, promoted=7343.20MB
    minor collections=404441  major collections=39 compactions=0


runtime: 00:10:35.835
vars: 517293, evals: 530550

|rho|=517293
|stable|=403051
|infl|=517243
|wpoint|=8
|sides|=44519
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=428304
|called|=71
Found 43714 contexts for 90 functions. Top 5 functions:
9323	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6102	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4689	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
2993	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2707	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=860537.24MB, max=3778.66MB, minor=860456.15MB, major=7490.70MB, promoted=7409.61MB
    minor collections=410328  major collections=39 compactions=0


runtime: 00:10:45.870
vars: 521091, evals: 534293

|rho|=521091
|stable|=406851
|infl|=521043
|wpoint|=8
|sides|=44837
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=431466
|called|=65
Found 44032 contexts for 90 functions. Top 5 functions:
9390	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6144	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4725	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3016	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2726	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=872433.62MB, max=3778.66MB, minor=872352.18MB, major=7559.95MB, promoted=7478.51MB
    minor collections=416001  major collections=39 compactions=0


runtime: 00:10:55.889
vars: 524959, evals: 538111

|rho|=524959
|stable|=410720
|infl|=524903
|wpoint|=7
|sides|=45162
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=434685
|called|=62
Found 44357 contexts for 90 functions. Top 5 functions:
9459	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6188	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4760	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3039	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2746	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=882012.10MB, max=3778.66MB, minor=881913.52MB, major=7643.04MB, promoted=7544.46MB
    minor collections=420561  major collections=39 compactions=0


runtime: 00:11:05.901
vars: 528932, evals: 542001

|rho|=528932
|stable|=414693
|infl|=528888
|wpoint|=7
|sides|=45500
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=437977
|called|=50
Found 44695 contexts for 90 functions. Top 5 functions:
9531	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6232	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4796	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3062	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2767	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=893715.24MB, max=3778.66MB, minor=893616.23MB, major=7713.62MB, promoted=7614.62MB
    minor collections=426142  major collections=39 compactions=0


runtime: 00:11:15.912
vars: 532549, evals: 545545

|rho|=532549
|stable|=418302
|infl|=532491
|wpoint|=8
|sides|=45810
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=440981
|called|=89
Found 45005 contexts for 90 functions. Top 5 functions:
9596	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6274	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4829	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3081	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2787	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=906953.51MB, max=3778.66MB, minor=906853.97MB, major=7781.01MB, promoted=7681.47MB
    minor collections=432454  major collections=39 compactions=0


runtime: 00:11:25.923
vars: 536092, evals: 549015

|rho|=536092
|stable|=421850
|infl|=536036
|wpoint|=9
|sides|=46111
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=443922
|called|=79
Found 45306 contexts for 90 functions. Top 5 functions:
9660	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6318	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4862	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3103	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2806	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=921156.51MB, max=3778.66MB, minor=921056.30MB, major=7851.24MB, promoted=7751.04MB
    minor collections=439226  major collections=39 compactions=0


runtime: 00:11:35.935
vars: 539651, evals: 552524

|rho|=539650
|stable|=425410
|infl|=539615
|wpoint|=9
|sides|=46411
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=446874
|called|=55
Found 45606 contexts for 90 functions. Top 5 functions:
9726	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6357	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4893	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3123	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2824	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=934476.21MB, max=3778.66MB, minor=934375.34MB, major=7919.33MB, promoted=7818.46MB
    minor collections=445577  major collections=39 compactions=0


runtime: 00:11:45.950
vars: 543051, evals: 555857

|rho|=543051
|stable|=428805
|infl|=542993
|wpoint|=9
|sides|=46703
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=449696
|called|=86
Found 45898 contexts for 90 functions. Top 5 functions:
9789	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6397	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4924	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3142	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2843	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=948471.99MB, max=3778.66MB, minor=948370.37MB, major=7986.51MB, promoted=7884.89MB
    minor collections=452251  major collections=39 compactions=0


runtime: 00:11:55.961
vars: 546191, evals: 558955

|rho|=546191
|stable|=431950
|infl|=546146
|wpoint|=8
|sides|=46972
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=452295
|called|=62
Found 46167 contexts for 90 functions. Top 5 functions:
9845	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6434	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4953	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3160	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2860	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=963991.40MB, max=3778.66MB, minor=963889.03MB, major=8053.16MB, promoted=7950.79MB
    minor collections=459651  major collections=39 compactions=0


runtime: 00:12:05.973
vars: 549988, evals: 562677

|rho|=549988
|stable|=435749
|infl|=549911
|wpoint|=8
|sides|=47290
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=455463
|called|=86
Found 46485 contexts for 90 functions. Top 5 functions:
9912	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6475	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
4987	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3183	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2878	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=976625.22MB, max=3778.66MB, minor=976509.59MB, major=8134.19MB, promoted=8018.57MB
    minor collections=465669  major collections=40 compactions=0


runtime: 00:12:15.984
vars: 554015, evals: 566620

|rho|=554015
|stable|=439776
|infl|=553949
|wpoint|=7
|sides|=47630
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=458807
|called|=72
Found 46825 contexts for 90 functions. Top 5 functions:
9982	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6518	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5024	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3207	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2899	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=987093.36MB, max=3778.66MB, minor=986977.46MB, major=8201.33MB, promoted=8085.43MB
    minor collections=470661  major collections=40 compactions=0


runtime: 00:12:25.996
vars: 557968, evals: 570505

|rho|=557968
|stable|=443729
|infl|=557930
|wpoint|=8
|sides|=47966
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=462082
|called|=47
Found 47161 contexts for 90 functions. Top 5 functions:
10055	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6565	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5060	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3230	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2920	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=996600.32MB, max=3778.66MB, minor=996484.17MB, major=8265.80MB, promoted=8149.65MB
    minor collections=475194  major collections=40 compactions=0


runtime: 00:12:41.258
vars: 562881, evals: 575324

|rho|=562881
|stable|=448642
|infl|=562802
|wpoint|=8
|sides|=48380
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=466178
|called|=88
Found 47575 contexts for 90 functions. Top 5 functions:
10141	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6622	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5104	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3258	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2945	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1001070.85MB, max=3778.66MB, minor=1000954.59MB, major=8338.16MB, promoted=8221.90MB
    minor collections=477326  major collections=40 compactions=0


runtime: 00:13:12.160
vars: 567534, evals: 579839

|rho|=567534
|stable|=453295
|infl|=567465
|wpoint|=7
|sides|=48779
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=470033
|called|=75
Found 47974 contexts for 90 functions. Top 5 functions:
10228	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6672	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5145	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3283	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2970	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1005380.98MB, max=3778.66MB, minor=1005264.60MB, major=8410.17MB, promoted=8293.79MB
    minor collections=479381  major collections=40 compactions=0


runtime: 00:13:24.971
vars: 573220, evals: 585904

|rho|=573220
|stable|=459290
|infl|=573193
|wpoint|=6
|sides|=49259
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=474749
|called|=38
Found 48451 contexts for 90 functions. Top 5 functions:
10322	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6734	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5196	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3318	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
2996	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1010445.71MB, max=3778.66MB, minor=1010329.17MB, major=8490.03MB, promoted=8373.49MB
    minor collections=481796  major collections=40 compactions=0


runtime: 00:13:40.706
vars: 582823, evals: 595378

|rho|=582823
|stable|=468912
|infl|=582765
|wpoint|=7
|sides|=50067
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=482741
|called|=64
Found 49260 contexts for 90 functions. Top 5 functions:
10493	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6846	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5284	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3375	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
3044	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1017200.69MB, max=3778.66MB, minor=1017083.90MB, major=8597.97MB, promoted=8481.17MB
    minor collections=485017  major collections=40 compactions=0


runtime: 00:13:59.984
vars: 587478, evals: 599921

|rho|=587478
|stable|=473568
|infl|=587452
|wpoint|=7
|sides|=50457
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=486609
|called|=40
Found 49649 contexts for 90 functions. Top 5 functions:
10578	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6898	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5325	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3401	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
3068	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1020620.61MB, max=3778.66MB, minor=1020503.69MB, major=8654.49MB, promoted=8537.57MB
    minor collections=486648  major collections=40 compactions=0


runtime: 00:14:30.533
vars: 592066, evals: 604406

|rho|=592066
|stable|=478155
|infl|=592015
|wpoint|=6
|sides|=50848
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=490420
|called|=54
Found 50040 contexts for 90 functions. Top 5 functions:
10662	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
6954	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5368	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3428	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
3092	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1023966.58MB, max=4345.46MB, minor=1023849.54MB, major=8707.63MB, promoted=8590.59MB
    minor collections=488243  major collections=40 compactions=0


runtime: 00:14:40.568
vars: 596896, evals: 609154

|rho|=596896
|stable|=482986
|infl|=596851
|wpoint|=7
|sides|=51257
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494430
|called|=50
Found 50449 contexts for 90 functions. Top 5 functions:
10746	contexts for L:entry state of getErrorData (5881) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5621:1-5628:1
7008	contexts for L:entry state of pgut_appendStringInfoVA (3513) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:6149:1-6167:1
5409	contexts for L:entry state of log_required (3494) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5784:1-5811:1
3455	contexts for L:entry state of pgut_errinit (5882) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5629:1-5660:1
3117	contexts for L:entry state of trimStringBuffer (5883) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/pg_repack/main.c:5661:1-5680:1

Memory statistics: total=1027494.82MB, max=4345.46MB, minor=1027377.65MB, major=8766.64MB, promoted=8649.47MB
    minor collections=489926  major collections=40 compactions=0

