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 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.158351 210
7 15 2.925626 195
7 15 2.918226 194
7 15 2.895473 193
7 15 3.014492 200
7 15 3.112984 207
7 15 3.1219 208
7 15 3.36373 224
7 15 3.749925 249
7 15 3.02201 201
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 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.416954 427
12 15 6.921654 461
12 15 6.882134 458
12 15 6.867948 457
12 15 6.836067 455
12 15 6.903821 460
12 15 6.89819 459
12 15 6.888448 459
12 15 9.705986 647
12 15 7.53876 502
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 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.69858 46
17 15 0.269136 17
17 15 0.263517 17
17 15 0.295806 19
17 15 0.23663999999999996 15
17 15 0.275513 18
17 15 0.237293 15
17 15 0.236595 15
17 15 0.274405 18
17 15 0.237185 15
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 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 3.779076 251
22 15 3.920816 261
22 15 2.72674 181
22 15 2.765978 184
22 15 2.716897 181
22 15 2.763336 184
22 15 2.748005 183
22 15 2.738779 182
22 15 2.727661 181
22 15 2.766706 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.731942 48
23 15 0.261455 17
23 15 0.23634599999999995 15
23 15 0.292013 19
23 15 0.236983 15
23 15 0.272546 18
23 15 0.23585999999999996 15
23 15 0.273852 18
23 15 0.236076 15
23 15 0.235775 15
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 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.20849 213
28 15 2.987964 199
28 15 2.946838 196
28 15 3.221665 214
28 15 3.307284 220
28 15 3.6911389999999997 246
28 15 3.883366 258
28 15 3.136527 209
28 15 3.249419 216
28 15 3.173666 211
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
