8
37
46
82
93
124
129
141
151
180
263
358
387
410
425
432
450
455
501
518
570
625
627
827
942
1072
1099
1126
1174
1209
1301
1438
1503
1538
1539
1551
1618
1674
1806
1837
1915
2003
2130
2151
2195
2244
2271
2303
2418
2480
2593
2641
2674
2781
2865
2948
3065
Overview
|
Average |
Total |
Wall Clock Time |
2.05 hours |
339.88 days |
CPU time |
54.79 seconds |
2.52 days |
Interaction Time |
34.57 minutes |
95.58 days |