Searching protocol for "formal-verification"
Maximize first-pass verification success.
Preprocess TCGA data for survival analysis.