50
72
152
296
304
334
344
358
372
384
406
410
428
436
461
501
582
592
621
702
706
733
773
782
797
819
837
861
891
901
917
932
946
951
959
959
965
971
973
1002
1004
1010
1010
1018
1033
1035
1047
Overview
|
Average |
Total |
Wall Clock Time |
1.76 days |
784.68 days |
CPU time |
2.09 minutes |
15.52 hours |
Interaction Time |
3.92 hours |
72.91 days |