{"verdict":"verified","verify_log":"{\"metric\": 0.990126, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.139271215419, \"record\": 0.13927121544288978, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.113363310742, \"record\": 0.11336331205373033, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.09509611478, \"record\": 0.09509806787985109, \"ratio\": 0.999979, \"seconds\": 9.87}, \"26\": {\"value\": 0.080534540824, \"record\": 0.080919062810375, \"ratio\": 0.995248, \"seconds\": 9.89}, \"31\": {\"value\": 0.074418642577, \"record\": 0.07484856287126317, \"ratio\": 0.994256, \"seconds\": 10.0}, \"37\": {\"value\": 0.067734831275, \"record\": 0.06960284220658845, \"ratio\": 0.973162, \"seconds\": 9.9}, \"44\": {\"value\": 0.063231460674, \"record\": 0.06366801487658069, \"ratio\": 0.993143, \"seconds\": 10.02}, \"52\": {\"value\": 0.0577766086, \"record\": 0.05843284021802379, \"ratio\": 0.988769, \"seconds\": 9.94}, \"68\": {\"value\": 0.050533166188, \"record\": 0.05138177448388484, \"ratio\": 0.983484, \"seconds\": 9.98}, \"85\": {\"value\": 0.0456815279, \"record\": 0.04622876370828789, \"ratio\": 0.988162, \"seconds\": 10.02}, \"101\": {\"value\": 0.042140158111, \"record\": 0.04274273877791942, \"ratio\": 0.985902, \"seconds\": 10.25}, \"120\": {\"value\": 0.038890519787, \"record\": 0.03984782919776395, \"ratio\": 0.975976, \"seconds\": 9.98}, \"150\": {\"value\": 0.034869607746, \"record\": 0.035379758546600276, \"ratio\": 0.985581, \"seconds\": 10.18}, \"200\": {\"value\": 0.030831144341, \"record\": 0.0308897337485518, \"ratio\": 0.998103, \"seconds\": 10.8}}, \"records_beaten\": [], \"total_seconds\": 140.5}\n\n--- sandbox: docker python:3.12-slim, 140.9s ---\n"}