30:T10c7,html`

${duration2d()}

${frequency()}

Global
Inputs:	${data.length}
Total:	${(summary.t.sum / 1000).toFixed(1)}s
Mean:	${summary.t.mean.toFixed(1)}ms
Median:	${summary.t.median.toFixed(1)}ms
P95:	${summary.t.p95.toFixed(1)}ms
Max # moves (${summary.part2MaxMoves.input}):	${summary.part2MaxMoves.count} (${summary.part2MaxMoves.duration.toFixed(1)}ms)

${answer("1")}

${states("1")}

${frequency("1")}

Part 1
Inputs:	${data.length}
Total:	${(summary.t1.sum / 1000).toFixed(1)}s
Mean:	${summary.t1.mean.toFixed(1)}ms
Median:	${summary.t1.median.toFixed(1)}ms
P95:	${summary.t1.p95.toFixed(1)}ms
Min (${summary.t1.minInput}):	${summary.t1.min.toFixed(1)}ms
Max (${summary.t1.maxInput}):	${summary.t1.max.toFixed(1)}ms

${answer("2")}

${states("2")}

${frequency("2")}

Part 2
Inputs:	${data.length} (${data.filter(d => d.m2 === 0).length} invalid)
Total:	${(summary.t2.sum / 1000).toFixed(1)}s
Mean:	${summary.t2.mean.toFixed(1)}ms
Median:	${summary.t2.median.toFixed(1)}ms
P95:	${summary.t2.p95.toFixed(1)}ms
Min (${summary.t2.minInput}):	${summary.t2.min.toFixed(1)}ms
Max (${summary.t2.maxInput}):	${summary.t2.max.toFixed(1)}ms

`31:T445,function duration2d() { const dY = Math.ceil(summary.t2.max / 50) * 50; const bins = []; for (let i=0; i d.m2 > 0) : data;\n \n return Plot.plot({\n marginLeft: 30,\n marginBottom: 30,\n marginRight: 20,\n marginTop: 20,\n width: 340,\n height: 190,\n grid: true,\n x: {\n label: \"States processed\",\n nice: true,\n zero: true,\n tickFormat: \"~s\"\n },\n y: {\n label: \"Processing (ms)\",\n nice: true,\n zero: true\n },\n marks: [\n Plot.dot(filtered, {x: \"s\" + context, y: \"t\" + context, r: options.statesRadius, opacity: options.statesOpacity, stroke: options.statesStroke})\n ]\n });\n \n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":480,"value":"function frequency(context=\"\") {\n\n return Plot.plot({\n marginLeft: 30,\n marginBottom: 30,\n marginRight: 20,\n marginTop: 20, \n width: 340,\n height: 100,\n grid: true,\n x: {\n label: \"Processing (ms)\",\n nice: true,\n zero: true \n },\n y: {\n percent: true,\n nice: true,\n zero: true \n },\n marks: [\n Plot.rectY(data, Plot.binX({y: \"proportion\"}, {x: \"t\" + context, thresholds: 75, fill: \"#4e79a7\"}))\n ]\n });\n\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":1189,"value":"#### Appendix","pinned":false,"hidden":false,"mode":"md"},{"id":898,"value":"file = FileAttachment(\"data3@1.json\").json()","pinned":false,"hidden":false,"mode":"ojs"},{"id":9,"value":"data = {\n \n const data = [];\n\n for (const row of file) {\n data.push({\n input: row.input,\n t: row.t /= 1000000,\n t1: row.t1 /= 1000000,\n t2: row.t2 /= 1000000,\n f1: row.f1 /= 1000000,\n f2: row.f2 /= 1000000,\n s1: row.s1,\n s2: row.s2,\n m1: row.m1,\n m2: row.m2\n });\n \n }\n \n return data;\n\n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":206,"value":"summary = {\n\n const summary = {\n \"t\": {},\n \"t1\": {},\n \"t2\": {}\n };\n\n for (const k in summary) {\n\n summary[k][\"mean\"] = d3.mean(data, d => d[k]);\n summary[k][\"min\"] = d3.min(data, d => d[k]);\n summary[k][\"max\"] = d3.max(data, d => d[k]);\n summary[k][\"sum\"] = d3.sum(data, d => d[k]);\n summary[k][\"median\"] = d3.median(data, d => d[k]);\n summary[k][\"p95\"] = d3.quantile(data, .95, d => d[k]);\n \n if (k !== \"t\") {\n summary[k][\"minInput\"] = data[d3.minIndex(data, d => d[k])].input;\n summary[k][\"maxInput\"] = data[d3.maxIndex(data, d => d[k])].input;\n }\n\n }\n\n summary[\"part2MaxMoves\"] = {\n \"count\": d3.max(data, d => d.m2),\n \"input\": data[d3.maxIndex(data, d => d.m2)].input,\n \"duration\": data[d3.maxIndex(data, d => d.m2)].t2\n };\n \n return summary;\n \n}","pinned":false,"hidden":false,"mode":"ojs"},{"id":1262,"value":"options = {\n return {\n answerStroke: \"#4e79a7\",\n answerOpacity: .7,\n answerRadius: 1,\n statesStroke: \"#4e79a7\",\n statesOpacity: .7,\n statesRadius: 1\n }\n}","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W32","stdlib":"1","titling":"auto"}