Henz reports runtimes of less than 1 minute, using the finite-domain constraint programming tool, Friar Tuck.