{"verdict":"verified","verify_log":"{\"metric\": 0.991557, \"ns\": [8, 13, 19, 26, 31, 37, 44, 52, 68, 85, 101, 120, 150, 200], \"per_n\": {\"8\": {\"value\": 0.129823202479, \"record\": 0.12982320247924198, \"ratio\": 1.0, \"seconds\": 9.85}, \"13\": {\"value\": 0.103315686326, \"record\": 0.10338797850731751, \"ratio\": 0.999301, \"seconds\": 9.89}, \"19\": {\"value\": 0.086100080958, \"record\": 0.08613946504356008, \"ratio\": 0.999543, \"seconds\": 9.87}, \"26\": {\"value\": 0.075051805249, \"record\": 0.07526960145511795, \"ratio\": 0.997106, \"seconds\": 9.88}, \"31\": {\"value\": 0.068874526391, \"record\": 0.06898387750328608, \"ratio\": 0.998415, \"seconds\": 9.89}, \"37\": {\"value\": 0.063648962176, \"record\": 0.06379538129071713, \"ratio\": 0.997705, \"seconds\": 9.91}, \"44\": {\"value\": 0.058055557844, \"record\": 0.05846054110110038, \"ratio\": 0.993073, \"seconds\": 9.94}, \"52\": {\"value\": 0.054113513881, \"record\": 0.05504003349510053, \"ratio\": 0.983166, \"seconds\": 9.97}, \"68\": {\"value\": 0.046941491323, \"record\": 0.04820358588032558, \"ratio\": 0.973817, \"seconds\": 9.99}, \"85\": {\"value\": 0.04280725241, \"record\": 0.04298232482726066, \"ratio\": 0.995927, \"seconds\": 10.07}, \"101\": {\"value\": 0.038522746705, \"record\": 0.03939555037300227, \"ratio\": 0.977845, \"seconds\": 10.06}, \"120\": {\"value\": 0.036201734257, \"record\": 0.0362900835851141, \"ratio\": 0.997565, \"seconds\": 10.0}, \"150\": {\"value\": 0.032473858533, \"record\": 0.03264308028187998, \"ratio\": 0.994816, \"seconds\": 10.24}, \"200\": {\"value\": 0.027835393751, \"record\": 0.02859268989149887, \"ratio\": 0.973514, \"seconds\": 9.86}}, \"records_beaten\": [], \"total_seconds\": 139.5}\n\n--- sandbox: docker python:3.12-slim, 139.8s ---\n"}