Generated 40 cases.
Filtered to 30 cases.
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 0.47058 15
29 30 0.48370899999999994 16
29 30 0.535073 17
29 30 0.455059 15
29 30 0.537277 17
29 30 0.465217 15
29 30 0.464575 15
29 30 0.536698 17
29 30 0.525673 17
29 30 0.531582 17
