@@ -0,0 +1,666 @@
+package wcanalysis.heuristic;%0A%0Aimport com.google.common.base.Stopwatch;%0A%0Aimport java.util.concurrent.TimeUnit;%0A%0Aimport gov.nasa.jpf.search.Search;%0A%0A/**%0A * @author Kasper Luckow%0A */%0Apublic class TimeBoundedTerminationStrategy implements TerminationStrategy %7B%0A%0A  private final Stopwatch stopwatch;%0A  private static final int TIME_BOUND = 15;%0A  private static final TimeUnit TIME_UNIT = TimeUnit.MINUTES;%0A%0A  public TimeBoundedTerminationStrategy() %7B%0A    this.stopwatch = Stopwatch.createStarted();%0A  %7D%0A%0A  @Override%0A  public boolean terminateAnalysis(Search searchState, HeuristicStatistics statistics) %7B%0A    return this.stopwatch.elapsed(TIME_UNIT) %3E TIME_BOUND;%0A  %7D%0A%7D%0A

Add time bounded termination strategy