All unix systems, porting to NT proceeding a bit slow. Informal methodologies have been developed and are understood for all application areas. This line of work has produced simple solutions to problems, such as the monotonic aggregation problem, that had remained open for a long time. No deep knowledge of logic is needed for developing applications.
Informal comparisons are at hand.
No agreed upon benchmark though. Support for mediators and agents of semantic interoperability between heterogeneous information systems represents another example, among many. Yes it has handled several problems of realistic size, but I often got complaints that the system is slow. Our main current focus is to transfer this technology to SQL DBMs.