Generated 192 cases.
Filtered to 48 cases.
EXP 0 borrowingAllowed false
EXP 0 cacheRMIConnections false
EXP 0 serverCachesProofs true
EXP 0 clientCachesProofs true
EXP 0 requestsPerConnection 1
EXP 0 registryService TestRMIServer2
EXP 0 numberOfConnections 15
EXP 0 fileLength 000100
EXP 0 experimentType RMIExp
EXP 0 port 8143
EXP 0 uri /timing/data-000100.txt
EXP 0 experimentID 0
0 15 17.12656 1141
0 15 16.993392 1132
0 15 17.07633 1138
0 15 17.076423 1138
0 15 17.174388 1144
0 15 17.078941 1138
0 15 17.081544 1138
EXP 1 borrowingAllowed true
EXP 1 cacheRMIConnections false
EXP 1 serverCachesProofs true
EXP 1 clientCachesProofs true
EXP 1 requestsPerConnection 1
EXP 1 registryService TestRMIServer2
EXP 1 numberOfConnections 15
EXP 1 fileLength 000100
EXP 1 experimentType RMIExp
EXP 1 port 8143
EXP 1 uri /timing/data-000100.txt
EXP 1 experimentID 1
1 15 3.113038 207
1 15 1.975716 131
1 15 1.898717 126
1 15 1.899997 126
1 15 1.888191 125
1 15 1.904571 126
1 15 1.913901 127
1 15 1.84969 123
1 15 1.8993980000000001 126
1 15 1.894614 126
EXP 2 borrowingAllowed true
EXP 2 cacheRMIConnections true
EXP 2 serverCachesProofs true
EXP 2 clientCachesProofs true
EXP 2 requestsPerConnection 1
EXP 2 registryService TestRMIServer2
EXP 2 numberOfConnections 15
EXP 2 fileLength 000100
EXP 2 experimentType RMIExp
EXP 2 port 8143
EXP 2 uri /timing/data-000100.txt
EXP 2 experimentID 2
2 15 0.275625 18
2 15 0.17745 11
2 15 0.202839 13
2 15 0.179755 11
2 15 0.173794 11
2 15 0.173159 11
2 15 0.175481 11
2 15 0.239397 15
2 15 0.173135 11
2 15 0.17156700000000003 11
EXP 3 borrowingAllowed true
EXP 3 cacheRMIConnections true
EXP 3 serverCachesProofs false
EXP 3 clientCachesProofs false
EXP 3 requestsPerConnection 1
EXP 3 registryService TestRMIServer3
EXP 3 numberOfConnections 15
EXP 3 fileLength 000100
EXP 3 experimentType RMIExp
EXP 3 port 8143
EXP 3 uri /timing/data-000100.txt
EXP 3 experimentID 3
3 15 8.324477 554
3 15 6.98419 465
3 15 6.870232 458
3 15 6.896134 459
3 15 6.961009 464
3 15 6.893205 459
3 15 6.879733 458
3 15 6.889139 459
3 15 6.9549 463
3 15 6.887796 459
EXP 4 borrowingAllowed true
EXP 4 cacheRMIConnections true
EXP 4 serverCachesProofs false
EXP 4 clientCachesProofs true
EXP 4 requestsPerConnection 1
EXP 4 registryService TestRMIServer3
EXP 4 numberOfConnections 15
EXP 4 fileLength 000100
EXP 4 experimentType RMIExp
EXP 4 port 8143
EXP 4 uri /timing/data-000100.txt
EXP 4 experimentID 4
4 15 3.146102 209
4 15 2.842294 189
4 15 2.746254 183
4 15 2.803456 186
4 15 2.75984 183
4 15 2.716431 181
4 15 2.7834060000000003 185
4 15 2.917874 194
4 15 3.879494 258
4 15 4.228816 281
EXP 5 borrowingAllowed false
EXP 5 cacheRMIConnections false
EXP 5 serverCachesProofs true
EXP 5 clientCachesProofs true
EXP 5 requestsPerConnection 1
EXP 5 registryService TestRMIServer3
EXP 5 numberOfConnections 15
EXP 5 fileLength 000100
EXP 5 experimentType RMIExp
EXP 5 port 8143
EXP 5 uri /timing/data-000100.txt
EXP 5 experimentID 5
5 15 18.689909 1245
5 15 17.254948 1150
5 15 17.143969 1142
5 15 17.171664 1144
5 15 17.190127 1146
5 15 17.090179 1139
5 15 17.294427 1152
5 15 17.239929 1149
5 15 17.443593 1162
5 15 17.726192 1181
EXP 6 borrowingAllowed true
EXP 6 cacheRMIConnections false
EXP 6 serverCachesProofs true
EXP 6 clientCachesProofs true
EXP 6 requestsPerConnection 1
EXP 6 registryService TestRMIServer3
EXP 6 numberOfConnections 15
EXP 6 fileLength 000100
EXP 6 experimentType RMIExp
EXP 6 port 8143
EXP 6 uri /timing/data-000100.txt
EXP 6 experimentID 6
6 15 2.122134 141
6 15 2.132781 142
6 15 2.199382 146
6 15 2.322972 154
6 15 2.331671 155
6 15 2.027813 135
6 15 2.05097 136
6 15 1.980549 132
6 15 2.063174 137
6 15 2.089739 139
EXP 7 borrowingAllowed true
EXP 7 cacheRMIConnections true
EXP 7 serverCachesProofs true
EXP 7 clientCachesProofs true
EXP 7 requestsPerConnection 1
EXP 7 registryService TestRMIServer3
EXP 7 numberOfConnections 15
EXP 7 fileLength 000100
EXP 7 experimentType RMIExp
EXP 7 port 8143
EXP 7 uri /timing/data-000100.txt
EXP 7 experimentID 7
7 15 0.229983 15
7 15 0.256 17
7 15 0.246707 16
7 15 0.220129 14
7 15 0.258145 17
7 15 0.21967800000000004 14
7 15 0.258727 17
7 15 0.220446 14
7 15 0.218788 14
7 15 0.28753700000000004 19
EXP 8 borrowingAllowed false
EXP 8 cacheRMIConnections false
EXP 8 serverCachesProofs true
EXP 8 clientCachesProofs true
EXP 8 requestsPerConnection 1
EXP 8 registryService TestRMIServer2
EXP 8 numberOfConnections 15
EXP 8 fileLength 000398
EXP 8 experimentType RMIExp
EXP 8 port 8143
EXP 8 uri /timing/data-000398.txt
EXP 8 experimentID 8
8 15 17.917304 1194
8 15 17.193832 1146
8 15 17.242038 1149
8 15 17.307731 1153
8 15 17.343778 1156
8 15 18.157935 1210
8 15 17.559389 1170
8 15 17.391271 1159
8 15 17.6168 1174
EXP 9 borrowingAllowed true
EXP 9 cacheRMIConnections false
EXP 9 serverCachesProofs true
EXP 9 clientCachesProofs true
EXP 9 requestsPerConnection 1
EXP 9 registryService TestRMIServer2
EXP 9 numberOfConnections 15
EXP 9 fileLength 000398
EXP 9 experimentType RMIExp
EXP 9 port 8143
EXP 9 uri /timing/data-000398.txt
EXP 9 experimentID 9
9 15 3.064321 204
9 15 1.944926 129
9 15 2.047628 136
9 15 1.95192 130
9 15 2.037578 135
9 15 1.949282 129
9 15 2.084882 138
9 15 1.944067 129
9 15 2.049539 136
9 15 2.011618 134
EXP 10 borrowingAllowed true
EXP 10 cacheRMIConnections true
EXP 10 serverCachesProofs true
EXP 10 clientCachesProofs true
EXP 10 requestsPerConnection 1
EXP 10 registryService TestRMIServer2
EXP 10 numberOfConnections 15
EXP 10 fileLength 000398
EXP 10 experimentType RMIExp
EXP 10 port 8143
EXP 10 uri /timing/data-000398.txt
EXP 10 experimentID 10
10 15 0.20257 13
10 15 0.189381 12
10 15 0.191689 12
10 15 0.28618 19
10 15 0.191462 12
10 15 0.190615 12
10 15 0.189053 12
10 15 0.238122 15
10 15 0.22756699999999996 15
10 15 0.189815 12
EXP 11 borrowingAllowed true
EXP 11 cacheRMIConnections true
EXP 11 serverCachesProofs false
EXP 11 clientCachesProofs false
EXP 11 requestsPerConnection 1
EXP 11 registryService TestRMIServer3
EXP 11 numberOfConnections 15
EXP 11 fileLength 000398
EXP 11 experimentType RMIExp
EXP 11 port 8143
EXP 11 uri /timing/data-000398.txt
EXP 11 experimentID 11
11 15 7.022514 468
11 15 6.991911 466
11 15 7.052819 470
11 15 8.243672 549
11 15 9.555672 637
11 15 7.04704 469
11 15 7.130797 475
11 15 7.109142 473
11 15 7.102891 473
11 15 7.082567 472
EXP 12 borrowingAllowed true
EXP 12 cacheRMIConnections true
EXP 12 serverCachesProofs false
EXP 12 clientCachesProofs true
EXP 12 requestsPerConnection 1
EXP 12 registryService TestRMIServer3
EXP 12 numberOfConnections 15
EXP 12 fileLength 000398
EXP 12 experimentType RMIExp
EXP 12 port 8143
EXP 12 uri /timing/data-000398.txt
EXP 12 experimentID 12
12 15 3.171251 211
12 15 2.808331 187
12 15 2.815752 187
12 15 2.881862 192
12 15 2.799716 186
12 15 2.799068 186
12 15 2.862891 190
12 15 2.816792 187
12 15 2.771966 184
12 15 2.776529 185
EXP 13 borrowingAllowed false
EXP 13 cacheRMIConnections false
EXP 13 serverCachesProofs true
EXP 13 clientCachesProofs true
EXP 13 requestsPerConnection 1
EXP 13 registryService TestRMIServer3
EXP 13 numberOfConnections 15
EXP 13 fileLength 000398
EXP 13 experimentType RMIExp
EXP 13 port 8143
EXP 13 uri /timing/data-000398.txt
EXP 13 experimentID 13
13 15 17.866015 1191
13 15 17.319815 1154
EXP 14 borrowingAllowed true
EXP 14 cacheRMIConnections false
EXP 14 serverCachesProofs true
EXP 14 clientCachesProofs true
EXP 14 requestsPerConnection 1
EXP 14 registryService TestRMIServer3
EXP 14 numberOfConnections 15
EXP 14 fileLength 000398
EXP 14 experimentType RMIExp
EXP 14 port 8143
EXP 14 uri /timing/data-000398.txt
EXP 14 experimentID 14
14 15 2.191964 146
14 15 2.033754 135
14 15 2.015451 134
14 15 2.052528 136
14 15 2.05669 137
14 15 2.018739 134
14 15 2.040164 136
14 15 1.997636 133
14 15 2.001394 133
14 15 2.067949 137
EXP 15 borrowingAllowed true
EXP 15 cacheRMIConnections true
EXP 15 serverCachesProofs true
EXP 15 clientCachesProofs true
EXP 15 requestsPerConnection 1
EXP 15 registryService TestRMIServer3
EXP 15 numberOfConnections 15
EXP 15 fileLength 000398
EXP 15 experimentType RMIExp
EXP 15 port 8143
EXP 15 uri /timing/data-000398.txt
EXP 15 experimentID 15
15 15 0.34954399999999997 23
15 15 0.243909 16
15 15 0.244532 16
15 15 0.241802 16
15 15 0.295003 19
15 15 0.283086 18
15 15 0.239011 15
15 15 0.241505 16
15 15 0.29506699999999997 19
15 15 0.303344 20
EXP 16 borrowingAllowed false
EXP 16 cacheRMIConnections false
EXP 16 serverCachesProofs true
EXP 16 clientCachesProofs true
EXP 16 requestsPerConnection 1
EXP 16 registryService TestRMIServer2
EXP 16 numberOfConnections 15
EXP 16 fileLength 001584
EXP 16 experimentType RMIExp
EXP 16 port 8143
EXP 16 uri /timing/data-001584.txt
EXP 16 experimentID 16
16 15 17.486454 1165
16 15 17.428133 1161
16 15 18.022177 1201
16 15 17.664569 1177
16 15 17.789276 1185
16 15 17.778291 1185
16 15 17.484155 1165
16 15 17.550852 1170
16 15 17.529773 1168
16 15 17.621723 1174
EXP 17 borrowingAllowed true
EXP 17 cacheRMIConnections false
EXP 17 serverCachesProofs true
EXP 17 clientCachesProofs true
EXP 17 requestsPerConnection 1
EXP 17 registryService TestRMIServer2
EXP 17 numberOfConnections 15
EXP 17 fileLength 001584
EXP 17 experimentType RMIExp
EXP 17 port 8143
EXP 17 uri /timing/data-001584.txt
EXP 17 experimentID 17
17 15 2.254197 150
17 15 2.143579 142
17 15 2.161629 144
17 15 2.072543 138
17 15 2.014701 134
17 15 2.199255 146
17 15 2.09929 139
17 15 2.149595 143
17 15 2.212305 147
17 15 2.112991 140
EXP 18 borrowingAllowed true
EXP 18 cacheRMIConnections true
EXP 18 serverCachesProofs true
EXP 18 clientCachesProofs true
EXP 18 requestsPerConnection 1
EXP 18 registryService TestRMIServer2
EXP 18 numberOfConnections 15
EXP 18 fileLength 001584
EXP 18 experimentType RMIExp
EXP 18 port 8143
EXP 18 uri /timing/data-001584.txt
EXP 18 experimentID 18
18 15 0.347389 23
18 15 0.276767 18
18 15 0.39793900000000004 26
18 15 0.349056 23
18 15 0.367659 24
18 15 0.27823 18
18 15 0.352191 23
18 15 0.325541 21
18 15 0.39707000000000003 26
18 15 0.340054 22
EXP 19 borrowingAllowed true
EXP 19 cacheRMIConnections true
EXP 19 serverCachesProofs false
EXP 19 clientCachesProofs false
EXP 19 requestsPerConnection 1
EXP 19 registryService TestRMIServer3
EXP 19 numberOfConnections 15
EXP 19 fileLength 001584
EXP 19 experimentType RMIExp
EXP 19 port 8143
EXP 19 uri /timing/data-001584.txt
EXP 19 experimentID 19
19 15 6.989606 465
19 15 7.075863 471
19 15 7.028309 468
19 15 7.06163 470
19 15 6.936599 462
19 15 7.061013 470
19 15 6.947 463
19 15 7.10155 473
19 15 7.042375 469
19 15 6.93815 462
EXP 20 borrowingAllowed true
EXP 20 cacheRMIConnections true
EXP 20 serverCachesProofs false
EXP 20 clientCachesProofs true
EXP 20 requestsPerConnection 1
EXP 20 registryService TestRMIServer3
EXP 20 numberOfConnections 15
EXP 20 fileLength 001584
EXP 20 experimentType RMIExp
EXP 20 port 8143
EXP 20 uri /timing/data-001584.txt
EXP 20 experimentID 20
20 15 3.443134 229
20 15 2.99663 199
20 15 3.048705 203
20 15 2.896111 193
20 15 2.970943 198
20 15 3.061889 204
20 15 3.039016 202
20 15 2.989682 199
20 15 3.123465 208
20 15 2.989416 199
EXP 21 borrowingAllowed false
EXP 21 cacheRMIConnections false
EXP 21 serverCachesProofs true
EXP 21 clientCachesProofs true
EXP 21 requestsPerConnection 1
EXP 21 registryService TestRMIServer3
EXP 21 numberOfConnections 15
EXP 21 fileLength 001584
EXP 21 experimentType RMIExp
EXP 21 port 8143
EXP 21 uri /timing/data-001584.txt
EXP 21 experimentID 21
21 15 19.167896 1277
EXP 22 borrowingAllowed true
EXP 22 cacheRMIConnections false
EXP 22 serverCachesProofs true
EXP 22 clientCachesProofs true
EXP 22 requestsPerConnection 1
EXP 22 registryService TestRMIServer3
EXP 22 numberOfConnections 15
EXP 22 fileLength 001584
EXP 22 experimentType RMIExp
EXP 22 port 8143
EXP 22 uri /timing/data-001584.txt
EXP 22 experimentID 22
22 15 2.238885 149
22 15 2.15989 143
22 15 2.144498 142
22 15 2.225423 148
22 15 2.146561 143
22 15 2.196905 146
22 15 2.154108 143
22 15 2.194026 146
22 15 2.175298 145
22 15 2.164951 144
EXP 23 borrowingAllowed true
EXP 23 cacheRMIConnections true
EXP 23 serverCachesProofs true
EXP 23 clientCachesProofs true
EXP 23 requestsPerConnection 1
EXP 23 registryService TestRMIServer3
EXP 23 numberOfConnections 15
EXP 23 fileLength 001584
EXP 23 experimentType RMIExp
EXP 23 port 8143
EXP 23 uri /timing/data-001584.txt
EXP 23 experimentID 23
23 15 0.346599 23
23 15 0.339847 22
23 15 0.47334 31
23 15 0.394616 26
23 15 0.381972 25
23 15 0.467031 31
23 15 0.391989 26
23 15 0.469384 31
23 15 0.393127 26
23 15 0.43649099999999996 29
EXP 24 borrowingAllowed false
EXP 24 cacheRMIConnections false
EXP 24 serverCachesProofs true
EXP 24 clientCachesProofs true
EXP 24 requestsPerConnection 1
EXP 24 registryService TestRMIServer2
EXP 24 numberOfConnections 15
EXP 24 fileLength 006309
EXP 24 experimentType RMIExp
EXP 24 port 8143
EXP 24 uri /timing/data-006309.txt
EXP 24 experimentID 24
24 15 18.675267 1245
EXP 25 borrowingAllowed true
EXP 25 cacheRMIConnections false
EXP 25 serverCachesProofs true
EXP 25 clientCachesProofs true
EXP 25 requestsPerConnection 1
EXP 25 registryService TestRMIServer2
EXP 25 numberOfConnections 15
EXP 25 fileLength 006309
EXP 25 experimentType RMIExp
EXP 25 port 8143
EXP 25 uri /timing/data-006309.txt
EXP 25 experimentID 25
25 15 2.661568 177
25 15 2.540488 169
25 15 3.258031 217
25 15 3.375238 225
25 15 2.976171 198
25 15 3.019375 201
25 15 2.513584 167
25 15 2.5268610000000002 168
25 15 2.465719 164
25 15 2.542997 169
EXP 26 borrowingAllowed true
EXP 26 cacheRMIConnections true
EXP 26 serverCachesProofs true
EXP 26 clientCachesProofs true
EXP 26 requestsPerConnection 1
EXP 26 registryService TestRMIServer2
EXP 26 numberOfConnections 15
EXP 26 fileLength 006309
EXP 26 experimentType RMIExp
EXP 26 port 8143
EXP 26 uri /timing/data-006309.txt
EXP 26 experimentID 26
26 15 0.768586 51
26 15 0.817269 54
26 15 0.747396 49
26 15 0.870303 58
26 15 0.837882 55
26 15 0.777234 51
26 15 0.791627 52
26 15 0.7731129999999999 51
26 15 0.807911 53
26 15 0.782048 52
EXP 27 borrowingAllowed true
EXP 27 cacheRMIConnections true
EXP 27 serverCachesProofs false
EXP 27 clientCachesProofs false
EXP 27 requestsPerConnection 1
EXP 27 registryService TestRMIServer3
EXP 27 numberOfConnections 15
EXP 27 fileLength 006309
EXP 27 experimentType RMIExp
EXP 27 port 8143
EXP 27 uri /timing/data-006309.txt
EXP 27 experimentID 27
27 15 7.347974 489
27 15 7.445365 496
27 15 7.456264 497
27 15 7.468853 497
27 15 7.631462 508
27 15 7.422079 494
27 15 7.450414 496
27 15 7.574835 504
27 15 7.495941 499
27 15 7.527749 501
EXP 28 borrowingAllowed true
EXP 28 cacheRMIConnections true
EXP 28 serverCachesProofs false
EXP 28 clientCachesProofs true
EXP 28 requestsPerConnection 1
EXP 28 registryService TestRMIServer3
EXP 28 numberOfConnections 15
EXP 28 fileLength 006309
EXP 28 experimentType RMIExp
EXP 28 port 8143
EXP 28 uri /timing/data-006309.txt
EXP 28 experimentID 28
28 15 3.76447 250
28 15 3.601867 240
28 15 3.573239 238
28 15 3.561924 237
28 15 3.732333 248
28 15 3.556533 237
28 15 3.556933 237
28 15 3.561684 237
28 15 3.620372 241
28 15 3.6405060000000002 242
EXP 29 borrowingAllowed false
EXP 29 cacheRMIConnections false
EXP 29 serverCachesProofs true
EXP 29 clientCachesProofs true
EXP 29 requestsPerConnection 1
EXP 29 registryService TestRMIServer3
EXP 29 numberOfConnections 15
EXP 29 fileLength 006309
EXP 29 experimentType RMIExp
EXP 29 port 8143
EXP 29 uri /timing/data-006309.txt
EXP 29 experimentID 29
29 15 19.640141 1309
29 15 18.143279 1209
29 15 18.084865 1205
29 15 17.869129 1191
29 15 17.851129 1190
29 15 18.118386 1207
29 15 18.111724 1207
29 15 18.107589 1207
29 15 18.940476 1262
29 15 18.947297 1263
EXP 30 borrowingAllowed true
EXP 30 cacheRMIConnections false
EXP 30 serverCachesProofs true
EXP 30 clientCachesProofs true
EXP 30 requestsPerConnection 1
EXP 30 registryService TestRMIServer3
EXP 30 numberOfConnections 15
EXP 30 fileLength 006309
EXP 30 experimentType RMIExp
EXP 30 port 8143
EXP 30 uri /timing/data-006309.txt
EXP 30 experimentID 30
30 15 2.654545 176
30 15 2.53992 169
30 15 2.638354 175
30 15 2.633221 175
30 15 2.675269 178
30 15 2.556777 170
30 15 2.7071 180
30 15 2.60018 173
30 15 2.72491 181
30 15 2.592847 172
EXP 31 borrowingAllowed true
EXP 31 cacheRMIConnections true
EXP 31 serverCachesProofs true
EXP 31 clientCachesProofs true
EXP 31 requestsPerConnection 1
EXP 31 registryService TestRMIServer3
EXP 31 numberOfConnections 15
EXP 31 fileLength 006309
EXP 31 experimentType RMIExp
EXP 31 port 8143
EXP 31 uri /timing/data-006309.txt
EXP 31 experimentID 31
31 15 0.850222 56
31 15 0.898308 59
31 15 0.948872 63
31 15 0.799351 53
31 15 0.904825 60
31 15 0.894523 59
31 15 0.890749 59
31 15 1.051808 70
31 15 0.749175 49
31 15 0.866515 57
EXP 32 borrowingAllowed false
EXP 32 cacheRMIConnections false
EXP 32 serverCachesProofs true
EXP 32 clientCachesProofs true
EXP 32 requestsPerConnection 1
EXP 32 registryService TestRMIServer2
EXP 32 numberOfConnections 15
EXP 32 fileLength 025118
EXP 32 experimentType RMIExp
EXP 32 port 8143
EXP 32 uri /timing/data-025118.txt
EXP 32 experimentID 32
32 15 20.287307 1352
32 15 19.507721 1300
32 15 19.798757 1319
32 15 20.504104 1366
32 15 20.388665 1359
32 15 20.745561 1383
32 15 19.266 1284
32 15 19.632954 1308
32 15 19.71488 1314
32 15 19.945557 1329
EXP 33 borrowingAllowed true
EXP 33 cacheRMIConnections false
EXP 33 serverCachesProofs true
EXP 33 clientCachesProofs true
EXP 33 requestsPerConnection 1
EXP 33 registryService TestRMIServer2
EXP 33 numberOfConnections 15
EXP 33 fileLength 025118
EXP 33 experimentType RMIExp
EXP 33 port 8143
EXP 33 uri /timing/data-025118.txt
EXP 33 experimentID 33
33 15 4.54496 302
33 15 4.34871 289
33 15 4.414913 294
33 15 4.441139 296
33 15 4.311736 287
33 15 4.447675 296
33 15 4.593167 306
33 15 4.324637 288
33 15 6.487794 432
33 15 5.649039 376
EXP 34 borrowingAllowed true
EXP 34 cacheRMIConnections true
EXP 34 serverCachesProofs true
EXP 34 clientCachesProofs true
EXP 34 requestsPerConnection 1
EXP 34 registryService TestRMIServer2
EXP 34 numberOfConnections 15
EXP 34 fileLength 025118
EXP 34 experimentType RMIExp
EXP 34 port 8143
EXP 34 uri /timing/data-025118.txt
EXP 34 experimentID 34
34 15 2.724062 181
34 15 2.817253 187
34 15 2.57726 171
34 15 2.846378 189
34 15 2.6225 174
34 15 2.633843 175
34 15 2.678588 178
34 15 2.6577859999999998 177
34 15 2.786684 185
34 15 2.800277 186
EXP 35 borrowingAllowed true
EXP 35 cacheRMIConnections true
EXP 35 serverCachesProofs false
EXP 35 clientCachesProofs false
EXP 35 requestsPerConnection 1
EXP 35 registryService TestRMIServer3
EXP 35 numberOfConnections 15
EXP 35 fileLength 025118
EXP 35 experimentType RMIExp
EXP 35 port 8143
EXP 35 uri /timing/data-025118.txt
EXP 35 experimentID 35
35 15 9.288566 619
35 15 9.445525 629
35 15 9.660826 644
35 15 9.39547 626
35 15 9.548549 636
35 15 9.408836 627
35 15 9.471135 631
35 15 9.447768 629
35 15 9.536984 635
35 15 9.523776 634
EXP 36 borrowingAllowed true
EXP 36 cacheRMIConnections true
EXP 36 serverCachesProofs false
EXP 36 clientCachesProofs true
EXP 36 requestsPerConnection 1
EXP 36 registryService TestRMIServer3
EXP 36 numberOfConnections 15
EXP 36 fileLength 025118
EXP 36 experimentType RMIExp
EXP 36 port 8143
EXP 36 uri /timing/data-025118.txt
EXP 36 experimentID 36
36 15 5.710556 380
36 15 5.617845 374
36 15 5.652867 376
36 15 5.627197 375
36 15 5.707897 380
36 15 5.594518 372
36 15 5.455084 363
36 15 5.68312 378
36 15 6.025986 401
36 15 5.867457 391
EXP 37 borrowingAllowed false
EXP 37 cacheRMIConnections false
EXP 37 serverCachesProofs true
EXP 37 clientCachesProofs true
EXP 37 requestsPerConnection 1
EXP 37 registryService TestRMIServer3
EXP 37 numberOfConnections 15
EXP 37 fileLength 025118
EXP 37 experimentType RMIExp
EXP 37 port 8143
EXP 37 uri /timing/data-025118.txt
EXP 37 experimentID 37
37 15 21.396757 1426
37 15 20.109971 1340
37 15 19.982505 1332
EXP 38 borrowingAllowed true
EXP 38 cacheRMIConnections false
EXP 38 serverCachesProofs true
EXP 38 clientCachesProofs true
EXP 38 requestsPerConnection 1
EXP 38 registryService TestRMIServer3
EXP 38 numberOfConnections 15
EXP 38 fileLength 025118
EXP 38 experimentType RMIExp
EXP 38 port 8143
EXP 38 uri /timing/data-025118.txt
EXP 38 experimentID 38
38 15 4.494197 299
38 15 4.477937 298
38 15 4.293514 286
38 15 4.539843 302
38 15 4.355964 290
38 15 4.380476 292
38 15 4.467054 297
38 15 4.360763 290
38 15 4.517184 301
38 15 4.528355 301
EXP 39 borrowingAllowed true
EXP 39 cacheRMIConnections true
EXP 39 serverCachesProofs true
EXP 39 clientCachesProofs true
EXP 39 requestsPerConnection 1
EXP 39 registryService TestRMIServer3
EXP 39 numberOfConnections 15
EXP 39 fileLength 025118
EXP 39 experimentType RMIExp
EXP 39 port 8143
EXP 39 uri /timing/data-025118.txt
EXP 39 experimentID 39
39 15 2.821082 188
39 15 2.939719 195
39 15 2.864558 190
39 15 2.9184390000000002 194
39 15 2.907511 193
39 15 2.78799 185
39 15 2.821816 188
39 15 2.795617 186
39 15 2.651906 176
39 15 2.746574 183
EXP 40 borrowingAllowed false
EXP 40 cacheRMIConnections false
EXP 40 serverCachesProofs true
EXP 40 clientCachesProofs true
EXP 40 requestsPerConnection 1
EXP 40 registryService TestRMIServer2
EXP 40 numberOfConnections 15
EXP 40 fileLength 100000
EXP 40 experimentType RMIExp
EXP 40 port 8143
EXP 40 uri /timing/data-100000.txt
EXP 40 experimentID 40
40 15 27.134489 1808
40 15 28.39117 1892
40 15 25.968579 1731
40 15 26.362701 1757
40 15 27.004373 1800
40 15 27.02112 1801
EXP 41 borrowingAllowed true
EXP 41 cacheRMIConnections false
EXP 41 serverCachesProofs true
EXP 41 clientCachesProofs true
EXP 41 requestsPerConnection 1
EXP 41 registryService TestRMIServer2
EXP 41 numberOfConnections 15
EXP 41 fileLength 100000
EXP 41 experimentType RMIExp
EXP 41 port 8143
EXP 41 uri /timing/data-100000.txt
EXP 41 experimentID 41
41 15 11.162093 744
41 15 11.373025 758
41 15 11.82863 788
41 15 11.549579 769
41 15 11.349568 756
41 15 11.422388 761
41 15 11.249678 749
41 15 11.472461 764
41 15 11.817442 787
41 15 11.600605999999999 773
EXP 42 borrowingAllowed true
EXP 42 cacheRMIConnections true
EXP 42 serverCachesProofs true
EXP 42 clientCachesProofs true
EXP 42 requestsPerConnection 1
EXP 42 registryService TestRMIServer2
EXP 42 numberOfConnections 15
EXP 42 fileLength 100000
EXP 42 experimentType RMIExp
EXP 42 port 8143
EXP 42 uri /timing/data-100000.txt
EXP 42 experimentID 42
42 15 8.905533 593
42 15 8.951639 596
42 15 8.941946 596
42 15 8.866395 591
42 15 8.781208 585
42 15 8.854122 590
42 15 8.816137 587
42 15 8.815164 587
42 15 8.627696 575
42 15 8.886267 592
EXP 43 borrowingAllowed true
EXP 43 cacheRMIConnections true
EXP 43 serverCachesProofs false
EXP 43 clientCachesProofs false
EXP 43 requestsPerConnection 1
EXP 43 registryService TestRMIServer3
EXP 43 numberOfConnections 15
EXP 43 fileLength 100000
EXP 43 experimentType RMIExp
EXP 43 port 8143
EXP 43 uri /timing/data-100000.txt
EXP 43 experimentID 43
43 15 15.666797 1044
43 15 15.755749 1050
43 15 15.671539 1044
43 15 16.215643 1081
43 15 18.850614 1256
43 15 15.730494 1048
43 15 15.646875 1043
43 15 15.792568 1052
43 15 15.764798 1050
43 15 15.707967 1047
EXP 44 borrowingAllowed true
EXP 44 cacheRMIConnections true
EXP 44 serverCachesProofs false
EXP 44 clientCachesProofs true
EXP 44 requestsPerConnection 1
EXP 44 registryService TestRMIServer3
EXP 44 numberOfConnections 15
EXP 44 fileLength 100000
EXP 44 experimentType RMIExp
EXP 44 port 8143
EXP 44 uri /timing/data-100000.txt
EXP 44 experimentID 44
44 15 12.413759 827
44 15 12.081062 805
44 15 12.323615 821
44 15 12.413326 827
44 15 12.073295 804
44 15 12.270587 818
44 15 12.294534 819
44 15 12.174463 811
44 15 12.166021 811
44 15 12.350027 823
EXP 45 borrowingAllowed false
EXP 45 cacheRMIConnections false
EXP 45 serverCachesProofs true
EXP 45 clientCachesProofs true
EXP 45 requestsPerConnection 1
EXP 45 registryService TestRMIServer3
EXP 45 numberOfConnections 15
EXP 45 fileLength 100000
EXP 45 experimentType RMIExp
EXP 45 port 8143
EXP 45 uri /timing/data-100000.txt
EXP 45 experimentID 45
45 15 27.952844 1863
45 15 26.348531 1756
45 15 27.296447 1819
EXP 46 borrowingAllowed true
EXP 46 cacheRMIConnections false
EXP 46 serverCachesProofs true
EXP 46 clientCachesProofs true
EXP 46 requestsPerConnection 1
EXP 46 registryService TestRMIServer3
EXP 46 numberOfConnections 15
EXP 46 fileLength 100000
EXP 46 experimentType RMIExp
EXP 46 port 8143
EXP 46 uri /timing/data-100000.txt
EXP 46 experimentID 46
46 15 10.90672 727
46 15 11.087464 739
46 15 10.980323 732
46 15 11.454679 763
46 15 11.043735999999999 736
46 15 11.454506 763
46 15 11.031544 735
46 15 11.392093 759
46 15 14.253749 950
46 15 13.026868 868
EXP 47 borrowingAllowed true
EXP 47 cacheRMIConnections true
EXP 47 serverCachesProofs true
EXP 47 clientCachesProofs true
EXP 47 requestsPerConnection 1
EXP 47 registryService TestRMIServer3
EXP 47 numberOfConnections 15
EXP 47 fileLength 100000
EXP 47 experimentType RMIExp
EXP 47 port 8143
EXP 47 uri /timing/data-100000.txt
EXP 47 experimentID 47
47 15 10.197398 679
47 15 10.618753 707
47 15 10.218755999999999 681
47 15 10.763268 717
47 15 10.404107 693
47 15 10.981625 732
47 15 10.870552 724
47 15 10.203343 680
47 15 9.66857 644
47 15 9.626634 641
