/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+sep-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.346
vars: 41, evals: 24

|rho|=41
|called|=16
|stable|=41
|infl|=14
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=24
Found 2 contexts for 2 functions. Top 5 functions:
1	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=133.71MB, max=14.28MB, minor=130.19MB, major=14.83MB, promoted=11.31MB
    minor collections=97  major collections=10 compactions=0


runtime: 00:00:20.347
vars: 46, evals: 26

|rho|=46
|called|=12
|stable|=46
|infl|=23
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=26
Found 3 contexts for 2 functions. Top 5 functions:
2	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=184.23MB, max=14.28MB, minor=180.60MB, major=15.33MB, promoted=11.69MB
    minor collections=149  major collections=17 compactions=0


runtime: 00:00:30.496
vars: 59, evals: 37

|rho|=59
|called|=17
|stable|=59
|infl|=31
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=37
Found 3 contexts for 2 functions. Top 5 functions:
2	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=190.51MB, max=14.28MB, minor=186.79MB, major=15.71MB, promoted=11.99MB
    minor collections=184  major collections=21 compactions=0


runtime: 00:00:40.652
vars: 64, evals: 39

|rho|=64
|called|=12
|stable|=64
|infl|=41
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 4 contexts for 2 functions. Top 5 functions:
3	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=248.69MB, max=14.28MB, minor=244.83MB, major=16.30MB, promoted=12.44MB
    minor collections=243  major collections=29 compactions=0


runtime: 00:00:50.506
vars: 66, evals: 39

|rho|=66
|called|=6
|stable|=66
|infl|=49
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=39
Found 4 contexts for 2 functions. Top 5 functions:
3	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=254.85MB, max=14.28MB, minor=250.93MB, major=16.59MB, promoted=12.67MB
    minor collections=269  major collections=32 compactions=0


runtime: 00:01:00.682
vars: 81, evals: 52

|rho|=81
|called|=13
|stable|=81
|infl|=57
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=314.10MB, max=14.28MB, minor=310.05MB, major=17.20MB, promoted=13.15MB
    minor collections=328  major collections=40 compactions=0


runtime: 00:01:11.064
vars: 83, evals: 52

|rho|=83
|called|=7
|stable|=83
|infl|=65
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=320.63MB, max=14.28MB, minor=316.49MB, major=17.57MB, promoted=13.43MB
    minor collections=361  major collections=43 compactions=0


runtime: 00:01:21.957
vars: 99, evals: 65

|rho|=99
|called|=13
|stable|=99
|infl|=75
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65
Found 6 contexts for 2 functions. Top 5 functions:
5	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=380.28MB, max=14.28MB, minor=376.00MB, major=18.22MB, promoted=13.94MB
    minor collections=423  major collections=52 compactions=0


runtime: 00:01:32.470
vars: 101, evals: 65

|rho|=101
|called|=7
|stable|=101
|infl|=83
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=65
Found 6 contexts for 2 functions. Top 5 functions:
5	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=387.04MB, max=14.28MB, minor=382.67MB, major=18.59MB, promoted=14.22MB
    minor collections=456  major collections=55 compactions=0


runtime: 00:01:41.147
vars: 117, evals: 78

|rho|=117
|called|=14
|stable|=117
|infl|=92
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78
Found 7 contexts for 2 functions. Top 5 functions:
6	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=445.80MB, max=14.28MB, minor=441.30MB, major=19.21MB, promoted=14.71MB
    minor collections=515  major collections=63 compactions=0


runtime: 00:01:51.913
vars: 119, evals: 78

|rho|=119
|called|=8
|stable|=119
|infl|=100
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=78
Found 7 contexts for 2 functions. Top 5 functions:
6	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=452.76MB, max=14.28MB, minor=448.17MB, major=19.58MB, promoted=14.99MB
    minor collections=548  major collections=67 compactions=0


runtime: 00:02:00.771
vars: 135, evals: 91

|rho|=135
|called|=15
|stable|=135
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=511.75MB, max=14.28MB, minor=507.03MB, major=20.20MB, promoted=15.47MB
    minor collections=608  major collections=75 compactions=0


runtime: 00:02:11.010
vars: 137, evals: 91

|rho|=137
|called|=9
|stable|=137
|infl|=117
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=517.95MB, max=14.28MB, minor=513.15MB, major=20.54MB, promoted=15.74MB
    minor collections=637  major collections=78 compactions=0


runtime: 00:02:21.629
vars: 152, evals: 104

|rho|=152
|called|=16
|stable|=152
|infl|=125
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104
Found 9 contexts for 2 functions. Top 5 functions:
8	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=578.07MB, max=14.28MB, minor=573.14MB, major=21.15MB, promoted=16.23MB
    minor collections=693  major collections=86 compactions=0


runtime: 00:02:32.439
vars: 154, evals: 104

|rho|=154
|called|=10
|stable|=154
|infl|=133
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=104
Found 9 contexts for 2 functions. Top 5 functions:
8	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=585.55MB, max=14.28MB, minor=580.55MB, major=21.51MB, promoted=16.50MB
    minor collections=727  major collections=90 compactions=0


runtime: 00:02:41.972
vars: 170, evals: 117

|rho|=170
|called|=16
|stable|=170
|infl|=143
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=645.44MB, max=14.28MB, minor=640.29MB, major=22.20MB, promoted=17.04MB
    minor collections=788  major collections=97 compactions=0


runtime: 00:02:52.629
vars: 172, evals: 117

|rho|=172
|called|=11
|stable|=172
|infl|=150
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=652.52MB, max=14.28MB, minor=647.29MB, major=22.51MB, promoted=17.29MB
    minor collections=820  major collections=101 compactions=0


runtime: 00:03:01.076
vars: 174, evals: 117

|rho|=174
|called|=6
|stable|=174
|infl|=157
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=658.87MB, max=14.28MB, minor=653.58MB, major=22.82MB, promoted=17.52MB
    minor collections=846  major collections=104 compactions=0


runtime: 00:03:11.865
vars: 189, evals: 130

|rho|=189
|called|=13
|stable|=189
|infl|=165
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130
Found 11 contexts for 2 functions. Top 5 functions:
10	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=718.81MB, max=14.28MB, minor=713.39MB, major=23.42MB, promoted=18.00MB
    minor collections=902  major collections=112 compactions=0


runtime: 00:03:21.290
vars: 191, evals: 130

|rho|=191
|called|=8
|stable|=191
|infl|=172
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=130
Found 11 contexts for 2 functions. Top 5 functions:
10	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=725.57MB, max=14.28MB, minor=720.07MB, major=23.76MB, promoted=18.26MB
    minor collections=932  major collections=115 compactions=0


runtime: 00:03:32.594
vars: 207, evals: 143

|rho|=207
|called|=14
|stable|=207
|infl|=182
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143
Found 12 contexts for 2 functions. Top 5 functions:
11	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=786.67MB, max=14.28MB, minor=781.03MB, major=24.43MB, promoted=18.79MB
    minor collections=995  major collections=123 compactions=0


runtime: 00:03:41.360
vars: 209, evals: 143

|rho|=209
|called|=9
|stable|=209
|infl|=189
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=143
Found 12 contexts for 2 functions. Top 5 functions:
11	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=792.64MB, max=14.28MB, minor=786.93MB, major=24.74MB, promoted=19.03MB
    minor collections=1021  major collections=126 compactions=0


runtime: 00:03:52.689
vars: 224, evals: 156

|rho|=224
|called|=16
|stable|=224
|infl|=197
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=853.90MB, max=14.28MB, minor=848.07MB, major=25.37MB, promoted=19.53MB
    minor collections=1077  major collections=134 compactions=0


runtime: 00:04:01.746
vars: 226, evals: 156

|rho|=226
|called|=11
|stable|=226
|infl|=204
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=860.92MB, max=14.28MB, minor=855.01MB, major=25.70MB, promoted=19.78MB
    minor collections=1108  major collections=137 compactions=0


runtime: 00:04:11.494
vars: 239, evals: 167

|rho|=239
|called|=17
|stable|=239
|infl|=211
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=167
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+sep-reducer.c:22:2-5301:2

Memory statistics: total=869.21MB, max=14.28MB, minor=863.19MB, major=26.13MB, promoted=20.12MB
    minor collections=1143  major collections=141 compactions=0


runtime: 00:04:21.682
vars: 243, evals: 169

|rho|=243
|called|=13
|stable|=243
|infl|=219
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169
Found 14 contexts for 2 functions. Top 5 functions:
13	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=928.85MB, max=14.28MB, minor=922.75MB, major=26.62MB, promoted=20.52MB
    minor collections=1190  major collections=148 compactions=0


runtime: 00:04:31.753
vars: 245, evals: 169

|rho|=245
|called|=8
|stable|=245
|infl|=226
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=169
Found 14 contexts for 2 functions. Top 5 functions:
13	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=936.41MB, max=14.28MB, minor=930.22MB, major=26.97MB, promoted=20.78MB
    minor collections=1220  major collections=151 compactions=0


runtime: 00:04:41.556
vars: 261, evals: 182

|rho|=261
|called|=15
|stable|=261
|infl|=235
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=996.87MB, max=14.28MB, minor=990.55MB, major=27.61MB, promoted=21.29MB
    minor collections=1280  major collections=159 compactions=0


runtime: 00:04:52.066
vars: 262, evals: 182

|rho|=262
|called|=10
|stable|=262
|infl|=241
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1004.88MB, max=14.28MB, minor=998.51MB, major=27.90MB, promoted=21.53MB
    minor collections=1303  major collections=162 compactions=0


runtime: 00:05:02.447
vars: 278, evals: 195

|rho|=278
|called|=16
|stable|=278
|infl|=251
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195
Found 16 contexts for 2 functions. Top 5 functions:
15	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1066.65MB, max=14.28MB, minor=1060.13MB, major=28.61MB, promoted=22.09MB
    minor collections=1364  major collections=170 compactions=0


runtime: 00:05:11.753
vars: 280, evals: 195

|rho|=280
|called|=12
|stable|=280
|infl|=257
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195
Found 16 contexts for 2 functions. Top 5 functions:
15	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1072.59MB, max=14.28MB, minor=1066.00MB, major=28.90MB, promoted=22.31MB
    minor collections=1392  major collections=173 compactions=0


runtime: 00:05:22.810
vars: 281, evals: 195

|rho|=281
|called|=7
|stable|=281
|infl|=263
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=195
Found 16 contexts for 2 functions. Top 5 functions:
15	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1081.96MB, max=14.28MB, minor=1075.32MB, major=29.20MB, promoted=22.56MB
    minor collections=1415  major collections=175 compactions=0


runtime: 00:05:32.763
vars: 297, evals: 208

|rho|=297
|called|=14
|stable|=297
|infl|=272
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208
Found 17 contexts for 2 functions. Top 5 functions:
16	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1142.89MB, max=14.28MB, minor=1136.11MB, major=29.86MB, promoted=23.08MB
    minor collections=1476  major collections=184 compactions=0


runtime: 00:05:42.191
vars: 299, evals: 208

|rho|=299
|called|=9
|stable|=299
|infl|=279
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=208
Found 17 contexts for 2 functions. Top 5 functions:
16	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1150.24MB, max=14.28MB, minor=1143.40MB, major=30.18MB, promoted=23.34MB
    minor collections=1502  major collections=187 compactions=0


runtime: 00:05:53.746
vars: 314, evals: 221

|rho|=314
|called|=16
|stable|=314
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1213.15MB, max=14.28MB, minor=1206.18MB, major=30.83MB, promoted=23.86MB
    minor collections=1559  major collections=194 compactions=0


runtime: 00:06:03.642
vars: 316, evals: 221

|rho|=316
|called|=11
|stable|=316
|infl|=294
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1221.41MB, max=14.28MB, minor=1214.36MB, major=31.17MB, promoted=24.12MB
    minor collections=1590  major collections=198 compactions=0


runtime: 00:06:12.223
vars: 317, evals: 221

|rho|=317
|called|=7
|stable|=317
|infl|=299
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1228.88MB, max=14.28MB, minor=1221.78MB, major=31.43MB, promoted=24.33MB
    minor collections=1609  major collections=200 compactions=0


runtime: 00:06:22.060
vars: 333, evals: 234

|rho|=333
|called|=14
|stable|=333
|infl|=308
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234
Found 19 contexts for 2 functions. Top 5 functions:
18	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1290.32MB, max=14.28MB, minor=1283.09MB, major=32.07MB, promoted=24.84MB
    minor collections=1670  major collections=208 compactions=0


runtime: 00:06:32.158
vars: 335, evals: 234

|rho|=335
|called|=9
|stable|=335
|infl|=315
|wpoint|=0
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=234
Found 19 contexts for 2 functions. Top 5 functions:
18	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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1298.45MB, max=14.28MB, minor=1291.14MB, major=32.43MB, promoted=25.12MB
    minor collections=1700  major collections=211 compactions=0


runtime: 00:06:43.379
vars: 350, evals: 247

|rho|=350
|called|=16
|stable|=350
|infl|=323
|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+sep-reducer.c:22:2-5301:2

Memory statistics: total=1361.99MB, max=14.28MB, minor=1354.56MB, major=33.05MB, promoted=25.62MB
    minor collections=1753  major collections=218 compactions=0

