Exponential Curve Fitting

Extrapolation to Higher Resource Limits

Exponential Curves v2.0.0 vs v2.3.0

THM_EPR_CNF THM_EPR_FOF THM_RFO_NEQ_CNF_HRN THM_RFO_NEQ_CNF_NHN
THM_RFO_SEQ_CNF_HRN THM_RFO_SEQ_CNF_NHN THM_RFO_PEQ_CNF_NUE THM_RFO_PEQ_CNF_UEQ