Generated 24 cases.
Filtered to 18 cases.
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 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 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
