Generated 40 cases.
Filtered to 30 cases.
EXP 0 serverCachesProofs false
EXP 0 clientCachesProofs false
EXP 0 requestsPerConnection 1
EXP 0 registryService TestRMIServer3
EXP 0 numberOfConnections 30
EXP 0 fileLength 000100
EXP 0 experimentType RMIExp
EXP 0 port 8143
EXP 0 uri /timing/data-000100.txt
EXP 0 experimentID 0
0 30 13.316068 443
0 30 12.21149 407
0 30 12.228455 407
0 30 12.226667 407
0 30 12.176803 405
0 30 12.238727 407
0 30 12.227252 407
0 30 12.22062 407
0 30 12.276408 409
0 30 12.244645 408
EXP 1 serverCachesProofs false
EXP 1 clientCachesProofs true
EXP 1 requestsPerConnection 1
EXP 1 registryService TestRMIServer3
EXP 1 numberOfConnections 30
EXP 1 fileLength 000100
EXP 1 experimentType RMIExp
EXP 1 port 8143
EXP 1 uri /timing/data-000100.txt
EXP 1 experimentID 1
1 30 4.381486 146
1 30 4.097732 136
1 30 4.090724 136
1 30 4.051709 135
1 30 4.047787 134
1 30 4.075823 135
1 30 4.137291 137
1 30 4.112236 137
1 30 4.156189 138
1 30 4.197364 139
EXP 2 serverCachesProofs true
EXP 2 clientCachesProofs true
EXP 2 requestsPerConnection 1
EXP 2 registryService TestRMIServer3
EXP 2 numberOfConnections 30
EXP 2 fileLength 000100
EXP 2 experimentType RMIExp
EXP 2 port 8143
EXP 2 uri /timing/data-000100.txt
EXP 2 experimentID 2
2 30 0.879959 29
2 30 0.5088889999999999 16
2 30 0.459009 15
2 30 0.48461200000000004 16
2 30 0.458292 15
2 30 0.48500699999999997 16
2 30 0.476771 15
2 30 0.462553 15
2 30 0.485976 16
2 30 0.457819 15
EXP 3 serverCachesProofs false
EXP 3 clientCachesProofs false
EXP 3 requestsPerConnection 1
EXP 3 registryService TestRMIServer3
EXP 3 numberOfConnections 30
EXP 3 fileLength 000199
EXP 3 experimentType RMIExp
EXP 3 port 8143
EXP 3 uri /timing/data-000199.txt
EXP 3 experimentID 3
3 30 12.013033 400
3 30 12.361514 412
3 30 12.250327 408
3 30 12.240024 408
3 30 12.274343 409
3 30 12.290312 409
3 30 12.2958 409
3 30 12.248839 408
3 30 12.270163 409
3 30 12.956925 431
EXP 4 serverCachesProofs false
EXP 4 clientCachesProofs true
EXP 4 requestsPerConnection 1
EXP 4 registryService TestRMIServer3
EXP 4 numberOfConnections 30
EXP 4 fileLength 000199
EXP 4 experimentType RMIExp
EXP 4 port 8143
EXP 4 uri /timing/data-000199.txt
EXP 4 experimentID 4
4 30 4.453368 148
4 30 4.142764 138
4 30 4.150751 138
4 30 4.151132 138
4 30 4.155813 138
4 30 4.122603 137
4 30 4.084461 136
4 30 4.095369 136
4 30 4.197337 139
4 30 4.216184 140
EXP 5 serverCachesProofs true
EXP 5 clientCachesProofs true
EXP 5 requestsPerConnection 1
EXP 5 registryService TestRMIServer3
EXP 5 numberOfConnections 30
EXP 5 fileLength 000199
EXP 5 experimentType RMIExp
EXP 5 port 8143
EXP 5 uri /timing/data-000199.txt
EXP 5 experimentID 5
5 30 0.951352 31
5 30 0.466998 15
5 30 0.498692 16
5 30 0.493171 16
5 30 0.503752 16
5 30 0.466169 15
5 30 0.49814099999999994 16
5 30 0.492683 16
5 30 0.464212 15
5 30 0.497726 16
EXP 6 serverCachesProofs false
EXP 6 clientCachesProofs false
EXP 6 requestsPerConnection 1
EXP 6 registryService TestRMIServer3
EXP 6 numberOfConnections 30
EXP 6 fileLength 000398
EXP 6 experimentType RMIExp
EXP 6 port 8143
EXP 6 uri /timing/data-000398.txt
EXP 6 experimentID 6
6 30 12.088584 402
6 30 12.301502 410
6 30 12.274593 409
6 30 12.261819 408
6 30 12.230846 407
6 30 12.270548 409
6 30 12.23443 407
6 30 12.294936 409
6 30 12.231149 407
6 30 12.264485 408
EXP 7 serverCachesProofs false
EXP 7 clientCachesProofs true
EXP 7 requestsPerConnection 1
EXP 7 registryService TestRMIServer3
EXP 7 numberOfConnections 30
EXP 7 fileLength 000398
EXP 7 experimentType RMIExp
EXP 7 port 8143
EXP 7 uri /timing/data-000398.txt
EXP 7 experimentID 7
7 30 4.427342 147
7 30 4.132697 137
7 30 4.143265 138
7 30 4.206365 140
7 30 4.139639 137
7 30 4.244536 141
7 30 4.301404 143
7 30 4.265209 142
7 30 4.221569 140
7 30 4.3356 144
EXP 8 serverCachesProofs true
EXP 8 clientCachesProofs true
EXP 8 requestsPerConnection 1
EXP 8 registryService TestRMIServer3
EXP 8 numberOfConnections 30
EXP 8 fileLength 000398
EXP 8 experimentType RMIExp
EXP 8 port 8143
EXP 8 uri /timing/data-000398.txt
EXP 8 experimentID 8
8 30 0.952998 31
8 30 0.495173 16
8 30 0.499865 16
8 30 0.493767 16
8 30 0.496347 16
8 30 0.519254 17
8 30 0.495513 16
8 30 0.493836 16
8 30 0.490842 16
8 30 0.520891 17
EXP 9 serverCachesProofs false
EXP 9 clientCachesProofs false
EXP 9 requestsPerConnection 1
EXP 9 registryService TestRMIServer3
EXP 9 numberOfConnections 30
EXP 9 fileLength 000794
EXP 9 experimentType RMIExp
EXP 9 port 8143
EXP 9 uri /timing/data-000794.txt
EXP 9 experimentID 9
9 30 12.173438 405
9 30 13.285952 442
9 30 12.601651 420
9 30 12.769536 425
9 30 13.067039 435
9 30 17.023386 567
9 30 12.513817 417
9 30 12.382425 412
9 30 12.21519 407
9 30 12.31679 410
EXP 10 serverCachesProofs false
EXP 10 clientCachesProofs true
EXP 10 requestsPerConnection 1
EXP 10 registryService TestRMIServer3
EXP 10 numberOfConnections 30
EXP 10 fileLength 000794
EXP 10 experimentType RMIExp
EXP 10 port 8143
EXP 10 uri /timing/data-000794.txt
EXP 10 experimentID 10
10 30 4.412199 147
10 30 4.145921 138
10 30 4.091341 136
10 30 4.169956 138
10 30 4.097701 136
10 30 4.114412 137
10 30 4.069809 135
10 30 4.2025500000000005 140
10 30 4.140808 138
10 30 4.224892 140
EXP 11 serverCachesProofs true
EXP 11 clientCachesProofs true
EXP 11 requestsPerConnection 1
EXP 11 registryService TestRMIServer3
EXP 11 numberOfConnections 30
EXP 11 fileLength 000794
EXP 11 experimentType RMIExp
EXP 11 port 8143
EXP 11 uri /timing/data-000794.txt
EXP 11 experimentID 11
11 30 0.908042 30
11 30 0.500391 16
11 30 0.463976 15
11 30 0.47541900000000004 15
11 30 0.462957 15
11 30 0.47035099999999996 15
11 30 0.500032 16
11 30 0.4887 16
11 30 0.464093 15
11 30 0.46323899999999996 15
EXP 12 serverCachesProofs false
EXP 12 clientCachesProofs false
EXP 12 requestsPerConnection 1
EXP 12 registryService TestRMIServer3
EXP 12 numberOfConnections 30
EXP 12 fileLength 001584
EXP 12 experimentType RMIExp
EXP 12 port 8143
EXP 12 uri /timing/data-001584.txt
EXP 12 experimentID 12
12 30 12.086741 402
12 30 12.454452 415
12 30 12.286453999999999 409
12 30 12.282877 409
12 30 12.271462 409
12 30 12.268457 408
12 30 12.235677 407
12 30 12.257632 408
12 30 12.310884 410
12 30 12.322416 410
EXP 13 serverCachesProofs false
EXP 13 clientCachesProofs true
EXP 13 requestsPerConnection 1
EXP 13 registryService TestRMIServer3
EXP 13 numberOfConnections 30
EXP 13 fileLength 001584
EXP 13 experimentType RMIExp
EXP 13 port 8143
EXP 13 uri /timing/data-001584.txt
EXP 13 experimentID 13
13 30 4.464043 148
13 30 4.254717 141
13 30 4.224751 140
13 30 4.2859300000000005 142
13 30 4.312239 143
13 30 4.381181 146
13 30 4.376099 145
13 30 4.398077 146
13 30 4.562176 152
13 30 4.549804 151
EXP 14 serverCachesProofs true
EXP 14 clientCachesProofs true
EXP 14 requestsPerConnection 1
EXP 14 registryService TestRMIServer3
EXP 14 numberOfConnections 30
EXP 14 fileLength 001584
EXP 14 experimentType RMIExp
EXP 14 port 8143
EXP 14 uri /timing/data-001584.txt
EXP 14 experimentID 14
14 30 0.986492 32
14 30 0.604006 20
14 30 0.5500769999999999 18
14 30 0.547951 18
14 30 0.587029 19
14 30 0.57574 19
14 30 0.548242 18
14 30 0.588093 19
14 30 0.552413 18
14 30 0.578454 19
EXP 15 serverCachesProofs false
EXP 15 clientCachesProofs false
EXP 15 requestsPerConnection 1
EXP 15 registryService TestRMIServer3
EXP 15 numberOfConnections 30
EXP 15 fileLength 003162
EXP 15 experimentType RMIExp
EXP 15 port 8143
EXP 15 uri /timing/data-003162.txt
EXP 15 experimentID 15
15 30 13.127479 437
15 30 13.714637 457
15 30 12.285964 409
15 30 12.231225 407
15 30 12.343952999999999 411
15 30 12.29712 409
15 30 12.364448 412
15 30 12.421927 414
15 30 12.391337 413
15 30 12.419667 413
EXP 16 serverCachesProofs false
EXP 16 clientCachesProofs true
EXP 16 requestsPerConnection 1
EXP 16 registryService TestRMIServer3
EXP 16 numberOfConnections 30
EXP 16 fileLength 003162
EXP 16 experimentType RMIExp
EXP 16 port 8143
EXP 16 uri /timing/data-003162.txt
EXP 16 experimentID 16
16 30 4.763423 158
16 30 4.584547 152
16 30 4.813273 160
16 30 5.152283 171
16 30 6.642025 221
16 30 4.189819 139
16 30 4.195031 139
16 30 4.159636 138
16 30 4.323583 144
16 30 4.204037 140
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.931451 31
17 30 0.47253599999999996 15
17 30 0.472616 15
17 30 0.519211 17
17 30 0.48961 16
17 30 0.470448 15
17 30 0.469861 15
17 30 0.469769 15
17 30 0.498278 16
17 30 0.47629 15
EXP 18 serverCachesProofs false
EXP 18 clientCachesProofs false
EXP 18 requestsPerConnection 1
EXP 18 registryService TestRMIServer3
EXP 18 numberOfConnections 30
EXP 18 fileLength 006309
EXP 18 experimentType RMIExp
EXP 18 port 8143
EXP 18 uri /timing/data-006309.txt
EXP 18 experimentID 18
18 30 12.151756 405
18 30 12.575297 419
18 30 12.473986 415
18 30 12.613064 420
18 30 12.605687 420
18 30 12.718753 423
18 30 12.775014 425
18 30 12.883571 429
18 30 13.32277 444
18 30 12.499075 416
EXP 19 serverCachesProofs false
EXP 19 clientCachesProofs true
EXP 19 requestsPerConnection 1
EXP 19 registryService TestRMIServer3
EXP 19 numberOfConnections 30
EXP 19 fileLength 006309
EXP 19 experimentType RMIExp
EXP 19 port 8143
EXP 19 uri /timing/data-006309.txt
EXP 19 experimentID 19
19 30 4.53751 151
19 30 4.253952 141
19 30 5.094373 169
19 30 7.266278 242
19 30 5.144786 171
19 30 4.222063 140
19 30 3.989052 132
19 30 4.042792 134
19 30 4.069674 135
19 30 4.043361 134
EXP 20 serverCachesProofs true
EXP 20 clientCachesProofs true
EXP 20 requestsPerConnection 1
EXP 20 registryService TestRMIServer3
EXP 20 numberOfConnections 30
EXP 20 fileLength 006309
EXP 20 experimentType RMIExp
EXP 20 port 8143
EXP 20 uri /timing/data-006309.txt
EXP 20 experimentID 20
20 30 0.896468 29
20 30 0.42164 14
20 30 0.499073 16
20 30 0.418379 13
20 30 0.470831 15
20 30 0.472761 15
20 30 0.43720099999999995 14
20 30 0.472459 15
20 30 0.418159 13
20 30 0.468851 15
EXP 21 serverCachesProofs false
EXP 21 clientCachesProofs false
EXP 21 requestsPerConnection 1
EXP 21 registryService TestRMIServer3
EXP 21 numberOfConnections 30
EXP 21 fileLength 012589
EXP 21 experimentType RMIExp
EXP 21 port 8143
EXP 21 uri /timing/data-012589.txt
EXP 21 experimentID 21
21 30 11.863986 395
21 30 12.294124 409
21 30 12.29106 409
21 30 12.323536 410
21 30 12.275029 409
21 30 12.294379 409
21 30 12.288875 409
21 30 12.328682 410
21 30 12.246987 408
21 30 12.270925 409
EXP 22 serverCachesProofs false
EXP 22 clientCachesProofs true
EXP 22 requestsPerConnection 1
EXP 22 registryService TestRMIServer3
EXP 22 numberOfConnections 30
EXP 22 fileLength 012589
EXP 22 experimentType RMIExp
EXP 22 port 8143
EXP 22 uri /timing/data-012589.txt
EXP 22 experimentID 22
22 30 4.44758 148
22 30 4.192177 139
22 30 4.184766 139
22 30 4.249199 141
22 30 4.223655 140
22 30 4.29686 143
22 30 4.282922 142
22 30 4.329624 144
22 30 4.247752 141
22 30 4.335525 144
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.998691 33
23 30 0.480896 16
23 30 0.531127 17
23 30 0.511266 17
23 30 0.486437 16
23 30 0.484765 16
23 30 0.484715 16
23 30 0.51288 17
23 30 0.516207 17
23 30 0.485105 16
EXP 24 serverCachesProofs false
EXP 24 clientCachesProofs false
EXP 24 requestsPerConnection 1
EXP 24 registryService TestRMIServer3
EXP 24 numberOfConnections 30
EXP 24 fileLength 025118
EXP 24 experimentType RMIExp
EXP 24 port 8143
EXP 24 uri /timing/data-025118.txt
EXP 24 experimentID 24
24 30 12.215504 407
24 30 12.594856 419
24 30 12.586853 419
24 30 12.422169 414
24 30 12.332218 411
24 30 12.285734 409
24 30 12.264712 408
24 30 13.098449 436
24 30 12.279083 409
24 30 12.287463 409
EXP 25 serverCachesProofs false
EXP 25 clientCachesProofs true
EXP 25 requestsPerConnection 1
EXP 25 registryService TestRMIServer3
EXP 25 numberOfConnections 30
EXP 25 fileLength 025118
EXP 25 experimentType RMIExp
EXP 25 port 8143
EXP 25 uri /timing/data-025118.txt
EXP 25 experimentID 25
25 30 4.473146 149
25 30 4.20273 140
25 30 4.161385 138
25 30 4.157514 138
25 30 4.162524 138
25 30 4.208054 140
25 30 4.166294 138
25 30 4.152217 138
25 30 4.195253 139
25 30 4.342994 144
EXP 26 serverCachesProofs true
EXP 26 clientCachesProofs true
EXP 26 requestsPerConnection 1
EXP 26 registryService TestRMIServer3
EXP 26 numberOfConnections 30
EXP 26 fileLength 025118
EXP 26 experimentType RMIExp
EXP 26 port 8143
EXP 26 uri /timing/data-025118.txt
EXP 26 experimentID 26
26 30 0.843887 28
26 30 0.5004660000000001 16
26 30 0.445959 14
26 30 0.490804 16
26 30 0.488604 16
26 30 0.42193099999999994 14
26 30 0.516907 17
26 30 0.422708 14
26 30 0.488469 16
26 30 0.422956 14
EXP 27 serverCachesProofs false
EXP 27 clientCachesProofs false
EXP 27 requestsPerConnection 1
EXP 27 registryService TestRMIServer3
EXP 27 numberOfConnections 30
EXP 27 fileLength 050118
EXP 27 experimentType RMIExp
EXP 27 port 8143
EXP 27 uri /timing/data-050118.txt
EXP 27 experimentID 27
27 30 12.102384 403
27 30 12.4355 414
27 30 12.414599 413
27 30 12.425555 414
27 30 12.401083 413
27 30 12.546973 418
27 30 12.513533 417
27 30 12.507448 416
27 30 12.41212 413
27 30 12.643464999999999 421
EXP 28 serverCachesProofs false
EXP 28 clientCachesProofs true
EXP 28 requestsPerConnection 1
EXP 28 registryService TestRMIServer3
EXP 28 numberOfConnections 30
EXP 28 fileLength 050118
EXP 28 experimentType RMIExp
EXP 28 port 8143
EXP 28 uri /timing/data-050118.txt
EXP 28 experimentID 28
28 30 4.780397 159
28 30 4.482299 149
28 30 4.49498 149
28 30 4.529733 150
28 30 4.565968 152
28 30 4.864218 162
28 30 4.982601 166
28 30 4.96947 165
28 30 5.664285 188
28 30 6.796196 226
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.84784 28
29 30 0.500812 16
29 30 0.427751 14
29 30 0.491514 16
29 30 0.427574 14
29 30 0.50903 16
29 30 0.42676499999999995 14
29 30 0.427552 14
29 30 0.518575 17
29 30 0.431769 14
