forked from p7px8vou9/AI_learning
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 lines
3.1 KiB
8 lines
3.1 KiB
# This is the solution file for test_cases/q1/3-wide-inverted.test.
|
|
|
|
solutionString: """
|
|
Variables: obs(16,11), obs(4,2), obs(16,2), obs(14,11), obs(16,4), obs(2,2), obs(2,4), foodHouse, obs(2,12), ghostHouse, obs(4,11), obs(3,4), obs(14,3), obs(4,4), obs(15,12), obs(4,3), obs(4,10), obs(3,12), obs(14,10), obs(15,4), obs(14,12), obs(16,3), obs(2,3), xPos, obs(4,12), obs(2,11), obs(14,4), yPos, obs(14,2), obs(2,10), obs(16,12), obs(16,10)
|
|
Edges: foodHouse -> obs(16,11), ghostHouse -> obs(16,11), foodHouse -> obs(4,2), ghostHouse -> obs(4,2), foodHouse -> obs(16,2), ghostHouse -> obs(16,2), foodHouse -> obs(14,11), ghostHouse -> obs(14,11), foodHouse -> obs(16,4), ghostHouse -> obs(16,4), foodHouse -> obs(2,2), ghostHouse -> obs(2,2), foodHouse -> obs(2,4), ghostHouse -> obs(2,4), xPos -> foodHouse, yPos -> foodHouse, foodHouse -> obs(2,12), ghostHouse -> obs(2,12), xPos -> ghostHouse, yPos -> ghostHouse, foodHouse -> obs(4,11), ghostHouse -> obs(4,11), foodHouse -> obs(3,4), ghostHouse -> obs(3,4), foodHouse -> obs(14,3), ghostHouse -> obs(14,3), foodHouse -> obs(4,4), ghostHouse -> obs(4,4), foodHouse -> obs(15,12), ghostHouse -> obs(15,12), foodHouse -> obs(4,3), ghostHouse -> obs(4,3), foodHouse -> obs(4,10), ghostHouse -> obs(4,10), foodHouse -> obs(3,12), ghostHouse -> obs(3,12), foodHouse -> obs(14,10), ghostHouse -> obs(14,10), foodHouse -> obs(15,4), ghostHouse -> obs(15,4), foodHouse -> obs(14,12), ghostHouse -> obs(14,12), foodHouse -> obs(16,3), ghostHouse -> obs(16,3), foodHouse -> obs(2,3), ghostHouse -> obs(2,3), foodHouse -> obs(4,12), ghostHouse -> obs(4,12), foodHouse -> obs(2,11), ghostHouse -> obs(2,11), foodHouse -> obs(14,4), ghostHouse -> obs(14,4), foodHouse -> obs(14,2), ghostHouse -> obs(14,2), foodHouse -> obs(2,10), ghostHouse -> obs(2,10), foodHouse -> obs(16,12), ghostHouse -> obs(16,12), foodHouse -> obs(16,10), ghostHouse -> obs(16,10)
|
|
{'obs(16,11)': ['blue', 'red', 'none'], 'obs(4,2)': ['blue', 'red', 'none'], 'obs(2,2)': ['blue', 'red', 'none'], 'obs(14,11)': ['blue', 'red', 'none'], 'obs(16,4)': ['blue', 'red', 'none'], 'obs(16,2)': ['blue', 'red', 'none'], 'obs(2,4)': ['blue', 'red', 'none'], 'foodHouse': ['topLeft', 'topRight', 'bottomLeft', 'bottomRight'], 'obs(2,12)': ['blue', 'red', 'none'], 'ghostHouse': ['topLeft', 'topRight', 'bottomLeft', 'bottomRight'], 'obs(4,11)': ['blue', 'red', 'none'], 'obs(3,4)': ['blue', 'red', 'none'], 'obs(14,3)': ['blue', 'red', 'none'], 'obs(4,4)': ['blue', 'red', 'none'], 'obs(15,12)': ['blue', 'red', 'none'], 'obs(4,3)': ['blue', 'red', 'none'], 'obs(4,10)': ['blue', 'red', 'none'], 'obs(3,12)': ['blue', 'red', 'none'], 'obs(14,10)': ['blue', 'red', 'none'], 'obs(15,4)': ['blue', 'red', 'none'], 'obs(14,12)': ['blue', 'red', 'none'], 'obs(16,3)': ['blue', 'red', 'none'], 'obs(2,3)': ['blue', 'red', 'none'], 'xPos': ['foodLeft', 'ghostLeft'], 'obs(4,12)': ['blue', 'red', 'none'], 'obs(2,11)': ['blue', 'red', 'none'], 'obs(14,4)': ['blue', 'red', 'none'], 'yPos': ['bothTop', 'bothBottom', 'leftTop', 'leftBottom'], 'obs(14,2)': ['blue', 'red', 'none'], 'obs(2,10)': ['blue', 'red', 'none'], 'obs(16,12)': ['blue', 'red', 'none'], 'obs(16,10)': ['blue', 'red', 'none']}
|
|
"""
|