Using the ResUsageSAWT table to Monitor AMP Worker Tasks - comment by carrie

In your formula, the 4 should be a 10 (total number of AWTs in the expedited reserve pool).   There are 3  reserve pools set up for expedited work:  Work08, Work09, Work10. You have to add up the AWTs held as reserves in all 3 pools.   See this blog posting for more detail on this formula:
 
How to Calculate Your Max Number of Usable AMP Worker Tasks
 
If you want to understand the total number of AWTs available for user-initiated work that is not expedited, then you can optionally add in the reserves for Work00 (AKA WorkNew) and Work01.  That gives you the total number of AWTs available to support user work at any point in time, which is often more useful information, because that is what users rely on having available.  
 
There are 3 different perspectives on available AWTs provided in that orange book, you can use whichever is most useful for you:
 
This first formula tells you total unreserved AWTs.
 
Determine the number of unreserved AWTs.
100 – (3 x 8) – (10 + 10 + 2) = 54 AWTs
(total AWTs minus total for standard reserve pools minus total for expedited reserved pools)
 
This second formula tells you total AWTs that can be used for user-initiated work that is not expedited.
 
2.  Add back in the reserves for WorkNew and WorkOne.
54 + (2 * 3)  = 60 AWTs
(result from Step 1 plus 6 for the two standard reserve pools of 3 each)
 
This third formula tells you total AWTs that can be used for user-initiated work that whether it is expedited or not.
 
3.  Add in reserves for WorkEight + WorkNine.
60 + (10 + 10) = 80 AWTs
(result from Step 2 plus 20 for the 2 WorkEight and WorkNine reserve pools of 10 each)
 
Thanks, -Carrie