First ( ) are options remaining and what years they have been optioned. Second ( ) is MLB Service time thru 2012. Indicates cant be optioned without consent as player has 5 plus years of service time.
Catchers
01. Erik Kratz (1 – 10,12) (1.060)
02. Carlos Ruiz (6.115)
03. Sebastian Valle (1 – 12, 13)
04. Humberto Quintero (6.099)
05. Steven Lerud (0.009)
Infielders
06. Kevin Frandsen (0 – 06,09,10) (4.051)
07. Freddy Galvis (2 – 11) (1.074)
08. Cesar Hernandez (1 – 11,12, 13)(0.016)
09. Ryan Howard* (8.045)
10. Jimmy Rollins* (12.089)
11. Darin Ruf (2 – 13) (0.024)
12. Chase Utley(9.101)
13. Michael Young(12.036)
14. Michael Martinez (1.158)
Outfielders
15. Domonic Brown (1 – 11,12) (1.152)
16. Zach Collier (2- 13)
17. Tyson Gillies (1 – 12, 13)
18. John Mayberry (0 – 09,10,11) (2.169)
19. Laynce Nix (7.145)
20 Ben Revere (1 – 11,12) (2.049)
21. Delmon Young (6.109)
Pitchers
22. Mike Adams (6.093)
23 Phillippe Aumont (2 – 12) (0.095)
24. Antonio Bastardo (2 – 10) (3.128)
25. Tyler Cloyd (2 – 13) (0.061)
26. Justin DeFratus (0 – 11,12, 13) (1.012)
27. Jacob Diekman (1 – 12, 13) (0.119)
27. Roy Halladay (13.121)–On 60 Day DL…does not count against 40 man
28. Cole Hamels(7.043)
29. Jeremy Horst (2 – 11) (1.062)
30. Kyle Kendrick (2 – 09) (5.071)
31. John Lannan (1 – 10,12) (4.170)
32. Cliff Lee (10.002)
33 Ethan Martin (2-13)
34. Jonathan Papelbon (7.138)
35. Johnathan Pettibone (2- 13)(0.052)
36. Mauricio Robles (0 – 11,12, 13) (0.075)
37. BJ Rosenberg (1 – 12, 13) (0.080)
38. Joe Savery (1 – 12, 13) (0.128)
39. Mike Stutes (2 – 13) (2.005)
40. Raul Valdes (0 – 10,11, 13) (2.051)
(Option years remaining – years optioned)( Service Time)
*Player has 5+ years major league service and cannot be optioned without consent
Last Updated – June 13, 2013

Dontrelle Willis has 7+ years of ML service so his 2 needs an asterisk.
A couple of questions: 1) Hernandez was outrighted to the minors having not been optioned this year, so he retains his 2 option years, correct? 2) In terms of salary, since he was outrighted as opposed to put on the DL, does this mean he will not earn the MLB minimum? Would he even earn the extra money from being on the 40-man roster?