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 1.048185 69
2 15 0.212152 14
2 15 0.198874 13
2 15 0.302282 20
2 15 0.197679 13
2 15 0.19798800000000005 13
2 15 0.199072 13
2 15 0.199734 13
2 15 0.280773 18
2 15 0.198852 13
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.749993 383
3 15 6.08136 405
3 15 6.12046 408
3 15 6.096418 406
3 15 6.184255 412
3 15 6.138141 409
3 15 6.109688 407
3 15 6.115011 407
3 15 6.072415 404
3 15 6.108401 407
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.714744 47
5 15 0.213126 14
5 15 0.213513 14
5 15 0.213486 14
5 15 0.26622900000000005 17
5 15 0.298724 19
5 15 0.213992 14
5 15 0.213272 14
5 15 0.21306599999999998 14
5 15 0.213958 14
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.311632 20
8 15 0.386969 25
8 15 0.303921 20
8 15 0.327341 21
8 15 0.30007399999999995 20
8 15 0.405009 27
8 15 0.328094 21
8 15 0.30048600000000003 20
8 15 0.301985 20
8 15 0.300862 20
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.409371 93
11 15 0.537569 35
11 15 0.651834 43
11 15 0.569816 37
11 15 0.651184 43
11 15 0.6557120000000001 43
11 15 0.578129 38
11 15 0.659912 43
11 15 0.563423 37
11 15 0.633274 42
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 5.678128 378
17 15 5.643905 376
17 15 5.689007 379
17 15 5.65322 376
17 15 5.642475 376
17 15 5.626091 375
17 15 5.623237 374
17 15 5.695226 379
17 15 5.632833 375
17 15 5.627613 375
