{"verdict":"verified","verify_log":"{\"metric\": 0.994325, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.068958825895, \"record\": 0.0689588258952642, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.056819746766, \"record\": 0.05681974777642202, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.050515720041, \"record\": 0.05051627670120708, \"ratio\": 0.999989, \"seconds\": 9.89}, \"26\": {\"value\": 0.041523368409, \"record\": 0.0416697509848124, \"ratio\": 0.996487, \"seconds\": 9.89}, \"31\": {\"value\": 0.038680085617, \"record\": 0.03883945568961843, \"ratio\": 0.995897, \"seconds\": 9.92}, \"37\": {\"value\": 0.03699566047, \"record\": 0.037018969085496886, \"ratio\": 0.99937, \"seconds\": 10.0}, \"44\": {\"value\": 0.033621413233, \"record\": 0.03375683096291337, \"ratio\": 0.995988, \"seconds\": 10.32}, \"52\": {\"value\": 0.030109420984, \"record\": 0.030497677357300218, \"ratio\": 0.987269, \"seconds\": 10.29}, \"68\": {\"value\": 0.02794743091, \"record\": 0.027956977538776885, \"ratio\": 0.999659, \"seconds\": 9.99}, \"85\": {\"value\": 0.023856473005, \"record\": 0.024324423413740595, \"ratio\": 0.980762, \"seconds\": 10.8}, \"101\": {\"value\": 0.022656650251, \"record\": 0.022790971947177767, \"ratio\": 0.994106, \"seconds\": 10.01}, \"120\": {\"value\": 0.020399900932, \"record\": 0.020813957282804215, \"ratio\": 0.980107, \"seconds\": 9.99}, \"150\": {\"value\": 0.018903705292, \"record\": 0.018961762330914636, \"ratio\": 0.996938, \"seconds\": 10.03}, \"200\": {\"value\": 0.0163135981, \"record\": 0.01641240433717252, \"ratio\": 0.99398, \"seconds\": 10.42}}, \"records_beaten\": [], \"total_seconds\": 141.3}\n\n--- sandbox: docker python:3.12-slim, 141.6s ---\n"}