16x16数独、解決しました。
アルゴリズムを改良したら、高速に解けるようになりました。
http://tsukimi.agusa.i.is.nagoya-u.ac.jp/~sydney/ocaml/index.php?%A5%CD%A5%BF%B5%AD%CF%BF%B8%CB
002g0000b0a00300 5b00d0f00e000ca0 f00001b020d0g070 0cd03702050f00b0 000b5000a0800047 d0c0080f00029b00 050f007d030b0028 2070400bf056a000 b080200650f9c000 020500d70a010083 10f00a05000c2d00 0009f00040b0005g 0d40720e0b0800f0 30000f40d0207060 7f00b050010002e0 0052000060700g00 答え 962ge5c4b8a713df 5b37d6fg9e148ca2 f4ea81b92cd3g576 8cd137a2g56f49be 6e1b532ca98gdf47 dac3681f74e29bg5 45gfa97d13cbe628 29784egbfd56a13c bg8d243657f9ce1a c2659bd7eag1f483 17f4gae5863c2d9b e3a9fc8142bd675g gd4c726e3b985af1 31becf4adg257869 7f96bg58c14a32ed a8521d936f7ebgc4
0m14.658s @ Pen4 2.6GHz で解けました。