63
67
67
67
76
78
78
82
108
114
121
121
175
195
266
280
286
383
386
413
437
437
449
471
499
511
511
513
525
541
545
545
545
555
558
558
639
654
658
661
870
870
897
915
924
933
933
933
939
947
951
984
996
996
1011
Overview
|
Average |
Total |
Wall Clock Time |
2.91 days |
435.82 days |
CPU time |
2.01 minutes |
5.03 hours |
Interaction Time |
2.76 hours |
17.25 days |