Cup shell compilation

1 min 4 secs

14 mins 30 secs

9 secs

15 mins 37 secs

5 mins 37 secs

1 hour 27 mins 14 secs

20 secs

8 mins 39 secs

2 hours 17 mins 34 secs

8 mins 21 secs

28 mins 12 secs

32 mins 3 secs

9 mins 40 secs

8 mins 39 secs

2 hours 22 mins 46 secs

3 mins 36 secs

2 hours 27 mins 51 secs

28 secs

4 mins 14 secs

24 mins 3 secs

1 min 19 secs

8 mins 30 secs

17 mins 44 secs

1 hour 33 mins 33 secs

20 mins 7 secs

6 mins 18 secs

3 mins 39 secs

6 mins 59 secs

1 min 11 secs

4 mins 42 secs

18 secs

9 mins

1 hour 16 mins 3 secs

5 mins 30 secs

26 secs

1 min 52 secs

13 mins 24 secs

5 mins 2 secs

32 secs

3 mins 32 secs