In this section:
We give some final profiling results on our "completed" solver
We summarize what we have done and suggest some further improvements
We list some references