Generated 24 cases.
Filtered to 18 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.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.6158790000000001 41
2 15 0.261274 17
2 15 0.192875 12
2 15 0.19054899999999997 12
2 15 0.192386 12
2 15 0.215404 14
2 15 0.269537 17
2 15 0.20200700000000005 13
2 15 0.192887 12
2 15 0.193083 12
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.764107 384
3 15 6.225166 415
3 15 6.147341 409
3 15 6.188956 412
3 15 6.218522 414
3 15 6.132958 408
3 15 6.144747 409
3 15 6.144525 409
3 15 7.614957 507
3 15 8.268117 551
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.7006589999999999 46
5 15 0.209412 13
5 15 0.209811 13
5 15 0.209309 13
5 15 0.23945799999999995 15
5 15 0.288526 19
5 15 0.21044 14
5 15 0.214403 14
5 15 0.22203099999999998 14
5 15 0.210545 14
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.740168 49
8 15 0.39163800000000004 26
8 15 0.301273 20
8 15 0.299519 19
8 15 0.41194600000000003 27
8 15 0.300168 20
8 15 0.299041 19
8 15 0.41537199999999996 27
8 15 0.296945 19
8 15 0.310148 20
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.129661 75
11 15 0.598517 39
11 15 0.68452 45
11 15 0.598014 39
11 15 0.6820109999999999 45
11 15 0.5967279999999999 39
11 15 0.734706 48
11 15 0.599135 39
11 15 0.67894 45
11 15 0.596609 39
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 6.284419 418
17 15 5.859848 390
17 15 5.92693 395
17 15 5.85273 390
17 15 5.887913 392
17 15 5.757535 383
17 15 5.686803 379
17 15 5.691652 379
17 15 5.71454 380
17 15 9.689316999999999 645
