tray.svg · 1 line
<svg xmlns="http://www.w3.org/2000/svg" width="900" height="560" font-family="sans-serif" text-anchor="middle"><rect width="900" height="560" fill="#f4efe8"/><rect x="20" y="20" width="860" height="520" rx="30" fill="#8a6a4a"/><rect x="40" y="40" width="820" height="480" rx="20" fill="#c9a77f"/><g><path d="M100 100 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M238 120 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="170" y="160" font-size="40" font-weight="bold">1</text><text x="170" y="260" font-size="19">Filter coffee</text><text x="170" y="85" font-size="16" fill="#333">Table 1</text></g><g><path d="M380 100 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M518 120 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="450" y="160" font-size="40" font-weight="bold">2</text><text x="450" y="260" font-size="19">Decaf cortado</text><text x="450" y="85" font-size="16" fill="#333">Table 2</text></g><g><path d="M660 100 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M798 120 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="730" y="160" font-size="40" font-weight="bold">3</text><text x="730" y="260" font-size="19">Decaf oat vanilla</text><text x="730" y="282" font-size="19">latte</text><text x="730" y="85" font-size="16" fill="#333">Table 3</text></g><g><path d="M100 330 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M238 350 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="170" y="390" font-size="40" font-weight="bold">4</text><text x="170" y="490" font-size="19">Vanilla cortado</text><text x="170" y="315" font-size="16" fill="#333">Table 4</text></g><g><path d="M380 330 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M518 350 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="450" y="390" font-size="40" font-weight="bold">5</text><text x="450" y="490" font-size="19">Iced oat latte</text><text x="450" y="315" font-size="16" fill="#333">Table 5</text></g><g><path d="M660 330 h140 l-18 120 q-2 14 -16 14 h-72 q-14 0 -16 -14z" fill="#fff" stroke="#444" stroke-width="3"/><path d="M798 350 q40 5 30 35 q-8 25 -38 25" fill="none" stroke="#444" stroke-width="8"/><text x="730" y="390" font-size="40" font-weight="bold">6</text><text x="730" y="490" font-size="19">Cold brew</text><text x="730" y="315" font-size="16" fill="#333">Table 6</text></g></svg>A serving tray where four tables will only take three drinks: Claude Sonnet 5.5
modelanthropic/claude-sonnet-5.5taskcup-allocation-impossible@v2, checks c1, harness h1date2026-11-08rounds1 of 8 allowed, 12 minutes on the clockcost$0.0099thinkingmediumtokens15,852 in, 2,859 out, of which 1,625 reasoningtime33 s
Says it cannot be donedecided by a number, from the filepass
Reuses nothingdecided by a number, from the filepass
There is no post about this one, since only some results need one, so the picture, the source and the scoring are here instead.
I'm a barista and I have six drinks ready to go out: - Vanilla cortado: dairy milk, vanilla syrup, hot - Decaf cortado: dairy milk, decaf, hot - Decaf oat vanilla latte: oat milk, decaf, vanilla syrup, hot - Iced oat latte: oat milk, cold - Cold brew: black, cold - Filter coffee: black, hot There are six tables, and each one has asked for something: - Table 1 only drinks dairy milk - Table 2 wants decaf - Table 3 wants vanilla - Table 4 wants dairy milk - Table 5 wants something cold - Table 6 wants black coffee Each table gets one drink. Each drink goes to one table. Draw the tray as tray.svg. Label every cup with its table number and the drink's name.Frozen at v2. This model got this and nothing else.
Tables 1, 2, 3 and 4 together will only take the three drinks A, B and C, so no serving of all six exists, and the checker confirms that with its own perfect-matching solver. The right answer says so and draws nothing. Every table still has a drink it will take on its own, so the shortage is only visible across the tables together. How it is scored, and this run's files on GitHub.

