2.8 シンセシスソルバー(synthesis)における出力
シンセシスソルバー(synthesis)を用いた場合,[Progress]で始まるセクションでの実行経過の出力は次のようになり,求解の進行状況を確認できます.
#sol upper lower gap(%) time(s) list mem(MiB) #1 2.18393e+07 -inf +inf 0.5 0 196 sol: wls #2 2.18389e+07 -inf +inf 0.5 0 196 sol: wls ... #68 1.58901e+07 1.44136e+07 9.292 17.4 1151 324 sol: wls #69 1.58794e+07 1.44139e+07 9.229 17.8 1472 324 sol: wls #70 1.58141e+07 1.44143e+07 8.852 19.0 1634 388 sol: cros #71 1.58007e+07 1.44143e+07 8.774 19.0 1634 388 sol: cros
sol:wls は,重み付き局所探索法によって実行可能解が発見されたことを表します.
その他の出力項目は,分枝限定法と同様です.詳細は 2.6 分枝限定法における出力をご覧ください.
上に戻る
