{"verdict":"verified","verify_log":"{\"metric\": 0.998444, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.302593388283, \"record\": 0.3025933883486113, \"ratio\": 1.0, \"seconds\": 10.44}, \"13\": {\"value\": 0.236067977461, \"record\": 0.2360679774997897, \"ratio\": 1.0, \"seconds\": 10.45}, \"19\": {\"value\": 0.205604646741, \"record\": 0.20560464675956822, \"ratio\": 1.0, \"seconds\": 10.46}, \"26\": {\"value\": 0.17158002736, \"record\": 0.17158025218716685, \"ratio\": 0.999999, \"seconds\": 10.58}, \"31\": {\"value\": 0.158944541519, \"record\": 0.15894454156034005, \"ratio\": 1.0, \"seconds\": 10.47}, \"37\": {\"value\": 0.147955904476, \"record\": 0.14795590447907633, \"ratio\": 1.0, \"seconds\": 10.49}, \"44\": {\"value\": 0.132906494971, \"record\": 0.1333682458860056, \"ratio\": 0.996538, \"seconds\": 10.8}, \"52\": {\"value\": 0.122961821855, \"record\": 0.12369016459246959, \"ratio\": 0.994112, \"seconds\": 11.05}, \"68\": {\"value\": 0.108219213497, \"record\": 0.10834501770447505, \"ratio\": 0.998839, \"seconds\": 11.16}, \"85\": {\"value\": 0.098384510429, \"record\": 0.09839506369260617, \"ratio\": 0.999893, \"seconds\": 11.16}, \"101\": {\"value\": 0.089665030119, \"record\": 0.08971077052118658, \"ratio\": 0.99949, \"seconds\": 11.16}, \"120\": {\"value\": 0.082492628089, \"record\": 0.08274575257288601, \"ratio\": 0.996941, \"seconds\": 11.16}, \"150\": {\"value\": 0.074241680906, \"record\": 0.07428975445012323, \"ratio\": 0.999353, \"seconds\": 11.16}, \"200\": {\"value\": 0.064220272584, \"record\": 0.06466935418626418, \"ratio\": 0.993056, \"seconds\": 11.16}}, \"records_beaten\": [], \"total_seconds\": 151.7}\n"}