31
144
155
229
336
412
505
525
919
971
1062
1181
1245
1254
1273
1286
1286
1327
1365
1388
1393
1393
1430
1462
1483
1519
1572
1583
1615
1683
1683
1706
1707
1726
1826
1831
1964
1968
1973
2410
2411
2617
2760
2767
2793
2778
2788
2896
3123
3187
3195
3197
3199
3393
3399
3403
3406
3422
3520
3520
3525
3531
3540
3543
3543
3580
3581
3583
3584
3607
3647
3653
3670
3674
3683
3739
3852
3859
3915
3920
3923
Overview
|
Average |
Total |
Wall Clock Time |
14.98 minutes |
61.12 days |
CPU time |
1.12 seconds |
1.83 hours |
Interaction Time |
9.15 minutes |
37.34 days |