{"verdict":"verified","verify_log":"{\"metric\": 0.889088, \"per_instance\": {\"DSJC250.5\": {\"n\": 250, \"m\": 15668, \"colours\": 29, \"record\": 28, \"ratio\": 0.965517, \"seconds\": 7.2}, \"DSJC500.1\": {\"n\": 500, \"m\": 12458, \"colours\": 13, \"record\": 12, \"ratio\": 0.923077, \"seconds\": 7.2}, \"DSJC500.5\": {\"n\": 500, \"m\": 62624, \"colours\": 53, \"record\": 47, \"ratio\": 0.886792, \"seconds\": 7.2}, \"DSJC500.9\": {\"n\": 500, \"m\": 112437, \"colours\": 132, \"record\": 126, \"ratio\": 0.954545, \"seconds\": 7.21}, \"DSJC1000.1\": {\"n\": 1000, \"m\": 49629, \"colours\": 22, \"record\": 20, \"ratio\": 0.909091, \"seconds\": 7.2}, \"DSJC1000.5\": {\"n\": 1000, \"m\": 249826, \"colours\": 97, \"record\": 82, \"ratio\": 0.845361, \"seconds\": 7.21}, \"DSJC1000.9\": {\"n\": 1000, \"m\": 449449, \"colours\": 247, \"record\": 222, \"ratio\": 0.898785, \"seconds\": 7.22}, \"flat1000_76_0\": {\"n\": 1000, \"m\": 246708, \"colours\": 96, \"record\": 81, \"ratio\": 0.84375, \"seconds\": 7.21}, \"latin_square_10\": {\"n\": 900, \"m\": 307350, \"colours\": 113, \"record\": 97, \"ratio\": 0.858407, \"seconds\": 7.21}, \"C2000.5\": {\"n\": 2000, \"m\": 999836, \"colours\": 180, \"record\": 145, \"ratio\": 0.805556, \"seconds\": 7.23}}, \"records_beaten\": []}\n\n--- sandbox: docker python:3.12-slim, 73.3s ---\n"}