Figure 2: Performance profiles based on CPU time.