{"verdict":"verified","verify_log":"{\"metric\": 0.993242, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.125, \"record\": 0.125, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.094142353765, \"record\": 0.09414236492829559, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.078811877047, \"record\": 0.07888240166267582, \"ratio\": 0.999106, \"seconds\": 9.88}, \"26\": {\"value\": 0.069916905177, \"record\": 0.0699254044720254, \"ratio\": 0.999878, \"seconds\": 9.9}, \"31\": {\"value\": 0.063085811975, \"record\": 0.06323903957559243, \"ratio\": 0.997577, \"seconds\": 9.9}, \"37\": {\"value\": 0.057637523744, \"record\": 0.05800526328749903, \"ratio\": 0.99366, \"seconds\": 9.91}, \"44\": {\"value\": 0.053473741475, \"record\": 0.05387696514414683, \"ratio\": 0.992516, \"seconds\": 9.93}, \"52\": {\"value\": 0.04817778188, \"record\": 0.04924676335771031, \"ratio\": 0.978293, \"seconds\": 10.27}, \"68\": {\"value\": 0.042826739321, \"record\": 0.04320126573669286, \"ratio\": 0.991331, \"seconds\": 10.21}, \"85\": {\"value\": 0.038929078128, \"record\": 0.03935673306230215, \"ratio\": 0.989134, \"seconds\": 9.99}, \"101\": {\"value\": 0.035779555496, \"record\": 0.03608111468542955, \"ratio\": 0.991642, \"seconds\": 10.13}, \"120\": {\"value\": 0.032561530177, \"record\": 0.033099972685625485, \"ratio\": 0.983733, \"seconds\": 10.8}, \"150\": {\"value\": 0.029501109059, \"record\": 0.029755549335495873, \"ratio\": 0.991449, \"seconds\": 10.13}, \"200\": {\"value\": 0.025987708199, \"record\": 0.02606414242398624, \"ratio\": 0.997067, \"seconds\": 10.12}}, \"records_beaten\": [], \"total_seconds\": 140.9}\n\n--- sandbox: docker python:3.12-slim, 141.2s ---\n"}