1

数日間、さまざまな入力サイズでオイラーのふるいのパフォーマンスをテストして以来、AutoBench を使用しています。

私のテストは、オイラーの篩によって生成されたリスト内の n 番目の素数を要求するだけです。

Criterion は n の小さな入力ではうまく機能しますが、n が 7000 を超えると有効なレポートが生成されないようです。

テストした Input.hs ファイルは次のとおりです。

eS :: Int -> Int
eS x = (eulerSieve [2..]) !! x where
  eulerSieve cs@(p:tcs) = p:eulerSieve (minus tcs (map (p*) cs))

tDat :: UnaryTestData Int
tDat  = 
  [ (1000, return 1000)
  , (2000, return 2000)
  , (3000, return 3000)
  , (4000, return 4000)
  , (5000, return 5000)
  , (6000, return 6000)
  , (7000, return 7000)
  , (8000, return 8000)
  , (9000, return 9000)
  , (10000, return 10000)
  , (11000, return 11000)
  , (12000, return 12000)
  , (13000, return 13000)
  , (14000, return 14000)
  , (15000, return 15000)
  , (16000, return 16000)
  , (17000, return 17000)
  , (18000, return 18000)
  , (19000, return 19000)
  , (20000, return 20000)
  ]

ts :: TestSuite 
ts  = def {
  _progs = ["eS"],
  _dataOpts = Manual "tDat"
}

そして、これは私が得ているエラーです:

benchmarking Input Size 8000/Input.eS
 • Executed benchmarking file ✔
 • Generating test report
File error: Invalid Criterion report: Error in $: not enough input
Testing cancelled. Press any key to exit... 
Leaving AutoBench.

これは、手順が n 番目の素数で応答するのに必要な時間の実行に関連していると思いますが、オンラインでは何も見つかりませんでしたが、それについては何も言及していない公式ドキュメントです。

4

1 に答える 1