25
34
40
43
46
52
57
61
65
65
70
76
78
83
90
96
113
115
121
121
125
131
145
174
663
708
1095
1329
1459
1468
1475
1479
1482
1492
1492
1493
1494
1497
1559
1599
1608
1619
1762
1763
1767
1767
1771
1773
1774
1777
1780
1792
1799
1807
1820
1822
1827
1830
1833
1835
1838
1840
1841
1845
1847
1850
1850
1851
1851
1851
1892
1898
1901
1922
1922
1925
1927
1932
Overview
|
Average |
Total |
Wall Clock Time |
1.24 hours |
81.49 days |
CPU time |
2.46 seconds |
1.08 hours |
Interaction Time |
5.46 minutes |
6.01 days |