{"verdict":"verified","verify_log":"{\"metric\": 0.997376, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.302593388282, \"record\": 0.3025933883486113, \"ratio\": 1.0, \"seconds\": 10.44}, \"13\": {\"value\": 0.236067977472, \"record\": 0.2360679774997897, \"ratio\": 1.0, \"seconds\": 10.45}, \"19\": {\"value\": 0.205604646696, \"record\": 0.20560464675956822, \"ratio\": 1.0, \"seconds\": 10.86}, \"26\": {\"value\": 0.171579887979, \"record\": 0.17158025218716685, \"ratio\": 0.999998, \"seconds\": 10.86}, \"31\": {\"value\": 0.158944541556, \"record\": 0.15894454156034005, \"ratio\": 1.0, \"seconds\": 10.47}, \"37\": {\"value\": 0.147955904464, \"record\": 0.14795590447907633, \"ratio\": 1.0, \"seconds\": 10.69}, \"44\": {\"value\": 0.132609378557, \"record\": 0.1333682458860056, \"ratio\": 0.99431, \"seconds\": 11.16}, \"52\": {\"value\": 0.122918103938, \"record\": 0.12369016459246959, \"ratio\": 0.993758, \"seconds\": 11.02}, \"68\": {\"value\": 0.107481036861, \"record\": 0.10834501770447505, \"ratio\": 0.992026, \"seconds\": 11.16}, \"85\": {\"value\": 0.098375364645, \"record\": 0.09839506369260617, \"ratio\": 0.9998, \"seconds\": 10.63}, \"101\": {\"value\": 0.089667702048, \"record\": 0.08971077052118658, \"ratio\": 0.99952, \"seconds\": 11.16}, \"120\": {\"value\": 0.082479560987, \"record\": 0.08274575257288601, \"ratio\": 0.996783, \"seconds\": 11.16}, \"150\": {\"value\": 0.074182211078, \"record\": 0.07428975445012323, \"ratio\": 0.998552, \"seconds\": 11.16}, \"200\": {\"value\": 0.063927175524, \"record\": 0.06466935418626418, \"ratio\": 0.988523, \"seconds\": 11.15}}, \"records_beaten\": [], \"total_seconds\": 152.4}\n"}