結果
問題 | No.143 豆 |
ユーザー | nobsun |
提出日時 | 2018-06-17 17:14:27 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 3 ms / 1,000 ms |
コード長 | 229 bytes |
コンパイル時間 | 3,216 ms |
コンパイル使用メモリ | 155,280 KB |
実行使用メモリ | 7,624 KB |
最終ジャッジ日時 | 2023-09-30 17:18:53 |
合計ジャッジ時間 | 4,301 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
7,156 KB |
testcase_01 | AC | 3 ms
7,416 KB |
testcase_02 | AC | 3 ms
7,208 KB |
testcase_03 | AC | 3 ms
7,368 KB |
testcase_04 | AC | 3 ms
7,320 KB |
testcase_05 | AC | 3 ms
7,480 KB |
testcase_06 | AC | 3 ms
7,496 KB |
testcase_07 | AC | 3 ms
7,468 KB |
testcase_08 | AC | 3 ms
7,396 KB |
testcase_09 | AC | 3 ms
7,404 KB |
testcase_10 | AC | 3 ms
7,520 KB |
testcase_11 | AC | 3 ms
7,216 KB |
testcase_12 | AC | 3 ms
7,348 KB |
testcase_13 | AC | 3 ms
7,500 KB |
testcase_14 | AC | 3 ms
7,472 KB |
testcase_15 | AC | 3 ms
7,624 KB |
testcase_16 | AC | 2 ms
7,068 KB |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
module Main where import Data.Bool main :: IO () main = do { [k,n,f] <- getInts ; xs <- getInts ; let r = k*n - sum xs ; print $ bool (-1) r (r >= 0) } getInts :: IO [Int] getInts = map read . words <$> getLine