以下1分20秒時点の、instance partial-10-13-s.cnfの結果です。
DPS n=1 120MB
Intel SAT 75MB
Minisat 250MB
ということで、Intel Nadalさんのソルバが少ない結果となっています。時間が経つと、Minisatは、GBオーダになっていました。一方他の二つは、ほぼ同じ値のままであり、進化していることが伺えます。性能はともかく、メモリ消費が少ないのが欲しかったので、Intel SATを採用することにしました。ちなみに、このソルバは、超巨大なインスタンスを扱えるのが特徴で、電通大、戸田先生のALLSATを簡単なブロッキング手法で凌駕する性能だそうです。
0 件のコメント:
コメントを投稿