189         return 'x%ix%i' % (factor, order)

   189         return 'x%ix%i' % (factor, order)

   190 

   190 

   191 

   191 

   192 def formattiming(value):

   192 def formattiming(value):

   193     """format a value to strictly 8 char, dropping some precision if needed"""

   193     """format a value to strictly 8 char, dropping some precision if needed"""

   195         return ('%.6f' % value)[:8]

   195         return ('%.6f' % value)[:8]

   196     else:

   196     else:

   197         # value is HUGE very unlikely to happen (4+ month run)

   197         # value is HUGE very unlikely to happen (4+ month run)

   198         return '%i' % value

   198         return '%i' % value

   199 

   199 

   369 

   369 

   370 print()

   370 print()

   371 print()

   371 print()

   372 

   372 

   373 for ridx, rset in enumerate(revsets):

   373 for ridx, rset in enumerate(revsets):

   374     print("revset #%i: %s" % (ridx, rset))

   375     print("revset #%i: %s" % (ridx, rset))

   375     printheader(variants, len(results), verbose=options.verbose, relative=True)

   376     printheader(variants, len(results), verbose=options.verbose, relative=True)

   376     ref = None

   377     ref = None

   377     for idx, data in enumerate(results):

   378     for idx, data in enumerate(results):

   378         printresult(

   379         printresult(