テキストの「別解の一例」は私が入れた別解と同一であることを確認しました。「別解の一例」は投稿した絵柄が不明なため3〜4時間、四苦八苦して求めたものです。
投稿された絵柄の1〜16行を確定マス情報として解を求めました。結果、30秒弱で別解を1個、1分以内で7個見つけました。1〜15行の場合は45秒弱で1個、1分以内で3個でした。
神様のプログラムなら20秒以内で結論を出せると思いますので余裕を見て1分でタイムアウトすれば・・・・・ただし、絵柄により、また、上下左右どこを確定マスとするかで結論を出せる時間がとんでもなく違うのでタイムアウト時間は要検討事項です。
「コロンブスの卵」方式は悪戯度の高い投稿について高い排除能力を持っています。が、偶然、複数解となった問題についてはチェックできない可能性が高いです。簡易チェックと考えた方が良いかと思います。ですが投稿した絵柄は求められますし、、、問題は無いと考えます。元々ノーチェックで投稿されていたようですから。
それにしても、神様のプログラムのメンテナンスが出来ないのは痛いですね。何とかならないものか！！！ 私にとって「C」や「Java」は中国語かロシア語のようなものなのでお力になれません。ご健闘をお祈りするしかありません。