{"verdict":"verified","verify_log":"{\"metric\": 0.991171, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.150154804445, \"record\": 0.15015480708474133, \"ratio\": 1.0, \"seconds\": 10.08}, \"13\": {\"value\": 0.117970697069, \"record\": 0.11828029404316655, \"ratio\": 0.997383, \"seconds\": 10.8}, \"19\": {\"value\": 0.100050928138, \"record\": 0.10069069517010876, \"ratio\": 0.993646, \"seconds\": 9.94}, \"26\": {\"value\": 0.085044851512, \"record\": 0.08602888102013242, \"ratio\": 0.988562, \"seconds\": 9.91}, \"31\": {\"value\": 0.078193173438, \"record\": 0.07890298309999877, \"ratio\": 0.991004, \"seconds\": 10.8}, \"37\": {\"value\": 0.071661872561, \"record\": 0.07279173662243328, \"ratio\": 0.984478, \"seconds\": 10.8}, \"44\": {\"value\": 0.0665683674, \"record\": 0.06709251514980373, \"ratio\": 0.992188, \"seconds\": 9.94}, \"52\": {\"value\": 0.061511251922, \"record\": 0.06187849226434867, \"ratio\": 0.994065, \"seconds\": 10.11}, \"68\": {\"value\": 0.054208244736, \"record\": 0.0545549368980381, \"ratio\": 0.993645, \"seconds\": 10.8}, \"85\": {\"value\": 0.048514129726, \"record\": 0.04902977312364057, \"ratio\": 0.989483, \"seconds\": 10.04}, \"101\": {\"value\": 0.044316997909, \"record\": 0.04511923713524386, \"ratio\": 0.98222, \"seconds\": 10.8}, \"120\": {\"value\": 0.041140893582, \"record\": 0.0415287028908776, \"ratio\": 0.990662, \"seconds\": 10.77}, \"150\": {\"value\": 0.037009572535, \"record\": 0.03730329457524168, \"ratio\": 0.992126, \"seconds\": 10.14}, \"200\": {\"value\": 0.031992516073, \"record\": 0.03241631499186206, \"ratio\": 0.986926, \"seconds\": 10.18}}, \"records_beaten\": [], \"total_seconds\": 145.1}\n\n--- sandbox: docker python:3.12-slim, 145.6s ---\n"}