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
  • No labels