{"verdict":"verified","verify_log":"{\"metric\": 0.98119, \"per_instance\": {\"tai35a\": {\"n\": 35, \"value\": 2485674, \"record\": 2422002, \"ratio\": 0.974384, \"seconds\": 7.6}, \"tai40a\": {\"n\": 40, \"value\": 3222074, \"record\": 3139370, \"ratio\": 0.974332, \"seconds\": 7.6}, \"tai50a\": {\"n\": 50, \"value\": 5097118, \"record\": 4938796, \"ratio\": 0.968939, \"seconds\": 7.6}, \"tai60a\": {\"n\": 60, \"value\": 7461470, \"record\": 7205962, \"ratio\": 0.965756, \"seconds\": 7.6}, \"tai80a\": {\"n\": 80, \"value\": 13940676, \"record\": 13499184, \"ratio\": 0.968331, \"seconds\": 7.6}, \"tai100a\": {\"n\": 100, \"value\": 21665490, \"record\": 21052466, \"ratio\": 0.971705, \"seconds\": 7.6}, \"sko49\": {\"n\": 49, \"value\": 23662, \"record\": 23386, \"ratio\": 0.988336, \"seconds\": 7.6}, \"sko56\": {\"n\": 56, \"value\": 34820, \"record\": 34458, \"ratio\": 0.989604, \"seconds\": 7.6}, \"sko64\": {\"n\": 64, \"value\": 49242, \"record\": 48498, \"ratio\": 0.984891, \"seconds\": 7.6}, \"wil50\": {\"n\": 50, \"value\": 48956, \"record\": 48816, \"ratio\": 0.99714, \"seconds\": 7.6}, \"tai50b\": {\"n\": 50, \"value\": 461653814, \"record\": 458821517, \"ratio\": 0.993865, \"seconds\": 7.6}, \"tai60b\": {\"n\": 60, \"value\": 610047723, \"record\": 608215054, \"ratio\": 0.996996, \"seconds\": 7.6}}, \"records_beaten\": []}\n\n--- sandbox: docker python:3.12-slim, 91.6s ---\n"}