Generated 40 cases.
Filtered to 30 cases.
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 0.536202 17
17 30 0.513477 17
17 30 0.567637 18
17 30 0.510432 17
17 30 0.563225 18
17 30 0.512348 17
17 30 0.49226899999999996 16
17 30 0.582529 19
17 30 0.511322 17
17 30 0.567216 18
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 0.497891 16
23 30 0.5556289999999999 18
23 30 0.504973 16
23 30 0.476012 15
23 30 0.547248 18
23 30 0.475124 15
23 30 0.551034 18
23 30 0.501629 16
23 30 0.475617 15
23 30 0.5462009999999999 18
