Exemplar Logic's Galileo  Sun Sep 22 21:53:18 1996

              est est                                 
      Pass    LCs Levels DFFs TRIs  PIs POs    --CPU--
                                                min:sec
      1       233     10  110    8   23  24      02:25 
      2       225      7  110    8   23  24      02:22 
      3       270      6  110    8   23  24      05:49 
      4       263      6  110    8   23  24      04:38 
      5       233      7  110    8   23  24      05:05 
      6       272      7  110    8   23  24      04:38 
      7       235      7  110    8   23  24      05:55 
      8       293      7  110    8   23  24      05:25 
      9       238      8  110    8   23  24      01:24 
      10      225      7  110    8   23  24      02:00 
      11      252      9  110    8   23  24      01:55 
      12      293      6  110    8   23  24      05:21 
      13      262      8  110    8   23  24      02:12 
      14      267      7  110    8   23  24      03:27 
      15      262      9  110    8   23  24      03:13 
      16      267      7  110    8   23  24      04:33