{"verdict":"verified","verify_log":"{\"metric\": 0.99256, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.08662444529, \"record\": 0.08662444551340799, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.074383105405, \"record\": 0.07438311857888252, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.059541176025, \"record\": 0.05955065675125013, \"ratio\": 0.999841, \"seconds\": 9.88}, \"26\": {\"value\": 0.055029584403, \"record\": 0.05502972170042514, \"ratio\": 0.999998, \"seconds\": 9.88}, \"31\": {\"value\": 0.047822917916, \"record\": 0.048237334081921615, \"ratio\": 0.991409, \"seconds\": 9.91}, \"37\": {\"value\": 0.044152327357, \"record\": 0.044189570871487664, \"ratio\": 0.999157, \"seconds\": 10.22}, \"44\": {\"value\": 0.04207190949, \"record\": 0.04208415992257647, \"ratio\": 0.999709, \"seconds\": 9.92}, \"52\": {\"value\": 0.037654651216, \"record\": 0.037963722246073354, \"ratio\": 0.991859, \"seconds\": 9.92}, \"68\": {\"value\": 0.034062973748, \"record\": 0.034081602735789716, \"ratio\": 0.999453, \"seconds\": 10.33}, \"85\": {\"value\": 0.029693379088, \"record\": 0.0300383820280809, \"ratio\": 0.988515, \"seconds\": 10.34}, \"101\": {\"value\": 0.028185908481, \"record\": 0.02825775463351312, \"ratio\": 0.997457, \"seconds\": 9.99}, \"120\": {\"value\": 0.02513245674, \"record\": 0.025527181881409764, \"ratio\": 0.984537, \"seconds\": 10.36}, \"150\": {\"value\": 0.022416008948, \"record\": 0.023031811667282607, \"ratio\": 0.973263, \"seconds\": 10.56}, \"200\": {\"value\": 0.019419849432, \"record\": 0.0200070695221556, \"ratio\": 0.970649, \"seconds\": 10.61}}, \"records_beaten\": [], \"total_seconds\": 141.6}\n\n--- sandbox: docker python:3.12-slim, 142.0s ---\n"}