Climb

How high can polyai go?

--

Highest solved dimension

Budget (ms)

Zone

NP% 50

CDCL 0 (off)

Solve time vs dimension

Charles Dana · Monce SAS · 2026

polyai is P. CDCL is O(n^a). Sudoku is NP. The sandwich is the proof.