diff options
Diffstat (limited to 'test_cases/q2/8-pacman-game.solution')
| -rw-r--r-- | test_cases/q2/8-pacman-game.solution | 444 |
1 files changed, 0 insertions, 444 deletions
diff --git a/test_cases/q2/8-pacman-game.solution b/test_cases/q2/8-pacman-game.solution deleted file mode 100644 index 4ee19d8..0000000 --- a/test_cases/q2/8-pacman-game.solution +++ /dev/null @@ -1,444 +0,0 @@ -optimalActions: """ -[[["West", "East"], 59], [["West", "East"], 35]] -[[["West"], 190], [["West"], 127]] -[[["West"], 190], [["West"], 135]] -[[["West", "North"], 120], [["West", "North"], 82]] -[[["West"], 77], [["West"], 57]] -[[["West", "North"], 143], [["West", "North"], 97]] -[[["West"], 155], [["West"], 110]] -[[["West"], 40], [["West"], 27]] -[[["North"], 64], [["North"], 43]] -[[["North"], 85], [["North"], 57]] -[[["North"], 106], [["North"], 71]] -[[["North"], 97], [["North"], 65]] -[[["Stop", "East"], 154], [["East"], 103]] -[[["East"], 156], [["East"], 101]] -[[["West"], 30], [["West"], 17]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 18], [["East"], 12]] -[[["North"], 29], [["North"], 18]] -[[["North"], 50], [["North"], 31]] -[[["West"], 55], [["West"], 36]] -[[["East"], 29], [["East"], 16]] -[[["North"], 89], [["North"], 61]] -[[["East", "North"], 161], [["East", "North"], 121]] -[[["East", "North"], 221], [["East", "North"], 166]] -[[["North", "South"], 105], [["North", "South"], 77]] -[[["West"], 69], [["West"], 51]] -[[["West"], 94], [["West"], 69]] -[[["West", "Stop"], 57], [["West"], 42]] -[[["West", "Stop", "East"], 69], [["West", "East"], 49]] -[[["West", "Stop", "East"], 61], [["West", "East"], 41]] -[[["Stop", "East", "South"], 55], [["East", "South"], 37]] -[[["Stop", "East", "South"], 28], [["East", "South"], 19]] -[[["Stop", "East", "South"], 34], [["East", "South"], 23]] -[[["Stop", "East", "South"], 55], [["East", "South"], 37]] -[[["Stop", "East", "South"], 55], [["East", "South"], 37]] -[[["Stop", "East", "South"], 61], [["East", "South"], 41]] -[[["Stop", "East", "South"], 85], [["East", "South"], 57]] -[[["Stop", "East", "South"], 64], [["East", "South"], 43]] -[[["Stop", "East", "South"], 61], [["East", "South"], 41]] -[[["Stop", "East", "South"], 61], [["East", "South"], 41]] -[[["Stop", "East", "South"], 85], [["East", "South"], 57]] -[[["Stop", "East", "South"], 102], [["East", "South"], 67]] -[[["Stop", "South"], 23], [["South"], 13]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 18], [["East"], 12]] -[[["East", "North"], 29], [["East", "North"], 18]] -[[["East"], 38], [["East"], 22]] -[[["North"], 29], [["North"], 18]] -[[["North"], 38], [["North"], 22]] -[[["East"], 33], [["East"], 22]] -[[["East"], 37], [["East"], 18]] -[[["East"], 18], [["East"], 12]] -[[["East"], 37], [["East"], 26]] -[[["East"], 69], [["East"], 41]] -[[["East"], 56], [["East"], 26]] -[[["East"], 44], [["East"], 29]] -[[["North", "South"], 83], [["North", "South"], 52]] -[[["East", "North"], 121], [["East", "North"], 74]] -[[["East", "North"], 97], [["East", "North"], 73]] -[[["North", "South"], 173], [["North", "South"], 130]] -[[["West", "East"], 90], [["West", "East"], 66]] -[[["West", "Stop", "East"], 161], [["West", "East"], 118]] -[[["Stop", "East", "South"], 58], [["East", "South"], 43]] -[[["Stop", "East"], 120], [["South"], 85]] -[[["East"], 78], [["East"], 45]] -[[["West"], 77], [["West"], 42]] -[[["South"], 83], [["South"], 48]] -[[["South"], 49], [["South"], 37]] -[[["South"], 185], [["South"], 104]] -[[["South"], 68], [["South"], 41]] -[[["West"], 30], [["West"], 18]] -[[["West"], 56], [["West"], 29]] -[[["West"], 14], [["West"], 10]] -[[["West"], 20], [["West"], 14]] -[[["West"], 13], [["West"], 9]] -[[["West"], 13], [["West"], 9]] -[[["West"], 16], [["West"], 12]] -[[["West", "North"], 30], [["West", "North"], 20]] -[[["West"], 38], [["West"], 23]] -[[["West", "Stop", "East", "North"], 70], [["West", "East", "North"], 46]] -[[["West", "Stop", "East"], 128], [["West", "East"], 89]] -[[["West", "Stop", "East"], 31], [["West", "East"], 20]] -[[["Stop", "East", "North"], 69], [["East", "North"], 45]] -[[["Stop", "North"], 58], [["North"], 31]] -[[["North"], 34], [["North"], 19]] -[[["North"], 30], [["North"], 17]] -[[["North"], 19], [["North"], 11]] -[[["North"], 34], [["North"], 19]] -[[["East"], 30], [["East"], 17]] -[[["East"], 19], [["East"], 11]] -[[["East"], 44], [["East"], 29]] -[[["East", "South"], 87], [["East", "South"], 60]] -[[["East", "South"], 108], [["East", "South"], 62]] -[[["South"], 120], [["South"], 61]] -[[["North", "South"], 209], [["North", "South"], 132]] -[[["West"], 108], [["West"], 60]] -[[["West", "Stop", "East", "South"], 83], [["West", "East", "South"], 61]] -[[["West", "Stop", "East", "South"], 90], [["West", "East", "South"], 66]] -[[["West", "Stop", "East"], 134], [["West", "East"], 95]] -[[["West", "Stop", "East"], 82], [["West", "East"], 55]] -[[["Stop", "East", "South"], 142], [["East", "South"], 95]] -[[["Stop", "East", "South"], 98], [["East", "South"], 65]] -[[["Stop", "East", "South"], 128], [["East", "South"], 86]] -[[["Stop", "East", "South"], 82], [["East", "South"], 55]] -[[["Stop", "East", "South"], 85], [["East", "South"], 57]] -[[["Stop", "East", "South"], 190], [["East", "South"], 127]] -[[["Stop", "East", "South"], 158], [["East", "South"], 103]] -[[["Stop", "South"], 50], [["South"], 27]] -[[["South"], 30], [["South"], 17]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["South"], 15], [["South"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 18], [["East"], 12]] -[[["East", "North"], 29], [["East", "North"], 18]] -[[["East"], 37], [["East"], 22]] -[[["East", "North"], 41], [["East", "North"], 24]] -[[["East"], 59], [["East"], 29]] -[[["East"], 19], [["East"], 11]] -[[["East"], 26], [["East"], 15]] -[[["East"], 15], [["East"], 9]] -[[["East"], 15], [["East"], 9]] -[[["East"], 18], [["East"], 12]] -[[["East"], 29], [["East"], 18]] -[[["East"], 37], [["East"], 22]] -[[["East", "North"], 41], [["East", "North"], 24]] -[[["East"], 59], [["East"], 29]] -[[["East"], 19], [["East"], 11]] -[[["North"], 26], [["North"], 15]] -[[["North"], 19], [["North"], 11]] -[[["North"], 30], [["North"], 17]] -[[["North"], 34], [["North"], 19]] -[[["West"], 34], [["West"], 19]] -[[["West"], 25], [["West"], 13]] -[[["West", "Stop", "East"], 7], [["West", "East"], 3]] -""" -altDepthActions: """ -[["West", "East"], ["West", "East"], ["West", "East"], ["West", "East"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "North"], ["West", "North"], ["West", "North"], ["West", "North"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "North"], ["West", "North"], ["West", "North"], ["West", "North"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["Stop", "North"], ["North"]] -[["East"], ["East"], ["Stop", "East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["West"], ["West"], ["West"], ["West"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["West"], ["West"]] -[["East"], ["East"], ["East"], ["East"]] -[["North"], ["North"], ["North"], ["North"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["North", "South"], ["North", "South"], ["North"], ["North"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West", "Stop"], ["West"]] -[["West"], ["West"], ["West", "Stop", "East", "South"], ["West", "East", "South"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "South"], ["South"], ["Stop", "South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East", "North"], ["East", "North"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["North", "South"], ["North", "South"], ["South"], ["South"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["North", "South"], ["North", "South"], ["North"], ["North"]] -[["West", "East"], ["West", "East"], ["East"], ["East"]] -[["West"], ["West"], ["East"], ["East"]] -[["Stop", "East", "South"], ["East", "South"], ["East"], ["East"]] -[["Stop", "East"], ["East"], ["Stop", "East"], ["South"]] -[["East"], ["East"], ["East"], ["East"]] -[["West"], ["West"], ["West"], ["West"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["West", "East"], ["West", "East"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "North"], ["West", "North"], ["West", "North"], ["West", "North"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "Stop", "East", "North"], ["West", "East", "North"], ["West", "Stop", "East", "North"], ["West", "East", "North"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "North"], ["East", "North"], ["Stop", "East", "North"], ["East", "North"]] -[["Stop", "North"], ["North"], ["Stop", "North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East", "South"], ["East", "South"], ["East", "South"], ["East", "South"]] -[["East", "South"], ["East", "South"], ["East", "South"], ["East", "South"]] -[["South"], ["South"], ["South"], ["South"]] -[["North", "South"], ["North", "South"], ["North", "South"], ["North", "South"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "Stop", "East", "South"], ["West", "East", "South"], ["West", "Stop", "East", "South"], ["West", "East", "South"]] -[["West", "Stop", "East", "South"], ["West", "East", "South"], ["West", "Stop", "East", "South"], ["West", "East", "South"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"], ["Stop", "East", "South"], ["East", "South"]] -[["Stop", "South"], ["South"], ["Stop", "South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["South"], ["South"], ["South"], ["South"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["East"], ["East"], ["East"], ["East"]] -[["East", "North"], ["East", "North"], ["East", "North"], ["East", "North"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East", "North"], ["East", "North"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["East"], ["East"], ["East"], ["East"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["North"], ["North"], ["North"], ["North"]] -[["West"], ["West"], ["West"], ["West"]] -[["West"], ["West"], ["West"], ["West"]] -[["West", "Stop", "East"], ["West", "East"], ["West", "Stop", "East"], ["West", "East"]] -""" -partialPlyBugActions: """ -[["West", "East"], ["West", "East"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West", "North"], ["West", "North"]] -[["West"], ["West"]] -[["West", "North"], ["West", "North"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["East"], ["East"]] -[["Stop", "East"], ["East"]] -[["West"], ["West"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["West"], ["West"]] -[["East"], ["East"]] -[["North"], ["North"]] -[["East", "North"], ["East", "North"]] -[["East", "North"], ["East", "North"]] -[["North", "South"], ["North", "South"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West", "Stop"], ["West"]] -[["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East", "North"], ["East", "North"]] -[["East"], ["East"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["North", "South"], ["North", "South"]] -[["East", "North"], ["East", "North"]] -[["East", "North"], ["East", "North"]] -[["North", "South"], ["North", "South"]] -[["West", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East"], ["East"]] -[["East"], ["East"]] -[["West"], ["West"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West", "North"], ["West", "North"]] -[["West"], ["West"]] -[["West", "Stop", "East", "North"], ["West", "East", "North"]] -[["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "North"], ["East", "North"]] -[["Stop", "North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East", "South"], ["East", "South"]] -[["East", "South"], ["East", "South"]] -[["South"], ["South"]] -[["North", "South"], ["North", "South"]] -[["West"], ["West"]] -[["West", "Stop", "East", "South"], ["West", "East", "South"]] -[["West", "Stop", "East", "South"], ["West", "East", "South"]] -[["West", "Stop", "East"], ["West", "East"]] -[["West", "Stop", "East"], ["West", "East"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "East", "South"], ["East", "South"]] -[["Stop", "South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["South"], ["South"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East", "North"], ["East", "North"]] -[["East"], ["East"]] -[["East", "North"], ["East", "North"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["East", "North"], ["East", "North"]] -[["East"], ["East"]] -[["East"], ["East"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["North"], ["North"]] -[["West"], ["West"]] -[["West"], ["West"]] -[["West", "Stop", "East"], ["West", "East"]] -""" |