{"verdict":"verified","verify_log":"{\"metric\": 0.988834, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.107846154714, \"record\": 0.10784615500727442, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.08213543918, \"record\": 0.0821354392516184, \"ratio\": 1.0, \"seconds\": 9.86}, \"19\": {\"value\": 0.072231206063, \"record\": 0.07223810089812067, \"ratio\": 0.999905, \"seconds\": 9.88}, \"26\": {\"value\": 0.059924231463, \"record\": 0.060459691595432755, \"ratio\": 0.991144, \"seconds\": 9.88}, \"31\": {\"value\": 0.056533169033, \"record\": 0.05660483306158875, \"ratio\": 0.998734, \"seconds\": 9.98}, \"37\": {\"value\": 0.051407643444, \"record\": 0.05188865624442181, \"ratio\": 0.99073, \"seconds\": 9.92}, \"44\": {\"value\": 0.046479848989, \"record\": 0.047426966620235086, \"ratio\": 0.98003, \"seconds\": 9.84}, \"52\": {\"value\": 0.044426345211, \"record\": 0.04499805558166616, \"ratio\": 0.987295, \"seconds\": 9.97}, \"68\": {\"value\": 0.038399086757, \"record\": 0.03881714648857593, \"ratio\": 0.98923, \"seconds\": 10.29}, \"85\": {\"value\": 0.034414556523, \"record\": 0.03481630425984771, \"ratio\": 0.988461, \"seconds\": 10.0}, \"101\": {\"value\": 0.032519837126, \"record\": 0.03256646031953369, \"ratio\": 0.998568, \"seconds\": 10.05}, \"120\": {\"value\": 0.029165409106, \"record\": 0.029514485726977943, \"ratio\": 0.988173, \"seconds\": 10.0}, \"150\": {\"value\": 0.025738364145, \"record\": 0.026551143018069198, \"ratio\": 0.969388, \"seconds\": 10.7}, \"200\": {\"value\": 0.022306405305, \"record\": 0.023187252845781846, \"ratio\": 0.962012, \"seconds\": 10.55}}, \"records_beaten\": [], \"total_seconds\": 140.8}\n\n--- sandbox: docker python:3.12-slim, 141.1s ---\n"}