text: import time
  
  class Statistic:
  
      def __init__(self):
          # print("Yin-Yang is running:")
          self.starttime = time.time()
          self.seeds = 0
          self.mutants = 0
          self.crashes= 0
          self.soundness = 0
          self.duplicates = 0
          self.timeout = 0
          self.ignored = 0
          self.performance_mutants = 0
  
      def printbar(self):
          bar = "[time:%ds, #mutant:%d, #seed:%d, #crash:%d, #unsound:%d, #dups:%d, #timeout:%d, #ignored:%d, #performance mutants:%d]" \
                % (time.time()-self.starttime, self.mutants, self.seeds, self.crashes, self.soundness, self.duplicates, self.timeout, self.ignored, self.performance_mutants)
          print(bar, end="\r", flush=True)
  
      def printsum(self):
          summary = """
  
  Summary:
  Passed time: %ds
  Generated mutants: %d
  Used seeds: %d
  Crash issues: %d
  Soundness issues: %d
  Duplicate issues: %d
  Timeout cases: %d
  Ignored issues: %d
  Performance mutants found: %d
  """ \
          % (time.time()-self.starttime, self.mutants, self.seeds,  self.crashes, self.soundness, self.duplicates, self.timeout, self.ignored, self.performance_mutants)
          print(summary, end="\n", flush=True)
  