/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.212
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.50MB, max=10.53MB, minor=125.86MB, major=13.05MB, promoted=9.42MB
    minor collections=117  major collections=14 compactions=0


runtime: 00:00:20.307
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.559
vars: 167, evals: 117

|rho|=167
|called|=7
|stable|=167
|infl|=155
|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=258.06MB, max=10.53MB, minor=253.80MB, major=16.16MB, promoted=11.90MB
    minor collections=282  major collections=34 compactions=0


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

|rho|=219
|called|=13
|stable|=219
|infl|=201
|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=332.30MB, max=10.53MB, minor=327.73MB, major=17.75MB, promoted=13.19MB
    minor collections=363  major collections=44 compactions=0


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

|rho|=257
|called|=8
|stable|=257
|infl|=244
|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.97MB, max=10.53MB, minor=389.13MB, major=19.21MB, promoted=14.37MB
    minor collections=438  major collections=54 compactions=0


runtime: 00:01:00.618
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.792
vars: 345, evals: 247

|rho|=345
|called|=13
|stable|=345
|infl|=327
|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=543.52MB, max=10.53MB, minor=538.13MB, major=22.31MB, promoted=16.92MB
    minor collections=588  major collections=70 compactions=0


runtime: 00:01:20.654
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.35MB, max=12.11MB, minor=607.70MB, major=23.81MB, promoted=18.16MB
    minor collections=662  major collections=78 compactions=0


runtime: 00:01:30.691
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=686.98MB, max=12.11MB, minor=681.08MB, major=25.30MB, promoted=19.40MB
    minor collections=734  major collections=86 compactions=0


runtime: 00:01:40.803
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.779
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.49MB, max=12.11MB, minor=841.09MB, major=28.51MB, promoted=22.11MB
    minor collections=880  major collections=101 compactions=0


runtime: 00:02:00.834
vars: 542, evals: 390

|rho|=542
|called|=16
|stable|=542
|infl|=521
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=390
Found 31 contexts for 2 functions. Top 5 functions:
30	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=946.62MB, max=12.11MB, minor=939.93MB, major=30.30MB, promoted=23.61MB
    minor collections=961  major collections=109 compactions=0


runtime: 00:02:10.992
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.70MB, major=31.96MB, promoted=25.03MB
    minor collections=1035  major collections=115 compactions=0


runtime: 00:02:20.952
vars: 615, evals: 442

|rho|=615
|called|=15
|stable|=615
|infl|=595
|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.95MB, max=12.11MB, minor=1124.78MB, major=33.63MB, promoted=26.46MB
    minor collections=1111  major collections=121 compactions=0


runtime: 00:02:31.005
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.26MB, max=12.11MB, minor=1221.85MB, major=35.38MB, promoted=27.97MB
    minor collections=1190  major collections=128 compactions=0


runtime: 00:02:41.043
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=1332.20MB, max=13.93MB, minor=1324.55MB, major=37.12MB, promoted=29.48MB
    minor collections=1269  major collections=134 compactions=0


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

|rho|=723
|called|=14
|stable|=723
|infl|=704
|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=1440.07MB, max=13.93MB, minor=1432.17MB, major=38.89MB, promoted=31.00MB
    minor collections=1350  major collections=140 compactions=0


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

|rho|=759
|called|=14
|stable|=759
|infl|=740
|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=1555.04MB, max=13.93MB, minor=1546.91MB, major=40.78MB, promoted=32.65MB
    minor collections=1433  major collections=146 compactions=0


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

|rho|=795
|called|=14
|stable|=795
|infl|=776
|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=1674.08MB, max=13.93MB, minor=1665.72MB, major=42.68MB, promoted=34.31MB
    minor collections=1520  major collections=153 compactions=0


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

|rho|=831
|called|=14
|stable|=831
|infl|=812
|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=1798.52MB, max=13.93MB, minor=1789.92MB, major=44.61MB, promoted=36.01MB
    minor collections=1606  major collections=159 compactions=0


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

|rho|=867
|called|=13
|stable|=867
|infl|=849
|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=1932.49MB, max=13.93MB, minor=1923.65MB, major=46.66MB, promoted=37.82MB
    minor collections=1696  major collections=165 compactions=0


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

|rho|=903
|called|=13
|stable|=903
|infl|=885
|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=2074.38MB, max=13.93MB, minor=2065.30MB, major=48.71MB, promoted=39.64MB
    minor collections=1792  major collections=171 compactions=0


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

|rho|=939
|called|=13
|stable|=939
|infl|=921
|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=2218.75MB, max=13.93MB, minor=2209.44MB, major=50.76MB, promoted=41.45MB
    minor collections=1887  major collections=177 compactions=0


runtime: 00:04:01.470
vars: 976, evals: 702

|rho|=976
|called|=12
|stable|=976
|infl|=959
|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=2370.37MB, max=16.02MB, minor=2360.81MB, major=52.91MB, promoted=43.35MB
    minor collections=1988  major collections=183 compactions=0


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

|rho|=1012
|called|=11
|stable|=1012
|infl|=996
|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=2533.95MB, max=16.02MB, minor=2524.14MB, major=55.12MB, promoted=45.32MB
    minor collections=2092  major collections=189 compactions=0


runtime: 00:04:21.561
vars: 1049, evals: 754

|rho|=1049
|called|=9
|stable|=1049
|infl|=1035
|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=2711.20MB, max=16.02MB, minor=2701.10MB, major=57.50MB, promoted=47.39MB
    minor collections=2204  major collections=195 compactions=0


runtime: 00:04:31.609
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=2898.18MB, max=16.02MB, minor=2887.84MB, major=59.80MB, promoted=49.45MB
    minor collections=2319  major collections=201 compactions=0


runtime: 00:04:41.635
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=3068.92MB, max=16.02MB, minor=3058.35MB, major=62.19MB, promoted=51.62MB
    minor collections=2420  major collections=205 compactions=0


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

|rho|=1119
|called|=10
|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=3251.35MB, max=16.02MB, minor=3240.59MB, major=64.78MB, promoted=54.02MB
    minor collections=2529  major collections=210 compactions=0


runtime: 00:05:01.663
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=3410.80MB, max=18.42MB, minor=3399.85MB, major=67.44MB, promoted=56.49MB
    minor collections=2626  major collections=214 compactions=0


runtime: 00:05:11.774
vars: 1125, evals: 884

|rho|=1125
|called|=21
|stable|=1125
|infl|=1114
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=809
Found 66 contexts for 2 functions. Top 5 functions:
65	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=3560.49MB, max=18.42MB, minor=3549.35MB, major=69.94MB, promoted=58.80MB
    minor collections=2719  major collections=219 compactions=0


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

|rho|=1128
|called|=19
|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=3812.56MB, max=18.42MB, minor=3801.20MB, major=72.89MB, promoted=61.53MB
    minor collections=2857  major collections=223 compactions=0


runtime: 00:05:31.721
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=4035.22MB, max=21.19MB, minor=4023.21MB, major=86.15MB, promoted=74.14MB
    minor collections=3017  major collections=230 compactions=0


runtime: 00:05:41.845
vars: 1162, evals: 936

|rho|=1162
|called|=19
|stable|=1162
|infl|=1138
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=843
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=4091.18MB, max=21.19MB, minor=4078.63MB, major=92.08MB, promoted=79.53MB
    minor collections=3137  major collections=241 compactions=0


runtime: 00:05:51.738
vars: 1173, evals: 947

|rho|=1173
|called|=19
|stable|=1173
|infl|=1149
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=854
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=4109.29MB, max=21.19MB, minor=4096.45MB, major=93.22MB, promoted=80.39MB
    minor collections=3214  major collections=248 compactions=0


runtime: 00:06:01.770
vars: 1183, evals: 957

|rho|=1183
|called|=19
|stable|=1183
|infl|=1159
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=864
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=4129.63MB, max=21.19MB, minor=4116.54MB, major=94.24MB, promoted=81.15MB
    minor collections=3283  major collections=255 compactions=0


runtime: 00:06:11.859
vars: 1192, evals: 966

|rho|=1192
|called|=19
|stable|=1192
|infl|=1168
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=873
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=4153.05MB, max=21.19MB, minor=4139.72MB, major=95.20MB, promoted=81.87MB
    minor collections=3347  major collections=262 compactions=0


runtime: 00:06:21.877
vars: 1201, evals: 975

|rho|=1201
|called|=19
|stable|=1201
|infl|=1177
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=882
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=4182.19MB, max=21.19MB, minor=4168.63MB, major=96.18MB, promoted=82.61MB
    minor collections=3409  major collections=269 compactions=0


runtime: 00:06:31.860
vars: 1211, evals: 985

|rho|=1211
|called|=20
|stable|=1211
|infl|=1186
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=892
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=4219.74MB, max=21.19MB, minor=4205.93MB, major=97.22MB, promoted=83.41MB
    minor collections=3474  major collections=276 compactions=0


runtime: 00:06:41.899
vars: 1214, evals: 988

|rho|=1214
|called|=19
|stable|=1214
|infl|=1190
|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=4362.65MB, max=21.19MB, minor=4347.97MB, major=114.04MB, promoted=99.36MB
    minor collections=3620  major collections=292 compactions=0


runtime: 00:06:51.930
vars: 1252, evals: 1043

|rho|=1252
|called|=18
|stable|=1252
|infl|=1238
|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=4447.49MB, max=21.19MB, minor=4432.41MB, major=116.46MB, promoted=101.38MB
    minor collections=3735  major collections=306 compactions=0


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

|rho|=1257
|called|=25
|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=4580.12MB, max=21.19MB, minor=4564.61MB, major=119.78MB, promoted=104.27MB
    minor collections=3865  major collections=323 compactions=0


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

|rho|=1257
|called|=27
|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=4673.13MB, max=21.19MB, minor=4657.16MB, major=123.22MB, promoted=107.25MB
    minor collections=3993  major collections=337 compactions=0


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

|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=4751.05MB, max=21.19MB, minor=4734.66MB, major=125.96MB, promoted=109.57MB
    minor collections=4107  major collections=348 compactions=0


runtime: 00:07:32.194
vars: 1274, evals: 1142

|rho|=1274
|called|=4
|stable|=1274
|infl|=1265
|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.25MB, max=21.19MB, minor=4768.53MB, major=128.30MB, promoted=111.57MB
    minor collections=4194  major collections=358 compactions=0


runtime: 00:07:42.017
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.42MB, max=21.19MB, minor=4883.17MB, major=132.08MB, promoted=114.84MB
    minor collections=4355  major collections=373 compactions=0


runtime: 00:07:52.003
vars: 1398, evals: 1261

|rho|=1398
|called|=2
|stable|=1398
|infl|=1391
|wpoint|=1
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=1055
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=4919.37MB, max=21.19MB, minor=4901.81MB, major=133.31MB, promoted=115.75MB
    minor collections=4449  major collections=383 compactions=0


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

|rho|=1445
|called|=0
|stable|=1445
|infl|=1436
|wpoint|=1
|side_dep|=6
|side_infl|=4
|var_messages|=0
|rho_write|=4
|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=5066.20MB, max=21.19MB, minor=5048.29MB, major=135.42MB, promoted=117.50MB
    minor collections=4588  major collections=398 compactions=0


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

|rho|=1473
|called|=0
|stable|=1473
|infl|=1436
|wpoint|=1
|side_dep|=47
|side_infl|=38
|var_messages|=0
|rho_write|=38
|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=5135.36MB, max=21.19MB, minor=5116.75MB, major=138.46MB, promoted=119.86MB
    minor collections=4702  major collections=409 compactions=0


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

|rho|=1498
|called|=0
|stable|=1498
|infl|=1436
|wpoint|=1
|side_dep|=83
|side_infl|=67
|var_messages|=0
|rho_write|=67
|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=5189.96MB, max=21.19MB, minor=5170.75MB, major=141.10MB, promoted=121.89MB
    minor collections=4800  major collections=419 compactions=0

