Conclusion
Observations
- Clear evidence of progress in THM_RFO_*_CNF_* SPCs
- Some evidence of progress in other SPCs
Future Work
- Apply old and new systems to unseen problems, to assess effect of
tuning
Messages
- Potential users: Our tools are getting better
- Researchers: The long hard efforts are paying off
- Funding bodies: The money is being well spent