{"verdict":"verified","verify_log":"{\"metric\": 0.990323, \"ns\": [5, 8, 12, 16, 20, 25, 30, 40, 50, 60, 80, 100], \"per_n\": {\"5\": {\"value\": 0.441518440112, \"record\": 0.441518440112, \"ratio\": 1.0, \"seconds\": 9.86}, \"8\": {\"value\": 0.414213562373, \"record\": 0.414213562373, \"ratio\": 1.0, \"seconds\": 9.88}, \"12\": {\"value\": 0.394088004722, \"record\": 0.394090243925, \"ratio\": 0.999994, \"seconds\": 9.89}, \"16\": {\"value\": 0.387425886723, \"record\": 0.387425886723, \"ratio\": 1.0, \"seconds\": 9.95}, \"20\": {\"value\": 0.371802883758, \"record\": 0.371807018165, \"ratio\": 0.999989, \"seconds\": 9.95}, \"25\": {\"value\": 0.357640136833, \"record\": 0.357717203586, \"ratio\": 0.999785, \"seconds\": 9.96}, \"30\": {\"value\": 0.351102986553, \"record\": 0.351383324479, \"ratio\": 0.999202, \"seconds\": 10.08}, \"40\": {\"value\": 0.333333333333, \"record\": 0.333333333333, \"ratio\": 1.0, \"seconds\": 10.12}, \"50\": {\"value\": 0.318120232697, \"record\": 0.322476309552, \"ratio\": 0.986492, \"seconds\": 10.3}, \"60\": {\"value\": 0.307989405102, \"record\": 0.312436045512, \"ratio\": 0.985768, \"seconds\": 10.75}, \"80\": {\"value\": 0.287435062855, \"record\": 0.296801219787, \"ratio\": 0.968443, \"seconds\": 10.81}, \"100\": {\"value\": 0.269093965624, \"record\": 0.284995743161, \"ratio\": 0.944203, \"seconds\": 10.8}}, \"records_beaten\": [], \"total_seconds\": 122.4}\n\n--- sandbox: docker python:3.12-slim, 122.9s ---\n"}