32
123
849
886
906
934
968
1167
1945
2745
3099
3108
3160
3641
9276
9445
9512
9538
9599
9958
10269
10310
10403
10570
10704
11524
15546
16125
16321
16458
16588
17300
17580
17613
17697
17758
17834
17974
18624
18678
18798
18845
18863
18919
18964
18986
19013
Overview
|
Average |
Total |
Wall Clock Time |
19.08 hours |
3930.38 days |
CPU time |
2.29 minutes |
7.86 days |
Interaction Time |
1.34 hours |
275.42 days |