Superpermutation Almanac

n = 14

‹ n = 13
Proved at least
93,891,141,150
Shortest known
93,904,804,425
Gap
13,663,275

The record is W-0076, found by Jakub Halfar on Oct 20, 2026.

The bounds over time

Every verified word

WordLengthFound byDateShorter than the record beforeRepeatsOther windows
W-0076 93,904,804,425 Jakub Halfar Oct 20, 2026 91 19,588,800 6,706,924,412
W-0072 93,904,804,516 William Echols Oct 19, 2026 131,516 19,588,088 6,706,925,215
W-0070 93,904,936,032 William Echols Oct 17, 2026 — 19,588,800 6,707,056,019

Bounds at n = 14

Upper bounds
93,924,230,411Egan's bound, Greg Egan, 2018Paper
93,924,230,410Egan's bound minus one, Uku Raudvere, 2026Lean, kernel-checked
93,917,910,240The 101/120 bound, Jay Pantone jaypantone, 2026Lean, kernel-checked
93,908,263,680The 3/5 bound, Jay Pantone jaypantone, 2026Lean, kernel-checked
93,904,804,425W-0076, the shortest known word, Jakub Halfar, 2026Checked word
13,663,275gap
Lower bounds
93,891,141,150S(14) ≥ 93,891,141,150, Jay Pantone jaypantone, 2026Lean, kernel-checked
93,891,141,149Pantone's bound, Jay Pantone jaypantone, 2026Lean, statement reviewed
93,891,107,960Halfar's general bound, Jakub Halfar, 2026Lean, statement reviewed
93,890,534,411Kisic's bound, Marin Kisic and Jakub Halfar, 2026Lean, kernel-checked
93,890,256,441Liu's bound, Xiaolong Liu, 2026Lean, statement reviewed
93,887,403,944The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026Lean, statement reviewed
93,885,792,011Raudvere's bound, Uku Raudvere, 2026Lean, kernel-checked
93,884,313,6124chan + 1, Robin Houston, 2018Lean proof
93,884,313,611The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone jaypantone and Vince Vatter, 2011Paper

All bounds, with their formulas