20
77
226
284
535
618
649
660
662
680
778
1058
1431
1485
1582
1649
1907
1984
2007
2018
2020
2041
2189
2572
2631
2814
2754
2805
3211
3343
3404
3440
3471
3493
3523
3593
3676
3705
3755
3788
3829
3840
3863
3867
3871
3888
3892
3956
3968
3968
3982
3987
3999
4000
4006
4010
4013
4019
4030
4094
4107
4107
4118
4122
4127
4130
4132
4136
4138
4148
4150
4369
4384
4385
4385
4397
4409
4415
4431
4431
Overview
|
Average |
Total |
Wall Clock Time |
4.35 hours |
322.71 days |
CPU time |
5.31 hours |
394.32 days |
Interaction Time |
2.57 hours |
190.35 days |