814912.fig.001
Figure 1: Performance profiles for CPU time.