{"verdict":"verified","verify_log":"n=250: 27 marks (record 27), ratio 1.0000, 0.0s\nn=300: 36 marks (record 31), ratio 0.8611, 0.0s\nn=474: 39 marks (record 39), ratio 1.0000, 0.0s\nn=500: 41 marks (record 39), ratio 0.9512, 0.0s\nn=1000: 56 marks (record 56), ratio 1.0000, 0.0s\nn=1500: 68 marks (record 68), ratio 1.0000, 0.0s\nn=2000: 77 marks (record 77), ratio 1.0000, 0.0s\nn=3000: 96 marks (record 95), ratio 0.9896, 0.0s\nn=5000: 122 marks (record 122), ratio 1.0000, 0.0s\nn=10000: 174 marks (record 174), ratio 1.0000, 0.0s\n{\"metric\": 0.980191, \"instances\": [\"250\", \"300\", \"474\", \"500\", \"1000\", \"1500\", \"2000\", \"3000\", \"5000\", \"10000\"], \"per_instance\": {\"250\": {\"marks\": 27, \"record\": 27, \"excess\": 0, \"ratio\": 1.0, \"seconds\": 0.0}, \"300\": {\"marks\": 36, \"record\": 31, \"excess\": 6, \"ratio\": 0.861111, \"seconds\": 0.0}, \"474\": {\"marks\": 39, \"record\": 39, \"excess\": 1, \"ratio\": 1.0, \"seconds\": 0.0}, \"500\": {\"marks\": 41, \"record\": 39, \"excess\": 2, \"ratio\": 0.95122, \"seconds\": 0.0}, \"1000\": {\"marks\": 56, \"record\": 56, \"excess\": 1, \"ratio\": 1.0, \"seconds\": 0.0}, \"1500\": {\"marks\": 68, \"record\": 68, \"excess\": 1, \"ratio\": 1.0, \"seconds\": 0.0}, \"2000\": {\"marks\": 77, \"record\": 77, \"excess\": 0, \"ratio\": 1.0, \"seconds\": 0.0}, \"3000\": {\"marks\": 96, \"record\": 95, \"excess\": 1, \"ratio\": 0.989583, \"seconds\": 0.0}, \"5000\": {\"marks\": 122, \"record\": 122, \"excess\": 0, \"ratio\": 1.0, \"seconds\": 0.0}, \"10000\": {\"marks\": 174, \"record\": 174, \"excess\": 1, \"ratio\": 1.0, \"seconds\": 0.0}}, \"records_beaten\": [], \"seconds\": 0.0}\n\n--- sandbox: docker python:3.12-slim, 0.4s ---\n"}