This is a predictor to predict how runtime of a SAT instance would change after preprocessed by our SAT Preprocessor https://github.com/ChrisCameron1/CNFVariableNamingPreprocessor. We also trained a SAT Classifier that simply predicts whether the runtime would go up or down.