20
36
62
68
76
94
96
108
122
138
150
162
176
269
813
847
869
885
891
903
1157
1165
1195
1211
1232
1244
1278
1298
1308
1310
1337
1470
1638
1687
1695
1698
1704
1720
1735
1738
1751
1763
1767
1778
1784
1839
1894
1916
1917
Overview
|
Average |
Total |
Wall Clock Time |
4 hours |
186.95 days |
CPU time |
31.12 minutes |
24.23 days |
Interaction Time |
1.42 hours |
66.43 days |