0
論理式の充足度をチェックする機能を持っており、チェック時間も表示します。入力例を入れてみると、実行には約10000ミリ秒(10秒)かかりますが、testTimerに関連するすべてのコード行を削除しようとすると、同じ入力でコードを実行するのに1秒もかかりませんでした?実行時間をテストするjava testTimer
protected boolean runSat() {
testTimer.start();
boolean result = checkSatisfiability();
testTimer.stop();
 options.getLog().print("\nChecking time was ", testTimer.getResultTim e()," milliseconds");
testTimer.reset();
finaliseStatistic();
if (result) {cGraph.print(options.getLog());}return result;}

私はわからない試みることができます何を求めているのですか?上記の方法をとって、testTimerのすべての使用法をコメントアウトすると、コードは0.5秒で完了します(10秒の「そのまま」)? – GhostCat
はいそれは本当です – Razieh
奇妙な音。何が起こっているのかを知るだけです。私は各行の後にprintln System.currentTimeMillis()を追加します。たぶんあなたのtestTimerにはたくさんのものが含まれていて、reset()は...うまくいっていますか? – GhostCat