Generated 44 cases.
Filtered to 33 cases.
EXP 0 serverCachesProofs false
EXP 0 clientCachesProofs false
EXP 0 requestsPerConnection 1
EXP 0 registryService TestRMIServer3
EXP 0 numberOfConnections 30
EXP 0 fileLength 000100
EXP 0 experimentType RMIExp
EXP 0 port 8143
EXP 0 uri /timing/data-000100.txt
EXP 0 experimentID 0
0 30 14.16368 472
0 30 13.692325 456
0 30 13.751228 458
0 30 13.765028 458
0 30 13.751305 458
0 30 13.664786 455
0 30 13.745514 458
0 30 13.813128 460
0 30 13.767267 458
0 30 13.796695 459
EXP 1 serverCachesProofs false
EXP 1 clientCachesProofs true
EXP 1 requestsPerConnection 1
EXP 1 registryService TestRMIServer3
EXP 1 numberOfConnections 30
EXP 1 fileLength 000100
EXP 1 experimentType RMIExp
EXP 1 port 8143
EXP 1 uri /timing/data-000100.txt
EXP 1 experimentID 1
1 30 5.87462 195
1 30 5.492765 183
1 30 5.414515 180
1 30 5.660154 188
1 30 5.660598 188
1 30 5.600107 186
1 30 5.531462 184
1 30 5.557748 185
1 30 5.698631 189
1 30 5.475949 182
EXP 2 serverCachesProofs true
EXP 2 clientCachesProofs true
EXP 2 requestsPerConnection 1
EXP 2 registryService TestRMIServer3
EXP 2 numberOfConnections 30
EXP 2 fileLength 000100
EXP 2 experimentType RMIExp
EXP 2 port 8143
EXP 2 uri /timing/data-000100.txt
EXP 2 experimentID 2
2 30 0.967428 32
2 30 0.513811 17
2 30 0.471767 15
2 30 0.47062099999999996 15
2 30 0.471226 15
2 30 0.493826 16
2 30 0.470292 15
2 30 0.47084899999999996 15
2 30 0.470406 15
2 30 0.471737 15
EXP 3 serverCachesProofs false
EXP 3 clientCachesProofs false
EXP 3 requestsPerConnection 1
EXP 3 registryService TestRMIServer3
EXP 3 numberOfConnections 30
EXP 3 fileLength 000199
EXP 3 experimentType RMIExp
EXP 3 port 8143
EXP 3 uri /timing/data-000199.txt
EXP 3 experimentID 3
3 30 13.445452 448
3 30 13.921255 464
3 30 13.900438 463
3 30 13.985653 466
3 30 14.00973 466
3 30 14.622509 487
3 30 14.392468 479
3 30 14.790635 493
3 30 14.670619 489
3 30 15.935641 531
EXP 4 serverCachesProofs false
EXP 4 clientCachesProofs true
EXP 4 requestsPerConnection 1
EXP 4 registryService TestRMIServer3
EXP 4 numberOfConnections 30
EXP 4 fileLength 000199
EXP 4 experimentType RMIExp
EXP 4 port 8143
EXP 4 uri /timing/data-000199.txt
EXP 4 experimentID 4
4 30 5.898617 196
4 30 5.523867 184
4 30 5.530415 184
4 30 5.523899 184
4 30 5.621034 187
4 30 5.362762 178
4 30 5.503746 183
4 30 5.539687 184
4 30 5.486213 182
4 30 5.6240310000000004 187
EXP 5 serverCachesProofs true
EXP 5 clientCachesProofs true
EXP 5 requestsPerConnection 1
EXP 5 registryService TestRMIServer3
EXP 5 numberOfConnections 30
EXP 5 fileLength 000199
EXP 5 experimentType RMIExp
EXP 5 port 8143
EXP 5 uri /timing/data-000199.txt
EXP 5 experimentID 5
5 30 0.99156 33
5 30 0.471358 15
5 30 0.48220399999999997 16
5 30 0.482571 16
5 30 0.5097 16
5 30 0.48238 16
5 30 0.482213 16
5 30 0.482346 16
5 30 0.482722 16
5 30 0.5148710000000001 17
EXP 6 serverCachesProofs false
EXP 6 clientCachesProofs false
EXP 6 requestsPerConnection 1
EXP 6 registryService TestRMIServer3
EXP 6 numberOfConnections 30
EXP 6 fileLength 000398
EXP 6 experimentType RMIExp
EXP 6 port 8143
EXP 6 uri /timing/data-000398.txt
EXP 6 experimentID 6
6 30 13.909571 463
6 30 14.323786 477
6 30 14.221006 474
6 30 14.229082 474
6 30 14.40161 480
6 30 14.337322 477
6 30 14.238467 474
6 30 14.294027 476
6 30 14.294414 476
6 30 14.329082 477
EXP 7 serverCachesProofs false
EXP 7 clientCachesProofs true
EXP 7 requestsPerConnection 1
EXP 7 registryService TestRMIServer3
EXP 7 numberOfConnections 30
EXP 7 fileLength 000398
EXP 7 experimentType RMIExp
EXP 7 port 8143
EXP 7 uri /timing/data-000398.txt
EXP 7 experimentID 7
7 30 5.872707 195
7 30 5.626747 187
7 30 5.574949 185
7 30 6.475968 215
7 30 7.024463 234
7 30 6.533288 217
7 30 5.415932 180
7 30 5.451002 181
7 30 5.457497 181
7 30 5.506634 183
EXP 8 serverCachesProofs true
EXP 8 clientCachesProofs true
EXP 8 requestsPerConnection 1
EXP 8 registryService TestRMIServer3
EXP 8 numberOfConnections 30
EXP 8 fileLength 000398
EXP 8 experimentType RMIExp
EXP 8 port 8143
EXP 8 uri /timing/data-000398.txt
EXP 8 experimentID 8
8 30 0.977422 32
8 30 0.538996 17
8 30 0.479912 15
8 30 0.520751 17
8 30 0.514948 17
8 30 0.542267 18
8 30 0.514578 17
8 30 0.51469 17
8 30 0.511798 17
8 30 0.508057 16
EXP 9 serverCachesProofs false
EXP 9 clientCachesProofs false
EXP 9 requestsPerConnection 1
EXP 9 registryService TestRMIServer3
EXP 9 numberOfConnections 30
EXP 9 fileLength 000794
EXP 9 experimentType RMIExp
EXP 9 port 8143
EXP 9 uri /timing/data-000794.txt
EXP 9 experimentID 9
9 30 13.582817 452
9 30 13.99799 466
9 30 13.967651 465
9 30 13.992213 466
9 30 13.909749 463
9 30 14.058743 468
9 30 14.055469 468
9 30 14.241349 474
9 30 14.131642 471
9 30 14.102395 470
EXP 10 serverCachesProofs false
EXP 10 clientCachesProofs true
EXP 10 requestsPerConnection 1
EXP 10 registryService TestRMIServer3
EXP 10 numberOfConnections 30
EXP 10 fileLength 000794
EXP 10 experimentType RMIExp
EXP 10 port 8143
EXP 10 uri /timing/data-000794.txt
EXP 10 experimentID 10
10 30 6.283478 209
10 30 5.926941 197
10 30 5.831152 194
10 30 5.712001 190
10 30 5.583742 186
10 30 5.743099 191
10 30 5.649695 188
10 30 5.733014 191
10 30 5.783647 192
10 30 5.716368 190
EXP 11 serverCachesProofs true
EXP 11 clientCachesProofs true
EXP 11 requestsPerConnection 1
EXP 11 registryService TestRMIServer3
EXP 11 numberOfConnections 30
EXP 11 fileLength 000794
EXP 11 experimentType RMIExp
EXP 11 port 8143
EXP 11 uri /timing/data-000794.txt
EXP 11 experimentID 11
11 30 1.072178 35
11 30 0.626366 20
11 30 0.643776 21
11 30 0.653278 21
11 30 0.627396 20
11 30 0.64949 21
11 30 0.637211 21
11 30 0.650976 21
11 30 0.676381 22
11 30 0.650209 21
EXP 12 serverCachesProofs false
EXP 12 clientCachesProofs false
EXP 12 requestsPerConnection 1
EXP 12 registryService TestRMIServer3
EXP 12 numberOfConnections 30
EXP 12 fileLength 001584
EXP 12 experimentType RMIExp
EXP 12 port 8143
EXP 12 uri /timing/data-001584.txt
EXP 12 experimentID 12
12 30 13.800787 460
12 30 14.111854 470
12 30 14.117837 470
12 30 14.478318 482
12 30 14.140357999999999 471
12 30 14.080882 469
12 30 14.105169 470
12 30 14.058412 468
12 30 14.044751 468
12 30 14.126852 470
EXP 13 serverCachesProofs false
EXP 13 clientCachesProofs true
EXP 13 requestsPerConnection 1
EXP 13 registryService TestRMIServer3
EXP 13 numberOfConnections 30
EXP 13 fileLength 001584
EXP 13 experimentType RMIExp
EXP 13 port 8143
EXP 13 uri /timing/data-001584.txt
EXP 13 experimentID 13
13 30 6.220785 207
13 30 5.91458 197
13 30 5.774563 192
13 30 5.885202 196
13 30 5.957124 198
13 30 5.910499 197
13 30 5.800672 193
13 30 5.816918 193
13 30 5.941367 198
13 30 6.013797 200
EXP 14 serverCachesProofs true
EXP 14 clientCachesProofs true
EXP 14 requestsPerConnection 1
EXP 14 registryService TestRMIServer3
EXP 14 numberOfConnections 30
EXP 14 fileLength 001584
EXP 14 experimentType RMIExp
EXP 14 port 8143
EXP 14 uri /timing/data-001584.txt
EXP 14 experimentID 14
14 30 1.333614 44
14 30 0.8421 28
14 30 0.875876 29
14 30 0.822149 27
14 30 0.8865190000000001 29
14 30 0.851303 28
14 30 0.850374 28
14 30 0.853891 28
14 30 0.956718 31
14 30 0.880088 29
EXP 15 serverCachesProofs false
EXP 15 clientCachesProofs false
EXP 15 requestsPerConnection 1
EXP 15 registryService TestRMIServer3
EXP 15 numberOfConnections 30
EXP 15 fileLength 003162
EXP 15 experimentType RMIExp
EXP 15 port 8143
EXP 15 uri /timing/data-003162.txt
EXP 15 experimentID 15
15 30 14.058389 468
15 30 14.493574 483
15 30 14.779217 492
15 30 14.641117 488
15 30 14.57395 485
15 30 14.659521 488
15 30 14.711599 490
15 30 14.741099 491
15 30 14.828771 494
15 30 17.404391 580
EXP 16 serverCachesProofs false
EXP 16 clientCachesProofs true
EXP 16 requestsPerConnection 1
EXP 16 registryService TestRMIServer3
EXP 16 numberOfConnections 30
EXP 16 fileLength 003162
EXP 16 experimentType RMIExp
EXP 16 port 8143
EXP 16 uri /timing/data-003162.txt
EXP 16 experimentID 16
16 30 7.692671 256
16 30 6.164189 205
16 30 6.246266 208
16 30 5.887995 196
16 30 6.251344 208
16 30 6.128967 204
16 30 6.065292 202
16 30 6.231585 207
16 30 6.042204 201
16 30 6.088168 202
EXP 17 serverCachesProofs true
EXP 17 clientCachesProofs true
EXP 17 requestsPerConnection 1
EXP 17 registryService TestRMIServer3
EXP 17 numberOfConnections 30
EXP 17 fileLength 003162
EXP 17 experimentType RMIExp
EXP 17 port 8143
EXP 17 uri /timing/data-003162.txt
EXP 17 experimentID 17
17 30 1.561737 52
17 30 1.170374 39
17 30 1.237774 41
17 30 1.17994 39
17 30 1.127143 37
17 30 1.265046 42
17 30 1.184668 39
17 30 1.154846 38
17 30 1.227735 40
17 30 1.2142249999999999 40
EXP 18 serverCachesProofs false
EXP 18 clientCachesProofs false
EXP 18 requestsPerConnection 1
EXP 18 registryService TestRMIServer3
EXP 18 numberOfConnections 30
EXP 18 fileLength 006309
EXP 18 experimentType RMIExp
EXP 18 port 8143
EXP 18 uri /timing/data-006309.txt
EXP 18 experimentID 18
18 30 14.515343 483
18 30 14.89136 496
18 30 15.051523 501
18 30 15.014223 500
18 30 15.096094 503
18 30 14.96046 498
18 30 14.93686 497
18 30 15.22413 507
18 30 15.121944 504
18 30 15.144194 504
EXP 19 serverCachesProofs false
EXP 19 clientCachesProofs true
EXP 19 requestsPerConnection 1
EXP 19 registryService TestRMIServer3
EXP 19 numberOfConnections 30
EXP 19 fileLength 006309
EXP 19 experimentType RMIExp
EXP 19 port 8143
EXP 19 uri /timing/data-006309.txt
EXP 19 experimentID 19
19 30 7.087329 236
19 30 6.813615 227
19 30 7.126203 237
19 30 6.941005 231
19 30 7.006426 233
19 30 7.059762 235
19 30 7.013975 233
19 30 6.85355 228
19 30 6.929967 230
19 30 7.629147 254
EXP 20 serverCachesProofs true
EXP 20 clientCachesProofs true
EXP 20 requestsPerConnection 1
EXP 20 registryService TestRMIServer3
EXP 20 numberOfConnections 30
EXP 20 fileLength 006309
EXP 20 experimentType RMIExp
EXP 20 port 8143
EXP 20 uri /timing/data-006309.txt
EXP 20 experimentID 20
20 30 2.56242 85
20 30 2.090461 69
20 30 2.152689 71
20 30 2.058369 68
20 30 2.104523 70
20 30 2.043184 68
20 30 2.06599 68
20 30 2.006956 66
20 30 2.08145 69
20 30 2.091507 69
EXP 21 serverCachesProofs false
EXP 21 clientCachesProofs false
EXP 21 requestsPerConnection 1
EXP 21 registryService TestRMIServer3
EXP 21 numberOfConnections 30
EXP 21 fileLength 012589
EXP 21 experimentType RMIExp
EXP 21 port 8143
EXP 21 uri /timing/data-012589.txt
EXP 21 experimentID 21
21 30 16.142474 538
21 30 16.272803 542
21 30 16.337635 544
21 30 16.25991 541
21 30 16.349804 544
21 30 16.247868 541
21 30 16.446194 548
21 30 16.424019 547
21 30 16.389815 546
21 30 16.400563 546
EXP 22 serverCachesProofs false
EXP 22 clientCachesProofs true
EXP 22 requestsPerConnection 1
EXP 22 registryService TestRMIServer3
EXP 22 numberOfConnections 30
EXP 22 fileLength 012589
EXP 22 experimentType RMIExp
EXP 22 port 8143
EXP 22 uri /timing/data-012589.txt
EXP 22 experimentID 22
22 30 8.175733 272
22 30 7.958904 265
22 30 8.013426 267
22 30 7.831328 261
22 30 7.530187 251
22 30 7.3904309999999995 246
22 30 7.496303 249
22 30 7.788127 259
22 30 8.123086 270
22 30 7.832663 261
EXP 23 serverCachesProofs true
EXP 23 clientCachesProofs true
EXP 23 requestsPerConnection 1
EXP 23 registryService TestRMIServer3
EXP 23 numberOfConnections 30
EXP 23 fileLength 012589
EXP 23 experimentType RMIExp
EXP 23 port 8143
EXP 23 uri /timing/data-012589.txt
EXP 23 experimentID 23
23 30 3.454673 115
23 30 2.965876 98
23 30 3.135132 104
23 30 3.160515 105
23 30 2.939771 97
23 30 3.002924 100
23 30 2.852016 95
23 30 2.8987600000000002 96
23 30 2.900911 96
23 30 2.882199 96
EXP 24 serverCachesProofs false
EXP 24 clientCachesProofs false
EXP 24 requestsPerConnection 1
EXP 24 registryService TestRMIServer3
EXP 24 numberOfConnections 30
EXP 24 fileLength 025118
EXP 24 experimentType RMIExp
EXP 24 port 8143
EXP 24 uri /timing/data-025118.txt
EXP 24 experimentID 24
24 30 21.495783 716
24 30 18.428018 614
24 30 18.129964 604
24 30 18.371906 612
24 30 18.525522 617
24 30 18.540771 618
24 30 18.536746 617
24 30 18.644349 621
24 30 18.565578 618
24 30 18.561642 618
EXP 25 serverCachesProofs false
EXP 25 clientCachesProofs true
EXP 25 requestsPerConnection 1
EXP 25 registryService TestRMIServer3
EXP 25 numberOfConnections 30
EXP 25 fileLength 025118
EXP 25 experimentType RMIExp
EXP 25 port 8143
EXP 25 uri /timing/data-025118.txt
EXP 25 experimentID 25
25 30 11.571844 385
25 30 11.233489 374
25 30 10.919463 363
25 30 11.151145 371
25 30 10.99776 366
25 30 10.983909 366
25 30 11.239653 374
25 30 11.279733 375
25 30 11.404143 380
25 30 12.412105 413
EXP 26 serverCachesProofs true
EXP 26 clientCachesProofs true
EXP 26 requestsPerConnection 1
EXP 26 registryService TestRMIServer3
EXP 26 numberOfConnections 30
EXP 26 fileLength 025118
EXP 26 experimentType RMIExp
EXP 26 port 8143
EXP 26 uri /timing/data-025118.txt
EXP 26 experimentID 26
26 30 5.686809 189
26 30 4.782105 159
26 30 4.824059 160
26 30 4.805579 160
26 30 4.808961 160
26 30 4.725513 157
26 30 4.742067 158
26 30 4.756847 158
26 30 4.686838 156
26 30 4.721124 157
EXP 27 serverCachesProofs false
EXP 27 clientCachesProofs false
EXP 27 requestsPerConnection 1
EXP 27 registryService TestRMIServer3
EXP 27 numberOfConnections 30
EXP 27 fileLength 050118
EXP 27 experimentType RMIExp
EXP 27 port 8143
EXP 27 uri /timing/data-050118.txt
EXP 27 experimentID 27
27 30 22.291904 743
27 30 22.419199 747
27 30 22.403295 746
27 30 22.389248 746
27 30 22.750547 758
27 30 22.57029 752
27 30 22.980051 766
27 30 22.842847 761
27 30 22.742074 758
27 30 22.807763 760
EXP 28 serverCachesProofs false
EXP 28 clientCachesProofs true
EXP 28 requestsPerConnection 1
EXP 28 registryService TestRMIServer3
EXP 28 numberOfConnections 30
EXP 28 fileLength 050118
EXP 28 experimentType RMIExp
EXP 28 port 8143
EXP 28 uri /timing/data-050118.txt
EXP 28 experimentID 28
28 30 14.71205 490
28 30 16.529814000000002 550
28 30 15.936736 531
28 30 14.968404 498
28 30 14.728697 490
28 30 14.982513 499
28 30 14.923057 497
28 30 15.197891 506
28 30 14.736549 491
28 30 15.064009 502
EXP 29 serverCachesProofs true
EXP 29 clientCachesProofs true
EXP 29 requestsPerConnection 1
EXP 29 registryService TestRMIServer3
EXP 29 numberOfConnections 30
EXP 29 fileLength 050118
EXP 29 experimentType RMIExp
EXP 29 port 8143
EXP 29 uri /timing/data-050118.txt
EXP 29 experimentID 29
29 30 10.344459 344
29 30 9.931816 331
29 30 9.931194 331
29 30 9.468485 315
29 30 9.585347 319
29 30 9.560774 318
29 30 9.872514 329
29 30 9.676412 322
29 30 9.614706 320
29 30 9.897754 329
EXP 30 serverCachesProofs false
EXP 30 clientCachesProofs false
EXP 30 requestsPerConnection 1
EXP 30 registryService TestRMIServer3
EXP 30 numberOfConnections 30
EXP 30 fileLength 100000
EXP 30 experimentType RMIExp
EXP 30 port 8143
EXP 30 uri /timing/data-100000.txt
EXP 30 experimentID 30
30 30 31.357922 1045
30 30 31.807987 1060
30 30 32.36368 1078
30 30 31.781109999999998 1059
30 30 31.63812 1054
30 30 31.824978 1060
30 30 31.849472 1061
30 30 32.138726 1071
30 30 32.218287 1073
30 30 32.91765 1097
EXP 31 serverCachesProofs false
EXP 31 clientCachesProofs true
EXP 31 requestsPerConnection 1
EXP 31 registryService TestRMIServer3
EXP 31 numberOfConnections 30
EXP 31 fileLength 100000
EXP 31 experimentType RMIExp
EXP 31 port 8143
EXP 31 uri /timing/data-100000.txt
EXP 31 experimentID 31
31 30 25.776405 859
31 30 23.201726 773
31 30 26.329987 877
31 30 23.375912 779
31 30 23.153959 771
31 30 23.150252 771
31 30 22.851335 761
31 30 23.686312 789
31 30 23.263229 775
31 30 23.377887 779
EXP 32 serverCachesProofs true
EXP 32 clientCachesProofs true
EXP 32 requestsPerConnection 1
EXP 32 registryService TestRMIServer3
EXP 32 numberOfConnections 30
EXP 32 fileLength 100000
EXP 32 experimentType RMIExp
EXP 32 port 8143
EXP 32 uri /timing/data-100000.txt
EXP 32 experimentID 32
32 30 18.589162 619
32 30 18.00937 600
32 30 17.886965 596
32 30 17.914878 597
32 30 17.937941 597
32 30 18.013053 600
32 30 18.413761 613
32 30 17.974161 599
32 30 18.241764 608
32 30 18.025215 600
