To apply your skills in the solving of a logic puzzle.

Spaceco Mining plans to be the first company to ever successfully mine an asteroid. In fact it has already established a timeline for its first series of mining expeditions. Using only the clues below, match each asteroid to its diameter, and determine what element Spaceco plans to mine from it, as well as the year they intend to begin mining.

1. 26 Amphitrite has a diameter 12 km larger than the asteroid rich in rhodium.
2. The asteroid rich in cobalt has a diameter 12 km smaller than the asteroid rich in platinum.
3. The asteroid that Spaceco will begin mining in 2034 has a diameter 18 km smaller than the asteroid that Spaceco will begin mining in 2028.
4. 413 Doiotima is either the asteroid that Spaceco will begin mining in 2045 or the asteroid rich in rhodium.
5. 26 Amphitrite, the asteroid rich in platinum, and the asteroid rich in phosphorous are three different asteroids.
6. The asteroid that Spaceco will begin mining in 2025 has a diameter 18 km larger than 82 Sylvia.
7. 49 Eugenia has a diameter that is somewhat larger than 11 Ceres.
8. The asteroid rich in yttrium, the asteroid with a diameter of 47 km, the asteroid that Spaceco will begin mining in 2050, the asteroid with a diameter of 17 km and the asteroid that Spaceco will begin mining in 2028 are all different asteroids.
9. 35 Ursula has a diameter that is somewhat smaller than the asteroid that Spaceco will begin mining in 2045.
10. The asteroid with a diameter of 17 km is either 26 Amphitrite or the asteroid that Spaceco will begin mining in 2045.
11. The asteroid rich in cobalt has a diameter 6 km smaller than the asteroid that Spaceco will begin mining in 2034.
12. The asteroid that Spaceco will begin mining in 2030 is either the asteroid rich in phosphorous or the asteroid with a diameter of 11 km.
13. The asteroid that Spaceco will begin mining in 2028 doesn't contain any phosphorous.
14. The asteroid that Spaceco will begin mining in 2030 has a diameter 18 km smaller than 61 Nemesis.
15. The asteroid rich in nickel has a diameter 6 km smaller than the asteroid rich in cobalt.

To submit this weekly puzzle, simply run the submit line below; a submit-time questionnaire will collect your puzzle results.

When you have completed work on the project, and are ready to submit, you would do the following:

lab46:~/src/discrete/wpf$ submit discrete wpf3
Submitting discrete project "wpf3":

SUCCESSFULLY SUBMITTED
lab46:~/src/discrete/wpf$