anchor.diff:          // with at least one time out is treated as a regular time out.
           if (result1.exitCode == -sigkill || result2.exitCode == -sigkill) {
             numTimeout++;
  +          timeoutSeeds.add(seed);
             return ReportStatus.ignored;
           }
         }
  
positive.code:         case -sigkill:
            // Both had a time out.
            numTimeout++;
            break;
          default:
            // Both had an error.
            numSkipped++;
            break;
        }
      } else {
  
negative.code:   int numRerun;
    int numTimeout;
    int numDivergences;
    Set<int> timeoutSeeds;
    Set<int> skippedSeeds;
  }
  
  /// Class to start fuzz testing session.
  