/mnt/thread-witnesses/replication/bench/thread-witnesses/st-cross/../../../ourtool/goblint --conf conf/svcomp-yaml.json --enable dbg.timing.enabled --set 'ana.activated[+]' apron --set ana.apron.domain polyhedra --enable witness.enabled --sets ana.specification ../properties/unreach-call.prp --sets exp.architecture 32bit ../plain/apache-get-tag.i.p+nlh-reducer.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.164
vars: 76, evals: 52

|rho|=76
|called|=12
|stable|=76
|infl|=59
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=52
Found 5 contexts for 2 functions. Top 5 functions:
4	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=129.47MB, max=10.53MB, minor=125.85MB, major=13.02MB, promoted=9.40MB
    minor collections=116  major collections=14 compactions=0


runtime: 00:00:20.264
vars: 129, evals: 91

|rho|=129
|called|=15
|stable|=129
|infl|=109
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=91
Found 8 contexts for 2 functions. Top 5 functions:
7	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=199.42MB, max=10.53MB, minor=195.45MB, major=14.69MB, promoted=10.72MB
    minor collections=204  major collections=25 compactions=0


runtime: 00:00:30.357
vars: 167, evals: 117

|rho|=167
|called|=8
|stable|=167
|infl|=154
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=117
Found 10 contexts for 2 functions. Top 5 functions:
9	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=257.04MB, max=10.53MB, minor=252.78MB, major=16.12MB, promoted=11.86MB
    minor collections=281  major collections=34 compactions=0


runtime: 00:00:40.553
vars: 219, evals: 156

|rho|=219
|called|=14
|stable|=219
|infl|=200
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=156
Found 13 contexts for 2 functions. Top 5 functions:
12	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=331.42MB, max=10.53MB, minor=326.85MB, major=17.75MB, promoted=13.19MB
    minor collections=363  major collections=44 compactions=0


runtime: 00:00:50.529
vars: 257, evals: 182

|rho|=257
|called|=9
|stable|=257
|infl|=243
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=182
Found 15 contexts for 2 functions. Top 5 functions:
14	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=393.35MB, max=10.53MB, minor=388.51MB, major=19.19MB, promoted=14.35MB
    minor collections=437  major collections=54 compactions=0


runtime: 00:01:00.739
vars: 308, evals: 221

|rho|=308
|called|=16
|stable|=308
|infl|=287
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=221
Found 18 contexts for 2 functions. Top 5 functions:
17	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=475.13MB, max=10.53MB, minor=469.99MB, major=20.85MB, promoted=15.72MB
    minor collections=517  major collections=62 compactions=0


runtime: 00:01:10.634
vars: 345, evals: 247

|rho|=345
|called|=14
|stable|=345
|infl|=326
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=247
Found 20 contexts for 2 functions. Top 5 functions:
19	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=541.57MB, max=10.53MB, minor=536.18MB, major=22.27MB, promoted=16.88MB
    minor collections=587  major collections=70 compactions=0


runtime: 00:01:20.671
vars: 382, evals: 273

|rho|=382
|called|=11
|stable|=382
|infl|=366
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=273
Found 22 contexts for 2 functions. Top 5 functions:
21	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=613.26MB, max=12.11MB, minor=607.62MB, major=23.77MB, promoted=18.13MB
    minor collections=661  major collections=78 compactions=0


runtime: 00:01:30.765
vars: 419, evals: 299

|rho|=419
|called|=9
|stable|=419
|infl|=405
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=299
Found 24 contexts for 2 functions. Top 5 functions:
23	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=687.59MB, max=12.11MB, minor=681.68MB, major=25.30MB, promoted=19.40MB
    minor collections=734  major collections=86 compactions=0


runtime: 00:01:40.865
vars: 455, evals: 325

|rho|=455
|called|=7
|stable|=455
|infl|=443
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=325
Found 26 contexts for 2 functions. Top 5 functions:
25	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=767.14MB, max=12.11MB, minor=761.00MB, major=26.89MB, promoted=20.74MB
    minor collections=806  major collections=94 compactions=0


runtime: 00:01:50.787
vars: 503, evals: 362

|rho|=503
|called|=17
|stable|=503
|infl|=481
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=362
Found 28 contexts for 2 functions. Top 5 functions:
27	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=847.48MB, max=12.11MB, minor=841.08MB, major=28.47MB, promoted=22.08MB
    minor collections=879  major collections=101 compactions=0


runtime: 00:02:00.858
vars: 539, evals: 388

|rho|=539
|called|=16
|stable|=539
|infl|=518
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=388
Found 30 contexts for 2 functions. Top 5 functions:
29	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=938.97MB, max=12.11MB, minor=932.29MB, major=30.16MB, promoted=23.48MB
    minor collections=956  major collections=108 compactions=0


runtime: 00:02:11.101
vars: 578, evals: 416

|rho|=578
|called|=16
|stable|=578
|infl|=557
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=416
Found 33 contexts for 2 functions. Top 5 functions:
32	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1038.62MB, max=12.11MB, minor=1031.69MB, major=31.96MB, promoted=25.03MB
    minor collections=1035  major collections=115 compactions=0


runtime: 00:02:21.015
vars: 614, evals: 442

|rho|=614
|called|=16
|stable|=614
|infl|=593
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=442
Found 35 contexts for 2 functions. Top 5 functions:
34	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1131.11MB, max=12.11MB, minor=1123.94MB, major=33.60MB, promoted=26.44MB
    minor collections=1110  major collections=121 compactions=0


runtime: 00:02:31.045
vars: 651, evals: 468

|rho|=651
|called|=15
|stable|=651
|infl|=631
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=468
Found 37 contexts for 2 functions. Top 5 functions:
36	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1229.21MB, max=12.11MB, minor=1221.81MB, major=35.36MB, promoted=27.96MB
    minor collections=1188  major collections=127 compactions=0


runtime: 00:02:41.025
vars: 687, evals: 494

|rho|=687
|called|=15
|stable|=687
|infl|=667
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=494
Found 39 contexts for 2 functions. Top 5 functions:
38	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1331.52MB, max=13.93MB, minor=1323.88MB, major=37.10MB, promoted=29.47MB
    minor collections=1267  major collections=134 compactions=0


runtime: 00:02:51.183
vars: 723, evals: 520

|rho|=723
|called|=15
|stable|=723
|infl|=703
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=520
Found 41 contexts for 2 functions. Top 5 functions:
40	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1438.98MB, max=13.93MB, minor=1431.09MB, major=38.89MB, promoted=31.00MB
    minor collections=1349  major collections=140 compactions=0


runtime: 00:03:01.125
vars: 759, evals: 546

|rho|=759
|called|=15
|stable|=759
|infl|=739
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=546
Found 43 contexts for 2 functions. Top 5 functions:
42	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1551.84MB, max=13.93MB, minor=1543.72MB, major=40.72MB, promoted=32.60MB
    minor collections=1429  major collections=146 compactions=0


runtime: 00:03:11.194
vars: 795, evals: 572

|rho|=795
|called|=15
|stable|=795
|infl|=775
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=572
Found 45 contexts for 2 functions. Top 5 functions:
44	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1670.36MB, max=13.93MB, minor=1662.01MB, major=42.62MB, promoted=34.26MB
    minor collections=1515  major collections=153 compactions=0


runtime: 00:03:21.251
vars: 831, evals: 598

|rho|=831
|called|=15
|stable|=831
|infl|=811
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=598
Found 47 contexts for 2 functions. Top 5 functions:
46	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1794.65MB, max=13.93MB, minor=1786.06MB, major=44.55MB, promoted=35.96MB
    minor collections=1601  major collections=158 compactions=0


runtime: 00:03:31.350
vars: 867, evals: 624

|rho|=867
|called|=15
|stable|=867
|infl|=847
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=624
Found 49 contexts for 2 functions. Top 5 functions:
48	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=1925.07MB, max=13.93MB, minor=1916.24MB, major=46.54MB, promoted=37.71MB
    minor collections=1691  major collections=165 compactions=0


runtime: 00:03:41.337
vars: 903, evals: 650

|rho|=903
|called|=15
|stable|=903
|infl|=883
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=650
Found 51 contexts for 2 functions. Top 5 functions:
50	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2062.62MB, max=13.93MB, minor=2053.55MB, major=48.57MB, promoted=39.49MB
    minor collections=1785  major collections=171 compactions=0


runtime: 00:03:51.470
vars: 939, evals: 676

|rho|=939
|called|=14
|stable|=939
|infl|=920
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=676
Found 53 contexts for 2 functions. Top 5 functions:
52	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2209.32MB, max=13.93MB, minor=2200.01MB, major=50.66MB, promoted=41.36MB
    minor collections=1881  major collections=177 compactions=0


runtime: 00:04:01.556
vars: 975, evals: 702

|rho|=975
|called|=13
|stable|=975
|infl|=957
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=702
Found 55 contexts for 2 functions. Top 5 functions:
54	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2369.15MB, max=16.02MB, minor=2359.61MB, major=52.85MB, promoted=43.31MB
    minor collections=1983  major collections=182 compactions=0


runtime: 00:04:11.504
vars: 1012, evals: 728

|rho|=1012
|called|=12
|stable|=1012
|infl|=995
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=728
Found 57 contexts for 2 functions. Top 5 functions:
56	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2528.15MB, max=16.02MB, minor=2518.36MB, major=55.05MB, promoted=45.25MB
    minor collections=2087  major collections=188 compactions=0


runtime: 00:04:21.605
vars: 1048, evals: 754

|rho|=1048
|called|=10
|stable|=1048
|infl|=1033
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=754
Found 59 contexts for 2 functions. Top 5 functions:
58	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2709.82MB, max=16.02MB, minor=2699.73MB, major=57.46MB, promoted=47.37MB
    minor collections=2199  major collections=195 compactions=0


runtime: 00:04:31.566
vars: 1085, evals: 780

|rho|=1085
|called|=8
|stable|=1085
|infl|=1072
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=780
Found 61 contexts for 2 functions. Top 5 functions:
60	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=2897.22MB, max=16.02MB, minor=2886.88MB, major=59.81MB, promoted=49.47MB
    minor collections=2317  major collections=201 compactions=0


runtime: 00:04:41.615
vars: 1116, evals: 818

|rho|=1116
|called|=14
|stable|=1116
|infl|=1105
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=803
Found 63 contexts for 2 functions. Top 5 functions:
62	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=3070.81MB, max=16.02MB, minor=3060.25MB, major=62.24MB, promoted=51.67MB
    minor collections=2419  major collections=205 compactions=0


runtime: 00:04:51.676
vars: 1119, evals: 835

|rho|=1119
|called|=9
|stable|=1119
|infl|=1108
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=805
Found 64 contexts for 2 functions. Top 5 functions:
63	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=3252.50MB, max=16.02MB, minor=3241.74MB, major=64.84MB, promoted=54.07MB
    minor collections=2529  major collections=210 compactions=0


runtime: 00:05:01.746
vars: 1122, evals: 852

|rho|=1122
|called|=6
|stable|=1122
|infl|=1111
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=807
Found 65 contexts for 2 functions. Top 5 functions:
64	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=3420.56MB, max=18.42MB, minor=3409.60MB, major=67.60MB, promoted=56.63MB
    minor collections=2628  major collections=214 compactions=0


runtime: 00:05:11.787
vars: 1128, evals: 886

|rho|=1128
|called|=19
|stable|=1128
|infl|=1117
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=811
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=3589.19MB, max=18.42MB, minor=3578.01MB, major=70.27MB, promoted=59.10MB
    minor collections=2731  major collections=219 compactions=0


runtime: 00:05:21.743
vars: 1128, evals: 904

|rho|=1128
|called|=17
|stable|=1128
|infl|=1117
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=811
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=3826.27MB, max=18.42MB, minor=3814.88MB, major=73.27MB, promoted=61.88MB
    minor collections=2865  major collections=224 compactions=0


runtime: 00:05:31.695
vars: 1128, evals: 904

|rho|=1128
|called|=6
|stable|=1128
|infl|=1117
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=811
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4062.38MB, max=21.19MB, minor=4050.21MB, major=89.55MB, promoted=77.37MB
    minor collections=3040  major collections=232 compactions=0


runtime: 00:05:41.700
vars: 1164, evals: 938

|rho|=1164
|called|=20
|stable|=1164
|infl|=1139
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=845
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4092.98MB, max=21.19MB, minor=4080.39MB, major=92.25MB, promoted=79.66MB
    minor collections=3144  major collections=242 compactions=0


runtime: 00:05:51.709
vars: 1175, evals: 949

|rho|=1175
|called|=20
|stable|=1175
|infl|=1150
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=856
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4111.53MB, max=21.19MB, minor=4098.65MB, major=93.38MB, promoted=80.51MB
    minor collections=3221  major collections=249 compactions=0


runtime: 00:06:01.862
vars: 1185, evals: 959

|rho|=1185
|called|=20
|stable|=1185
|infl|=1160
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=866
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4132.67MB, max=21.19MB, minor=4119.54MB, major=94.41MB, promoted=81.28MB
    minor collections=3289  major collections=256 compactions=0


runtime: 00:06:11.915
vars: 1194, evals: 968

|rho|=1194
|called|=20
|stable|=1194
|infl|=1169
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=875
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4156.78MB, max=21.19MB, minor=4143.41MB, major=95.38MB, promoted=82.01MB
    minor collections=3354  major collections=263 compactions=0


runtime: 00:06:21.901
vars: 1203, evals: 977

|rho|=1203
|called|=20
|stable|=1203
|infl|=1178
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=884
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4186.98MB, max=21.19MB, minor=4173.38MB, major=96.36MB, promoted=82.76MB
    minor collections=3417  major collections=270 compactions=0


runtime: 00:06:31.883
vars: 1212, evals: 986

|rho|=1212
|called|=20
|stable|=1212
|infl|=1187
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=893
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4224.40MB, max=21.19MB, minor=4210.56MB, major=97.38MB, promoted=83.53MB
    minor collections=3482  major collections=278 compactions=0


runtime: 00:06:41.897
vars: 1215, evals: 988

|rho|=1215
|called|=14
|stable|=1215
|infl|=1196
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=895
Found 67 contexts for 2 functions. Top 5 functions:
66	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4365.77MB, max=21.19MB, minor=4351.06MB, major=114.21MB, promoted=99.50MB
    minor collections=3626  major collections=292 compactions=0


runtime: 00:06:51.919
vars: 1253, evals: 1043

|rho|=1253
|called|=15
|stable|=1253
|infl|=1239
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=922
Found 69 contexts for 2 functions. Top 5 functions:
68	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4454.83MB, max=21.19MB, minor=4439.69MB, major=117.24MB, promoted=102.10MB
    minor collections=3748  major collections=308 compactions=0


runtime: 00:07:02.132
vars: 1257, evals: 1079

|rho|=1257
|called|=20
|stable|=1254
|infl|=1243
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=924
Found 70 contexts for 2 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4583.59MB, max=21.19MB, minor=4568.03MB, major=120.01MB, promoted=104.45MB
    minor collections=3875  major collections=324 compactions=0


runtime: 00:07:11.928
vars: 1257, evals: 1106

|rho|=1257
|called|=23
|stable|=1257
|infl|=1243
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=924
Found 70 contexts for 2 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4676.08MB, max=21.19MB, minor=4660.06MB, major=123.40MB, promoted=107.38MB
    minor collections=4001  major collections=339 compactions=0


runtime: 00:07:21.955
vars: 1257, evals: 1130

|rho|=1257
|called|=21
|stable|=1257
|infl|=1243
|wpoint|=2
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=924
Found 70 contexts for 2 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4752.75MB, max=21.19MB, minor=4736.34MB, major=126.06MB, promoted=109.65MB
    minor collections=4110  major collections=349 compactions=0


runtime: 00:07:31.940
vars: 1275, evals: 1142

|rho|=1275
|called|=3
|stable|=1275
|infl|=1267
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=936
Found 70 contexts for 2 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4785.54MB, max=21.19MB, minor=4768.79MB, major=128.37MB, promoted=111.62MB
    minor collections=4195  major collections=358 compactions=0


runtime: 00:07:42.027
vars: 1350, evals: 1213

|rho|=1350
|called|=2
|stable|=1350
|infl|=1343
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=1007
Found 74 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4900.39MB, max=21.19MB, minor=4883.15MB, major=132.09MB, promoted=114.85MB
    minor collections=4351  major collections=373 compactions=0


runtime: 00:07:52.027
vars: 1395, evals: 1258

|rho|=1395
|called|=2
|stable|=1395
|infl|=1388
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=1052
Found 74 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
4	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4917.81MB, max=21.19MB, minor=4900.26MB, major=133.27MB, promoted=115.72MB
    minor collections=4441  major collections=382 compactions=0


runtime: 00:08:02.175
vars: 1441, evals: 1303

|rho|=1441
|called|=2
|stable|=1441
|infl|=1434
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=1097
Found 75 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=4971.34MB, max=21.19MB, minor=4953.51MB, major=134.49MB, promoted=116.66MB
    minor collections=4535  major collections=392 compactions=0


runtime: 00:08:12.112
vars: 1441, evals: 1303

|rho|=1471
|called|=0
|stable|=1471
|infl|=1436
|wpoint|=1
|side_dep|=43
|side_infl|=34
|var_messages|=0
|rho_write|=34
|dep|=1097
Found 75 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=5118.03MB, max=21.19MB, minor=5099.52MB, major=138.04MB, promoted=119.53MB
    minor collections=4680  major collections=407 compactions=0


runtime: 00:08:22.420
vars: 1441, evals: 1303

|rho|=1495
|called|=0
|stable|=1495
|infl|=1436
|wpoint|=1
|side_dep|=79
|side_infl|=64
|var_messages|=0
|rho_write|=64
|dep|=1097
Found 75 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=5187.06MB, max=21.19MB, minor=5167.90MB, major=140.87MB, promoted=121.71MB
    minor collections=4788  major collections=418 compactions=0


runtime: 00:08:32.266
vars: 1441, evals: 1303

|rho|=1517
|called|=0
|stable|=1517
|infl|=1436
|wpoint|=1
|side_dep|=111
|side_infl|=90
|var_messages|=0
|rho_write|=90
|dep|=1097
Found 75 contexts for 3 functions. Top 5 functions:
69	contexts for entry state of __VERIFIER_nondet_int (320) on /mnt/thread-witnesses/replication/ourtool/lib/sv-comp/stub/src/sv-comp.c:22:60-22:111
5	contexts for entry state of reach_error (2000) on ../plain/apache-get-tag.i.p+nlh-reducer.c:4:1-4:96
1	contexts for entry state of main (2011) on ../plain/apache-get-tag.i.p+nlh-reducer.c:16:2-3008:2

Memory statistics: total=5240.96MB, max=21.19MB, minor=5221.25MB, major=143.26MB, promoted=123.56MB
    minor collections=4878  major collections=426 compactions=0

