{"verdict":"verified","verify_log":"{\"metric\": 0.983344, \"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\": 10.09}, \"8\": {\"value\": 0.414213562373, \"record\": 0.414213562373, \"ratio\": 1.0, \"seconds\": 10.27}, \"12\": {\"value\": 0.379795897113, \"record\": 0.379795897113, \"ratio\": 1.0, \"seconds\": 10.53}, \"16\": {\"value\": 0.355913955153, \"record\": 0.356226222001, \"ratio\": 0.999123, \"seconds\": 10.69}, \"20\": {\"value\": 0.347197094453, \"record\": 0.347197094453, \"ratio\": 1.0, \"seconds\": 10.7}, \"25\": {\"value\": 0.333333333333, \"record\": 0.333333333333, \"ratio\": 1.0, \"seconds\": 10.43}, \"30\": {\"value\": 0.312637213996, \"record\": 0.315990168743, \"ratio\": 0.989389, \"seconds\": 10.81}, \"40\": {\"value\": 0.289897994113, \"record\": 0.295854844085, \"ratio\": 0.979866, \"seconds\": 10.82}, \"50\": {\"value\": 0.271653248196, \"record\": 0.281364857635, \"ratio\": 0.965484, \"seconds\": 10.82}, \"60\": {\"value\": 0.263271632439, \"record\": 0.270294660358, \"ratio\": 0.974017, \"seconds\": 10.83}, \"80\": {\"value\": 0.240173774876, \"record\": 0.255463163131, \"ratio\": 0.94015, \"seconds\": 10.83}, \"100\": {\"value\": 0.231379994894, \"record\": 0.243022037871, \"ratio\": 0.952095, \"seconds\": 10.83}}, \"records_beaten\": [], \"total_seconds\": 127.7}\n\n--- sandbox: docker python:3.12-slim, 128.0s ---\n"}