Hello, my name is Mori.
The data sheet says 250ksps with 14bit resolution of ADC12,
When you check the Syscfg of adc12_14bit_resolution in the sample code,
"Hardware Average Numerator" is 16 and "Desired Sample Time 0" is 62.5ns,
I think 62.5ns is one sampling.
Then the sampling rate is (1s * 1000 * 1000 * 1000)/62.5 = 16,000,000(16M) sps
So it's over 250ksps, but is it okay?