/*****************************************************************************
**
**    time.h                          NQ                       Werner Nickel
**                                         nickel@mathematik.tu-darmstadt.de
*/

extern int CombiCollectionTime;
extern int SimpleCollectionTime;
extern int IntMatTime;

extern void PrintRunTimes();
