{ "Backtracking (CE-gated)": { "color": "#e08214", "ckpt": "ckpts/star-coconut-L10-bfs-backtrack-ce/checkpoint_355", "probe": { "hops": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ], "total": 256, "frontier": [ 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0 ], "exact": [ 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0 ], "neg": [ 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "superposition": [ 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 0.99609375, 0.99609375, 0.99609375 ], "conf": [ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 256, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0 ] ] }, "epochs": [ 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 335, 340, 345, 350, 355, 360, 365, 370, 375, 380, 385, 390, 395, 400, 405, 410, 415, 420, 425, 430, 435, 440, 445, 450, 455, 460, 465, 470, 475, 480, 485, 490, 495, 500, 505, 510, 515, 520, 525, 530, 535, 540, 545, 550, 555, 560, 565, 570, 575, 580, 585, 590, 595, 600, 605, 610, 615, 620, 625, 630, 635, 640, 645, 650, 655, 660, 665, 670, 675, 680, 685, 690, 695, 700, 705, 710, 715, 720, 725, 730, 735, 740, 745, 750, 755, 760, 765, 770, 775, 780, 785, 790, 795, 800, 805, 810, 815, 820, 825, 830, 835, 840, 845, 850, 855, 860, 865, 870, 875, 880, 885, 890, 895, 900, 905, 910, 915, 920, 925, 930, 935, 940, 945, 950, 955, 960, 965, 970, 975, 980, 985, 990, 995, 1000, 1005, 1010, 1015, 1020, 1025, 1030, 1035, 1040, 1045, 1050, 1055, 1060, 1065, 1070, 1075, 1080, 1085, 1090, 1095, 1100, 1105, 1110, 1115, 1120, 1125, 1130, 1135, 1140, 1145, 1150, 1155, 1160, 1165, 1170, 1175, 1180, 1185, 1190, 1195, 1200, 1205, 1210, 1215, 1220, 1225, 1230, 1235, 1240, 1245, 1250, 1255, 1260, 1265, 1270, 1275, 1280, 1285, 1290, 1295, 1300, 1305, 1310, 1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, 1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1410, 1415, 1420, 1425, 1430, 1435, 1440, 1445, 1450, 1455, 1460, 1465, 1470, 1475, 1480, 1485, 1490, 1495, 1500, 1505, 1510, 1515, 1520, 1525, 1530, 1535, 1540, 1545, 1550, 1555, 1560, 1565, 1570, 1575, 1580, 1585, 1590, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630, 1635, 1640, 1645, 1650, 1655, 1660, 1665, 1670, 1675, 1680, 1685, 1690, 1695, 1700, 1705, 1710, 1715, 1720, 1725, 1730, 1735, 1740, 1745, 1750, 1755, 1760, 1765, 1770, 1775, 1780, 1785, 1790, 1795, 1800, 1805, 1810, 1815, 1820, 1825, 1830, 1835, 1840, 1845, 1850, 1855, 1860, 1865, 1870, 1875, 1880, 1885, 1890, 1895, 1900, 1905, 1910, 1915, 1920, 1925, 1930, 1935, 1940, 1945, 1950, 1955, 1960, 1965, 1970, 1975, 1980, 1985, 1990, 1995, 2000 ], "val_acc": [ 0.015625, 0.01171875, 0.015625, 0.01171875, 0.0234375, 0.02734375, 0.02734375, 0.0078125, 0.015625, 0.02734375, 0.0234375, 0.03125, 0.015625, 0.0390625, 0.0234375, 0.04296875, 0.03515625, 0.0078125, 0.01171875, 0.05078125, 0.0234375, 0.02734375, 0.02734375, 0.015625, 0.02734375, 0.02734375, 0.01953125, 0.01953125, 0.0390625, 0.02734375, 0.04296875, 0.02734375, 0.03515625, 0.02734375, 0.0390625, 0.02734375, 0.02734375, 0.0234375, 0.44140625, 0.2265625, 0.5078125, 0.54296875, 0.21875, 0.68359375, 0.58984375, 0.0390625, 0.70703125, 0.6796875, 0.140625, 0.08203125, 0.83984375, 0.8671875, 0.6875, 0.2265625, 0.1640625, 0.09765625, 0.93359375, 0.97265625, 0.953125, 0.9296875, 0.9453125, 0.890625, 0.89453125, 0.91015625, 0.9921875, 0.9765625, 0.98046875, 0.953125, 0.99609375, 0.98046875, 1.0, 0.97265625, 0.99609375, 0.97265625, 0.99609375, 0.96875, 1.0, 0.9765625, 0.9921875, 0.95703125, 0.984375, 0.99609375, 0.859375, 0.9921875, 0.9765625, 1.0, 0.9921875, 0.98046875, 0.90625, 1.0, 0.94921875, 0.99609375, 0.984375, 1.0, 0.98828125, 0.98828125, 0.91015625, 1.0, 0.9453125, 1.0, 0.98828125, 0.97265625, 1.0, 0.9921875, 0.99609375, 0.95703125, 0.99609375, 0.99609375, 0.99609375, 0.9765625, 1.0, 0.99609375, 0.98828125, 0.984375, 0.99609375, 1.0, 0.97265625, 1.0, 1.0, 1.0, 0.9609375, 1.0, 0.9921875, 0.9921875, 0.984375, 0.98046875, 1.0, 0.984375, 0.9921875, 0.99609375, 0.984375, 1.0, 0.9921875, 0.9921875, 0.97265625, 1.0, 0.98828125, 0.9609375, 1.0, 0.984375, 0.96484375, 0.9921875, 0.99609375, 0.99609375, 0.98046875, 0.984375, 0.98046875, 0.953125, 0.98046875, 0.96484375, 1.0, 1.0, 1.0, 0.99609375, 0.95703125, 1.0, 0.984375, 0.98046875, 0.9921875, 1.0, 1.0, 0.984375, 0.99609375, 0.9921875, 0.9609375, 1.0, 1.0, 0.98828125, 0.98828125, 0.98046875, 1.0, 0.9921875, 0.98828125, 0.9609375, 0.99609375, 0.98046875, 0.9765625, 0.9921875, 1.0, 0.9921875, 0.9921875, 1.0, 0.99609375, 1.0, 0.98828125, 0.98828125, 0.98828125, 0.984375, 1.0, 1.0, 0.9765625, 0.98046875, 0.9921875, 0.99609375, 0.98046875, 1.0, 1.0, 0.9765625, 1.0, 0.9453125, 1.0, 1.0, 0.9765625, 0.984375, 0.9609375, 1.0, 1.0, 0.9921875, 1.0, 0.99609375, 0.9921875, 0.97265625, 0.95703125, 0.99609375, 0.98828125, 0.99609375, 1.0, 0.98828125, 0.96875, 1.0, 1.0, 0.9921875, 0.92578125, 1.0, 1.0, 0.984375, 0.98828125, 1.0, 1.0, 1.0, 1.0, 0.98046875, 0.98828125, 0.98828125, 0.98046875, 0.9921875, 0.98046875, 0.984375, 0.9921875, 0.99609375, 0.99609375, 1.0, 1.0, 1.0, 1.0, 1.0, 0.99609375, 0.99609375, 0.98828125, 0.9765625, 0.98828125, 1.0, 0.984375, 0.984375, 1.0, 0.99609375, 0.984375, 0.99609375, 0.99609375, 1.0, 0.99609375, 0.99609375, 1.0, 0.9921875, 0.984375, 0.9765625, 0.99609375, 0.98046875, 0.99609375, 1.0, 0.9921875, 1.0, 0.99609375, 0.99609375, 0.99609375, 1.0, 0.99609375, 1.0, 1.0, 0.99609375, 1.0, 1.0, 1.0, 0.99609375, 0.98828125, 0.98828125, 0.9921875, 0.98828125, 1.0, 1.0, 1.0, 1.0, 1.0, 0.99609375, 0.98828125, 0.98046875, 0.97265625, 1.0, 0.98828125, 0.984375, 1.0, 1.0, 1.0, 0.9921875, 0.98828125, 1.0, 1.0, 1.0, 1.0, 0.98828125, 0.99609375, 0.99609375, 0.99609375, 0.9921875, 0.99609375, 1.0, 0.9765625, 0.9921875, 0.99609375, 0.99609375, 1.0, 0.99609375, 0.9921875, 0.99609375, 0.99609375, 1.0, 1.0, 0.984375, 0.98046875, 0.98046875, 0.98828125, 0.99609375, 0.99609375, 0.9921875, 0.99609375, 0.9921875, 0.99609375, 1.0, 1.0, 0.99609375, 0.9921875, 0.99609375, 0.9921875, 0.99609375, 0.9921875, 0.99609375, 1.0, 0.99609375, 1.0, 0.9921875, 0.99609375, 0.99609375, 1.0, 1.0, 1.0, 0.99609375, 0.99609375, 0.9765625, 1.0, 0.984375, 0.9921875, 0.9921875, 0.99609375, 0.99609375, 0.9921875, 1.0, 0.99609375, 0.98828125, 0.99609375, 1.0, 0.99609375, 0.9921875, 0.99609375, 0.99609375, 0.99609375, 1.0, 0.98046875, 0.99609375, 0.9921875, 0.99609375, 1.0, 1.0, 1.0, 0.9921875, 0.99609375, 0.9921875, 0.9921875, 0.9921875, 0.99609375, 0.99609375, 0.99609375, 0.98828125, 1.0, 0.9921875, 0.98046875, 0.98828125, 0.99609375, 0.9921875, 1.0, 0.98828125 ], "stage": [ 1, 1, 1, 2, 2, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 6, 6, 6, 6, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10 ], "promotes": [ [ 15, 2 ], [ 35, 3 ], [ 55, 4 ], [ 80, 5 ], [ 100, 6 ], [ 120, 7 ], [ 135, 8 ], [ 170, 9 ], [ 190, 10 ] ] }, "Backtracking (superposition-gated)": { "color": "#762a83", "ckpt": "ckpts/star-coconut-L10-bfs-backtrack-superpos/checkpoint_400", "probe": { "hops": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ], "total": 256, "frontier": [ 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 0.99609375, 1.0, 1.0, 1.0 ], "exact": [ 1.0, 1.0, 1.0, 1.0, 1.0, 1.0, 0.99609375, 1.0, 1.0, 1.0 ], "neg": [ 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "superposition": [ 1.0, 1.0, 1.0, 0.99609375, 0.9921875, 0.98828125, 0.984375, 0.98828125, 0.984375, 0.984375 ], "conf": [ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 256, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 1, 0, 0, 0, 255, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 256, 0, 0 ] ] }, "epochs": [ 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 335, 340, 345, 350, 355, 360, 365, 370, 375, 380, 385, 390, 395, 400, 405, 410, 415, 420, 425, 430, 435, 440, 445, 450, 455, 460, 465, 470, 475, 480, 485, 490, 495, 500, 505, 510, 515, 520, 525, 530, 535, 540, 545, 550, 555, 560, 565, 570, 575, 580, 585, 590, 595, 600, 605, 610, 615, 620, 625, 630, 635, 640, 645, 650, 655, 660, 665, 670, 675, 680, 685, 690, 695, 700, 705, 710, 715, 720, 725, 730, 735, 740, 745, 750, 755, 760, 765, 770, 775, 780, 785, 790, 795, 800, 805, 810, 815, 820, 825, 830, 835, 840, 845, 850, 855, 860, 865, 870, 875, 880, 885, 890, 895, 900, 905, 910, 915, 920, 925, 930, 935, 940, 945, 950, 955, 960, 965, 970, 975, 980, 985, 990, 995, 1000, 1005, 1010, 1015, 1020, 1025, 1030, 1035, 1040, 1045, 1050, 1055, 1060, 1065, 1070, 1075, 1080, 1085, 1090, 1095, 1100, 1105, 1110, 1115, 1120, 1125, 1130, 1135, 1140, 1145, 1150, 1155, 1160, 1165, 1170, 1175, 1180, 1185, 1190, 1195, 1200, 1205, 1210, 1215, 1220, 1225, 1230, 1235, 1240, 1245, 1250, 1255, 1260, 1265, 1270, 1275, 1280, 1285, 1290, 1295, 1300, 1305, 1310, 1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, 1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1410, 1415, 1420, 1425, 1430, 1435, 1440, 1445, 1450, 1455, 1460, 1465, 1470, 1475, 1480, 1485, 1490, 1495, 1500, 1505, 1510, 1515, 1520, 1525, 1530, 1535, 1540, 1545, 1550, 1555, 1560, 1565, 1570, 1575, 1580, 1585, 1590, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630, 1635, 1640, 1645, 1650, 1655, 1660, 1665, 1670, 1675, 1680, 1685, 1690, 1695, 1700, 1705, 1710, 1715, 1720, 1725, 1730, 1735, 1740, 1745, 1750, 1755, 1760, 1765, 1770, 1775, 1780, 1785, 1790, 1795, 1800, 1805, 1810, 1815, 1820, 1825, 1830, 1835, 1840, 1845, 1850, 1855, 1860, 1865, 1870, 1875, 1880, 1885, 1890, 1895, 1900, 1905, 1910, 1915, 1920, 1925, 1930, 1935, 1940, 1945, 1950, 1955, 1960, 1965, 1970, 1975, 1980, 1985, 1990, 1995, 2000 ], "val_acc": [ 0.03515625, 0.03515625, 0.02734375, 0.015625, 0.0234375, 0.01953125, 0.0234375, 0.0078125, 0.0078125, 0.03515625, 0.02734375, 0.0390625, 0.05859375, 0.0234375, 0.02734375, 0.02734375, 0.03515625, 0.01953125, 0.0234375, 0.44921875, 0.33203125, 0.56640625, 0.2734375, 0.67578125, 0.1953125, 0.7890625, 0.80078125, 0.19140625, 0.0703125, 0.04296875, 0.8984375, 0.33984375, 0.5, 0.7421875, 0.44140625, 0.8046875, 0.92578125, 0.6328125, 0.35546875, 0.0625, 0.89453125, 0.890625, 0.78125, 0.94921875, 0.70703125, 0.671875, 0.9296875, 0.94921875, 0.89453125, 0.9921875, 0.9765625, 0.96484375, 0.80859375, 0.94921875, 0.91796875, 0.984375, 0.94921875, 0.921875, 0.984375, 0.93359375, 0.9765625, 0.95703125, 0.98046875, 0.9140625, 0.99609375, 0.96484375, 0.82421875, 0.9921875, 0.90234375, 0.9765625, 0.95703125, 0.98046875, 0.96875, 0.93359375, 0.99609375, 0.9609375, 0.9765625, 0.92578125, 0.91796875, 1.0, 0.96484375, 0.98046875, 0.953125, 0.9765625, 0.93359375, 0.99609375, 0.93359375, 0.953125, 0.99609375, 0.97265625, 0.96875, 0.9140625, 0.984375, 0.9921875, 0.98046875, 0.9765625, 0.984375, 0.96875, 0.96875, 0.94140625, 0.94921875, 1.0, 0.98828125, 0.97265625, 0.90625, 0.99609375, 0.984375, 0.94921875, 0.98046875, 0.99609375, 0.91015625, 0.99609375, 0.984375, 0.9609375, 0.96484375, 0.96484375, 0.9453125, 0.984375, 0.953125, 0.96484375, 0.953125, 0.9453125, 0.98828125, 0.93359375, 0.97265625, 0.92578125, 1.0, 0.9765625, 0.98828125, 0.984375, 0.96875, 0.9609375, 0.98046875, 0.94921875, 0.99609375, 0.99609375, 0.98046875, 0.9609375, 0.9609375, 0.94921875, 0.9765625, 0.984375, 0.97265625, 0.9765625, 0.984375, 0.97265625, 0.96875, 0.97265625, 0.9765625, 0.98046875, 0.96875, 1.0, 0.98828125, 0.96484375, 0.9921875, 0.96875, 0.98828125, 0.953125, 0.9375, 1.0, 0.94921875, 0.96484375, 0.9609375, 1.0, 0.99609375, 0.984375, 0.9765625, 0.9921875, 0.9921875, 0.9921875, 0.98046875, 0.9765625, 0.98828125, 0.98828125, 0.98828125, 0.98046875, 0.9921875, 1.0, 0.99609375, 0.984375, 0.96875, 0.96875, 0.9453125, 0.953125, 0.9921875, 0.984375, 0.98046875, 0.98828125, 0.97265625, 0.984375, 0.953125, 1.0, 1.0, 1.0, 1.0, 0.984375, 0.9609375, 0.984375, 0.9921875, 0.99609375, 1.0, 0.98828125, 0.98828125, 1.0, 0.98046875, 0.984375, 0.98828125, 0.9765625, 0.9609375, 0.96484375, 0.953125, 0.9453125, 0.9609375, 0.9609375, 0.9765625, 0.98046875, 0.984375, 0.9921875, 0.984375, 0.96484375, 0.9765625, 0.98046875, 0.9921875, 0.98828125, 0.98828125, 0.98828125, 0.9765625, 0.99609375, 0.99609375, 0.9921875, 0.9921875, 0.984375, 0.984375, 0.984375, 0.99609375, 0.98046875, 0.99609375, 0.99609375, 0.9765625, 0.9609375, 0.9765625, 0.96484375, 0.984375, 1.0, 0.98046875, 1.0, 0.9375, 0.96484375, 0.9609375, 0.9609375, 0.98828125, 0.96875, 0.98828125, 0.98046875, 0.984375, 1.0, 0.9921875, 0.984375, 0.9921875, 0.9921875, 0.98046875, 0.9765625, 0.99609375, 0.98046875, 0.9765625, 1.0, 0.99609375, 0.96484375, 0.984375, 0.98828125, 0.94921875, 0.9921875, 0.984375, 0.98046875, 0.97265625, 0.96875, 0.96484375, 0.96484375, 0.96484375, 0.9921875, 0.9765625, 0.98046875, 0.9609375, 0.9609375, 0.96875, 0.9765625, 0.96875, 0.984375, 0.98828125, 0.9765625, 0.9453125, 0.9765625, 0.98046875, 0.9921875, 0.98828125, 0.953125, 0.984375, 0.98046875, 0.96484375, 0.9765625, 0.98046875, 0.98046875, 0.94921875, 0.97265625, 0.984375, 0.97265625, 0.98828125, 1.0, 0.98046875, 0.9921875, 0.9765625, 0.97265625, 0.97265625, 0.9921875, 0.9921875, 0.98828125, 0.96484375, 0.9765625, 0.97265625, 0.98046875, 0.96875, 0.9765625, 0.984375, 0.984375, 0.9921875, 0.9765625, 0.96875, 0.98046875, 0.96484375, 0.96484375, 0.984375, 0.97265625, 0.953125, 0.9765625, 0.94921875, 0.9609375, 0.984375, 0.9296875, 0.87109375, 0.9765625, 0.98046875, 0.95703125, 0.95703125, 0.96484375, 0.97265625, 0.97265625, 0.94140625, 0.95703125, 0.9453125, 0.9453125, 0.95703125, 0.9296875, 0.9453125, 0.921875, 0.94921875, 0.9375, 0.94921875, 0.94921875, 0.93359375, 0.96484375, 0.91796875, 0.9765625, 0.9453125, 0.9609375, 0.94921875, 0.93359375, 0.96484375, 0.93359375, 0.9375, 0.9296875, 0.97265625, 0.95703125, 0.9609375, 0.9765625, 0.953125, 0.96484375, 0.95703125, 0.9296875, 0.9453125, 0.95703125, 0.8984375, 0.9375, 0.92578125, 0.94140625, 0.94921875, 0.94140625, 0.9453125, 0.921875, 0.94921875, 0.94921875, 0.9296875, 0.9375, 0.93359375, 0.921875, 0.93359375, 0.96875, 0.97265625, 0.9453125, 0.94140625, 0.921875 ], "stage": [ 1, 2, 3, 4, 5, 5, 5, 5, 6, 6, 6, 7, 7, 8, 8, 8, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10 ], "promotes": [ [ 5, 2 ], [ 10, 3 ], [ 15, 4 ], [ 20, 5 ], [ 40, 6 ], [ 55, 7 ], [ 65, 8 ], [ 80, 9 ], [ 95, 10 ] ] }, "Backtracking (frontier-gated)": { "color": "#1b7837", "ckpt": "ckpts/star-coconut-L10-bfs-backtrack/checkpoint_650", "probe": { "hops": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ], "total": 256, "frontier": [ 1.0, 1.0, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.9921875, 0.99609375 ], "exact": [ 1.0, 1.0, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.99609375, 0.9921875, 0.99609375 ], "neg": [ 0.0, 0.0, 0.00390625, 0.0, 0.0, 0.00390625, 0.00390625, 0.00390625, 0.00390625, 0.0 ], "superposition": [ 1.0, 0.984375, 0.9765625, 0.953125, 0.91796875, 0.84375, 0.7734375, 0.640625, 0.52734375, 0.390625 ], "conf": [ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 256, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 255, 0, 0, 0, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 255, 0, 0, 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 255, 0, 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 255, 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 255, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 255, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 254, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 255, 0, 0 ] ] }, "epochs": [ 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 335, 340, 345, 350, 355, 360, 365, 370, 375, 380, 385, 390, 395, 400, 405, 410, 415, 420, 425, 430, 435, 440, 445, 450, 455, 460, 465, 470, 475, 480, 485, 490, 495, 500, 505, 510, 515, 520, 525, 530, 535, 540, 545, 550, 555, 560, 565, 570, 575, 580, 585, 590, 595, 600, 605, 610, 615, 620, 625, 630, 635, 640, 645, 650, 655, 660, 665, 670, 675, 680, 685, 690, 695, 700, 705, 710, 715, 720, 725, 730, 735, 740, 745, 750, 755, 760, 765, 770, 775, 780, 785, 790, 795, 800, 805, 810, 815, 820, 825, 830, 835, 840, 845, 850, 855, 860, 865, 870, 875, 880, 885, 890, 895, 900, 905, 910, 915, 920, 925, 930, 935, 940, 945, 950, 955, 960, 965, 970, 975, 980, 985, 990, 995, 1000, 1005, 1010, 1015, 1020, 1025, 1030, 1035, 1040, 1045, 1050, 1055, 1060, 1065, 1070, 1075, 1080, 1085, 1090, 1095, 1100, 1105, 1110, 1115, 1120, 1125, 1130, 1135, 1140, 1145, 1150, 1155, 1160, 1165, 1170, 1175, 1180, 1185, 1190, 1195, 1200, 1205, 1210, 1215, 1220, 1225, 1230, 1235, 1240, 1245, 1250, 1255, 1260, 1265, 1270, 1275, 1280, 1285, 1290, 1295, 1300, 1305, 1310, 1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, 1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1410, 1415, 1420, 1425, 1430, 1435, 1440, 1445, 1450, 1455, 1460, 1465, 1470, 1475, 1480, 1485, 1490, 1495, 1500, 1505, 1510, 1515, 1520, 1525, 1530, 1535, 1540, 1545, 1550, 1555, 1560, 1565, 1570, 1575, 1580, 1585, 1590, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630, 1635, 1640, 1645, 1650, 1655, 1660, 1665, 1670, 1675, 1680, 1685, 1690, 1695, 1700, 1705, 1710, 1715, 1720, 1725, 1730, 1735, 1740, 1745, 1750, 1755, 1760, 1765, 1770, 1775, 1780, 1785, 1790, 1795, 1800, 1805, 1810, 1815, 1820, 1825, 1830, 1835, 1840, 1845, 1850, 1855, 1860, 1865, 1870, 1875, 1880, 1885, 1890, 1895, 1900, 1905, 1910, 1915, 1920, 1925, 1930, 1935, 1940, 1945, 1950, 1955, 1960, 1965, 1970, 1975, 1980, 1985, 1990, 1995, 2000 ], "val_acc": [ 0.01953125, 0.015625, 0.015625, 0.015625, 0.0, 0.00390625, 0.00390625, 0.00390625, 0.0078125, 0.015625, 0.01953125, 0.03125, 0.03515625, 0.0234375, 0.05078125, 0.03125, 0.04296875, 0.0546875, 0.0546875, 0.0625, 0.02734375, 0.03515625, 0.0390625, 0.03125, 0.02734375, 0.0625, 0.0390625, 0.05859375, 0.04296875, 0.0234375, 0.02734375, 0.015625, 0.03125, 0.0234375, 0.0390625, 0.0390625, 0.03125, 0.015625, 0.03125, 0.03125, 0.48046875, 0.50390625, 0.5390625, 0.08203125, 0.63671875, 0.3984375, 0.12890625, 0.6953125, 0.703125, 0.62109375, 0.75, 0.71484375, 0.49609375, 0.7109375, 0.7265625, 0.6640625, 0.50390625, 0.47265625, 0.49609375, 0.79296875, 0.61328125, 0.734375, 0.6796875, 0.72265625, 0.6796875, 0.78125, 0.7421875, 0.55859375, 0.7578125, 0.6953125, 0.32421875, 0.73046875, 0.61328125, 0.76171875, 0.6328125, 0.73828125, 0.71875, 0.69140625, 0.7265625, 0.7421875, 0.78515625, 0.78125, 0.67578125, 0.75, 0.703125, 0.73046875, 0.72265625, 0.75390625, 0.71484375, 0.76171875, 0.73828125, 0.7734375, 0.75390625, 0.6796875, 0.73828125, 0.76171875, 0.73046875, 0.6875, 0.66796875, 0.75390625, 0.73046875, 0.73046875, 0.7265625, 0.76171875, 0.75, 0.703125, 0.72265625, 0.70703125, 0.68359375, 0.61328125, 0.71875, 0.72265625, 0.6875, 0.71484375, 0.25390625, 0.72265625, 0.75390625, 0.73828125, 0.70703125, 0.66796875, 0.6484375, 0.67578125, 0.6796875, 0.71484375, 0.640625, 0.57421875, 0.71875, 0.7265625, 0.6484375, 0.8359375, 0.73046875, 0.73046875, 0.69140625, 0.66796875, 0.69921875, 0.70703125, 0.70703125, 0.71484375, 0.65625, 0.72265625, 0.66796875, 0.66796875, 0.6875, 0.65625, 0.671875, 0.6875, 0.6796875, 0.6796875, 0.69140625, 0.74609375, 0.66015625, 0.6875, 0.671875, 0.6484375, 0.6796875, 0.6875, 0.671875, 0.6953125, 0.70703125, 0.75, 0.69921875, 0.72265625, 0.69921875, 0.69921875, 0.73046875, 0.6875, 0.71875, 0.66796875, 0.66796875, 0.69140625, 0.68359375, 0.69140625, 0.69921875, 0.69140625, 0.6796875, 0.71484375, 0.7265625, 0.7109375, 0.68359375, 0.65234375, 0.66015625, 0.671875, 0.6875, 0.6875, 0.7578125, 0.6796875, 0.70703125, 0.7265625, 0.71875, 0.7109375, 0.71484375, 0.71875, 0.734375, 0.6875, 0.69921875, 0.69921875, 0.73828125, 0.66015625, 0.7109375, 0.7109375, 0.68359375, 0.7109375, 0.7265625, 0.7109375, 0.7109375, 0.6796875, 0.6875, 0.703125, 0.7109375, 0.703125, 0.69140625, 0.72265625, 0.69921875, 0.71484375, 0.7109375, 0.73828125, 0.72265625, 0.765625, 0.73046875, 0.6953125, 0.75390625, 0.703125, 0.75390625, 0.71875, 0.75390625, 0.73046875, 0.70703125, 0.7265625, 0.734375, 0.72265625, 0.7578125, 0.71875, 0.68359375, 0.70703125, 0.73828125, 0.73046875, 0.68359375, 0.71875, 0.6796875, 0.68359375, 0.703125, 0.71484375, 0.73828125, 0.71484375, 0.75390625, 0.73046875, 0.71875, 0.73828125, 0.734375, 0.6953125, 0.6875, 0.72265625, 0.6875, 0.69921875, 0.6796875, 0.671875, 0.7265625, 0.71484375, 0.6875, 0.67578125, 0.6640625, 0.71875, 0.703125, 0.703125, 0.71484375, 0.7734375, 0.6953125, 0.7421875, 0.6875, 0.75, 0.74609375, 0.7265625, 0.71484375, 0.72265625, 0.66796875, 0.71484375, 0.73828125, 0.75, 0.73828125, 0.73828125, 0.734375, 0.7265625, 0.70703125, 0.66796875, 0.69140625, 0.71484375, 0.73046875, 0.75390625, 0.71484375, 0.7265625, 0.66796875, 0.74609375, 0.71875, 0.75, 0.71484375, 0.66796875, 0.7109375, 0.66015625, 0.7109375, 0.69140625, 0.6640625, 0.72265625, 0.72265625, 0.71875, 0.72265625, 0.69140625, 0.69140625, 0.7109375, 0.73046875, 0.734375, 0.73046875, 0.71484375, 0.71484375, 0.72265625, 0.73046875, 0.734375, 0.7421875, 0.7265625, 0.72265625, 0.7109375, 0.69921875, 0.6796875, 0.68359375, 0.68359375, 0.734375, 0.734375, 0.6953125, 0.7109375, 0.7421875, 0.703125, 0.72265625, 0.73046875, 0.71875, 0.703125, 0.69921875, 0.6875, 0.68359375, 0.6953125, 0.71875, 0.71484375, 0.76171875, 0.70703125, 0.75, 0.7734375, 0.72265625, 0.71484375, 0.74609375, 0.72265625, 0.6875, 0.72265625, 0.7421875, 0.78125, 0.734375, 0.6796875, 0.66796875, 0.73046875, 0.703125, 0.7109375, 0.734375, 0.69921875, 0.70703125, 0.72265625, 0.7109375, 0.7109375, 0.75, 0.76953125, 0.6953125, 0.703125, 0.7421875, 0.73828125, 0.734375, 0.71484375, 0.74609375, 0.69921875, 0.71875, 0.7265625, 0.76953125, 0.71484375, 0.734375, 0.73828125, 0.75390625, 0.72265625, 0.6953125, 0.70703125, 0.703125, 0.73828125, 0.67578125, 0.71484375, 0.703125, 0.71484375, 0.73828125, 0.7109375, 0.69921875, 0.7109375, 0.7265625, 0.75, 0.73828125, 0.71875, 0.71484375, 0.6796875 ], "stage": [ 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 8, 8, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10 ], "promotes": [ [ 35, 1 ], [ 50, 2 ], [ 65, 3 ], [ 100, 4 ], [ 120, 5 ], [ 130, 6 ], [ 170, 7 ], [ 180, 8 ], [ 190, 9 ], [ 200, 10 ] ] }, "Current-stage-only": { "color": "#2166ac", "ckpt": "ckpts/star-coconut-L10-bfs-curstage/checkpoint_1055", "probe": { "hops": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ], "total": 256, "frontier": [ 0.9765625, 0.97265625, 0.97265625, 0.97265625, 0.96875, 0.96875, 0.96875, 0.96875, 0.96875, 0.93359375 ], "exact": [ 0.9765625, 0.97265625, 0.97265625, 0.97265625, 0.96875, 0.96875, 0.96875, 0.96875, 0.96875, 0.93359375 ], "neg": [ 0.0, 0.0078125, 0.01171875, 0.0078125, 0.01171875, 0.01171875, 0.01171875, 0.01953125, 0.0234375, 0.0625 ], "superposition": [ 0.78125, 0.32421875, 0.08984375, 0.03515625, 0.03125, 0.04296875, 0.015625, 0.03125, 0.02734375, 0.13671875 ], "conf": [ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 250, 0, 0, 1, 1, 1, 0, 1, 2, 0, 0, 0 ], [ 0, 0, 249, 0, 0, 1, 1, 1, 0, 0, 2, 2, 0 ], [ 0, 0, 0, 249, 1, 0, 1, 1, 1, 0, 0, 3, 0 ], [ 0, 0, 0, 0, 249, 1, 0, 1, 1, 1, 1, 2, 0 ], [ 0, 0, 0, 0, 0, 248, 2, 0, 1, 1, 1, 3, 0 ], [ 0, 0, 0, 0, 1, 1, 248, 1, 0, 1, 1, 3, 0 ], [ 0, 0, 0, 0, 0, 1, 2, 248, 1, 0, 1, 3, 0 ], [ 0, 1, 0, 0, 0, 0, 0, 1, 248, 1, 0, 5, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 248, 1, 6, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 239, 16, 0 ] ] }, "epochs": [ 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 335, 340, 345, 350, 355, 360, 365, 370, 375, 380, 385, 390, 395, 400, 405, 410, 415, 420, 425, 430, 435, 440, 445, 450, 455, 460, 465, 470, 475, 480, 485, 490, 495, 500, 505, 510, 515, 520, 525, 530, 535, 540, 545, 550, 555, 560, 565, 570, 575, 580, 585, 590, 595, 600, 605, 610, 615, 620, 625, 630, 635, 640, 645, 650, 655, 660, 665, 670, 675, 680, 685, 690, 695, 700, 705, 710, 715, 720, 725, 730, 735, 740, 745, 750, 755, 760, 765, 770, 775, 780, 785, 790, 795, 800, 805, 810, 815, 820, 825, 830, 835, 840, 845, 850, 855, 860, 865, 870, 875, 880, 885, 890, 895, 900, 905, 910, 915, 920, 925, 930, 935, 940, 945, 950, 955, 960, 965, 970, 975, 980, 985, 990, 995, 1000, 1005, 1010, 1015, 1020, 1025, 1030, 1035, 1040, 1045, 1050, 1055, 1060, 1065, 1070, 1075, 1080, 1085, 1090, 1095, 1100, 1105, 1110, 1115, 1120, 1125, 1130, 1135, 1140, 1145, 1150, 1155, 1160, 1165, 1170, 1175, 1180, 1185, 1190, 1195, 1200, 1205, 1210, 1215, 1220, 1225, 1230, 1235, 1240, 1245, 1250, 1255, 1260, 1265, 1270, 1275, 1280, 1285, 1290, 1295, 1300, 1305, 1310, 1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, 1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1410, 1415, 1420, 1425, 1430, 1435, 1440, 1445, 1450, 1455, 1460, 1465, 1470, 1475, 1480, 1485, 1490, 1495, 1500, 1505, 1510, 1515, 1520, 1525, 1530, 1535, 1540, 1545, 1550, 1555, 1560, 1565, 1570, 1575, 1580, 1585, 1590, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630, 1635, 1640, 1645, 1650, 1655, 1660, 1665, 1670, 1675, 1680, 1685, 1690, 1695, 1700, 1705, 1710, 1715, 1720, 1725, 1730, 1735, 1740, 1745, 1750, 1755, 1760, 1765, 1770, 1775, 1780, 1785, 1790, 1795, 1800, 1805, 1810, 1815, 1820, 1825, 1830, 1835, 1840, 1845, 1850, 1855, 1860, 1865, 1870, 1875, 1880, 1885, 1890, 1895, 1900, 1905, 1910, 1915, 1920, 1925, 1930, 1935, 1940, 1945, 1950, 1955, 1960, 1965, 1970, 1975, 1980, 1985, 1990, 1995, 2000 ], "val_acc": [ 0.01953125, 0.015625, 0.015625, 0.015625, 0.0, 0.00390625, 0.00390625, 0.00390625, 0.0, 0.01171875, 0.015625, 0.01171875, 0.01171875, 0.04296875, 0.05859375, 0.0625, 0.06640625, 0.0625, 0.11328125, 0.15234375, 0.10546875, 0.09765625, 0.13671875, 0.1328125, 0.14453125, 0.21875, 0.05078125, 0.14453125, 0.140625, 0.09375, 0.171875, 0.08984375, 0.15234375, 0.22265625, 0.140625, 0.1171875, 0.16796875, 0.16796875, 0.1171875, 0.1328125, 0.1015625, 0.2578125, 0.19140625, 0.203125, 0.19921875, 0.13671875, 0.16796875, 0.109375, 0.12890625, 0.07421875, 0.0703125, 0.11328125, 0.08984375, 0.11328125, 0.16015625, 0.140625, 0.125, 0.0390625, 0.078125, 0.0546875, 0.12109375, 0.0546875, 0.06640625, 0.07421875, 0.09765625, 0.078125, 0.046875, 0.1171875, 0.07421875, 0.1015625, 0.09375, 0.1171875, 0.08984375, 0.09375, 0.109375, 0.16015625, 0.15625, 0.15234375, 0.1640625, 0.11328125, 0.203125, 0.1640625, 0.13671875, 0.19921875, 0.203125, 0.27734375, 0.3046875, 0.24609375, 0.2578125, 0.27734375, 0.33203125, 0.28125, 0.30078125, 0.3984375, 0.3203125, 0.3203125, 0.3828125, 0.41796875, 0.38671875, 0.34765625, 0.37109375, 0.41015625, 0.37109375, 0.37109375, 0.3828125, 0.3828125, 0.3671875, 0.41015625, 0.42578125, 0.44921875, 0.421875, 0.4140625, 0.41015625, 0.40234375, 0.40625, 0.421875, 0.39453125, 0.44140625, 0.390625, 0.37109375, 0.3984375, 0.40625, 0.38671875, 0.4375, 0.43359375, 0.4453125, 0.421875, 0.43359375, 0.3984375, 0.2265625, 0.20703125, 0.21875, 0.2421875, 0.015625, 0.4375, 0.40234375, 0.609375, 0.69140625, 0.6484375, 0.67578125, 0.66796875, 0.69921875, 0.71875, 0.70703125, 0.71484375, 0.70703125, 0.6796875, 0.70703125, 0.671875, 0.7109375, 0.6953125, 0.71875, 0.734375, 0.75, 0.734375, 0.75390625, 0.78125, 0.70703125, 0.703125, 0.76953125, 0.765625, 0.75390625, 0.73828125, 0.734375, 0.76171875, 0.76953125, 0.73828125, 0.75390625, 0.74609375, 0.75390625, 0.76171875, 0.70703125, 0.7421875, 0.71875, 0.77734375, 0.7734375, 0.765625, 0.765625, 0.765625, 0.73046875, 0.73828125, 0.76953125, 0.75390625, 0.75390625, 0.72265625, 0.71875, 0.72265625, 0.6953125, 0.73046875, 0.7421875, 0.7109375, 0.71875, 0.765625, 0.75, 0.75, 0.71875, 0.76171875, 0.7265625, 0.7421875, 0.6875, 0.7109375, 0.76171875, 0.73828125, 0.72265625, 0.703125, 0.72265625, 0.7109375, 0.6953125, 0.7109375, 0.74609375, 0.78515625, 0.75, 0.75390625, 0.77734375, 0.72265625, 0.76171875, 0.71875, 0.73046875, 0.72265625, 0.703125, 0.7109375, 0.68359375, 0.69921875, 0.68359375, 0.69921875, 0.671875, 0.65625, 0.6875, 0.66015625, 0.703125, 0.69140625, 0.69921875, 0.6875, 0.66796875, 0.703125, 0.68359375, 0.734375, 0.66796875, 0.6875, 0.66015625, 0.6796875, 0.734375, 0.671875, 0.71875, 0.734375, 0.68359375, 0.70703125, 0.75390625, 0.7109375, 0.67578125, 0.703125, 0.68359375, 0.703125, 0.64453125, 0.7421875, 0.671875, 0.71484375, 0.6953125, 0.6640625, 0.703125, 0.625, 0.66015625, 0.68359375, 0.7109375, 0.7109375, 0.69921875, 0.625, 0.65234375, 0.640625, 0.65234375, 0.72265625, 0.671875, 0.6875, 0.65625, 0.6484375, 0.6640625, 0.703125, 0.65625, 0.6640625, 0.7265625, 0.6953125, 0.671875, 0.65234375, 0.6953125, 0.66796875, 0.671875, 0.625, 0.6953125, 0.6875, 0.66015625, 0.66796875, 0.6796875, 0.6875, 0.65234375, 0.6328125, 0.72265625, 0.640625, 0.6640625, 0.67578125, 0.67578125, 0.6796875, 0.640625, 0.66796875, 0.67578125, 0.6796875, 0.66015625, 0.64453125, 0.6484375, 0.66015625, 0.66015625, 0.6796875, 0.6640625, 0.61328125, 0.640625, 0.59765625, 0.578125, 0.6484375, 0.66796875, 0.65234375, 0.62890625, 0.63671875, 0.62109375, 0.62890625, 0.59375, 0.6015625, 0.63671875, 0.625, 0.64453125, 0.62109375, 0.65234375, 0.62109375, 0.61328125, 0.60546875, 0.6015625, 0.625, 0.69140625, 0.65234375, 0.65234375, 0.66796875, 0.63671875, 0.66796875, 0.6640625, 0.65234375, 0.6640625, 0.640625, 0.61328125, 0.6796875, 0.5859375, 0.66796875, 0.625, 0.65625, 0.60546875, 0.6171875, 0.609375, 0.63671875, 0.6328125, 0.625, 0.6171875, 0.64453125, 0.59765625, 0.6328125, 0.63671875, 0.6484375, 0.58203125, 0.640625, 0.62109375, 0.6171875, 0.6171875, 0.64453125, 0.64453125, 0.63671875, 0.6328125, 0.63671875, 0.5859375, 0.6328125, 0.61328125, 0.6015625, 0.65234375, 0.66015625, 0.671875, 0.63671875, 0.6640625, 0.62890625, 0.63671875, 0.68359375, 0.6953125, 0.640625, 0.6484375, 0.671875, 0.66796875, 0.68359375, 0.6875, 0.71875, 0.66796875, 0.70703125, 0.72265625, 0.71484375, 0.671875, 0.69140625, 0.68359375 ], "stage": [ 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 6, 7, 8, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10 ], "promotes": [ [ 35, 1 ], [ 65, 2 ], [ 105, 3 ], [ 235, 4 ], [ 645, 5 ], [ 650, 6 ], [ 655, 7 ], [ 660, 8 ], [ 665, 9 ], [ 670, 10 ] ] }, "Retention-gated (no repair)": { "color": "#b2182b", "ckpt": "ckpts/star-coconut-L10-bfs-accstage-nobt/checkpoint_730", "probe": { "hops": [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 ], "total": 256, "frontier": [ 0.953125, 0.953125, 0.91015625, 0.8984375, 0.84375, 0.85546875, 0.80078125, 0.796875, 0.796875, 0.74609375 ], "exact": [ 0.953125, 0.953125, 0.91015625, 0.8984375, 0.84375, 0.85546875, 0.80078125, 0.796875, 0.796875, 0.74609375 ], "neg": [ 0.01953125, 0.02734375, 0.046875, 0.06640625, 0.07421875, 0.0625, 0.09765625, 0.12890625, 0.10546875, 0.15234375 ], "superposition": [ 0.37890625, 0.09765625, 0.05078125, 0.0234375, 0.046875, 0.02734375, 0.0390625, 0.02734375, 0.015625, 0.0078125 ], "conf": [ [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 244, 0, 0, 0, 2, 2, 0, 0, 1, 2, 5, 0 ], [ 0, 0, 244, 2, 2, 0, 0, 0, 1, 0, 0, 7, 0 ], [ 0, 0, 0, 233, 3, 2, 1, 3, 0, 1, 0, 12, 1 ], [ 0, 1, 0, 3, 230, 0, 4, 0, 0, 1, 0, 17, 0 ], [ 0, 0, 3, 4, 3, 216, 2, 2, 3, 4, 0, 19, 0 ], [ 0, 1, 2, 2, 3, 4, 219, 1, 4, 3, 1, 16, 0 ], [ 0, 2, 3, 4, 3, 2, 6, 205, 2, 4, 0, 25, 0 ], [ 0, 0, 1, 2, 2, 2, 5, 3, 204, 2, 2, 33, 0 ], [ 1, 0, 0, 6, 3, 3, 4, 4, 3, 204, 1, 27, 0 ], [ 0, 4, 0, 4, 4, 3, 2, 4, 2, 3, 191, 39, 0 ] ] }, "epochs": [ 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, 70, 75, 80, 85, 90, 95, 100, 105, 110, 115, 120, 125, 130, 135, 140, 145, 150, 155, 160, 165, 170, 175, 180, 185, 190, 195, 200, 205, 210, 215, 220, 225, 230, 235, 240, 245, 250, 255, 260, 265, 270, 275, 280, 285, 290, 295, 300, 305, 310, 315, 320, 325, 330, 335, 340, 345, 350, 355, 360, 365, 370, 375, 380, 385, 390, 395, 400, 405, 410, 415, 420, 425, 430, 435, 440, 445, 450, 455, 460, 465, 470, 475, 480, 485, 490, 495, 500, 505, 510, 515, 520, 525, 530, 535, 540, 545, 550, 555, 560, 565, 570, 575, 580, 585, 590, 595, 600, 605, 610, 615, 620, 625, 630, 635, 640, 645, 650, 655, 660, 665, 670, 675, 680, 685, 690, 695, 700, 705, 710, 715, 720, 725, 730, 735, 740, 745, 750, 755, 760, 765, 770, 775, 780, 785, 790, 795, 800, 805, 810, 815, 820, 825, 830, 835, 840, 845, 850, 855, 860, 865, 870, 875, 880, 885, 890, 895, 900, 905, 910, 915, 920, 925, 930, 935, 940, 945, 950, 955, 960, 965, 970, 975, 980, 985, 990, 995, 1000, 1005, 1010, 1015, 1020, 1025, 1030, 1035, 1040, 1045, 1050, 1055, 1060, 1065, 1070, 1075, 1080, 1085, 1090, 1095, 1100, 1105, 1110, 1115, 1120, 1125, 1130, 1135, 1140, 1145, 1150, 1155, 1160, 1165, 1170, 1175, 1180, 1185, 1190, 1195, 1200, 1205, 1210, 1215, 1220, 1225, 1230, 1235, 1240, 1245, 1250, 1255, 1260, 1265, 1270, 1275, 1280, 1285, 1290, 1295, 1300, 1305, 1310, 1315, 1320, 1325, 1330, 1335, 1340, 1345, 1350, 1355, 1360, 1365, 1370, 1375, 1380, 1385, 1390, 1395, 1400, 1405, 1410, 1415, 1420, 1425, 1430, 1435, 1440, 1445, 1450, 1455, 1460, 1465, 1470, 1475, 1480, 1485, 1490, 1495, 1500, 1505, 1510, 1515, 1520, 1525, 1530, 1535, 1540, 1545, 1550, 1555, 1560, 1565, 1570, 1575, 1580, 1585, 1590, 1595, 1600, 1605, 1610, 1615, 1620, 1625, 1630, 1635, 1640, 1645, 1650, 1655, 1660, 1665, 1670, 1675, 1680, 1685, 1690, 1695, 1700, 1705, 1710, 1715, 1720, 1725, 1730, 1735, 1740, 1745, 1750, 1755, 1760, 1765, 1770, 1775, 1780, 1785, 1790, 1795, 1800, 1805, 1810, 1815, 1820, 1825, 1830, 1835, 1840, 1845, 1850, 1855, 1860, 1865, 1870, 1875, 1880, 1885, 1890, 1895, 1900, 1905, 1910, 1915, 1920, 1925, 1930, 1935, 1940, 1945, 1950, 1955, 1960, 1965, 1970, 1975, 1980, 1985, 1990, 1995, 2000 ], "val_acc": [ 0.01953125, 0.015625, 0.015625, 0.015625, 0.0, 0.00390625, 0.00390625, 0.00390625, 0.0, 0.01171875, 0.015625, 0.01171875, 0.01171875, 0.04296875, 0.05859375, 0.0625, 0.06640625, 0.0625, 0.11328125, 0.15234375, 0.10546875, 0.1484375, 0.13671875, 0.15234375, 0.125, 0.08203125, 0.18359375, 0.15625, 0.26953125, 0.18359375, 0.140625, 0.15625, 0.30078125, 0.1171875, 0.125, 0.14453125, 0.1875, 0.10546875, 0.125, 0.23828125, 0.234375, 0.2265625, 0.31640625, 0.27734375, 0.3046875, 0.2578125, 0.1640625, 0.1640625, 0.1328125, 0.0625, 0.13671875, 0.15234375, 0.10546875, 0.12109375, 0.1640625, 0.1796875, 0.19921875, 0.203125, 0.12109375, 0.1796875, 0.10546875, 0.14453125, 0.14453125, 0.19140625, 0.26953125, 0.21875, 0.16015625, 0.1796875, 0.16796875, 0.25390625, 0.203125, 0.19140625, 0.2109375, 0.140625, 0.13671875, 0.13671875, 0.18359375, 0.12109375, 0.3125, 0.17578125, 0.3203125, 0.3359375, 0.265625, 0.2109375, 0.2265625, 0.25, 0.375, 0.41015625, 0.33203125, 0.390625, 0.390625, 0.39453125, 0.37109375, 0.34765625, 0.32421875, 0.3125, 0.30859375, 0.31640625, 0.3125, 0.33203125, 0.30078125, 0.3359375, 0.36328125, 0.38671875, 0.3671875, 0.39453125, 0.3359375, 0.34765625, 0.37890625, 0.40625, 0.38671875, 0.375, 0.38671875, 0.328125, 0.3828125, 0.359375, 0.359375, 0.4140625, 0.38671875, 0.35546875, 0.328125, 0.33984375, 0.35546875, 0.3671875, 0.3984375, 0.40234375, 0.41796875, 0.41796875, 0.4375, 0.41796875, 0.4140625, 0.3984375, 0.42578125, 0.3828125, 0.42578125, 0.4296875, 0.4296875, 0.40234375, 0.4140625, 0.44921875, 0.45703125, 0.44921875, 0.42578125, 0.43359375, 0.39453125, 0.46875, 0.42578125, 0.42578125, 0.46484375, 0.4453125, 0.43359375, 0.3984375, 0.41796875, 0.42578125, 0.4375, 0.4375, 0.4453125, 0.44140625, 0.42578125, 0.41015625, 0.3671875, 0.41796875, 0.4140625, 0.41015625, 0.4296875, 0.44921875, 0.40625, 0.42578125, 0.40625, 0.3828125, 0.38671875, 0.40625, 0.3671875, 0.36328125, 0.3359375, 0.40625, 0.390625, 0.3828125, 0.4140625, 0.3828125, 0.375, 0.3671875, 0.40625, 0.33984375, 0.35546875, 0.34375, 0.35546875, 0.37109375, 0.375, 0.37890625, 0.3984375, 0.3671875, 0.453125, 0.3984375, 0.41796875, 0.4140625, 0.359375, 0.33203125, 0.38671875, 0.359375, 0.296875, 0.25390625, 0.33984375, 0.34765625, 0.4140625, 0.38671875, 0.3984375, 0.3828125, 0.35546875, 0.33203125, 0.33984375, 0.32421875, 0.30078125, 0.30078125, 0.30859375, 0.265625, 0.28515625, 0.3203125, 0.30078125, 0.27734375, 0.1640625, 0.20703125, 0.20703125, 0.20703125, 0.26171875, 0.265625, 0.265625, 0.20703125, 0.1796875, 0.22265625, 0.25390625, 0.203125, 0.21875, 0.1875, 0.20703125, 0.2109375, 0.14453125, 0.15625, 0.16015625, 0.2421875, 0.2109375, 0.23828125, 0.20703125, 0.2109375, 0.24609375, 0.2109375, 0.1953125, 0.22265625, 0.18359375, 0.1953125, 0.21484375, 0.28125, 0.21875, 0.23828125, 0.1875, 0.1953125, 0.22265625, 0.21484375, 0.16796875, 0.16796875, 0.19140625, 0.2109375, 0.17578125, 0.15625, 0.14453125, 0.1875, 0.19921875, 0.19140625, 0.18359375, 0.15234375, 0.1796875, 0.1640625, 0.20703125, 0.24609375, 0.171875, 0.1875, 0.16015625, 0.12890625, 0.1640625, 0.17578125, 0.125, 0.16796875, 0.171875, 0.19921875, 0.1484375, 0.20703125, 0.171875, 0.19140625, 0.18359375, 0.1640625, 0.14453125, 0.16796875, 0.1328125, 0.16015625, 0.15625, 0.18359375, 0.140625, 0.16796875, 0.1171875, 0.1875, 0.125, 0.12890625, 0.1484375, 0.1328125, 0.2265625, 0.14453125, 0.171875, 0.13671875, 0.1171875, 0.140625, 0.15625, 0.12890625, 0.171875, 0.1015625, 0.13671875, 0.15625, 0.12109375, 0.09375, 0.12109375, 0.13671875, 0.1484375, 0.1640625, 0.17578125, 0.1640625, 0.12109375, 0.140625, 0.12890625, 0.12109375, 0.11328125, 0.11328125, 0.1484375, 0.14453125, 0.125, 0.125, 0.15234375, 0.13671875, 0.15625, 0.109375, 0.109375, 0.0703125, 0.06640625, 0.06640625, 0.0546875, 0.08203125, 0.0703125, 0.08984375, 0.08203125, 0.12890625, 0.08984375, 0.09375, 0.109375, 0.09375, 0.07421875, 0.0859375, 0.078125, 0.06640625, 0.07421875, 0.08984375, 0.09765625, 0.0546875, 0.1171875, 0.08203125, 0.0859375, 0.0859375, 0.07421875, 0.07421875, 0.078125, 0.08203125, 0.09765625, 0.07421875, 0.11328125, 0.08984375, 0.125, 0.07421875, 0.09375, 0.07421875, 0.08203125, 0.09375, 0.11328125, 0.0859375, 0.08203125, 0.08984375, 0.09765625, 0.0859375, 0.07421875, 0.08203125, 0.08984375, 0.10546875, 0.09375, 0.1171875, 0.12890625, 0.0703125, 0.11328125, 0.09765625, 0.10546875, 0.0859375, 0.08203125, 0.11328125, 0.08984375, 0.11328125 ], "stage": [ 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5 ], "promotes": [ [ 35, 1 ], [ 65, 2 ], [ 105, 3 ], [ 165, 4 ], [ 460, 5 ] ] } }