38
42
46
46
47
57
75
83
117
127
127
161
233
382
404
429
470
498
518
535
555
570
576
616
666
689
713
731
763
2194
2474
4026
4111
4144
4144
4148
4160
4177
4202
4206
4212
4224
4224
4230
4247
4255
4262
4270
4272
4276
4284
4284
4294
4299
4307
4309
4311
4317
4321
4323
4323
4325
Overview
|
Average |
Total |
Wall Clock Time |
4.02 days |
1623.99 days |
CPU time |
1.89 days |
764.27 days |
Interaction Time |
4.57 hours |
77 days |