{"verdict":"verified","verify_log":"{\"metric\": 0.992488, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.115046593935, \"record\": 0.1150465939351098, \"ratio\": 1.0, \"seconds\": 9.87}, \"13\": {\"value\": 0.09260402757, \"record\": 0.09260402757394962, \"ratio\": 1.0, \"seconds\": 9.87}, \"19\": {\"value\": 0.077435930997, \"record\": 0.0781331405669478, \"ratio\": 0.991077, \"seconds\": 9.84}, \"26\": {\"value\": 0.066541159191, \"record\": 0.06757365655454929, \"ratio\": 0.98472, \"seconds\": 9.92}, \"31\": {\"value\": 0.062040904103, \"record\": 0.062206905110929786, \"ratio\": 0.997331, \"seconds\": 10.23}, \"37\": {\"value\": 0.057086105591, \"record\": 0.05720181350363032, \"ratio\": 0.997977, \"seconds\": 10.12}, \"44\": {\"value\": 0.052179435724, \"record\": 0.05273954681592514, \"ratio\": 0.98938, \"seconds\": 10.35}, \"52\": {\"value\": 0.048498063547, \"record\": 0.04884385153002813, \"ratio\": 0.992921, \"seconds\": 9.95}, \"68\": {\"value\": 0.042821228006, \"record\": 0.043008487573184574, \"ratio\": 0.995646, \"seconds\": 10.3}, \"85\": {\"value\": 0.038246505169, \"record\": 0.03866429245757292, \"ratio\": 0.989194, \"seconds\": 10.19}, \"101\": {\"value\": 0.035291312563, \"record\": 0.03565896413010364, \"ratio\": 0.98969, \"seconds\": 10.11}, \"120\": {\"value\": 0.032382915278, \"record\": 0.03285829504731335, \"ratio\": 0.985532, \"seconds\": 10.02}, \"150\": {\"value\": 0.02927524191, \"record\": 0.02953038106530839, \"ratio\": 0.99136, \"seconds\": 10.29}, \"200\": {\"value\": 0.025465760024, \"record\": 0.02572304876750929, \"ratio\": 0.989998, \"seconds\": 10.45}}, \"records_beaten\": [], \"total_seconds\": 141.5}\n\n--- sandbox: docker python:3.12-slim, 142.0s ---\n"}