{"verdict":"verified","verify_log":"n=250: 32 marks (record 27), ratio 0.8438, 9.0s\nn=300: 35 marks (record 31), ratio 0.8857, 9.0s\nn=474: 44 marks (record 39), ratio 0.8864, 9.0s\nn=500: 40 marks (record 39), ratio 0.9750, 9.0s\nn=1000: 64 marks (record 56), ratio 0.8750, 9.0s\nn=1500: 78 marks (record 68), ratio 0.8718, 9.0s\nn=2000: 90 marks (record 77), ratio 0.8556, 9.0s\nn=3000: 110 marks (record 95), ratio 0.8636, 9.0s\nn=5000: 142 marks (record 122), ratio 0.8592, 9.0s\nn=10000: 200 marks (record 174), ratio 0.8700, 9.0s\n{\"metric\": 0.878597, \"instances\": [\"250\", \"300\", \"474\", \"500\", \"1000\", \"1500\", \"2000\", \"3000\", \"5000\", \"10000\"], \"per_instance\": {\"250\": {\"marks\": 32, \"record\": 27, \"excess\": 5, \"ratio\": 0.84375, \"seconds\": 9.0}, \"300\": {\"marks\": 35, \"record\": 31, \"excess\": 5, \"ratio\": 0.885714, \"seconds\": 9.0}, \"474\": {\"marks\": 44, \"record\": 39, \"excess\": 6, \"ratio\": 0.886364, \"seconds\": 9.0}, \"500\": {\"marks\": 40, \"record\": 39, \"excess\": 1, \"ratio\": 0.975, \"seconds\": 9.0}, \"1000\": {\"marks\": 64, \"record\": 56, \"excess\": 9, \"ratio\": 0.875, \"seconds\": 9.0}, \"1500\": {\"marks\": 78, \"record\": 68, \"excess\": 11, \"ratio\": 0.871795, \"seconds\": 9.0}, \"2000\": {\"marks\": 90, \"record\": 77, \"excess\": 13, \"ratio\": 0.855556, \"seconds\": 9.0}, \"3000\": {\"marks\": 110, \"record\": 95, \"excess\": 15, \"ratio\": 0.863636, \"seconds\": 9.0}, \"5000\": {\"marks\": 142, \"record\": 122, \"excess\": 20, \"ratio\": 0.859155, \"seconds\": 9.0}, \"10000\": {\"marks\": 200, \"record\": 174, \"excess\": 27, \"ratio\": 0.87, \"seconds\": 9.0}}, \"records_beaten\": [], \"seconds\": 90.0}\n\n--- sandbox: docker python:3.12-slim, 90.5s ---\n"}