excluded result-check time from total synthesis time.