{"verdict":"verified","verify_log":"{\"metric\": 0.995926, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.049999999814, \"record\": 0.05, \"ratio\": 1.0, \"seconds\": 9.84}, \"13\": {\"value\": 0.039712799112, \"record\": 0.039712799117777205, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.031766738978, \"record\": 0.03176674029307928, \"ratio\": 1.0, \"seconds\": 9.88}, \"26\": {\"value\": 0.028556039628, \"record\": 0.02855614887619905, \"ratio\": 0.999996, \"seconds\": 9.92}, \"31\": {\"value\": 0.027480363602, \"record\": 0.02748082632764451, \"ratio\": 0.999983, \"seconds\": 9.89}, \"37\": {\"value\": 0.02632092957, \"record\": 0.026328369891951368, \"ratio\": 0.999717, \"seconds\": 9.92}, \"44\": {\"value\": 0.022922056532, \"record\": 0.023045900107062933, \"ratio\": 0.994626, \"seconds\": 9.85}, \"52\": {\"value\": 0.020798746161, \"record\": 0.020926705878604717, \"ratio\": 0.993885, \"seconds\": 9.94}, \"68\": {\"value\": 0.018960656204, \"record\": 0.019003524769436193, \"ratio\": 0.997744, \"seconds\": 9.97}, \"85\": {\"value\": 0.017320947938, \"record\": 0.01738610159730754, \"ratio\": 0.996253, \"seconds\": 10.05}, \"101\": {\"value\": 0.015279847741, \"record\": 0.015594967615502999, \"ratio\": 0.979793, \"seconds\": 10.02}, \"120\": {\"value\": 0.014480615479, \"record\": 0.014503642710985074, \"ratio\": 0.998412, \"seconds\": 10.17}, \"150\": {\"value\": 0.013054110181, \"record\": 0.013241342247559433, \"ratio\": 0.98586, \"seconds\": 10.57}, \"200\": {\"value\": 0.011441491613, \"record\": 0.011479462700246064, \"ratio\": 0.996692, \"seconds\": 10.12}}, \"records_beaten\": [], \"total_seconds\": 140.0}\n\n--- sandbox: docker python:3.12-slim, 140.5s ---\n"}