{"verdict":"verified","verify_log":"{\"metric\": 0.994125, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.2575418245, \"record\": 0.2575418245, \"ratio\": 1.0, \"seconds\": 9.63}, \"13\": {\"value\": 0.20799996386, \"record\": 0.207999994722, \"ratio\": 1.0, \"seconds\": 9.64}, \"19\": {\"value\": 0.173415685305, \"record\": 0.17344190433, \"ratio\": 0.999849, \"seconds\": 9.66}, \"26\": {\"value\": 0.150538547094, \"record\": 0.1506833367, \"ratio\": 0.999039, \"seconds\": 9.68}, \"31\": {\"value\": 0.138615382359, \"record\": 0.13861636221, \"ratio\": 0.999993, \"seconds\": 9.68}, \"37\": {\"value\": 0.126228629256, \"record\": 0.126679668746, \"ratio\": 0.99644, \"seconds\": 9.71}, \"44\": {\"value\": 0.11588664938, \"record\": 0.117257562843, \"ratio\": 0.988309, \"seconds\": 9.72}, \"52\": {\"value\": 0.107048525176, \"record\": 0.107852412844, \"ratio\": 0.992546, \"seconds\": 9.83}, \"68\": {\"value\": 0.09425474008, \"record\": 0.095077744308, \"ratio\": 0.991344, \"seconds\": 9.79}, \"85\": {\"value\": 0.08437148349, \"record\": 0.085105640203, \"ratio\": 0.991374, \"seconds\": 10.16}, \"101\": {\"value\": 0.077535215685, \"record\": 0.07839707502, \"ratio\": 0.989006, \"seconds\": 9.84}, \"120\": {\"value\": 0.071387087664, \"record\": 0.072129502864, \"ratio\": 0.989707, \"seconds\": 10.09}, \"150\": {\"value\": 0.064074546712, \"record\": 0.064730870089, \"ratio\": 0.989861, \"seconds\": 10.06}, \"200\": {\"value\": 0.055724658042, \"record\": 0.056271364514, \"ratio\": 0.990284, \"seconds\": 9.88}}, \"records_beaten\": [], \"total_seconds\": 137.4}\n\n--- sandbox: docker python:3.12-slim, 137.8s ---\n"}