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
