{"verdict":"verified","verify_log":"{\"metric\": 0.953377, \"per_instance\": {\"31\": {\"size\": 27900, \"record\": 26312, \"ratio\": 0.943082, \"seconds\": 0.0, \"verify_seconds\": 0.02}, \"37\": {\"size\": 47952, \"record\": 45264, \"ratio\": 0.943944, \"seconds\": 0.0, \"verify_seconds\": 0.04}, \"41\": {\"size\": 65600, \"record\": 61704, \"ratio\": 0.94061, \"seconds\": 0.0, \"verify_seconds\": 0.06}, \"43\": {\"size\": 75852, \"record\": 72288, \"ratio\": 0.953014, \"seconds\": 0.0, \"verify_seconds\": 0.06}, \"47\": {\"size\": 99452, \"record\": 91492, \"ratio\": 0.919961, \"seconds\": 0.01, \"verify_seconds\": 0.09}, \"53\": {\"size\": 143312, \"record\": 134908, \"ratio\": 0.941359, \"seconds\": 0.01, \"verify_seconds\": 0.13}, \"59\": {\"size\": 198476, \"record\": 185656, \"ratio\": 0.935408, \"seconds\": 0.01, \"verify_seconds\": 0.19}, \"61\": {\"size\": 219600, \"record\": 214008, \"ratio\": 0.974536, \"seconds\": 0.01, \"verify_seconds\": 0.2}, \"67\": {\"size\": 291852, \"record\": 281940, \"ratio\": 0.966038, \"seconds\": 0.02, \"verify_seconds\": 0.28}, \"71\": {\"size\": 347900, \"record\": 336144, \"ratio\": 0.966209, \"seconds\": 0.02, \"verify_seconds\": 0.35}, \"73\": {\"size\": 378432, \"record\": 367900, \"ratio\": 0.972169, \"seconds\": 0.02, \"verify_seconds\": 0.4}, \"79\": {\"size\": 480636, \"record\": 466440, \"ratio\": 0.970464, \"seconds\": 0.03, \"verify_seconds\": 0.5}, \"83\": {\"size\": 558092, \"record\": 532096, \"ratio\": 0.95342, \"seconds\": 0.03, \"verify_seconds\": 0.6}, \"89\": {\"size\": 689216, \"record\": 666520, \"ratio\": 0.96707, \"seconds\": 0.04, \"verify_seconds\": 0.8}}, \"records_beaten\": []}\n\n--- sandbox: docker python:3.12-slim, 4.4s ---\n"}