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 7.210333 480
0 15 6.791017 452
0 15 6.744754 449
0 15 6.724786 448
0 15 6.799529 453
0 15 6.771607 451
0 15 6.852596 456
0 15 6.800204 453
0 15 6.797242 453
0 15 6.819167 454
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 3.062728 204
1 15 2.640475 176
1 15 2.590629 172
1 15 2.662367 177
1 15 2.651723 176
1 15 2.600438 173
1 15 2.602811 173
1 15 2.6672979999999997 177
1 15 2.646742 176
1 15 2.6651569999999998 177
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.7330220000000001 48
2 15 0.265645 17
2 15 0.235405 15
2 15 0.261622 17
2 15 0.262775 17
2 15 0.235331 15
2 15 0.261804 17
2 15 0.235881 15
2 15 0.236387 15
2 15 0.261113 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 6.421548 428
3 15 6.824411 454
3 15 6.862051 457
3 15 6.776704 451
3 15 6.823561 454
3 15 6.79955 453
3 15 6.825155 455
3 15 6.829359 455
3 15 7.234264 482
3 15 6.982758 465
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.006291 200
4 15 2.747292 183
4 15 2.729786 181
4 15 2.707961 180
4 15 2.685836 179
4 15 2.670869 178
4 15 2.742876 182
4 15 2.741141 182
4 15 2.722739 181
4 15 2.767957 184
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.69027 46
5 15 0.27622100000000005 18
5 15 0.258062 17
5 15 0.280276 18
5 15 0.262869 17
5 15 0.233935 15
5 15 0.267422 17
5 15 0.232261 15
5 15 0.261353 17
5 15 0.23380199999999995 15
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 6.47646 431
6 15 6.85681 457
6 15 6.87612 458
6 15 6.92329 461
6 15 7.078049 471
6 15 6.913048 460
6 15 6.937947 462
6 15 6.858291 457
6 15 6.882633 458
6 15 6.922177 461
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.741507 49
8 15 0.26347299999999996 17
8 15 0.254061 16
8 15 0.260541 17
8 15 0.233903 15
8 15 0.26385899999999995 17
8 15 0.232903 15
8 15 0.287469 19
8 15 0.259866 17
8 15 0.23278500000000002 15
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.4334810000000004 428
9 15 6.833282 455
9 15 6.841134 456
9 15 6.823952 454
9 15 6.88173 458
9 15 6.872532 458
9 15 6.8163 454
9 15 6.858704 457
9 15 6.899843 459
9 15 6.800286 453
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 3.073539 204
10 15 2.771583 184
10 15 2.753989 183
10 15 2.700716 180
10 15 2.759207 183
10 15 2.772717 184
10 15 2.749489 183
10 15 2.729114 181
10 15 2.744331 182
10 15 2.721775 181
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.728537 48
11 15 0.264005 17
11 15 0.232579 15
11 15 0.263568 17
11 15 0.258041 17
11 15 0.264418 17
11 15 0.233252 15
11 15 0.26492400000000005 17
11 15 0.226901 15
11 15 0.258853 17
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 3.032548 202
13 15 2.764605 184
13 15 2.768742 184
13 15 2.73341 182
13 15 2.818583 187
13 15 2.728114 181
13 15 2.7748530000000002 184
13 15 2.839081 189
13 15 2.808404 187
13 15 2.835107 189
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.757726 50
14 15 0.286678 19
14 15 0.268817 17
14 15 0.270977 18
14 15 0.27153 18
14 15 0.269614 17
14 15 0.270198 18
14 15 0.299311 19
14 15 0.237769 15
14 15 0.269695 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.608014 440
15 15 7.029431 468
15 15 7.131717 475
15 15 7.280619 485
15 15 7.15055 476
15 15 7.15079 476
15 15 7.223797 481
15 15 7.295077 486
15 15 7.512424 500
15 15 7.905496 527
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 3.107508 207
16 15 2.849252 189
16 15 2.765558 184
16 15 2.761442 184
16 15 2.855467 190
16 15 2.783399 185
16 15 2.799538 186
16 15 2.845903 189
16 15 2.788444 185
16 15 2.797964 186
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 6.436755 429
18 15 6.81192 454
18 15 6.816542 454
18 15 6.848785 456
18 15 6.862753 457
18 15 6.834392 455
18 15 6.844036 456
18 15 6.880548 458
18 15 6.818457 454
18 15 6.791345 452
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 3.04618 203
19 15 2.816431 187
19 15 2.74634 183
19 15 2.823504 188
19 15 2.796379 186
19 15 2.801425 186
19 15 2.768052 184
19 15 2.821279 188
19 15 2.887779 192
19 15 2.78496 185
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.735861 49
20 15 0.275288 18
20 15 0.257596 17
20 15 0.27190499999999995 18
20 15 0.233795 15
20 15 0.271652 18
20 15 0.270855 18
20 15 0.23348899999999995 15
20 15 0.270938 18
20 15 0.270956 18
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 6.553752 436
21 15 6.930864 462
21 15 6.97773 465
21 15 6.957565 463
21 15 7.138244 475
21 15 7.055652 470
21 15 7.492144 499
21 15 7.23462 482
21 15 7.243312 482
21 15 7.293089 486
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 6.494478 432
24 15 6.986239 465
24 15 7.035818 469
24 15 6.818954 454
24 15 6.943781 462
24 15 6.881179 458
24 15 6.886369 459
24 15 6.945389 463
24 15 6.91098 460
24 15 6.912908 460
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 3.07387 204
25 15 2.715093 181
25 15 2.738823 182
25 15 2.773441 184
25 15 2.78924 185
25 15 2.780975 185
25 15 2.817759 187
25 15 2.780193 185
25 15 2.764772 184
25 15 2.782485 185
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 0.716082 47
26 15 0.295598 19
26 15 0.250562 16
26 15 0.295447 19
26 15 0.251197 16
26 15 0.294348 19
26 15 0.274933 18
26 15 0.294905 19
26 15 0.251127 16
26 15 0.294074 19
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 6.5023859999999996 433
27 15 6.884524 458
27 15 6.941642 462
27 15 6.98086 465
27 15 6.904046 460
27 15 6.976659 465
27 15 7.000524 466
27 15 6.9403880000000004 462
27 15 6.915621 461
27 15 6.983542 465
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.865287 57
29 15 0.365659 24
29 15 0.379721 25
29 15 0.357204 23
29 15 0.356245 23
29 15 0.359846 23
29 15 0.356948 23
29 15 0.355876 23
29 15 0.35578699999999996 23
29 15 0.356198 23
Generated 40 cases.
Filtered to 30 cases.
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 3.243037 216
7 15 2.671524 178
7 15 2.770055 184
7 15 2.65928 177
7 15 2.75455 183
7 15 2.649801 176
7 15 2.725133 181
7 15 2.6894 179
7 15 2.776842 185
7 15 2.645499 176
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 6.878225 458
12 15 6.859404 457
12 15 6.7844999999999995 452
12 15 6.877716 458
12 15 6.851141 456
12 15 6.879713 458
12 15 7.263761 484
12 15 6.895581 459
12 15 6.873211 458
12 15 6.77942 451
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.7034389999999999 46
17 15 0.23779 15
17 15 0.237463 15
17 15 0.352241 23
17 15 0.30084 20
17 15 0.237348 15
17 15 0.24139699999999997 16
17 15 0.311459 20
17 15 0.23768 15
17 15 0.237259 15
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.912436 194
22 15 2.7723079999999998 184
22 15 2.721212 181
22 15 2.667754 177
22 15 2.835355 189
22 15 2.781606 185
22 15 2.731189 182
22 15 2.671515 178
22 15 2.816347 187
22 15 2.770918 184
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.741354 49
23 15 0.32286899999999996 21
23 15 0.238405 15
23 15 0.238691 15
23 15 0.238592 15
23 15 0.31104 20
23 15 0.238747 15
23 15 0.238145 15
23 15 0.333079 22
23 15 0.23800900000000003 15
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 3.041216 202
28 15 2.830367 188
28 15 2.781788 185
28 15 2.850962 190
28 15 2.886993 192
28 15 2.988565 199
28 15 2.817189 187
28 15 2.939814 195
28 15 2.781854 185
28 15 2.979909 198
