Exponential Curve Fitting
Extrapolation to Higher Resource Limits
- Fit an exponential curve
- Require accuracy of fit at higher solution numbers
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
|