talksik/project4-tracking
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Initial commit

Browse Source
This commit is contained in:
talksik
2019-04-11 14:26:37 -07:00
commit 6037675a1a
108 changed files with 10566 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test_cases/q9/1-JointParticleUpdate.solution
Executable
+65
View File
@@ -0,0 +1,65 @@
# move_number action likelihood_dictionary
correctActions: """
0 None [{(8, 9): 0.09090909090909091, (1, 3): 0.09090909090909091, (2, 3): 0.09090909090909091, (9, 9): 0.09090909090909091, (5, 6): 0.09090909090909091, (2, 8): 0.09090909090909091, (9, 8): 0.09090909090909091, (9, 3): 0.09090909090909091, (2, 4): 0.09090909090909091, (1, 4): 0.09090909090909091, (8, 8): 0.09090909090909091}, {(8, 9): 0.09090909090909091, (1, 3): 0.09090909090909091, (2, 3): 0.09090909090909091, (9, 9): 0.09090909090909091, (5, 6): 0.09090909090909091, (2, 8): 0.09090909090909091, (9, 8): 0.09090909090909091, (9, 3): 0.09090909090909091, (2, 4): 0.09090909090909091, (1, 4): 0.09090909090909091, (8, 8): 0.09090909090909091}]
1 Stop [{(1, 3): 0.07142857142857142, (5, 6): 0.0, (2, 8): 0.07142857142857142, (9, 8): 0.14285714285714285, (9, 3): 0.07142857142857142, (9, 9): 0.07142857142857142, (1, 4): 0.14285714285714285, (1, 1): 0.0, (8, 9): 0.14285714285714285, (8, 8): 0.07142857142857142, (2, 3): 0.14285714285714285, (2, 4): 0.07142857142857142}, {(1, 3): 0.1739130434782609, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.04347826086956522, (9, 8): 0.08695652173913045, (9, 3): 0.1739130434782609, (9, 9): 0.1739130434782609, (1, 4): 0.08695652173913045, (8, 9): 0.08695652173913045, (8, 8): 0.04347826086956522, (2, 3): 0.08695652173913045, (2, 4): 0.04347826086956522}]
2 Stop [{(1, 3): 0.03225806451612904, (5, 6): 0.0, (2, 8): 0.12903225806451615, (9, 8): 0.12903225806451615, (9, 3): 0.03225806451612904, (9, 9): 0.03225806451612904, (1, 4): 0.12903225806451615, (1, 1): 0.0, (8, 9): 0.12903225806451615, (8, 8): 0.12903225806451615, (2, 3): 0.12903225806451615, (2, 4): 0.12903225806451615}, {(1, 3): 0.23880597014925373, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.014925373134328358, (9, 8): 0.05970149253731343, (9, 3): 0.23880597014925373, (9, 9): 0.23880597014925373, (1, 4): 0.05970149253731343, (8, 9): 0.05970149253731343, (8, 8): 0.014925373134328358, (2, 3): 0.05970149253731343, (2, 4): 0.014925373134328358}]
3 Stop [{(1, 3): 0.012048192771084338, (5, 6): 0.0, (2, 8): 0.1927710843373494, (9, 8): 0.0963855421686747, (9, 3): 0.012048192771084338, (9, 9): 0.012048192771084338, (1, 4): 0.0963855421686747, (1, 1): 0.0, (8, 9): 0.0963855421686747, (8, 8): 0.1927710843373494, (2, 3): 0.0963855421686747, (2, 4): 0.1927710843373494}, {(1, 3): 0.28193832599118945, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.004405286343612335, (9, 8): 0.03524229074889868, (9, 3): 0.28193832599118945, (9, 9): 0.28193832599118945, (1, 4): 0.03524229074889868, (8, 9): 0.03524229074889868, (8, 8): 0.004405286343612335, (2, 3): 0.03524229074889868, (2, 4): 0.004405286343612335}]
4 Stop [{(1, 3): 0.0038610038610038615, (5, 6): 0.0, (2, 8): 0.24710424710424714, (9, 8): 0.061776061776061784, (9, 3): 0.0038610038610038615, (9, 9): 0.0038610038610038615, (1, 4): 0.061776061776061784, (1, 1): 0.0, (8, 9): 0.061776061776061784, (8, 8): 0.24710424710424714, (2, 3): 0.061776061776061784, (2, 4): 0.24710424710424714}, {(1, 3): 0.30658682634730544, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0011976047904191619, (9, 8): 0.01916167664670659, (9, 3): 0.30658682634730544, (9, 9): 0.30658682634730544, (1, 4): 0.01916167664670659, (8, 9): 0.01916167664670659, (8, 8): 0.0011976047904191619, (2, 3): 0.01916167664670659, (2, 4): 0.0011976047904191619}]
5 Stop [{(1, 3): 0.003095975232198143, (5, 6): 0.0, (2, 8): 0.19814241486068115, (9, 8): 0.09907120743034058, (9, 3): 0.003095975232198143, (9, 9): 0.003095975232198143, (1, 4): 0.09907120743034058, (1, 1): 0.0, (8, 9): 0.09907120743034058, (8, 8): 0.19814241486068115, (2, 3): 0.09907120743034058, (2, 4): 0.19814241486068115}, {(1, 3): 0.31970028098657505, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0003122073056509522, (9, 8): 0.00999063378083047, (9, 3): 0.31970028098657505, (9, 9): 0.31970028098657505, (1, 4): 0.00999063378083047, (8, 9): 0.00999063378083047, (8, 8): 0.0003122073056509522, (2, 3): 0.00999063378083047, (2, 4): 0.0003122073056509522}]
6 Stop [{(1, 3): 0.0009737098344693282, (5, 6): 0.0, (2, 8): 0.249269717624148, (9, 8): 0.062317429406037, (9, 3): 0.0009737098344693282, (9, 9): 0.0009737098344693282, (1, 4): 0.062317429406037, (1, 1): 0.0, (8, 9): 0.062317429406037, (8, 8): 0.249269717624148, (2, 3): 0.062317429406037, (2, 4): 0.249269717624148}, {(1, 3): 0.3074151906334434, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0003002101471029721, (9, 8): 0.019213449414590213, (9, 3): 0.3074151906334434, (9, 9): 0.3074151906334434, (1, 4): 0.019213449414590213, (8, 9): 0.019213449414590213, (8, 8): 0.0003002101471029721, (2, 3): 0.019213449414590213, (2, 4): 0.0003002101471029721}]
7 Stop [{(1, 3): 0.000779423226812159, (5, 6): 0.0, (2, 8): 0.1995323460639127, (9, 8): 0.09976617303195635, (9, 3): 0.000779423226812159, (9, 9): 0.000779423226812159, (1, 4): 0.09976617303195635, (1, 1): 0.0, (8, 9): 0.09976617303195635, (8, 8): 0.1995323460639127, (2, 3): 0.09976617303195635, (2, 4): 0.1995323460639127}, {(1, 3): 0.31992501757400604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.810669374365382e-05, (9, 8): 0.009997656799187689, (9, 3): 0.31992501757400604, (9, 9): 0.31992501757400604, (1, 4): 0.009997656799187689, (8, 9): 0.009997656799187689, (8, 8): 7.810669374365382e-05, (2, 3): 0.009997656799187689, (2, 4): 7.810669374365382e-05}]
8 Stop [{(1, 3): 0.00024396194193705782, (5, 6): 0.0, (2, 8): 0.2498170285435472, (9, 8): 0.0624542571358868, (9, 3): 0.00024396194193705782, (9, 9): 0.00024396194193705782, (1, 4): 0.0624542571358868, (1, 1): 0.0, (8, 9): 0.0624542571358868, (8, 8): 0.2498170285435472, (2, 3): 0.0624542571358868, (2, 4): 0.2498170285435472}, {(1, 3): 0.32651109029673775, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9928655413619247e-05, (9, 8): 0.005101735785886527, (9, 3): 0.32651109029673775, (9, 9): 0.32651109029673775, (1, 4): 0.005101735785886527, (8, 9): 0.005101735785886527, (8, 8): 1.9928655413619247e-05, (2, 3): 0.005101735785886527, (2, 4): 1.9928655413619247e-05}]
9 Stop [{(1, 3): 6.973987028384127e-05, (5, 6): 0.0, (2, 8): 0.28565450868261383, (9, 8): 0.03570681358532673, (9, 3): 6.973987028384127e-05, (9, 9): 6.973987028384127e-05, (1, 4): 0.03570681358532673, (1, 1): 0.0, (8, 9): 0.03570681358532673, (8, 8): 0.28565450868261383, (2, 3): 0.03570681358532673, (2, 4): 0.28565450868261383}, {(1, 3): 0.32989192535953565, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 5.033751302483149e-06, (9, 8): 0.0025772806668713723, (9, 3): 0.32989192535953565, (9, 9): 0.32989192535953565, (1, 4): 0.0025772806668713723, (8, 9): 0.0025772806668713723, (8, 8): 5.033751302483149e-06, (2, 3): 0.0025772806668713723, (2, 4): 5.033751302483149e-06}]
10 Stop [{(1, 3): 1.8778990065914254e-05, (5, 6): 0.0, (2, 8): 0.30767497323993914, (9, 8): 0.019229685827496196, (9, 3): 1.8778990065914254e-05, (9, 9): 1.8778990065914254e-05, (1, 4): 0.019229685827496196, (1, 1): 0.0, (8, 9): 0.019229685827496196, (8, 8): 0.30767497323993914, (2, 3): 0.019229685827496196, (2, 4): 0.30767497323993914}, {(1, 3): 0.33160495919831096, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2649725311214865e-06, (9, 8): 0.0012953318718684022, (9, 3): 0.33160495919831096, (9, 9): 0.33160495919831096, (1, 4): 0.0012953318718684022, (8, 9): 0.0012953318718684022, (8, 8): 1.2649725311214865e-06, (2, 3): 0.0012953318718684022, (2, 4): 1.2649725311214865e-06}]
11 Stop [{(1, 3): 4.882740975473991e-06, (5, 6): 0.0, (2, 8): 0.3199953125686635, (9, 8): 0.009999853517770734, (9, 3): 4.882740975473991e-06, (9, 9): 4.882740975473991e-06, (1, 4): 0.009999853517770734, (1, 1): 0.0, (8, 9): 0.009999853517770734, (8, 8): 0.3199953125686635, (2, 3): 0.009999853517770734, (2, 4): 0.3199953125686635}, {(1, 3): 0.33246721622563397, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.170654451614704e-07, (9, 8): 0.0006493500316906913, (9, 3): 0.33246721622563397, (9, 9): 0.33246721622563397, (1, 4): 0.0006493500316906913, (8, 9): 0.0006493500316906913, (8, 8): 3.170654451614704e-07, (2, 3): 0.0006493500316906913, (2, 4): 3.170654451614704e-07}]
12 Stop [{(1, 3): 1.2456107790174372e-06, (5, 6): 0.0, (2, 8): 0.32652939205474707, (9, 8): 0.005102021750855423, (9, 3): 1.2456107790174372e-06, (9, 9): 1.2456107790174372e-06, (1, 4): 0.005102021750855423, (1, 1): 0.0, (8, 9): 0.005102021750855423, (8, 8): 0.32652939205474707, (2, 3): 0.005102021750855423, (2, 4): 0.32652939205474707}, {(1, 3): 0.3316059030111176, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.162440328704048e-07, (9, 8): 0.001295335558637178, (9, 3): 0.3316059030111176, (9, 9): 0.3316059030111176, (1, 4): 0.001295335558637178, (8, 9): 0.001295335558637178, (8, 8): 3.162440328704048e-07, (2, 3): 0.001295335558637178, (2, 4): 3.162440328704048e-07}]
13 Stop [{(1, 3): 3.1461391052820845e-07, (5, 6): 0.0, (2, 8): 0.3298965958460267, (9, 8): 0.0025773171550470837, (9, 3): 3.1461391052820845e-07, (9, 9): 3.1461391052820845e-07, (1, 4): 0.0025773171550470837, (1, 1): 0.0, (8, 9): 0.0025773171550470837, (8, 8): 0.3298965958460267, (2, 3): 0.0025773171550470837, (2, 4): 0.3298965958460267}, {(1, 3): 0.33246745340700146, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.926641783881222e-08, (9, 8): 0.0006493504949355497, (9, 3): 0.33246745340700146, (9, 9): 0.33246745340700146, (1, 4): 0.0006493504949355497, (8, 9): 0.0006493504949355497, (8, 8): 7.926641783881222e-08, (2, 3): 0.0006493504949355497, (2, 4): 7.926641783881222e-08}]
14 Stop [{(1, 3): 7.90610644734284e-08, (5, 6): 0.0, (2, 8): 0.3316061389651586, (9, 8): 0.0012953364803326508, (9, 3): 7.90610644734284e-08, (9, 9): 7.90610644734284e-08, (1, 4): 0.0012953364803326508, (1, 1): 0.0, (8, 9): 0.0012953364803326508, (8, 8): 0.3316061389651586, (2, 3): 0.0012953364803326508, (2, 4): 0.3316061389651586}, {(1, 3): 0.33289985014441376, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9842377313638553e-08, (9, 8): 0.00032509750990665406, (9, 3): 0.33289985014441376, (9, 9): 0.33289985014441376, (1, 4): 0.00032509750990665406, (8, 9): 0.00032509750990665406, (8, 8): 1.9842377313638553e-08, (2, 3): 0.00032509750990665406, (2, 4): 1.9842377313638553e-08}]
15 Stop [{(1, 3): 1.9816607993983994e-08, (5, 6): 0.0, (2, 8): 0.33246751270239616, (9, 8): 0.0006493506107468675, (9, 3): 1.9816607993983994e-08, (9, 9): 1.9816607993983994e-08, (1, 4): 0.0006493506107468675, (1, 1): 0.0, (8, 9): 0.0006493506107468675, (8, 8): 0.33246751270239616, (2, 3): 0.0006493506107468675, (2, 4): 0.33246751270239616}, {(1, 3): 0.33311645567701337, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.963822002366384e-09, (9, 8): 0.00016265451937354168, (9, 3): 0.33311645567701337, (9, 9): 0.33311645567701337, (1, 4): 0.00016265451937354168, (8, 9): 0.00016265451937354168, (8, 8): 4.963822002366384e-09, (2, 3): 0.00016265451937354168, (2, 4): 4.963822002366384e-09}]
16 Stop [{(1, 3): 1.976526963434943e-08, (5, 6): 0.0, (2, 8): 0.3316061979537214, (9, 8): 0.0012953367107567243, (9, 3): 1.976526963434943e-08, (9, 9): 1.976526963434943e-08, (1, 4): 0.0012953367107567243, (1, 1): 0.0, (8, 9): 0.0012953367107567243, (8, 8): 0.3316061979537214, (2, 3): 0.0012953367107567243, (2, 4): 0.3316061979537214}, {(1, 3): 0.3332248604577105, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.241359339869434e-09, (9, 8): 8.135372569768323e-05, (9, 3): 0.3332248604577105, (9, 9): 0.3332248604577105, (1, 4): 8.135372569768323e-05, (8, 9): 8.135372569768323e-05, (8, 8): 1.241359339869434e-09, (2, 3): 8.135372569768323e-05, (2, 4): 1.241359339869434e-09}]
17 Stop [{(1, 3): 1.9663386807192762e-08, (5, 6): 0.0, (2, 8): 0.3298968877558233, (9, 8): 0.0025773194355923697, (9, 3): 1.9663386807192762e-08, (9, 9): 1.9663386807192762e-08, (1, 4): 0.0025773194355923697, (1, 1): 0.0, (8, 9): 0.0025773194355923697, (8, 8): 0.3298968877558233, (2, 3): 0.0025773194355923697, (2, 4): 0.3298968877558233}, {(1, 3): 0.3331164556770132, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.963822002366382e-09, (9, 8): 0.0001626545193735416, (9, 3): 0.3331164556770132, (9, 9): 0.3331164556770132, (1, 4): 0.0001626545193735416, (8, 9): 0.0001626545193735416, (8, 8): 4.963822002366382e-09, (2, 3): 0.0001626545193735416, (2, 4): 4.963822002366382e-09}]
18 Stop [{(1, 3): 7.785094642227802e-08, (5, 6): 0.0, (2, 8): 0.3265305359827464, (9, 8): 0.005102039624730412, (9, 3): 7.785094642227802e-08, (9, 9): 7.785094642227802e-08, (1, 4): 0.005102039624730412, (1, 1): 0.0, (8, 9): 0.005102039624730412, (8, 8): 0.3265305359827464, (2, 3): 0.005102039624730412, (2, 4): 0.3265305359827464}, {(1, 3): 0.33322486045771044, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2413593398694338e-09, (9, 8): 8.135372569768321e-05, (9, 3): 0.33322486045771044, (9, 9): 0.33322486045771044, (1, 4): 8.135372569768321e-05, (8, 9): 8.135372569768321e-05, (8, 8): 1.2413593398694338e-09, (2, 3): 8.135372569768321e-05, (2, 4): 1.2413593398694338e-09}]
19 Stop [{(1, 3): 1.9663386807192765e-08, (5, 6): 0.0, (2, 8): 0.3298968877558234, (9, 8): 0.00257731943559237, (9, 3): 1.9663386807192765e-08, (9, 9): 1.9663386807192765e-08, (1, 4): 0.00257731943559237, (1, 1): 0.0, (8, 9): 0.00257731943559237, (8, 8): 0.3298968877558234, (2, 3): 0.00257731943559237, (2, 4): 0.3298968877558234}, {(1, 3): 0.3331164593974576, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2409555144513309e-09, (9, 8): 0.00016265452119016484, (9, 3): 0.3331164593974576, (9, 9): 0.3331164593974576, (1, 4): 0.00016265452119016484, (8, 9): 0.00016265452119016484, (8, 8): 1.2409555144513309e-09, (2, 3): 0.00016265452119016484, (2, 4): 1.2409555144513309e-09}]
20 Stop [{(1, 3): 4.941317628336927e-09, (5, 6): 0.0, (2, 8): 0.3316062127008654, (9, 8): 0.0012953367683627554, (9, 3): 4.941317628336927e-09, (9, 9): 4.941317628336927e-09, (1, 4): 0.0012953367683627554, (1, 1): 0.0, (8, 9): 0.0012953367683627554, (8, 8): 0.3316062127008654, (2, 3): 0.0012953367683627554, (2, 4): 0.3316062127008654}, {(1, 3): 0.33322486138842694, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.1033983583415574e-10, (9, 8): 8.135372592490892e-05, (9, 3): 0.33322486138842694, (9, 9): 0.33322486138842694, (1, 4): 8.135372592490892e-05, (8, 9): 8.135372592490892e-05, (8, 8): 3.1033983583415574e-10, (2, 3): 8.135372592490892e-05, (2, 4): 3.1033983583415574e-10}]
21 Stop [{(1, 3): 4.91584691928814e-09, (5, 6): 0.0, (2, 8): 0.32989690235132674, (9, 8): 0.00257731954961974, (9, 3): 4.91584691928814e-09, (9, 9): 4.91584691928814e-09, (1, 4): 0.00257731954961974, (1, 1): 0.0, (8, 9): 0.00257731954961974, (8, 8): 0.32989690235132674, (2, 3): 0.00257731954961974, (2, 4): 0.32989690235132674}, {(1, 3): 0.3331164603275687, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.102388794790662e-10, (9, 8): 0.00016265452164432065, (9, 3): 0.3331164603275687, (9, 9): 0.3331164603275687, (1, 4): 0.00016265452164432065, (8, 9): 0.00016265452164432065, (8, 8): 3.102388794790662e-10, (2, 3): 0.00016265452164432065, (2, 4): 3.102388794790662e-10}]
22 Stop [{(1, 3): 1.2353294208185804e-09, (5, 6): 0.0, (2, 8): 0.33160621638765153, (9, 8): 0.0012953367827642638, (9, 3): 1.2353294208185804e-09, (9, 9): 1.2353294208185804e-09, (1, 4): 0.0012953367827642638, (1, 1): 0.0, (8, 9): 0.0012953367827642638, (8, 8): 0.33160621638765153, (2, 3): 0.0012953367827642638, (2, 4): 0.33160621638765153}, {(1, 3): 0.33322486162110604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.758495901271376e-11, (9, 8): 8.135372598171534e-05, (9, 3): 0.33322486162110604, (9, 9): 0.33322486162110604, (1, 4): 8.135372598171534e-05, (8, 9): 8.135372598171534e-05, (8, 8): 7.758495901271376e-11, (2, 3): 8.135372598171534e-05, (2, 4): 7.758495901271376e-11}]
23 Stop [{(1, 3): 3.096345180260969e-10, (5, 6): 0.0, (2, 8): 0.3324675321587022, (9, 8): 0.0006493506487474652, (9, 3): 3.096345180260969e-10, (9, 9): 3.096345180260969e-10, (1, 4): 0.0006493506487474652, (1, 1): 0.0, (8, 9): 0.0006493506487474652, (8, 8): 0.3324675321587022, (2, 3): 0.0006493506487474652, (2, 4): 0.3324675321587022}, {(1, 3): 0.3331164603275687, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.102388794790662e-10, (9, 8): 0.00016265452164432065, (9, 3): 0.3331164603275687, (9, 9): 0.3331164603275687, (1, 4): 0.00016265452164432065, (8, 9): 0.00016265452164432065, (8, 8): 3.102388794790662e-10, (2, 3): 0.00016265452164432065, (2, 4): 3.102388794790662e-10}]
24 Stop [{(1, 3): 1.2353294208185804e-09, (5, 6): 0.0, (2, 8): 0.33160621638765153, (9, 8): 0.0012953367827642638, (9, 3): 1.2353294208185804e-09, (9, 9): 1.2353294208185804e-09, (1, 4): 0.0012953367827642638, (1, 1): 0.0, (8, 9): 0.0012953367827642638, (8, 8): 0.33160621638765153, (2, 3): 0.0012953367827642638, (2, 4): 0.33160621638765153}, {(1, 3): 0.33322486162110604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.758495901271376e-11, (9, 8): 8.135372598171534e-05, (9, 3): 0.33322486162110604, (9, 9): 0.33322486162110604, (1, 4): 8.135372598171534e-05, (8, 9): 8.135372598171534e-05, (8, 8): 7.758495901271376e-11, (2, 3): 8.135372598171534e-05, (2, 4): 7.758495901271376e-11}]
25 Stop [{(1, 3): 3.096345180260969e-10, (5, 6): 0.0, (2, 8): 0.3324675321587022, (9, 8): 0.0006493506487474652, (9, 3): 3.096345180260969e-10, (9, 9): 3.096345180260969e-10, (1, 4): 0.0006493506487474652, (1, 1): 0.0, (8, 9): 0.0006493506487474652, (8, 8): 0.3324675321587022, (2, 3): 0.0006493506487474652, (2, 4): 0.3324675321587022}, {(1, 3): 0.33327908867059564, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9399396182887468e-11, (9, 8): 4.068348250373482e-05, (9, 3): 0.33327908867059564, (9, 9): 0.33327908867059564, (1, 4): 4.068348250373482e-05, (8, 9): 4.068348250373482e-05, (8, 8): 1.9399396182887468e-11, (2, 3): 4.068348250373482e-05, (2, 4): 1.9399396182887468e-11}]
26 Stop [{(1, 3): 7.750929097728333e-11, (5, 6): 0.0, (2, 8): 0.3328998698835798, (9, 8): 0.0003250975291831834, (9, 3): 7.750929097728333e-11, (9, 9): 7.750929097728333e-11, (1, 4): 0.0003250975291831834, (1, 1): 0.0, (8, 9): 0.0003250975291831834, (8, 8): 0.3328998698835798, (2, 3): 0.0003250975291831834, (2, 4): 0.3328998698835798}, {(1, 3): 0.33330620879977224, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.850243695542627e-12, (9, 8): 2.0343396533189224e-05, (9, 3): 0.33330620879977224, (9, 9): 0.33330620879977224, (1, 4): 2.0343396533189224e-05, (8, 9): 2.0343396533189224e-05, (8, 8): 4.850243695542627e-12, (2, 3): 2.0343396533189224e-05, (2, 4): 4.850243695542627e-12}]
27 Stop [{(1, 3): 1.938992998436026e-11, (5, 6): 0.0, (2, 8): 0.3331164606182284, (9, 8): 0.00016265452178624434, (9, 3): 1.938992998436026e-11, (9, 9): 1.938992998436026e-11, (1, 4): 0.00016265452178624434, (1, 1): 0.0, (8, 9): 0.00016265452178624434, (8, 8): 0.3331164606182284, (2, 3): 0.00016265452178624434, (2, 4): 0.3331164606182284}, {(1, 3): 0.3332790886851428, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.849849045933556e-12, (9, 8): 4.068348250551059e-05, (9, 3): 0.3332790886851428, (9, 9): 0.3332790886851428, (1, 4): 4.068348250551059e-05, (8, 9): 4.068348250551059e-05, (8, 8): 4.849849045933556e-12, (2, 3): 4.068348250551059e-05, (2, 4): 4.849849045933556e-12}]
28 Stop [{(1, 3): 4.849059939352713e-12, (5, 6): 0.0, (2, 8): 0.3332248616938183, (9, 8): 8.135372599946736e-05, (9, 3): 4.849059939352713e-12, (9, 9): 4.849059939352713e-12, (1, 4): 8.135372599946736e-05, (1, 1): 0.0, (8, 9): 8.135372599946736e-05, (8, 8): 0.3332248616938183, (2, 3): 8.135372599946736e-05, (2, 4): 0.3332248616938183}, {(1, 3): 0.3333062088034095, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.212560923898889e-12, (9, 8): 2.0343396533411224e-05, (9, 3): 0.3333062088034095, (9, 9): 0.3333062088034095, (1, 4): 2.0343396533411224e-05, (8, 9): 2.0343396533411224e-05, (8, 8): 1.212560923898889e-12, (2, 3): 2.0343396533411224e-05, (2, 4): 1.212560923898889e-12}]
29 Stop [{(1, 3): 1.2124622614966196e-12, (5, 6): 0.0, (2, 8): 0.3332790886887796, (9, 8): 4.068348250595454e-05, (9, 3): 1.2124622614966196e-12, (9, 9): 1.2124622614966196e-12, (1, 4): 4.068348250595454e-05, (1, 1): 0.0, (8, 9): 4.068348250595454e-05, (8, 8): 0.3332790886887796, (2, 3): 4.068348250595454e-05, (2, 4): 0.3332790886887796}, {(1, 3): 0.3333197705168471, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.031525652812407e-13, (9, 8): 1.0172112137354952e-05, (9, 3): 0.3333197705168471, (9, 9): 0.3333197705168471, (1, 4): 1.0172112137354952e-05, (8, 9): 1.0172112137354952e-05, (8, 8): 3.031525652812407e-13, (2, 3): 1.0172112137354952e-05, (2, 4): 3.031525652812407e-13}]
30 Stop [{(1, 3): 3.031402309755494e-13, (5, 6): 0.0, (2, 8): 0.33330620880431894, (9, 8): 2.0343396533466732e-05, (9, 3): 3.031402309755494e-13, (9, 9): 3.031402309755494e-13, (1, 4): 2.0343396533466732e-05, (1, 1): 0.0, (8, 9): 2.0343396533466732e-05, (8, 8): 0.33330620880431894, (2, 3): 2.0343396533466732e-05, (2, 4): 0.33330620880431894}, {(1, 3): 0.3333265517872007, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.578968320267466e-14, (9, 8): 5.086159542651378e-06, (9, 3): 0.3333265517872007, (9, 9): 0.3333265517872007, (1, 4): 5.086159542651378e-06, (8, 9): 5.086159542651378e-06, (8, 8): 7.578968320267466e-14, (2, 3): 5.086159542651378e-06, (2, 4): 7.578968320267466e-14}]
31 Stop [{(1, 3): 7.578814132036186e-14, (5, 6): 0.0, (2, 8): 0.3333197705170744, (9, 8): 1.017211213736189e-05, (9, 3): 7.578814132036186e-14, (9, 9): 7.578814132036186e-14, (1, 4): 1.017211213736189e-05, (1, 1): 0.0, (8, 9): 1.017211213736189e-05, (8, 8): 0.3333197705170744, (2, 3): 1.017211213736189e-05, (2, 4): 0.3333197705170744}, {(1, 3): 0.3333299425257936, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.894761354184275e-14, (9, 8): 2.5431056406081667e-06, (9, 3): 0.3333299425257936, (9, 9): 0.3333299425257936, (1, 4): 2.5431056406081667e-06, (8, 9): 2.5431056406081667e-06, (8, 8): 1.894761354184275e-14, (2, 3): 2.5431056406081667e-06, (2, 4): 1.894761354184275e-14}]
32 Stop [{(1, 3): 1.8947420800671896e-14, (5, 6): 0.0, (2, 8): 0.33332655178725756, (9, 8): 5.0861595426522455e-06, (9, 3): 1.8947420800671896e-14, (9, 9): 1.8947420800671896e-14, (1, 4): 5.0861595426522455e-06, (1, 1): 0.0, (8, 9): 5.0861595426522455e-06, (8, 8): 0.33332655178725756, (2, 3): 5.0861595426522455e-06, (2, 4): 0.33332655178725756}, {(1, 3): 0.33333163792094495, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.7369274784748675e-15, (9, 8): 1.2715592877233312e-06, (9, 3): 0.33333163792094495, (9, 9): 0.33333163792094495, (1, 4): 1.2715592877233312e-06, (8, 9): 1.2715592877233312e-06, (8, 8): 4.7369274784748675e-15, (2, 3): 1.2715592877233312e-06, (2, 4): 4.7369274784748675e-15}]
33 Stop [{(1, 3): 1.89470353300937e-14, (5, 6): 0.0, (2, 8): 0.3333197705171313, (9, 8): 1.0172112137363626e-05, (9, 3): 1.89470353300937e-14, (9, 9): 1.89470353300937e-14, (1, 4): 1.0172112137363626e-05, (1, 1): 0.0, (8, 9): 1.0172112137363626e-05, (8, 8): 0.3333197705171313, (2, 3): 1.0172112137363626e-05, (2, 4): 0.3333197705171313}, {(1, 3): 0.3333299425258078, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.736903385460888e-15, (9, 8): 2.5431056406082747e-06, (9, 3): 0.3333299425258078, (9, 9): 0.3333299425258078, (1, 4): 2.5431056406082747e-06, (8, 9): 2.5431056406082747e-06, (8, 8): 4.736903385460888e-15, (2, 3): 2.5431056406082747e-06, (2, 4): 4.736903385460888e-15}]
34 Stop [{(1, 3): 4.736855200168175e-15, (5, 6): 0.0, (2, 8): 0.3333265517872717, (9, 8): 5.0861595426524615e-06, (9, 3): 4.736855200168175e-15, (9, 9): 4.736855200168175e-15, (1, 4): 5.0861595426524615e-06, (1, 1): 0.0, (8, 9): 5.0861595426524615e-06, (8, 8): 0.3333265517872717, (2, 3): 5.0861595426524615e-06, (2, 4): 0.3333265517872717}, {(1, 3): 0.33333163792094855, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1842318696187297e-15, (9, 8): 1.271559287723345e-06, (9, 3): 0.33333163792094855, (9, 9): 0.33333163792094855, (1, 4): 1.271559287723345e-06, (8, 9): 1.271559287723345e-06, (8, 8): 1.1842318696187297e-15, (2, 3): 1.271559287723345e-06, (2, 4): 1.1842318696187297e-15}]
35 Stop [{(1, 3): 1.1842258463652347e-15, (5, 6): 0.0, (2, 8): 0.33332994252581133, (9, 8): 2.5431056406083018e-06, (9, 3): 1.1842258463652347e-15, (9, 9): 1.1842258463652347e-15, (1, 4): 2.5431056406083018e-06, (1, 1): 0.0, (8, 9): 2.5431056406083018e-06, (8, 8): 0.33332994252581133, (2, 3): 2.5431056406083018e-06, (2, 4): 0.33332994252581133}, {(1, 3): 0.3333299425258078, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.736903385460888e-15, (9, 8): 2.5431056406082747e-06, (9, 3): 0.3333299425258078, (9, 9): 0.3333299425258078, (1, 4): 2.5431056406082747e-06, (8, 9): 2.5431056406082747e-06, (8, 8): 4.736903385460888e-15, (2, 3): 2.5431056406082747e-06, (2, 4): 4.736903385460888e-15}]
36 Stop [{(1, 3): 1.1842138000420564e-15, (5, 6): 0.0, (2, 8): 0.33332655178727527, (9, 8): 5.086159542652516e-06, (9, 3): 1.1842138000420564e-15, (9, 9): 1.1842138000420564e-15, (1, 4): 5.086159542652516e-06, (1, 1): 0.0, (8, 9): 5.086159542652516e-06, (8, 8): 0.33332655178727527, (2, 3): 5.086159542652516e-06, (2, 4): 0.33332655178727527}, {(1, 3): 0.33333163792094855, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1842318696187297e-15, (9, 8): 1.271559287723345e-06, (9, 3): 0.33333163792094855, (9, 9): 0.33333163792094855, (1, 4): 1.271559287723345e-06, (8, 9): 1.271559287723345e-06, (8, 8): 1.1842318696187297e-15, (2, 3): 1.271559287723345e-06, (2, 4): 1.1842318696187297e-15}]
37 Stop [{(1, 3): 4.736758832523626e-15, (5, 6): 0.0, (2, 8): 0.33331977051714545, (9, 8): 1.0172112137364058e-05, (9, 3): 4.736758832523626e-15, (9, 9): 4.736758832523626e-15, (1, 4): 1.0172112137364058e-05, (1, 1): 0.0, (8, 9): 1.0172112137364058e-05, (8, 8): 0.33331977051714545, (2, 3): 1.0172112137364058e-05, (2, 4): 0.33331977051714545}, {(1, 3): 0.33333248562498535, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.960587203171142e-16, (9, 8): 6.357812607288081e-07, (9, 3): 0.33333248562498535, (9, 9): 0.33333248562498535, (1, 4): 6.357812607288081e-07, (8, 9): 6.357812607288081e-07, (8, 8): 2.960587203171142e-16, (2, 3): 6.357812607288081e-07, (2, 4): 2.960587203171142e-16}]
38 Stop [{(1, 3): 1.8946264435987987e-14, (5, 6): 0.0, (2, 8): 0.33330620880460304, (9, 8): 2.0343396533484072e-05, (9, 3): 1.8946264435987987e-14, (9, 9): 1.8946264435987987e-14, (1, 4): 2.0343396533484072e-05, (1, 1): 0.0, (8, 9): 2.0343396533484072e-05, (8, 8): 0.33330620880460304, (2, 3): 2.0343396533484072e-05, (2, 4): 0.33330620880460304}, {(1, 3): 0.33333290947862054, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.401477419369152e-17, (9, 8): 3.1789103458272986e-07, (9, 3): 0.33333290947862054, (9, 9): 0.33333290947862054, (1, 4): 3.1789103458272986e-07, (8, 9): 3.1789103458272986e-07, (8, 8): 7.401477419369152e-17, (2, 3): 3.1789103458272986e-07, (2, 4): 7.401477419369152e-17}]
39 Stop [{(1, 3): 7.577889134379713e-14, (5, 6): 0.0, (2, 8): 0.33327908868991607, (9, 8): 4.068348250609327e-05, (9, 3): 7.577889134379713e-14, (9, 9): 7.577889134379713e-14, (1, 4): 4.068348250609327e-05, (1, 1): 0.0, (8, 9): 4.068348250609327e-05, (8, 8): 0.33327908868991607, (2, 3): 4.068348250609327e-05, (2, 4): 0.33327908868991607}, {(1, 3): 0.33333312140584226, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8503705312746935e-17, (9, 8): 1.5894561834613908e-07, (9, 3): 0.33333312140584226, (9, 9): 0.33333312140584226, (1, 4): 1.5894561834613908e-07, (8, 9): 1.5894561834613908e-07, (8, 8): 1.8503705312746935e-17, (2, 3): 1.5894561834613908e-07, (2, 4): 1.8503705312746935e-17}]
40 Stop [{(1, 3): 1.894626443598799e-14, (5, 6): 0.0, (2, 8): 0.3333062088046031, (9, 8): 2.0343396533484076e-05, (9, 3): 1.894626443598799e-14, (9, 9): 1.894626443598799e-14, (1, 4): 2.0343396533484076e-05, (1, 1): 0.0, (8, 9): 2.0343396533484076e-05, (8, 8): 0.3333062088046031, (2, 3): 2.0343396533484076e-05, (2, 4): 0.3333062088046031}, {(1, 3): 0.3333332273695541, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.625927798728642e-18, (9, 8): 7.947283443678716e-08, (9, 3): 0.3333332273695541, (9, 9): 0.3333332273695541, (1, 4): 7.947283443678716e-08, (8, 9): 7.947283443678716e-08, (8, 8): 4.625927798728642e-18, (2, 3): 7.947283443678716e-08, (2, 4): 4.625927798728642e-18}]
41 Stop [{(1, 3): 1.8944722835952517e-14, (5, 6): 0.0, (2, 8): 0.33327908868997297, (9, 8): 4.0683482506100216e-05, (9, 3): 1.8944722835952517e-14, (9, 9): 1.8944722835952517e-14, (1, 4): 4.0683482506100216e-05, (1, 1): 0.0, (8, 9): 4.0683482506100216e-05, (8, 8): 0.33327908868997297, (2, 3): 4.0683482506100216e-05, (2, 4): 0.33327908868997297}, {(1, 3): 0.33333328035143533, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1564821334999869e-18, (9, 8): 3.9736423534326e-08, (9, 3): 0.33333328035143533, (9, 9): 0.33333328035143533, (1, 4): 3.9736423534326e-08, (8, 9): 3.9736423534326e-08, (8, 8): 1.1564821334999869e-18, (2, 3): 3.9736423534326e-08, (2, 4): 1.1564821334999869e-18}]
42 Stop [{(1, 3): 4.7365661089971995e-15, (5, 6): 0.0, (2, 8): 0.3333062088046173, (9, 8): 2.0343396533484943e-05, (9, 3): 4.7365661089971995e-15, (9, 9): 4.7365661089971995e-15, (1, 4): 2.0343396533484943e-05, (1, 1): 0.0, (8, 9): 2.0343396533484943e-05, (8, 8): 0.3333062088046173, (2, 3): 2.0343396533484943e-05, (2, 4): 0.3333062088046173}, {(1, 3): 0.3333333068423821, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.8912055635223035e-19, (9, 8): 1.986821334614647e-08, (9, 3): 0.3333333068423821, (9, 9): 0.3333333068423821, (1, 4): 1.986821334614647e-08, (8, 9): 1.986821334614647e-08, (8, 8): 2.8912055635223035e-19, (2, 3): 1.986821334614647e-08, (2, 4): 2.8912055635223035e-19}]
43 Stop [{(1, 3): 4.73618070898833e-15, (5, 6): 0.0, (2, 8): 0.3332790886899871, (9, 8): 4.0683482506101944e-05, (9, 3): 4.73618070898833e-15, (9, 9): 4.73618070898833e-15, (1, 4): 4.0683482506101944e-05, (1, 1): 0.0, (8, 9): 4.0683482506101944e-05, (8, 8): 0.3332790886899871, (2, 3): 4.0683482506101944e-05, (2, 4): 0.3332790886899871}, {(1, 3): 0.3333333200878572, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228014196021216e-20, (9, 8): 9.934107067819155e-09, (9, 3): 0.3333333200878572, (9, 9): 0.3333333200878572, (1, 4): 9.934107067819155e-09, (8, 9): 9.934107067819155e-09, (8, 8): 7.228014196021216e-20, (2, 3): 9.934107067819155e-09, (2, 4): 7.228014196021216e-20}]
44 Stop [{(1, 3): 1.8941640388371008e-14, (5, 6): 0.0, (2, 8): 0.3332248616986469, (9, 8): 8.135372600064622e-05, (9, 3): 1.8941640388371008e-14, (9, 9): 1.8941640388371008e-14, (1, 4): 8.135372600064622e-05, (1, 1): 0.0, (8, 9): 8.135372600064622e-05, (8, 8): 0.3332248616986469, (2, 3): 8.135372600064622e-05, (2, 4): 0.3332248616986469}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228013908805761e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 7.228013908805761e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 7.228013908805761e-20}]
45 Stop [{(1, 3): 7.574191400579593e-14, (5, 6): 0.0, (2, 8): 0.33311646063753, (9, 8): 0.00016265452179566893, (9, 3): 7.574191400579593e-14, (9, 9): 7.574191400579593e-14, (1, 4): 0.00016265452179566893, (1, 1): 0.0, (8, 9): 0.00016265452179566893, (8, 8): 0.33311646063753, (2, 3): 0.00016265452179566893, (2, 4): 0.33311646063753}, {(1, 3): 0.33333332008785715, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070035490053038e-20, (9, 8): 9.934107067819153e-09, (9, 3): 0.33333332008785715, (9, 9): 0.33333332008785715, (1, 4): 9.934107067819153e-09, (8, 9): 9.934107067819153e-09, (8, 8): 1.8070035490053038e-20, (2, 3): 9.934107067819153e-09, (2, 4): 1.8070035490053038e-20}]
46 Stop [{(1, 3): 7.569266698758671e-14, (5, 6): 0.0, (2, 8): 0.33289986996091264, (9, 8): 0.00032509752925870375, (9, 3): 7.569266698758671e-14, (9, 9): 7.569266698758671e-14, (1, 4): 0.00032509752925870375, (1, 1): 0.0, (8, 9): 0.00032509752925870375, (8, 8): 0.33289986996091264, (2, 3): 0.00032509752925870375, (2, 4): 0.33289986996091264}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014403e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 1.8070034772014403e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 1.8070034772014403e-20}]
47 Stop [{(1, 3): 3.023774592904655e-13, (5, 6): 0.0, (2, 8): 0.3324675324672309, (9, 8): 0.0006493506493500603, (9, 3): 3.023774592904655e-13, (9, 9): 3.023774592904655e-13, (1, 4): 0.0006493506493500603, (1, 1): 0.0, (8, 9): 0.0006493506493500603, (8, 8): 0.3324675324672309, (2, 3): 0.0006493506493500603, (2, 4): 0.3324675324672309}, {(1, 3): 0.33333332008785715, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.5175088725132595e-21, (9, 8): 9.934107067819153e-09, (9, 3): 0.33333332008785715, (9, 9): 0.33333332008785715, (1, 4): 9.934107067819153e-09, (8, 9): 9.934107067819153e-09, (8, 8): 4.5175088725132595e-21, (2, 3): 9.934107067819153e-09, (2, 4): 4.5175088725132595e-21}]
48 Stop [{(1, 3): 7.569266698758672e-14, (5, 6): 0.0, (2, 8): 0.3328998699609127, (9, 8): 0.0003250975292587038, (9, 3): 7.569266698758672e-14, (9, 9): 7.569266698758672e-14, (1, 4): 0.0003250975292587038, (1, 1): 0.0, (8, 9): 0.0003250975292587038, (8, 8): 0.3328998699609127, (2, 3): 0.0003250975292587038, (2, 4): 0.3328998699609127}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014403e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 1.8070034772014403e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 1.8070034772014403e-20}]
49 Stop [{(1, 3): 1.8935478501452213e-14, (5, 6): 0.0, (2, 8): 0.3331164606375868, (9, 8): 0.0001626545217956967, (9, 3): 1.8935478501452213e-14, (9, 9): 1.8935478501452213e-14, (1, 4): 0.0001626545217956967, (1, 1): 0.0, (8, 9): 0.0001626545217956967, (8, 8): 0.3331164606375868, (2, 3): 0.0001626545217956967, (2, 4): 0.3331164606375868}, {(1, 3): 0.33333328035143533, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228013334374918e-20, (9, 8): 3.9736423534326e-08, (9, 3): 0.33333328035143533, (9, 9): 0.33333328035143533, (1, 4): 3.9736423534326e-08, (8, 9): 3.9736423534326e-08, (8, 8): 7.228013334374918e-20, (2, 3): 3.9736423534326e-08, (2, 4): 7.228013334374918e-20}]
50 Stop [{(1, 3): 1.8923166746899905e-14, (5, 6): 0.0, (2, 8): 0.33289986996096943, (9, 8): 0.0003250975292587592, (9, 3): 1.8923166746899905e-14, (9, 9): 1.8923166746899905e-14, (1, 4): 0.0003250975292587592, (1, 1): 0.0, (8, 9): 0.0003250975292587592, (8, 8): 0.33289986996096943, (2, 3): 0.0003250975292587592, (2, 4): 0.33289986996096943}, {(1, 3): 0.3333333068423821, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014397e-20, (9, 8): 1.986821334614647e-08, (9, 3): 0.3333333068423821, (9, 9): 0.3333333068423821, (1, 4): 1.986821334614647e-08, (8, 9): 1.986821334614647e-08, (8, 8): 1.8070034772014397e-20, (2, 3): 1.986821334614647e-08, (2, 4): 1.8070034772014397e-20}]
51 Stop [{(1, 3): 4.7338696253632545e-15, (5, 6): 0.0, (2, 8): 0.333116460637601, (9, 8): 0.0001626545217957036, (9, 3): 4.7338696253632545e-15, (9, 9): 4.7338696253632545e-15, (1, 4): 0.0001626545217957036, (1, 1): 0.0, (8, 9): 0.0001626545217957036, (8, 8): 0.333116460637601, (2, 3): 0.0001626545217957036, (2, 4): 0.333116460637601}, {(1, 3): 0.3333333200878572, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.51750887251326e-21, (9, 8): 9.934107067819155e-09, (9, 3): 0.3333333200878572, (9, 9): 0.3333333200878572, (1, 4): 9.934107067819155e-09, (8, 9): 9.934107067819155e-09, (8, 8): 4.51750887251326e-21, (2, 3): 9.934107067819155e-09, (2, 4): 4.51750887251326e-21}]
52 Stop [{(1, 3): 1.183852524273251e-15, (5, 6): 0.0, (2, 8): 0.33322486169866466, (9, 8): 8.135372600065055e-05, (9, 3): 1.183852524273251e-15, (9, 9): 1.183852524273251e-15, (1, 4): 8.135372600065055e-05, (1, 1): 0.0, (8, 9): 8.135372600065055e-05, (8, 8): 0.33322486169866466, (2, 3): 8.135372600065055e-05, (2, 4): 0.33322486169866466}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1293772405670237e-21, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 1.1293772405670237e-21, (2, 3): 4.967053632596062e-09, (2, 4): 1.1293772405670237e-21}]
53 Stop [{(1, 3): 2.960112943117746e-16, (5, 6): 0.0, (2, 8): 0.33327908868999156, (9, 8): 4.0683482506102486e-05, (9, 3): 2.960112943117746e-16, (9, 9): 2.960112943117746e-16, (1, 4): 4.0683482506102486e-05, (1, 1): 0.0, (8, 9): 4.0683482506102486e-05, (8, 8): 0.33327908868999156, (2, 3): 4.0683482506102486e-05, (2, 4): 0.33327908868999156}, {(1, 3): 0.33333332008785727, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1293772181283153e-21, (9, 8): 9.934107067819156e-09, (9, 3): 0.33333332008785727, (9, 9): 0.33333332008785727, (1, 4): 9.934107067819156e-09, (8, 9): 9.934107067819156e-09, (8, 8): 1.1293772181283153e-21, (2, 3): 9.934107067819156e-09, (2, 4): 1.1293772181283153e-21}]
54 Stop [{(1, 3): 7.400884545308227e-17, (5, 6): 0.0, (2, 8): 0.3333062088046219, (9, 8): 2.0343396533485224e-05, (9, 3): 7.400884545308227e-17, (9, 9): 7.400884545308227e-17, (1, 4): 2.0343396533485224e-05, (1, 1): 0.0, (8, 9): 2.0343396533485224e-05, (8, 8): 0.3333062088046219, (2, 3): 2.0343396533485224e-05, (2, 4): 0.3333062088046219}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.8234431014175593e-22, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 2.8234431014175593e-22, (2, 3): 4.967053632596062e-09, (2, 4): 2.8234431014175593e-22}]
55 Stop [{(1, 3): 1.8502964189545677e-17, (5, 6): 0.0, (2, 8): 0.33331977051715017, (9, 8): 1.0172112137364202e-05, (9, 3): 1.8502964189545677e-17, (9, 9): 1.8502964189545677e-17, (1, 4): 1.0172112137364202e-05, (1, 1): 0.0, (8, 9): 1.0172112137364202e-05, (8, 8): 0.33331977051715017, (2, 3): 1.0172112137364202e-05, (2, 4): 0.33331977051715017}, {(1, 3): 0.33333332008785727, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.823443045320788e-22, (9, 8): 9.934107067819156e-09, (9, 3): 0.33333332008785727, (9, 9): 0.33333332008785727, (1, 4): 9.934107067819156e-09, (8, 9): 9.934107067819156e-09, (8, 8): 2.823443045320788e-22, (2, 3): 9.934107067819156e-09, (2, 4): 2.823443045320788e-22}]
56 Stop [{(1, 3): 4.625835156414299e-18, (5, 6): 0.0, (2, 8): 0.33332655178727644, (9, 8): 5.0861595426525335e-06, (9, 3): 4.625835156414299e-18, (9, 9): 4.625835156414299e-18, (1, 4): 5.0861595426525335e-06, (1, 1): 0.0, (8, 9): 5.0861595426525335e-06, (8, 8): 0.33332655178727644, (2, 3): 5.0861595426525335e-06, (2, 4): 0.33332655178727644}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.058607753543898e-23, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 7.058607753543898e-23, (2, 3): 4.967053632596062e-09, (2, 4): 7.058607753543898e-23}]
57 Stop [{(1, 3): 1.1564705530910536e-18, (5, 6): 0.0, (2, 8): 0.3333299425258125, (9, 8): 2.5431056406083107e-06, (9, 3): 1.1564705530910536e-18, (9, 9): 1.1564705530910536e-18, (1, 4): 2.5431056406083107e-06, (1, 1): 0.0, (8, 9): 2.5431056406083107e-06, (8, 8): 0.3333299425258125, (2, 3): 2.5431056406083107e-06, (2, 4): 0.3333299425258125}, {(1, 3): 0.33333333002196414, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.7646519559162165e-23, (9, 8): 2.483526840969653e-09, (9, 3): 0.33333333002196414, (9, 9): 0.33333333002196414, (1, 4): 2.483526840969653e-09, (8, 9): 2.483526840969653e-09, (8, 8): 1.7646519559162165e-23, (2, 3): 2.483526840969653e-09, (2, 4): 1.7646519559162165e-23}]
58 Stop [{(1, 3): 4.6258351564143e-18, (5, 6): 0.0, (2, 8): 0.3333265517872765, (9, 8): 5.086159542652534e-06, (9, 3): 4.6258351564143e-18, (9, 9): 4.6258351564143e-18, (1, 4): 5.086159542652534e-06, (1, 1): 0.0, (8, 9): 5.086159542652534e-06, (8, 8): 0.3333265517872765, (2, 3): 5.086159542652534e-06, (2, 4): 0.3333265517872765}, {(1, 3): 0.3333333316776487, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.411629911703344e-24, (9, 8): 1.2417634266527322e-09, (9, 3): 0.3333333316776487, (9, 9): 0.3333333316776487, (1, 4): 1.2417634266527322e-09, (8, 9): 1.2417634266527322e-09, (8, 8): 4.411629911703344e-24, (2, 3): 1.2417634266527322e-09, (2, 4): 4.411629911703344e-24}]
59 Stop [{(1, 3): 1.1564705530910536e-18, (5, 6): 0.0, (2, 8): 0.3333299425258125, (9, 8): 2.5431056406083107e-06, (9, 3): 1.1564705530910536e-18, (9, 9): 1.1564705530910536e-18, (1, 4): 2.5431056406083107e-06, (1, 1): 0.0, (8, 9): 2.5431056406083107e-06, (8, 8): 0.3333299425258125, (2, 3): 2.5431056406083107e-06, (2, 4): 0.3333299425258125}, {(1, 3): 0.333333332505491, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1029074806649365e-24, (9, 8): 6.208817148683425e-10, (9, 3): 0.333333332505491, (9, 9): 0.333333332505491, (1, 4): 6.208817148683425e-10, (8, 9): 6.208817148683425e-10, (8, 8): 1.1029074806649365e-24, (2, 3): 6.208817148683425e-10, (2, 4): 1.1029074806649365e-24}]
60 Stop [{(1, 3): 2.891191087936362e-19, (5, 6): 0.0, (2, 8): 0.3333316379209497, (9, 8): 1.2715592877233495e-06, (9, 3): 2.891191087936362e-19, (9, 9): 2.891191087936362e-19, (1, 4): 1.2715592877233495e-06, (1, 1): 0.0, (8, 9): 1.2715592877233495e-06, (8, 8): 0.3333316379209497, (2, 3): 1.2715592877233495e-06, (2, 4): 0.3333316379209497}, {(1, 3): 0.3333333316776487, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.411629911703344e-24, (9, 8): 1.2417634266527322e-09, (9, 3): 0.3333333316776487, (9, 9): 0.3333333316776487, (1, 4): 1.2417634266527322e-09, (8, 9): 1.2417634266527322e-09, (8, 8): 4.411629911703344e-24, (2, 3): 1.2417634266527322e-09, (2, 4): 4.411629911703344e-24}]
61 None [{(1, 3): 7.227996101492053e-20, (5, 6): 0.0, (2, 8): 0.3333324856249857, (9, 8): 6.357812607288088e-07, (9, 3): 7.227996101492053e-20, (9, 9): 7.227996101492053e-20, (1, 4): 6.357812607288088e-07, (1, 1): 0.0, (8, 9): 6.357812607288088e-07, (8, 8): 0.3333324856249857, (2, 3): 6.357812607288088e-07, (2, 4): 0.3333324856249857}, {(1, 3): 0.333333332505491, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1029074806649365e-24, (9, 8): 6.208817148683425e-10, (9, 3): 0.333333332505491, (9, 9): 0.333333332505491, (1, 4): 6.208817148683425e-10, (8, 9): 6.208817148683425e-10, (8, 8): 1.1029074806649365e-24, (2, 3): 6.208817148683425e-10, (2, 4): 1.1029074806649365e-24}]
"""
test_cases/q9/1-JointParticleUpdate.test
Executable
+31
View File
@@ -0,0 +1,31 @@
class: "DoubleInferenceAgentTest"
seed: "188"
layout: """
%%%%%%%%%%%
%%%%%%%% %
%%G%%%%% %
%%%%%%%%%%%
%%%%%P%%%%%
%%%%%%%%%%%
% %%%%%%%%
% %%%%%%G%
%%%%%%%%%%%
% % %%%%%%%
%%%%%%%%%%%
"""
observe: "True"
elapse: "False"
checkUniform: "False"
maxMoves: "60"
numGhosts: "2"
ghost: "DispersingSeededGhost"
inference: "MarginalInference"
L2Tolerance: "0.05"
errorMsg: "Joint particle filter observeUpdate test: %d inference errors."
test_cases/q9/2-JointParticleUpdate.solution
Executable
+65
View File
@@ -0,0 +1,65 @@
# move_number action likelihood_dictionary
correctActions: """
0 None [{(4, 7): 0.0526, (1, 3): 0.0528, (6, 7): 0.0522, (4, 6): 0.053, (6, 6): 0.052, (5, 6): 0.0532, (2, 8): 0.052, (9, 8): 0.053, (9, 3): 0.0526, (9, 9): 0.0526, (1, 4): 0.053, (8, 9): 0.0528, (4, 5): 0.0526, (8, 8): 0.0526, (2, 3): 0.0528, (5, 7): 0.052, (2, 4): 0.0524, (6, 5): 0.053, (5, 5): 0.0528, }, {(4, 7): 0.053, (5, 7): 0.0522, (6, 7): 0.0522, (4, 6): 0.0524, (6, 6): 0.0524, (4, 5): 0.0528, (2, 8): 0.0528, (9, 8): 0.0528, (9, 3): 0.0528, (9, 9): 0.0524, (1, 4): 0.0528, (8, 9): 0.0522, (5, 6): 0.053, (8, 8): 0.0528, (2, 3): 0.0532, (1, 3): 0.0524, (2, 4): 0.0522, (6, 5): 0.0526, (5, 5): 0.053, }, ]
1 South [{(4, 7): 0.0066, (9, 3): 0.0656, (6, 7): 0.0072, (4, 6): 0.0072, (6, 6): 0.0054, (4, 5): 0.0084, (2, 8): 0.0678, (9, 8): 0.1356, (5, 7): 0.007, (9, 9): 0.0674, (1, 4): 0.136, (8, 9): 0.1378, (8, 8): 0.0632, (2, 3): 0.1298, (1, 3): 0.0692, (2, 4): 0.0664, (6, 5): 0.0102, (5, 5): 0.0092, }, {(4, 7): 0.0076, (1, 3): 0.1726, (6, 7): 0.0058, (4, 5): 0.0052, (2, 8): 0.0482, (9, 8): 0.0818, (9, 3): 0.1642, (9, 9): 0.1654, (1, 4): 0.0882, (8, 9): 0.086, (8, 8): 0.039, (2, 3): 0.0848, (2, 4): 0.046, (6, 5): 0.0052, }, ]
2 Stop [{(4, 7): 0.0008, (1, 3): 0.1194, (6, 7): 0.0018, (4, 6): 0.001, (6, 6): 0.0006, (2, 8): 0.1134, (9, 8): 0.1284, (9, 3): 0.1212, (9, 9): 0.0292, (1, 4): 0.113, (8, 9): 0.1234, (8, 8): 0.11, (2, 3): 0.1058, (5, 7): 0.001, (2, 4): 0.0304, (6, 5): 0.0006, }, {(4, 7): 0.0008, (1, 3): 0.1814, (6, 7): 0.0018, (4, 5): 0.0002, (2, 8): 0.0498, (9, 8): 0.1638, (9, 3): 0.1636, (9, 9): 0.16, (1, 4): 0.0416, (8, 9): 0.1522, (8, 8): 0.0344, (2, 3): 0.0398, (2, 4): 0.0106, }, ]
3 North [{(4, 7): 0.0004, (1, 3): 0.1036, (6, 7): 0.0026, (4, 6): 0.0016, (6, 6): 0.0004, (2, 8): 0.0966, (9, 8): 0.0506, (9, 3): 0.1116, (9, 9): 0.0068, (1, 4): 0.1952, (8, 9): 0.0496, (8, 8): 0.0982, (2, 3): 0.1792, (5, 7): 0.0002, (2, 4): 0.103, (6, 5): 0.0004, }, {(4, 7): 0.0002, (1, 3): 0.1066, (2, 8): 0.0278, (9, 8): 0.208, (9, 3): 0.0964, (9, 9): 0.3562, (1, 4): 0.012, (8, 9): 0.1586, (8, 8): 0.0194, (2, 3): 0.0132, (2, 4): 0.0016, }, ]
4 East [{(1, 3): 0.0488, (6, 7): 0.0004, (4, 6): 0.0004, (2, 8): 0.1546, (9, 8): 0.0374, (9, 3): 0.0454, (9, 9): 0.0038, (1, 4): 0.1544, (8, 9): 0.0446, (8, 8): 0.1626, (2, 3): 0.1776, (2, 4): 0.17, }, {(1, 3): 0.1408, (2, 8): 0.006, (9, 8): 0.1438, (9, 3): 0.1248, (9, 9): 0.4594, (1, 4): 0.0086, (8, 9): 0.1004, (8, 8): 0.0046, (2, 3): 0.0114, (2, 4): 0.0002, }, ]
5 South [{(1, 3): 0.038, (2, 8): 0.1346, (9, 8): 0.0162, (9, 3): 0.043, (9, 9): 0.0022, (1, 4): 0.2552, (8, 9): 0.0196, (8, 8): 0.0374, (2, 3): 0.3132, (2, 4): 0.1406, }, {(1, 3): 0.0504, (2, 8): 0.0082, (9, 8): 0.0906, (9, 3): 0.16, (9, 9): 0.611, (1, 4): 0.0042, (8, 9): 0.0678, (8, 8): 0.0016, (2, 3): 0.006, (2, 4): 0.0002, }, ]
6 West [{(1, 3): 0.0244, (2, 8): 0.08, (9, 8): 0.021, (9, 3): 0.0314, (9, 9): 0.0004, (1, 4): 0.3444, (8, 9): 0.0216, (8, 8): 0.0278, (2, 3): 0.3508, (2, 4): 0.0982, }, {(1, 3): 0.0318, (2, 8): 0.004, (9, 8): 0.109, (9, 3): 0.369, (9, 9): 0.3882, (1, 4): 0.0044, (8, 9): 0.0838, (8, 8): 0.0042, (2, 3): 0.0056, }, ]
7 North [{(1, 3): 0.0368, (2, 8): 0.1296, (9, 8): 0.0556, (9, 3): 0.0542, (9, 9): 0.0004, (1, 4): 0.2658, (8, 9): 0.0706, (8, 8): 0.0472, (2, 3): 0.3086, (2, 4): 0.0312, }, {(1, 3): 0.0136, (2, 8): 0.0018, (9, 8): 0.083, (9, 3): 0.155, (9, 9): 0.6766, (1, 4): 0.0012, (8, 9): 0.0666, (8, 8): 0.0008, (2, 3): 0.0014, }, ]
8 North [{(1, 3): 0.0122, (2, 8): 0.2138, (9, 8): 0.0476, (9, 3): 0.0264, (9, 9): 0.0004, (1, 4): 0.228, (8, 9): 0.058, (8, 8): 0.0782, (2, 3): 0.279, (2, 4): 0.0564, }, {(1, 3): 0.0156, (2, 8): 0.0008, (9, 8): 0.0462, (9, 3): 0.1696, (9, 9): 0.7306, (1, 4): 0.001, (8, 9): 0.035, (8, 8): 0.0004, (2, 3): 0.0008, }, ]
9 Stop [{(1, 3): 0.0014, (2, 8): 0.4766, (9, 8): 0.0698, (9, 3): 0.0064, (9, 9): 0.0004, (1, 4): 0.0698, (8, 9): 0.0616, (8, 8): 0.1856, (2, 3): 0.0914, (2, 4): 0.037, }, {(1, 3): 0.0402, (9, 8): 0.0156, (9, 3): 0.4154, (9, 9): 0.51, (1, 4): 0.0006, (8, 9): 0.0172, (2, 3): 0.001, }, ]
10 Stop [{(2, 8): 0.609, (9, 8): 0.0608, (9, 3): 0.0014, (1, 4): 0.0124, (8, 9): 0.0356, (8, 8): 0.251, (2, 3): 0.0152, (2, 4): 0.0146, }, {(1, 3): 0.0682, (9, 8): 0.0054, (9, 3): 0.6944, (9, 9): 0.227, (1, 4): 0.0002, (8, 9): 0.0042, (2, 3): 0.0006, }, ]
11 South [{(2, 8): 0.6672, (9, 8): 0.034, (1, 4): 0.0016, (8, 9): 0.0196, (8, 8): 0.27, (2, 3): 0.0032, (2, 4): 0.0044, }, {(8, 9): 0.0004, (9, 8): 0.0008, (1, 3): 0.0824, (9, 9): 0.0668, (9, 3): 0.8496, }, ]
12 Stop [{(2, 8): 0.6938, (9, 8): 0.0194, (1, 4): 0.0004, (8, 9): 0.011, (8, 8): 0.268, (2, 3): 0.001, (2, 4): 0.0064, }, {(8, 9): 0.0008, (9, 8): 0.003, (1, 3): 0.084, (9, 9): 0.0652, (9, 3): 0.847, }, ]
13 West [{(2, 8): 0.7096, (9, 8): 0.0116, (8, 9): 0.0068, (8, 8): 0.2652, (2, 3): 0.0004, (2, 4): 0.0064, }, {(8, 9): 0.0004, (9, 8): 0.0012, (9, 3): 0.8462, (9, 9): 0.064, (1, 3): 0.0882, }, ]
14 North [{(2, 8): 0.903, (9, 8): 0.0024, (8, 9): 0.0008, (8, 8): 0.0844, (2, 3): 0.0004, (2, 4): 0.009, }, {(8, 9): 0.0002, (9, 8): 0.0006, (1, 3): 0.026, (9, 9): 0.0764, (9, 3): 0.8968, }, ]
15 East [{(8, 9): 0.0002, (2, 8): 0.9708, (9, 8): 0.0014, (8, 8): 0.024, (2, 4): 0.0036, }, {(9, 3): 0.9706, (1, 3): 0.0078, (9, 9): 0.0216, }, ]
16 Stop [{(8, 9): 0.0002, (2, 8): 0.972, (9, 8): 0.0034, (8, 8): 0.0218, (2, 4): 0.0026, }, {(9, 3): 0.9874, (1, 3): 0.0078, (9, 9): 0.0048, }, ]
17 South [{(2, 8): 0.9736, (9, 8): 0.0048, (8, 8): 0.0192, (2, 4): 0.0024, }, {(9, 3): 0.9758, (1, 3): 0.008, (9, 9): 0.0162, }, ]
18 West [{(2, 8): 0.9664, (9, 8): 0.0116, (8, 8): 0.02, (2, 4): 0.002, }, {(9, 3): 0.9746, (1, 3): 0.0098, (9, 9): 0.0156, }, ]
19 North [{(2, 8): 0.9894, (9, 8): 0.0022, (8, 8): 0.006, (2, 4): 0.0024, }, {(9, 3): 0.9736, (1, 3): 0.0108, (9, 9): 0.0156, }, ]
20 South [{(2, 8): 0.9984, (8, 8): 0.0008, (2, 4): 0.0008, }, {(1, 3): 0.0028, (9, 3): 0.994, (9, 9): 0.0032, }, ]
21 Stop [{(2, 8): 0.9982, (8, 8): 0.0012, (2, 4): 0.0006, }, {(1, 3): 0.0032, (9, 3): 0.9938, (9, 9): 0.003, }, ]
22 North [{(2, 8): 0.999, (8, 8): 0.0002, (2, 4): 0.0008, }, {(1, 3): 0.0004, (9, 3): 0.9962, (9, 9): 0.0034, }, ]
23 East [{(2, 8): 0.9996, (2, 4): 0.0004, }, {(1, 3): 0.0034, (9, 3): 0.9826, (9, 9): 0.014, }, ]
24 West [{(2, 8): 0.9984, (2, 4): 0.0016, }, {(1, 3): 0.005, (9, 3): 0.991, (9, 9): 0.004, }, ]
25 South [{(2, 8): 0.9994, (2, 4): 0.0006, }, {(1, 3): 0.0008, (9, 3): 0.9988, (9, 9): 0.0004, }, ]
26 South [{(2, 8): 0.9992, (2, 4): 0.0008, }, {(1, 3): 0.0004, (9, 3): 0.9992, (9, 9): 0.0004, }, ]
27 Stop [{(2, 8): 0.9958, (2, 4): 0.0042, }, {(1, 3): 0.0002, (9, 3): 0.9996, (9, 9): 0.0002, }, ]
28 East [{(2, 8): 0.9988, (2, 4): 0.0012, }, {(9, 3): 0.9998, (9, 9): 0.0002, }, ]
29 North [{(2, 8): 0.9988, (2, 4): 0.0012, }, {(9, 3): 0.999, (9, 9): 0.001, }, ]
30 Stop [{(2, 8): 0.9982, (2, 4): 0.0018, }, {(9, 3): 0.9988, (9, 9): 0.0012, }, ]
31 South [{(2, 8): 0.9974, (2, 4): 0.0026, }, {(9, 3): 0.9996, (9, 9): 0.0004, }, ]
32 North [{(2, 8): 0.9994, (2, 4): 0.0006, }, {(9, 3): 0.9984, (9, 9): 0.0016, }, ]
33 Stop [{(2, 8): 0.9996, (2, 4): 0.0004, }, {(9, 3): 0.9984, (9, 9): 0.0016, }, ]
34 East [{(2, 8): 0.9998, (2, 4): 0.0002, }, {(9, 3): 0.9984, (9, 9): 0.0016, }, ]
35 North [{(2, 8): 0.9998, (2, 4): 0.0002, }, {(9, 3): 0.9982, (9, 9): 0.0018, }, ]
36 West [{(2, 8): 1.0, }, {(9, 3): 0.9998, (9, 9): 0.0002, }, ]
37 East [{(2, 8): 1.0, }, {(9, 3): 0.9996, (9, 9): 0.0004, }, ]
38 Stop [{(2, 8): 1.0, }, {(9, 3): 0.9998, (9, 9): 0.0002, }, ]
39 Stop [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
40 West [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
41 South [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
42 Stop [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
43 South [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
44 West [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
45 North [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
46 East [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
47 West [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
48 Stop [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
49 South [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
50 North [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
51 Stop [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
52 South [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
53 East [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
54 West [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
55 North [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
56 South [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
57 East [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
58 West [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
59 East [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
60 North [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
61 None [{(2, 8): 1.0, }, {(9, 3): 1.0, }, ]
"""
test_cases/q9/2-JointParticleUpdate.test
Executable
+31
View File
@@ -0,0 +1,31 @@
class: "DoubleInferenceAgentTest"
seed: "188"
layout: """
%%%%%%%%%%%
%%%%%%%% %
%%G%%%%% %
%%%% %%%%
%%%% P %%%%
%%%% %%%%
% %%%%%%%%
% %%%%%%G%
%%%%%%%%%%%
% % %%%%%%%
%%%%%%%%%%%
"""
observe: "True"
elapse: "False"
checkUniform: "False"
maxMoves: "60"
numGhosts: "2"
ghost: "DispersingSeededGhost"
inference: "MarginalInference"
L2Tolerance: "0.1"
errorMsg: "Joint particle filter observeUpdate test: %d inference errors."
test_cases/q9/3-JointParticleUpdate.solution
Executable
+1
View File
@@ -0,0 +1 @@
# This test checks that you successfully handle the case when all particle weights are set to 0
test_cases/q9/3-JointParticleUpdate.test
Executable
+41
View File
@@ -0,0 +1,41 @@
class: "ZeroWeightTest"
seed: "188"
layout: """
%%%%%
%P%G%
%%% %
%%%G%
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%% %
%%%%%
% %%%
%%%%%
"""
observe: "True"
elapse: "False"
maxMoves: "100"
numGhosts: "2"
ghost: "GoSouthAgent"
inference: "MarginalInference"
test_cases/q9/4-JointParticleUpdate.solution
Executable
+7
View File
@@ -0,0 +1,7 @@
# move_number action likelihood_dictionary
correctActions: """
0 None [{(1, 3): 0.25, (2, 3): 0.2502, (3, 3): 0.25, (4, 3): 0.2498, }, {(1, 3): 0.2498, (2, 3): 0.25, (3, 3): 0.2502, (4, 3): 0.25, }, ]
1 East [{(2, 3): 0.253, (3, 3): 0.2412, (4, 3): 0.5058, }, {(2, 3): 0.233, (3, 3): 0.2562, (4, 3): 0.5108, }, ]
2 East [{(1, 3): 0.2498, (2, 3): 0.25, (3, 3): 0.25, (4, 3): 0.2502, }, {(1, 3): 0.25, (2, 3): 0.25, (3, 3): 0.25, (4, 3): 0.25, }, ]
3 None [{(1, 3): 0.25, (2, 3): 0.2502, (3, 3): 0.2496, (4, 3): 0.2502, }, {(1, 3): 0.25, (2, 3): 0.2502, (3, 3): 0.2498, (4, 3): 0.25, }, ]
"""
test_cases/q9/4-JointParticleUpdate.test
Executable
+25
View File
@@ -0,0 +1,25 @@
class: "DoubleInferenceAgentTest"
seed: "188"
layout: """
%%%%%%
%P GG%
%%%%%%
% % %%
%%%%%%
"""
observe: "True"
elapse: "False"
checkUniform: "False"
maxMoves: "100"
numGhosts: "2"
ghost: "DispersingSeededGhost"
inference: "MarginalInference"
L2Tolerance: "0.05"
errorMsg: "Joint particle filter observeUpdate test: %d inference errors."
test_cases/q9/CONFIG
Executable
+3
View File
@@ -0,0 +1,3 @@
max_points: "3"
class: "PassAllTestsQuestion"