Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance weighted_ls.1613118035

Name	weighted_ls.1613118035
Classes	[Root]    Puzzles (806)    LatinSquares (200)    WeightedLatinSquares (100)
Submitter	Martin Gebser
Author
Description
Created	2009-03-30 13:03
Modified	2008-11-29 00:07
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	num(1). num(2). num(3). num(4). num(5). num(6). weight wt(1, 1, 1) = 1. weight wt(1, 1, 2) = 2. weight wt(1, 1, 3) = 3. weight wt(1, 1, 4) = 4. weight wt(1, 1, 5) = 5. weight wt(1, 1, 6) = 6. weight wt(1, 2, 1) = 6. weight wt(1, 2, 2) = 12. weight wt(1, 2, 3) = 18. weight wt(1, 2, 4) = 24. weight wt(1, 2, 5) = 30. weight wt(1, 2, 6) = 36. weight wt(1, 3, 1) = 6. weight wt(1, 3, 2) = 12. weight wt(1, 3, 3) = 18. weight wt(1, 3, 4) = 24. weight wt(1, 3, 5) = 30. weight wt(1, 3, 6) = 36. weight wt(1, 4, 1) = 1. weight wt(1, 4, 2) = 2. weight wt(1, 4, 3) = 3. weight wt(1, 4, 4) = 4. weight wt(1, 4, 5) = 5. weight wt(1, 4, 6) = 6. weight wt(1, 5, 1) = 4. weight wt(1, 5, 2) = 8. weight wt(1, 5, 3) = 12. weight wt(1, 5, 4) = 16. weight wt(1, 5, 5) = 20. weight wt(1, 5, 6) = 24. weight wt(1, 6, 1) = 4. weight wt(1, 6, 2) = 8. weight wt(1, 6, 3) = 12. weight wt(1, 6, 4) = 16. weight wt(1, 6, 5) = 20. weight wt(1, 6, 6) = 24. weight wt(2, 1, 1) = 1. weight wt(2, 1, 2) = 2. weight wt(2, 1, 3) = 3. weight wt(2, 1, 4) = 4. weight wt(2, 1, 5) = 5. weight wt(2, 1, 6) = 6. weight wt(2, 2, 1) = 3. weight wt(2, 2, 2) = 6. weight wt(2, 2, 3) = 9. weight wt(2, 2, 4) = 12. weight wt(2, 2, 5) = 15. weight wt(2, 2, 6) = 18. weight wt(2, 3, 1) = 3. weight wt(2, 3, 2) = 6. weight wt(2, 3, 3) = 9. weight wt(2, 3, 4) = 12. weight wt(2, 3, 5) = 15. weight wt(2, 3, 6) = 18. weight wt(2, 4, 1) = 1. weight wt(2, 4, 2) = 2. weight wt(2, 4, 3) = 3. weight wt(2, 4, 4) = 4. weight wt(2, 4, 5) = 5. weight wt(2, 4, 6) = 6. weight wt(2, 5, 1) = 5. weight wt(2, 5, 2) = 10. weight wt(2, 5, 3) = 15. weight wt(2, 5, 4) = 20. weight wt(2, 5, 5) = 25. weight wt(2, 5, 6) = 30. weight wt(2, 6, 1) = 5. weight wt(2, 6, 2) = 10. weight wt(2, 6, 3) = 15. weight wt(2, 6, 4) = 20. weight wt(2, 6, 5) = 25. weight wt(2, 6, 6) = 30. weight wt(3, 1, 1) = 6. weight wt(3, 1, 2) = 12. weight wt(3, 1, 3) = 18. weight wt(3, 1, 4) = 24. weight wt(3, 1, 5) = 30. weight wt(3, 1, 6) = 36. weight wt(3, 2, 1) = 6. weight wt(3, 2, 2) = 12. weight wt(3, 2, 3) = 18. weight wt(3, 2, 4) = 24. weight wt(3, 2, 5) = 30. weight wt(3, 2, 6) = 36. weight wt(3, 3, 1) = 2. weight wt(3, 3, 2) = 4. weight wt(3, 3, 3) = 6. weight wt(3, 3, 4) = 8. weight wt(3, 3, 5) = 10. weight wt(3, 3, 6) = 12. weight wt(3, 4, 1) = 1. weight wt(3, 4, 2) = 2. weight wt(3, 4, 3) = 3. weight wt(3, 4, 4) = 4. weight wt(3, 4, 5) = 5. weight wt(3, 4, 6) = 6. weight wt(3, 5, 1) = 3. weight wt(3, 5, 2) = 6. weight wt(3, 5, 3) = 9. weight wt(3, 5, 4) = 12. weight wt(3, 5, 5) = 15. weight wt(3, 5, 6) = 18. weight wt(3, 6, 1) = 2. weight wt(3, 6, 2) = 4. weight wt(3, 6, 3) = 6. weight wt(3, 6, 4) = 8. weight wt(3, 6, 5) = 10. weight wt(3, 6, 6) = 12. weight wt(4, 1, 1) = 2. weight wt(4, 1, 2) = 4. weight wt(4, 1, 3) = 6. weight wt(4, 1, 4) = 8. weight wt(4, 1, 5) = 10. weight wt(4, 1, 6) = 12. weight wt(4, 2, 1) = 5. weight wt(4, 2, 2) = 10. weight wt(4, 2, 3) = 15. weight wt(4, 2, 4) = 20. weight wt(4, 2, 5) = 25. weight wt(4, 2, 6) = 30. weight wt(4, 3, 1) = 1. weight wt(4, 3, 2) = 2. weight wt(4, 3, 3) = 3. weight wt(4, 3, 4) = 4. weight wt(4, 3, 5) = 5. weight wt(4, 3, 6) = 6. weight wt(4, 4, 1) = 2. weight wt(4, 4, 2) = 4. weight wt(4, 4, 3) = 6. weight wt(4, 4, 4) = 8. weight wt(4, 4, 5) = 10. weight wt(4, 4, 6) = 12. weight wt(4, 5, 1) = 5. weight wt(4, 5, 2) = 10. weight wt(4, 5, 3) = 15. weight wt(4, 5, 4) = 20. weight wt(4, 5, 5) = 25. weight wt(4, 5, 6) = 30. weight wt(4, 6, 1) = 3. weight wt(4, 6, 2) = 6. weight wt(4, 6, 3) = 9. weight wt(4, 6, 4) = 12. weight wt(4, 6, 5) = 15. weight wt(4, 6, 6) = 18. weight wt(5, 1, 1) = 4. weight wt(5, 1, 2) = 8. weight wt(5, 1, 3) = 12. weight wt(5, 1, 4) = 16. weight wt(5, 1, 5) = 20. weight wt(5, 1, 6) = 24. weight wt(5, 2, 1) = 5. weight wt(5, 2, 2) = 10. weight wt(5, 2, 3) = 15. weight wt(5, 2, 4) = 20. weight wt(5, 2, 5) = 25. weight wt(5, 2, 6) = 30. weight wt(5, 3, 1) = 2. weight wt(5, 3, 2) = 4. weight wt(5, 3, 3) = 6. weight wt(5, 3, 4) = 8. weight wt(5, 3, 5) = 10. weight wt(5, 3, 6) = 12. weight wt(5, 4, 1) = 2. weight wt(5, 4, 2) = 4. weight wt(5, 4, 3) = 6. weight wt(5, 4, 4) = 8. weight wt(5, 4, 5) = 10. weight wt(5, 4, 6) = 12. weight wt(5, 5, 1) = 1. weight wt(5, 5, 2) = 2. weight wt(5, 5, 3) = 3. weight wt(5, 5, 4) = 4. weight wt(5, 5, 5) = 5. weight wt(5, 5, 6) = 6. weight wt(5, 6, 1) = 6. weight wt(5, 6, 2) = 12. weight wt(5, 6, 3) = 18. weight wt(5, 6, 4) = 24. weight wt(5, 6, 5) = 30. weight wt(5, 6, 6) = 36. weight wt(6, 1, 1) = 2. weight wt(6, 1, 2) = 4. weight wt(6, 1, 3) = 6. weight wt(6, 1, 4) = 8. weight wt(6, 1, 5) = 10. weight wt(6, 1, 6) = 12. weight wt(6, 2, 1) = 2. weight wt(6, 2, 2) = 4. weight wt(6, 2, 3) = 6. weight wt(6, 2, 4) = 8. weight wt(6, 2, 5) = 10. weight wt(6, 2, 6) = 12. weight wt(6, 3, 1) = 4. weight wt(6, 3, 2) = 8. weight wt(6, 3, 3) = 12. weight wt(6, 3, 4) = 16. weight wt(6, 3, 5) = 20. weight wt(6, 3, 6) = 24. weight wt(6, 4, 1) = 1. weight wt(6, 4, 2) = 2. weight wt(6, 4, 3) = 3. weight wt(6, 4, 4) = 4. weight wt(6, 4, 5) = 5. weight wt(6, 4, 6) = 6. weight wt(6, 5, 1) = 1. weight wt(6, 5, 2) = 2. weight wt(6, 5, 3) = 3. weight wt(6, 5, 4) = 4. weight wt(6, 5, 5) = 5. weight wt(6, 5, 6) = 6. weight wt(6, 6, 1) = 6. weight wt(6, 6, 2) = 12. weight wt(6, 6, 3) = 18. weight wt(6, 6, 4) = 24. weight wt(6, 6, 5) = 30. weight wt(6, 6, 6) = 36.