{"verdict":"verified","verify_log":"{\"metric\": 0.986983, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.25, \"record\": 0.25, \"ratio\": 1.0, \"seconds\": 9.9}, \"13\": {\"value\": 0.207106781187, \"record\": 0.20710678118654752, \"ratio\": 1.0, \"seconds\": 9.95}, \"19\": {\"value\": 0.183181427006, \"record\": 0.18318530316171353, \"ratio\": 0.999979, \"seconds\": 10.13}, \"26\": {\"value\": 0.166666666667, \"record\": 0.16690516728609373, \"ratio\": 0.998571, \"seconds\": 10.07}, \"31\": {\"value\": 0.160188620509, \"record\": 0.16018862050852037, \"ratio\": 1.0, \"seconds\": 10.2}, \"37\": {\"value\": 0.148244888467, \"record\": 0.1490616313341246, \"ratio\": 0.994521, \"seconds\": 10.63}, \"44\": {\"value\": 0.138501575835, \"record\": 0.14086061093764365, \"ratio\": 0.983253, \"seconds\": 10.8}, \"52\": {\"value\": 0.130601937482, \"record\": 0.13382003789043886, \"ratio\": 0.975952, \"seconds\": 10.32}, \"68\": {\"value\": 0.121634747483, \"record\": 0.12343565636681564, \"ratio\": 0.98541, \"seconds\": 10.81}, \"85\": {\"value\": 0.110294149506, \"record\": 0.1162836225271629, \"ratio\": 0.948493, \"seconds\": 10.81}, \"101\": {\"value\": 0.110240604362, \"record\": 0.11024060460598449, \"ratio\": 1.0, \"seconds\": 10.81}, \"120\": {\"value\": 0.103056490594, \"record\": 0.10479920923867089, \"ratio\": 0.983371, \"seconds\": 10.82}, \"150\": {\"value\": 0.095371784915, \"record\": 0.09669981894790923, \"ratio\": 0.986266, \"seconds\": 10.74}, \"200\": {\"value\": 0.085340564793, \"record\": 0.08871657046507472, \"ratio\": 0.961946, \"seconds\": 10.83}}, \"records_beaten\": [], \"total_seconds\": 146.8}\n\n--- sandbox: docker python:3.12-slim, 147.3s ---\n"}