Generated 40 cases.
Filtered to 30 cases.
EXP 0 serverCachesProofs false
EXP 0 clientCachesProofs false
EXP 0 requestsPerConnection 1
EXP 0 registryService TestRMIServer3
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 6.222936 414
0 15 6.102179 406
0 15 6.065417 404
0 15 6.147725 409
0 15 6.096347 406
0 15 6.096152 406
0 15 6.098909 406
0 15 6.163957 410
0 15 6.091441 406
0 15 6.161152 410
EXP 1 serverCachesProofs false
EXP 1 clientCachesProofs true
EXP 1 requestsPerConnection 1
EXP 1 registryService TestRMIServer3
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 2.422259 161
1 15 2.115872 141
1 15 2.088765 139
1 15 2.125235 141
1 15 2.073178 138
1 15 2.106801 140
1 15 2.094318 139
1 15 2.14616 143
1 15 2.175412 145
1 15 2.125715 141
EXP 2 serverCachesProofs true
EXP 2 clientCachesProofs true
EXP 2 requestsPerConnection 1
EXP 2 registryService TestRMIServer3
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.689489 45
2 15 0.216459 14
2 15 0.261081 17
2 15 0.262227 17
2 15 0.21673 14
2 15 0.284737 18
2 15 0.26122199999999995 17
2 15 0.26345 17
2 15 0.216464 14
2 15 0.261602 17
EXP 3 serverCachesProofs false
EXP 3 clientCachesProofs false
EXP 3 requestsPerConnection 1
EXP 3 registryService TestRMIServer3
EXP 3 numberOfConnections 15
EXP 3 fileLength 000199
EXP 3 experimentType RMIExp
EXP 3 port 8143
EXP 3 uri /timing/data-000199.txt
EXP 3 experimentID 3
3 15 5.885862 392
3 15 6.284032 418
3 15 6.28984 419
3 15 6.333514 422
3 15 6.242816 416
3 15 6.328899 421
3 15 6.341662 422
3 15 6.348611 423
3 15 6.410667 427
3 15 6.426117 428
EXP 4 serverCachesProofs false
EXP 4 clientCachesProofs true
EXP 4 requestsPerConnection 1
EXP 4 registryService TestRMIServer3
EXP 4 numberOfConnections 15
EXP 4 fileLength 000199
EXP 4 experimentType RMIExp
EXP 4 port 8143
EXP 4 uri /timing/data-000199.txt
EXP 4 experimentID 4
4 15 3.003 200
4 15 4.416467 294
4 15 4.975953 331
4 15 5.223928 348
4 15 2.060647 137
4 15 2.144099 142
4 15 2.049081 136
4 15 2.067262 137
4 15 2.179086 145
4 15 2.072921 138
EXP 5 serverCachesProofs true
EXP 5 clientCachesProofs true
EXP 5 requestsPerConnection 1
EXP 5 registryService TestRMIServer3
EXP 5 numberOfConnections 15
EXP 5 fileLength 000199
EXP 5 experimentType RMIExp
EXP 5 port 8143
EXP 5 uri /timing/data-000199.txt
EXP 5 experimentID 5
5 15 0.682276 45
5 15 0.215798 14
5 15 0.266721 17
5 15 0.216565 14
5 15 0.279938 18
5 15 0.215426 14
5 15 0.21511800000000003 14
5 15 0.265747 17
5 15 0.215439 14
5 15 0.265862 17
EXP 6 serverCachesProofs false
EXP 6 clientCachesProofs false
EXP 6 requestsPerConnection 1
EXP 6 registryService TestRMIServer3
EXP 6 numberOfConnections 15
EXP 6 fileLength 000398
EXP 6 experimentType RMIExp
EXP 6 port 8143
EXP 6 uri /timing/data-000398.txt
EXP 6 experimentID 6
6 15 5.781086 385
6 15 6.188376 412
6 15 6.18331 412
6 15 6.228292 415
6 15 6.209615 413
6 15 6.187769 412
6 15 6.147514 409
6 15 6.242973 416
6 15 6.253557 416
6 15 6.189685 412
EXP 7 serverCachesProofs false
EXP 7 clientCachesProofs true
EXP 7 requestsPerConnection 1
EXP 7 registryService TestRMIServer3
EXP 7 numberOfConnections 15
EXP 7 fileLength 000398
EXP 7 experimentType RMIExp
EXP 7 port 8143
EXP 7 uri /timing/data-000398.txt
EXP 7 experimentID 7
7 15 2.468856 164
7 15 2.209174 147
7 15 2.209032 147
7 15 2.198013 146
7 15 2.222114 148
7 15 2.244336 149
7 15 2.301311 153
7 15 2.367365 157
7 15 2.346242 156
7 15 2.461846 164
EXP 8 serverCachesProofs true
EXP 8 clientCachesProofs true
EXP 8 requestsPerConnection 1
EXP 8 registryService TestRMIServer3
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 0.7761629999999999 51
8 15 0.341662 22
8 15 0.338806 22
8 15 0.35572099999999995 23
8 15 0.310528 20
8 15 0.310382 20
8 15 0.355904 23
8 15 0.310339 20
8 15 0.356362 23
8 15 0.338245 22
EXP 9 serverCachesProofs false
EXP 9 clientCachesProofs false
EXP 9 requestsPerConnection 1
EXP 9 registryService TestRMIServer3
EXP 9 numberOfConnections 15
EXP 9 fileLength 000794
EXP 9 experimentType RMIExp
EXP 9 port 8143
EXP 9 uri /timing/data-000794.txt
EXP 9 experimentID 9
9 15 6.027134 401
9 15 6.136277 409
9 15 6.13369 408
9 15 6.148569 409
9 15 6.098801 406
9 15 6.130279 408
9 15 6.134218 408
9 15 6.138673 409
9 15 6.051785 403
9 15 6.13213 408
EXP 10 serverCachesProofs false
EXP 10 clientCachesProofs true
EXP 10 requestsPerConnection 1
EXP 10 registryService TestRMIServer3
EXP 10 numberOfConnections 15
EXP 10 fileLength 000794
EXP 10 experimentType RMIExp
EXP 10 port 8143
EXP 10 uri /timing/data-000794.txt
EXP 10 experimentID 10
10 15 2.349044 156
10 15 2.082965 138
10 15 2.052688 136
10 15 2.070581 138
10 15 2.052475 136
10 15 2.086033 139
10 15 2.106948 140
10 15 2.071718 138
10 15 2.0936339999999998 139
10 15 2.076186 138
EXP 11 serverCachesProofs true
EXP 11 clientCachesProofs true
EXP 11 requestsPerConnection 1
EXP 11 registryService TestRMIServer3
EXP 11 numberOfConnections 15
EXP 11 fileLength 000794
EXP 11 experimentType RMIExp
EXP 11 port 8143
EXP 11 uri /timing/data-000794.txt
EXP 11 experimentID 11
11 15 0.6934910000000001 46
11 15 0.213398 14
11 15 0.212706 14
11 15 0.332072 22
11 15 0.23613399999999996 15
11 15 0.2135 14
11 15 0.271338 18
11 15 0.212424 14
11 15 0.21821999999999997 14
11 15 0.272203 18
EXP 12 serverCachesProofs false
EXP 12 clientCachesProofs false
EXP 12 requestsPerConnection 1
EXP 12 registryService TestRMIServer3
EXP 12 numberOfConnections 15
EXP 12 fileLength 001584
EXP 12 experimentType RMIExp
EXP 12 port 8143
EXP 12 uri /timing/data-001584.txt
EXP 12 experimentID 12
12 15 5.751999 383
12 15 6.127413 408
12 15 6.148288 409
12 15 6.211026 414
12 15 6.166583 411
12 15 6.206522 413
12 15 6.136608 409
12 15 6.282499 418
12 15 6.186749 412
12 15 6.262608 417
EXP 13 serverCachesProofs false
EXP 13 clientCachesProofs true
EXP 13 requestsPerConnection 1
EXP 13 registryService TestRMIServer3
EXP 13 numberOfConnections 15
EXP 13 fileLength 001584
EXP 13 experimentType RMIExp
EXP 13 port 8143
EXP 13 uri /timing/data-001584.txt
EXP 13 experimentID 13
13 15 2.527411 168
13 15 2.112943 140
13 15 2.210835 147
13 15 2.176932 145
13 15 2.204752 146
13 15 2.23718 149
13 15 2.190442 146
13 15 2.341755 156
13 15 2.234106 148
13 15 2.318305 154
EXP 14 serverCachesProofs true
EXP 14 clientCachesProofs true
EXP 14 requestsPerConnection 1
EXP 14 registryService TestRMIServer3
EXP 14 numberOfConnections 15
EXP 14 fileLength 001584
EXP 14 experimentType RMIExp
EXP 14 port 8143
EXP 14 uri /timing/data-001584.txt
EXP 14 experimentID 14
14 15 0.781269 52
14 15 0.26772 17
14 15 0.26832 17
14 15 0.31795700000000005 21
14 15 0.269012 17
14 15 0.268415 17
14 15 0.26791 17
14 15 0.33660900000000005 22
14 15 0.268434 17
14 15 0.268235 17
EXP 15 serverCachesProofs false
EXP 15 clientCachesProofs false
EXP 15 requestsPerConnection 1
EXP 15 registryService TestRMIServer3
EXP 15 numberOfConnections 15
EXP 15 fileLength 003162
EXP 15 experimentType RMIExp
EXP 15 port 8143
EXP 15 uri /timing/data-003162.txt
EXP 15 experimentID 15
15 15 6.219472 414
15 15 7.449332 496
15 15 6.916414 461
15 15 6.825171 455
15 15 6.89996 459
15 15 6.947875 463
15 15 7.234934 482
15 15 7.366142 491
15 15 8.484624 565
15 15 6.144344 409
EXP 16 serverCachesProofs false
EXP 16 clientCachesProofs true
EXP 16 requestsPerConnection 1
EXP 16 registryService TestRMIServer3
EXP 16 numberOfConnections 15
EXP 16 fileLength 003162
EXP 16 experimentType RMIExp
EXP 16 port 8143
EXP 16 uri /timing/data-003162.txt
EXP 16 experimentID 16
16 15 2.3424 156
16 15 2.047291 136
16 15 2.117784 141
16 15 2.122801 141
16 15 1.97845 131
16 15 1.998758 133
16 15 1.982628 132
16 15 1.986345 132
16 15 1.998974 133
16 15 2.074874 138
EXP 17 serverCachesProofs true
EXP 17 clientCachesProofs true
EXP 17 requestsPerConnection 1
EXP 17 registryService TestRMIServer3
EXP 17 numberOfConnections 15
EXP 17 fileLength 003162
EXP 17 experimentType RMIExp
EXP 17 port 8143
EXP 17 uri /timing/data-003162.txt
EXP 17 experimentID 17
17 15 0.6334839999999999 42
17 15 0.215999 14
17 15 0.270613 18
17 15 0.239552 15
17 15 0.218888 14
17 15 0.215605 14
17 15 0.269322 17
17 15 0.21484899999999996 14
17 15 0.215893 14
17 15 0.216565 14
EXP 18 serverCachesProofs false
EXP 18 clientCachesProofs false
EXP 18 requestsPerConnection 1
EXP 18 registryService TestRMIServer3
EXP 18 numberOfConnections 15
EXP 18 fileLength 006309
EXP 18 experimentType RMIExp
EXP 18 port 8143
EXP 18 uri /timing/data-006309.txt
EXP 18 experimentID 18
18 15 5.718679 381
18 15 6.123889 408
18 15 6.137992 409
18 15 6.096502 406
18 15 6.133801 408
18 15 6.153679 410
18 15 6.076497 405
18 15 6.136904 409
18 15 6.111154 407
18 15 6.178515 411
EXP 19 serverCachesProofs false
EXP 19 clientCachesProofs true
EXP 19 requestsPerConnection 1
EXP 19 registryService TestRMIServer3
EXP 19 numberOfConnections 15
EXP 19 fileLength 006309
EXP 19 experimentType RMIExp
EXP 19 port 8143
EXP 19 uri /timing/data-006309.txt
EXP 19 experimentID 19
19 15 2.364514 157
19 15 2.0989079999999998 139
19 15 2.023766 134
19 15 2.098307 139
19 15 2.018764 134
19 15 2.114362 140
19 15 2.057396 137
19 15 2.003232 133
19 15 2.1213100000000003 141
19 15 2.027931 135
EXP 20 serverCachesProofs true
EXP 20 clientCachesProofs true
EXP 20 requestsPerConnection 1
EXP 20 registryService TestRMIServer3
EXP 20 numberOfConnections 15
EXP 20 fileLength 006309
EXP 20 experimentType RMIExp
EXP 20 port 8143
EXP 20 uri /timing/data-006309.txt
EXP 20 experimentID 20
20 15 0.700861 46
20 15 0.211249 14
20 15 0.211897 14
20 15 0.275047 18
20 15 0.226765 15
20 15 0.210704 14
20 15 0.211737 14
20 15 0.274286 18
20 15 0.21187 14
20 15 0.21138100000000004 14
EXP 21 serverCachesProofs false
EXP 21 clientCachesProofs false
EXP 21 requestsPerConnection 1
EXP 21 registryService TestRMIServer3
EXP 21 numberOfConnections 15
EXP 21 fileLength 012589
EXP 21 experimentType RMIExp
EXP 21 port 8143
EXP 21 uri /timing/data-012589.txt
EXP 21 experimentID 21
21 15 5.834507 388
21 15 6.08989 405
21 15 6.166383 411
21 15 6.191187 412
21 15 6.2294 415
21 15 6.131043 408
21 15 6.1806470000000004 412
21 15 6.187075 412
21 15 6.149911 409
21 15 6.177848 411
EXP 22 serverCachesProofs false
EXP 22 clientCachesProofs true
EXP 22 requestsPerConnection 1
EXP 22 registryService TestRMIServer3
EXP 22 numberOfConnections 15
EXP 22 fileLength 012589
EXP 22 experimentType RMIExp
EXP 22 port 8143
EXP 22 uri /timing/data-012589.txt
EXP 22 experimentID 22
22 15 2.414864 160
22 15 2.13533 142
22 15 2.098521 139
22 15 2.18139 145
22 15 2.078646 138
22 15 2.105314 140
22 15 2.092651 139
22 15 2.230309 148
22 15 2.087211 139
22 15 2.151082 143
EXP 23 serverCachesProofs true
EXP 23 clientCachesProofs true
EXP 23 requestsPerConnection 1
EXP 23 registryService TestRMIServer3
EXP 23 numberOfConnections 15
EXP 23 fileLength 012589
EXP 23 experimentType RMIExp
EXP 23 port 8143
EXP 23 uri /timing/data-012589.txt
EXP 23 experimentID 23
23 15 0.704154 46
23 15 0.21602100000000002 14
23 15 0.276983 18
23 15 0.240875 16
23 15 0.275528 18
23 15 0.22105399999999997 14
23 15 0.215626 14
23 15 0.27947 18
23 15 0.21607 14
23 15 0.277745 18
EXP 24 serverCachesProofs false
EXP 24 clientCachesProofs false
EXP 24 requestsPerConnection 1
EXP 24 registryService TestRMIServer3
EXP 24 numberOfConnections 15
EXP 24 fileLength 025118
EXP 24 experimentType RMIExp
EXP 24 port 8143
EXP 24 uri /timing/data-025118.txt
EXP 24 experimentID 24
24 15 5.873642 391
24 15 6.246638 416
24 15 6.2492090000000005 416
24 15 6.282371 418
24 15 6.2577490000000004 417
24 15 6.266611 417
24 15 9.082944 605
24 15 6.95949 463
24 15 6.310393 420
24 15 6.303581 420
EXP 25 serverCachesProofs false
EXP 25 clientCachesProofs true
EXP 25 requestsPerConnection 1
EXP 25 registryService TestRMIServer3
EXP 25 numberOfConnections 15
EXP 25 fileLength 025118
EXP 25 experimentType RMIExp
EXP 25 port 8143
EXP 25 uri /timing/data-025118.txt
EXP 25 experimentID 25
25 15 2.667153 177
25 15 2.316724 154
25 15 2.3028750000000002 153
25 15 2.364947 157
25 15 2.468935 164
25 15 2.483861 165
25 15 2.561997 170
25 15 2.766802 184
25 15 2.969102 197
25 15 2.912675 194
EXP 26 serverCachesProofs true
EXP 26 clientCachesProofs true
EXP 26 requestsPerConnection 1
EXP 26 registryService TestRMIServer3
EXP 26 numberOfConnections 15
EXP 26 fileLength 025118
EXP 26 experimentType RMIExp
EXP 26 port 8143
EXP 26 uri /timing/data-025118.txt
EXP 26 experimentID 26
26 15 1.018858 67
26 15 0.502947 33
26 15 0.447346 29
26 15 0.504834 33
26 15 0.505866 33
26 15 0.44730499999999995 29
26 15 0.540197 36
26 15 0.5014339999999999 33
26 15 0.446309 29
26 15 0.499479 33
EXP 27 serverCachesProofs false
EXP 27 clientCachesProofs false
EXP 27 requestsPerConnection 1
EXP 27 registryService TestRMIServer3
EXP 27 numberOfConnections 15
EXP 27 fileLength 050118
EXP 27 experimentType RMIExp
EXP 27 port 8143
EXP 27 uri /timing/data-050118.txt
EXP 27 experimentID 27
27 15 5.75104 383
27 15 6.0983 406
27 15 6.147003 409
27 15 6.143662 409
27 15 6.096714 406
27 15 6.157504 410
27 15 6.093028 406
27 15 6.145596 409
27 15 6.087804 405
27 15 6.160452 410
EXP 28 serverCachesProofs false
EXP 28 clientCachesProofs true
EXP 28 requestsPerConnection 1
EXP 28 registryService TestRMIServer3
EXP 28 numberOfConnections 15
EXP 28 fileLength 050118
EXP 28 experimentType RMIExp
EXP 28 port 8143
EXP 28 uri /timing/data-050118.txt
EXP 28 experimentID 28
28 15 2.332002 155
28 15 2.12594 141
28 15 2.007659 133
28 15 2.101438 140
28 15 2.043109 136
28 15 2.1174 141
28 15 2.040045 136
28 15 2.132508 142
28 15 2.055957 137
28 15 2.168667 144
EXP 29 serverCachesProofs true
EXP 29 clientCachesProofs true
EXP 29 requestsPerConnection 1
EXP 29 registryService TestRMIServer3
EXP 29 numberOfConnections 15
EXP 29 fileLength 050118
EXP 29 experimentType RMIExp
EXP 29 port 8143
EXP 29 uri /timing/data-050118.txt
EXP 29 experimentID 29
29 15 0.651826 43
29 15 0.21195799999999998 14
29 15 0.289618 19
29 15 0.213501 14
29 15 0.212562 14
29 15 0.21241 14
29 15 0.272772 18
29 15 0.285983 19
29 15 0.238817 15
29 15 0.21662899999999996 14
