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.281804 418
0 15 6.113464 407
0 15 6.191816 412
0 15 6.127253 408
0 15 6.133747 408
0 15 6.266278 417
0 15 6.121507 408
0 15 6.174769 411
0 15 6.193413 412
0 15 6.200918 413
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.401197 160
1 15 2.132282 142
1 15 2.052593 136
1 15 2.043177 136
1 15 2.124015 141
1 15 2.070073 138
1 15 2.07314 138
1 15 2.107202 140
1 15 2.079783 138
1 15 2.04813 136
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.22102 14
2 15 0.216177 14
2 15 0.212482 14
2 15 0.21960500000000005 14
2 15 0.202842 13
2 15 0.296915 19
2 15 0.213431 14
2 15 0.213387 14
2 15 0.213703 14
2 15 0.213131 14
EXP 3 serverCachesProofs false
EXP 3 clientCachesProofs false
EXP 3 requestsPerConnection 1
EXP 3 registryService TestRMIServer3
EXP 3 numberOfConnections 15
EXP 3 fileLength 000398
EXP 3 experimentType RMIExp
EXP 3 port 8143
EXP 3 uri /timing/data-000398.txt
EXP 3 experimentID 3
3 15 5.749993 383
3 15 6.08136 405
3 15 6.12046 408
3 15 6.096418 406
3 15 6.184255 412
3 15 6.138141 409
3 15 6.109688 407
3 15 6.115011 407
3 15 6.072415 404
3 15 6.108401 407
EXP 4 serverCachesProofs false
EXP 4 clientCachesProofs true
EXP 4 requestsPerConnection 1
EXP 4 registryService TestRMIServer3
EXP 4 numberOfConnections 15
EXP 4 fileLength 000398
EXP 4 experimentType RMIExp
EXP 4 port 8143
EXP 4 uri /timing/data-000398.txt
EXP 4 experimentID 4
4 15 2.555093 170
4 15 2.054414 136
4 15 2.121093 141
4 15 2.071817 138
4 15 2.094762 139
4 15 2.055059 137
4 15 2.161981 144
4 15 2.053872 136
4 15 2.098401 139
4 15 2.050789 136
EXP 5 serverCachesProofs true
EXP 5 clientCachesProofs true
EXP 5 requestsPerConnection 1
EXP 5 registryService TestRMIServer3
EXP 5 numberOfConnections 15
EXP 5 fileLength 000398
EXP 5 experimentType RMIExp
EXP 5 port 8143
EXP 5 uri /timing/data-000398.txt
EXP 5 experimentID 5
5 15 0.22377100000000005 14
5 15 0.361027 24
5 15 0.210411 14
5 15 0.210727 14
5 15 0.21008000000000004 14
5 15 0.232137 15
5 15 0.209388 13
5 15 0.290746 19
5 15 0.206891 13
5 15 0.20740499999999995 13
EXP 6 serverCachesProofs false
EXP 6 clientCachesProofs false
EXP 6 requestsPerConnection 1
EXP 6 registryService TestRMIServer3
EXP 6 numberOfConnections 15
EXP 6 fileLength 001584
EXP 6 experimentType RMIExp
EXP 6 port 8143
EXP 6 uri /timing/data-001584.txt
EXP 6 experimentID 6
6 15 5.979612 398
6 15 6.162379 410
6 15 6.206631 413
6 15 6.240244 416
6 15 6.241284 416
6 15 6.306928 420
6 15 6.232251 415
6 15 6.234758 415
6 15 6.227325 415
6 15 6.253696 416
EXP 7 serverCachesProofs false
EXP 7 clientCachesProofs true
EXP 7 requestsPerConnection 1
EXP 7 registryService TestRMIServer3
EXP 7 numberOfConnections 15
EXP 7 fileLength 001584
EXP 7 experimentType RMIExp
EXP 7 port 8143
EXP 7 uri /timing/data-001584.txt
EXP 7 experimentID 7
7 15 2.622611 174
7 15 2.249491 149
7 15 2.232536 148
7 15 2.25771 150
7 15 2.232 148
7 15 2.210874 147
7 15 2.312814 154
7 15 2.262569 150
7 15 2.19138 146
7 15 2.32132 154
EXP 8 serverCachesProofs true
EXP 8 clientCachesProofs true
EXP 8 requestsPerConnection 1
EXP 8 registryService TestRMIServer3
EXP 8 numberOfConnections 15
EXP 8 fileLength 001584
EXP 8 experimentType RMIExp
EXP 8 port 8143
EXP 8 uri /timing/data-001584.txt
EXP 8 experimentID 8
8 15 0.340818 22
8 15 0.33680600000000005 22
8 15 0.388626 25
8 15 0.304498 20
8 15 0.30862 20
8 15 0.320301 21
8 15 0.304541 20
8 15 0.41161000000000003 27
8 15 0.30603 20
8 15 0.322156 21
EXP 9 serverCachesProofs false
EXP 9 clientCachesProofs false
EXP 9 requestsPerConnection 1
EXP 9 registryService TestRMIServer3
EXP 9 numberOfConnections 15
EXP 9 fileLength 006309
EXP 9 experimentType RMIExp
EXP 9 port 8143
EXP 9 uri /timing/data-006309.txt
EXP 9 experimentID 9
9 15 6.266143 417
9 15 6.627309 441
9 15 6.624774 441
9 15 6.711072 447
9 15 6.644754 442
9 15 6.710755 447
9 15 6.590338 439
9 15 6.629731 441
9 15 6.479357 431
9 15 6.5097 433
EXP 10 serverCachesProofs false
EXP 10 clientCachesProofs true
EXP 10 requestsPerConnection 1
EXP 10 registryService TestRMIServer3
EXP 10 numberOfConnections 15
EXP 10 fileLength 006309
EXP 10 experimentType RMIExp
EXP 10 port 8143
EXP 10 uri /timing/data-006309.txt
EXP 10 experimentID 10
10 15 2.849978 189
10 15 2.483392 165
10 15 2.416353 161
10 15 2.521265 168
10 15 2.446086 163
10 15 2.442246 162
10 15 2.402902 160
10 15 2.493867 166
10 15 2.418132 161
10 15 2.438937 162
EXP 11 serverCachesProofs true
EXP 11 clientCachesProofs true
EXP 11 requestsPerConnection 1
EXP 11 registryService TestRMIServer3
EXP 11 numberOfConnections 15
EXP 11 fileLength 006309
EXP 11 experimentType RMIExp
EXP 11 port 8143
EXP 11 uri /timing/data-006309.txt
EXP 11 experimentID 11
11 15 1.409371 93
11 15 0.537569 35
11 15 0.651834 43
11 15 0.569816 37
11 15 0.651184 43
11 15 0.6557120000000001 43
11 15 0.578129 38
11 15 0.659912 43
11 15 0.563423 37
11 15 0.633274 42
EXP 12 serverCachesProofs false
EXP 12 clientCachesProofs false
EXP 12 requestsPerConnection 1
EXP 12 registryService TestRMIServer3
EXP 12 numberOfConnections 15
EXP 12 fileLength 025118
EXP 12 experimentType RMIExp
EXP 12 port 8143
EXP 12 uri /timing/data-025118.txt
EXP 12 experimentID 12
12 15 7.168364 477
12 15 7.592079 506
12 15 7.541891 502
12 15 7.54857 503
12 15 7.568357 504
12 15 7.456994 497
12 15 7.585011 505
12 15 7.599967 506
12 15 7.565122 504
12 15 7.5608319999999996 504
EXP 13 serverCachesProofs false
EXP 13 clientCachesProofs true
EXP 13 requestsPerConnection 1
EXP 13 registryService TestRMIServer3
EXP 13 numberOfConnections 15
EXP 13 fileLength 025118
EXP 13 experimentType RMIExp
EXP 13 port 8143
EXP 13 uri /timing/data-025118.txt
EXP 13 experimentID 13
13 15 4.617429 307
13 15 3.513711 234
13 15 3.507682 233
13 15 3.624969 241
13 15 3.51142 234
13 15 3.537247 235
13 15 3.592877 239
13 15 3.4684559999999998 231
13 15 3.588329 239
13 15 3.501876 233
EXP 14 serverCachesProofs true
EXP 14 clientCachesProofs true
EXP 14 requestsPerConnection 1
EXP 14 registryService TestRMIServer3
EXP 14 numberOfConnections 15
EXP 14 fileLength 025118
EXP 14 experimentType RMIExp
EXP 14 port 8143
EXP 14 uri /timing/data-025118.txt
EXP 14 experimentID 14
14 15 2.160885 144
14 15 1.742262 116
14 15 1.7699259999999999 117
14 15 1.712331 114
14 15 1.7365110000000001 115
14 15 1.735103 115
14 15 1.734147 115
14 15 1.647706 109
14 15 1.73204 115
14 15 1.733562 115
EXP 15 serverCachesProofs false
EXP 15 clientCachesProofs false
EXP 15 requestsPerConnection 1
EXP 15 registryService TestRMIServer3
EXP 15 numberOfConnections 15
EXP 15 fileLength 100000
EXP 15 experimentType RMIExp
EXP 15 port 8143
EXP 15 uri /timing/data-100000.txt
EXP 15 experimentID 15
15 15 11.302367 753
15 15 11.529225 768
15 15 11.513036 767
15 15 11.482222 765
15 15 11.581986 772
15 15 11.683343 778
15 15 11.619681 774
15 15 11.647939000000001 776
15 15 11.601154 773
15 15 11.686723 779
EXP 16 serverCachesProofs false
EXP 16 clientCachesProofs true
EXP 16 requestsPerConnection 1
EXP 16 registryService TestRMIServer3
EXP 16 numberOfConnections 15
EXP 16 fileLength 100000
EXP 16 experimentType RMIExp
EXP 16 port 8143
EXP 16 uri /timing/data-100000.txt
EXP 16 experimentID 16
16 15 7.912782 527
16 15 7.6251370000000005 508
16 15 7.547818 503
16 15 7.877165 525
16 15 7.555772 503
16 15 7.418771 494
16 15 7.512361 500
16 15 7.442944 496
16 15 7.435321 495
16 15 7.355726 490
EXP 17 serverCachesProofs true
EXP 17 clientCachesProofs true
EXP 17 requestsPerConnection 1
EXP 17 registryService TestRMIServer3
EXP 17 numberOfConnections 15
EXP 17 fileLength 100000
EXP 17 experimentType RMIExp
EXP 17 port 8143
EXP 17 uri /timing/data-100000.txt
EXP 17 experimentID 17
17 15 5.678128 378
17 15 5.643905 376
17 15 5.689007 379
17 15 5.65322 376
17 15 5.642475 376
17 15 5.626091 375
17 15 5.623237 374
17 15 5.695226 379
17 15 5.632833 375
17 15 5.627613 375
