• Current Performance Problems
  • Improvement Goals
  • Identifying the 'Critical' parts of the Verifier.
  • The Performance Test System
  • Results
  • Baselines
  • Using BitMasks
  • Conclusion