Kissat失敗

 CNFでは、圧倒的な性能を見せるも、最適化問題では、全く性能が出ませんでした。

残念なことに、改善傾向は見られず、現行ソルバにも劣るという結果になりました。現行ソルバもVersionが上がればそれに伴い、なにがしかの改善が期待したいところですが、こちらも、どちらかと言えば退行している印象です。

結論的には、IntelのNadalさんが指摘した通りの結果となってしまいました。この一見不可思議な現象の指摘は、2021年からあります。

kims-sat21-preprint.pdf (alexeyignatiev.github.io)

上で試せていないkissatならば..という期待を抱いて、改修してみたのですが散々な結果に終わりました。

ということで、Algorithm1をReplaceする計画はドロップします。