{"verdict":"verified","verify_log":"{\"metric\": 0.994234, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 200], \"per_n\": {\"8\": {\"value\": 0.269585370786, \"record\": 0.269585370786, \"ratio\": 1.0, \"seconds\": 9.62}, \"13\": {\"value\": 0.216506350946, \"record\": 0.216506350946, \"ratio\": 1.0, \"seconds\": 9.62}, \"19\": {\"value\": 0.193997690565, \"record\": 0.193997690565, \"ratio\": 1.0, \"seconds\": 9.64}, \"26\": {\"value\": 0.158493649054, \"record\": 0.158493649054, \"ratio\": 1.0, \"seconds\": 9.68}, \"31\": {\"value\": 0.144337567297, \"record\": 0.144498618555, \"ratio\": 0.998885, \"seconds\": 9.67}, \"37\": {\"value\": 0.139768253701, \"record\": 0.139768253701, \"ratio\": 1.0, \"seconds\": 9.69}, \"44\": {\"value\": 0.122859271011, \"record\": 0.123304899729, \"ratio\": 0.996386, \"seconds\": 9.68}, \"52\": {\"value\": 0.11538588707, \"record\": 0.115386056418, \"ratio\": 0.999999, \"seconds\": 9.73}, \"68\": {\"value\": 0.099478408468, \"record\": 0.099927194138, \"ratio\": 0.995509, \"seconds\": 9.73}, \"85\": {\"value\": 0.089648305354, \"record\": 0.090914418499, \"ratio\": 0.986074, \"seconds\": 9.8}, \"101\": {\"value\": 0.082290249546, \"record\": 0.083251168624, \"ratio\": 0.988458, \"seconds\": 9.72}, \"120\": {\"value\": 0.07601845417, \"record\": 0.076926891317, \"ratio\": 0.988191, \"seconds\": 9.78}, \"200\": {\"value\": 0.058293060713, \"record\": 0.060000389653, \"ratio\": 0.971545, \"seconds\": 9.92}}, \"records_beaten\": [], \"total_seconds\": 126.3}\n\n--- sandbox: docker python:3.12-slim, 126.7s ---\n"}