scip.set というファイルでカスタマイズされた設定を定義し、myscipdir/settings に配置しました。
設定には以下が含まれます
limits/time = 86400
limit/memory = 61440
lp/threads = 6
ただし、SCIP はカスタマイズされた設定を読み込まないようです。代わりに、
- デフォルト設定が使用されます (添付の図を参照)。
- パラメータ ファイルが /check/results ディレクトリの下に見つかりません。
これを行う正しい方法は何ですか？make test コマンド ラインから時間制限とメモリ制限の両方を設定できますが、より多くのスレッド数を設定する必要もあります。
この図では、SCIP が「ユーザー パラメーター ファイル scip.set が見つかりません - デフォルト パラメーターを使用しています」と述べていることに注意してください。これは誤解を招く可能性があります。scip.set が実際に /settings にない場合、SCIP はファイルが見つからないというエラーを表示して中止します。