...探索木の深さはincompatibleisletの数になる

特別な場合として各isletの数を1としたものが, 前処理なしの探索に相当する.

...ランダムなプロセッサを割り当てている

現在のABCL/f処理系は, それ自体ではメッセージのフロー 制御を行なっていないため, max-p-depthを大きくし過ぎると, future を依頼するメッセージがプロセッサのメッセージバッファに溜り過ぎて, バッ ファオーバーフローを起こす可能性がある. 仮にフロー制御を行なったとして も, futureを行ない過ぎるとオーバーヘッドが大きくなり過ぎて, 無意味である.

...逐次実行時

並列実行時には枝苅りのための情報が他のプロセッサに伝搬するタ イミングによって, 探索されるノード数には10% 程度の誤差がある.