Both the amount of the NOL and the NOL allowed for AMT purposes are different than the amounts  for regular tax purposes. Look at the 6251 and instructions. You may have to make some adjustment in ProSeries . I use Lacerte which gets it right. On the other hand, ProSeries may be right.