78
224
422
511
543
547
551
561
567
577
583
583
587
601
605
611
611
615
619
625
631
641
659
665
851
1217
1525
1663
1788
1795
1807
1815
1824
1846
1859
1869
1901
1915
1959
1965
1981
2003
2031
2054
2084
Overview
|
Average |
Total |
Wall Clock Time |
11.36 hours |
600.88 days |
CPU time |
14.77 minutes |
13.02 days |
Interaction Time |
3.32 hours |
175.35 days |