Submission #125717


Source Code Expand

let forall f str1 str2 =
  let rec forall' i =
    if i = 0 then true
    else
      let i = pred i in
      if f str1.[i] str2.[i] then forall' i
      else false
  in
  let str1len = String.length str1 in
  let str2len = String.length str2 in
  if str1len <> str2len then raise (Invalid_argument "");
  forall' str1len

let solve str1 str2 =
  let judge c1 c2 =
    match c1, c2 with
    | '@', ('a' | 't' | 'c' | 'o' | 'd' | 'e' | 'r') -> true
    | ('a' | 't' | 'c' | 'o' | 'd' | 'e' | 'r'), '@' -> true
    | _ when c1 = c2 -> true
    | _ -> false in
  forall judge str1 str2

let () =
  let answer =
    if Scanf.scanf "%s %s" solve then "You can win"
    else "You will lose" in
  print_endline answer

Submission Info

Submission Time
Task B - AtCoderトランプ
User nimu
Language OCaml (3.12.1)
Score 100
Code Size 737 Byte
Status AC
Exec Time 188 ms
Memory 1540 KB

Judge Result

Set Name All
Score / Max Score 100 / 100
Status
AC × 78
Set Name Test Cases
All 00_sample_01.txt, 00_sample_02.txt, 00_sample_03.txt, test_AAAAAAAAAA_AAAAAAAAAA.txt, test_AAAAAAA_atcoder.txt, test_AAAAAAAcAA_dddddddddd.txt, test_AAA_AAA.txt, test_AAApqAAq_AmAbAAAv.txt, test_A_A.txt, test_A_z.txt, test_Aataodfoad_cazgodeowA.txt, test_AbAAkAtAAA_AbAAkAAAAc.txt, test_AddAAdAccc_cdddAApcAc.txt, test_AeAApAAkAA_AAAApetkAA.txt, test_AeaewrAckd_teaAwrackd.txt, test_AjuAAfw_AjutAfw.txt, test_AkaAAbhbrA_AayAgbrnno.txt, test_Amk_AiA.txt, test_Aqgzjukogn_vqgzjukogn.txt, test_AtAjjlAlj_zxojqerlj.txt, test_aAAAnoAAAA_AAAAnAAAtA.txt, test_aAsAzpurej_AasAzppAej.txt, test_aaaaaaaaaa_tttttttttt.txt, test_acAtasfAtr_acrtasfrtr.txt, test_aercbrAkAc_aeAcbArkAc.txt, test_aeyfyeu_aeyfyAn.txt, test_akAoazoAgA_ardoazoago.txt, test_alqinmkpob_alqizmvprb.txt, test_atgvrdnadg_atgvrdnadg.txt, test_bAozuxujyf_btAzuxujyf.txt, test_beAdgbAvpm_beoAvbAvpm.txt, test_cejeesaetk_cwecdetuvd.txt, test_cnrrdorw_cnrrdArw.txt, test_coaeeccedr_coaeeccedr.txt, test_cogxtrmwlv_cojxzhuyjv.txt, test_cyhn_AyhA.txt, test_dkaykjA_dkaeAjl.txt, test_dtjwlyycmb_zveetyyqmb.txt, test_dxjunaaqfj_dxjurackej.txt, test_eAhatnjhws_uAAAAnoAfs.txt, test_e_r.txt, test_f_k.txt, test_fq_xv.txt, test_gAuuAzhzAf_kiuwszAzAf.txt, test_gaAAAAAAcA_oAAloAmAAm.txt, test_gxghqm_gxghqm.txt, test_humnAvnlbi_humnAvnlbi.txt, test_hzlsl_ozlsl.txt, test_ifiiAAAjnr_ifiirtAjnr.txt, test_ifwmypbnsy_ifwmypbnsy.txt, test_jhxjiskyyf_uqvmsjtptm.txt, test_khinAAAwAf_khinAAAwrf.txt, test_kodtcdckd_kAdtcdckd.txt, test_lkhxgf_xghwgf.txt, test_ltoh_lAoh.txt, test_moeooAtAAt_mAeooAtAdt.txt, test_nbAAqAnga_nlaAqAngA.txt, test_o_o.txt, test_oderoderod_AAoderAAAd.txt, test_ok_Ak.txt, test_pAknA_pAknA.txt, test_p_A.txt, test_ppxAslAquh_ppxAslAquh.txt, test_qcnnrt_ccnnrA.txt, test_tjAmwowdhk_AjeiwAwdhk.txt, test_uAkAs_tlxas.txt, test_u_u.txt, test_ug_ug.txt, test_vAb_vAA.txt, test_vvgxtupvbt_vvgbtupnbp.txt, test_vvvvvvvvvv_vvvvvvvvvv.txt, test_wAAA_AAAA.txt, test_waAqrnAkka_waoqAnAAkA.txt, test_wokclAAA_wAkAqrAd.txt, test_xkhqxlzkzs_xkhqxlzkzs.txt, test_z_z.txt, test_zctrfqAsAn_zAyrgqtsdn.txt, test_zzsxnmjzfn_zzsxnmjzfn.txt
Case Name Status Exec Time Memory
00_sample_01.txt AC 188 ms 1472 KB
00_sample_02.txt AC 36 ms 1492 KB
00_sample_03.txt AC 37 ms 1488 KB
test_AAAAAAAAAA_AAAAAAAAAA.txt AC 35 ms 1472 KB
test_AAAAAAA_atcoder.txt AC 34 ms 1472 KB
test_AAAAAAAcAA_dddddddddd.txt AC 36 ms 1484 KB
test_AAA_AAA.txt AC 38 ms 1468 KB
test_AAApqAAq_AmAbAAAv.txt AC 34 ms 1448 KB
test_A_A.txt AC 36 ms 1492 KB
test_A_z.txt AC 34 ms 1444 KB
test_Aataodfoad_cazgodeowA.txt AC 35 ms 1488 KB
test_AbAAkAtAAA_AbAAkAAAAc.txt AC 35 ms 1492 KB
test_AddAAdAccc_cdddAApcAc.txt AC 35 ms 1488 KB
test_AeAApAAkAA_AAAApetkAA.txt AC 34 ms 1488 KB
test_AeaewrAckd_teaAwrackd.txt AC 35 ms 1488 KB
test_AjuAAfw_AjutAfw.txt AC 34 ms 1492 KB
test_AkaAAbhbrA_AayAgbrnno.txt AC 35 ms 1472 KB
test_Amk_AiA.txt AC 40 ms 1476 KB
test_Aqgzjukogn_vqgzjukogn.txt AC 34 ms 1492 KB
test_AtAjjlAlj_zxojqerlj.txt AC 34 ms 1492 KB
test_aAAAnoAAAA_AAAAnAAAtA.txt AC 34 ms 1488 KB
test_aAsAzpurej_AasAzppAej.txt AC 35 ms 1384 KB
test_aaaaaaaaaa_tttttttttt.txt AC 35 ms 1444 KB
test_acAtasfAtr_acrtasfrtr.txt AC 34 ms 1468 KB
test_aercbrAkAc_aeAcbArkAc.txt AC 34 ms 1492 KB
test_aeyfyeu_aeyfyAn.txt AC 36 ms 1384 KB
test_akAoazoAgA_ardoazoago.txt AC 34 ms 1492 KB
test_alqinmkpob_alqizmvprb.txt AC 34 ms 1472 KB
test_atgvrdnadg_atgvrdnadg.txt AC 37 ms 1368 KB
test_bAozuxujyf_btAzuxujyf.txt AC 37 ms 1488 KB
test_beAdgbAvpm_beoAvbAvpm.txt AC 37 ms 1492 KB
test_cejeesaetk_cwecdetuvd.txt AC 35 ms 1488 KB
test_cnrrdorw_cnrrdArw.txt AC 36 ms 1492 KB
test_coaeeccedr_coaeeccedr.txt AC 34 ms 1468 KB
test_cogxtrmwlv_cojxzhuyjv.txt AC 35 ms 1364 KB
test_cyhn_AyhA.txt AC 35 ms 1488 KB
test_dkaykjA_dkaeAjl.txt AC 34 ms 1492 KB
test_dtjwlyycmb_zveetyyqmb.txt AC 35 ms 1488 KB
test_dxjunaaqfj_dxjurackej.txt AC 37 ms 1472 KB
test_eAhatnjhws_uAAAAnoAfs.txt AC 36 ms 1472 KB
test_e_r.txt AC 35 ms 1488 KB
test_f_k.txt AC 35 ms 1364 KB
test_fq_xv.txt AC 36 ms 1492 KB
test_gAuuAzhzAf_kiuwszAzAf.txt AC 35 ms 1416 KB
test_gaAAAAAAcA_oAAloAmAAm.txt AC 35 ms 1492 KB
test_gxghqm_gxghqm.txt AC 38 ms 1488 KB
test_humnAvnlbi_humnAvnlbi.txt AC 35 ms 1492 KB
test_hzlsl_ozlsl.txt AC 35 ms 1388 KB
test_ifiiAAAjnr_ifiirtAjnr.txt AC 35 ms 1492 KB
test_ifwmypbnsy_ifwmypbnsy.txt AC 37 ms 1472 KB
test_jhxjiskyyf_uqvmsjtptm.txt AC 43 ms 1472 KB
test_khinAAAwAf_khinAAAwrf.txt AC 35 ms 1452 KB
test_kodtcdckd_kAdtcdckd.txt AC 36 ms 1488 KB
test_lkhxgf_xghwgf.txt AC 35 ms 1472 KB
test_ltoh_lAoh.txt AC 34 ms 1364 KB
test_moeooAtAAt_mAeooAtAdt.txt AC 34 ms 1364 KB
test_nbAAqAnga_nlaAqAngA.txt AC 34 ms 1492 KB
test_o_o.txt AC 36 ms 1456 KB
test_oderoderod_AAoderAAAd.txt AC 35 ms 1492 KB
test_ok_Ak.txt AC 36 ms 1492 KB
test_pAknA_pAknA.txt AC 35 ms 1488 KB
test_p_A.txt AC 35 ms 1488 KB
test_ppxAslAquh_ppxAslAquh.txt AC 35 ms 1364 KB
test_qcnnrt_ccnnrA.txt AC 35 ms 1468 KB
test_tjAmwowdhk_AjeiwAwdhk.txt AC 36 ms 1488 KB
test_uAkAs_tlxas.txt AC 34 ms 1492 KB
test_u_u.txt AC 36 ms 1484 KB
test_ug_ug.txt AC 39 ms 1476 KB
test_vAb_vAA.txt AC 34 ms 1448 KB
test_vvgxtupvbt_vvgbtupnbp.txt AC 33 ms 1540 KB
test_vvvvvvvvvv_vvvvvvvvvv.txt AC 36 ms 1492 KB
test_wAAA_AAAA.txt AC 36 ms 1476 KB
test_waAqrnAkka_waoqAnAAkA.txt AC 34 ms 1472 KB
test_wokclAAA_wAkAqrAd.txt AC 39 ms 1468 KB
test_xkhqxlzkzs_xkhqxlzkzs.txt AC 36 ms 1488 KB
test_z_z.txt AC 35 ms 1472 KB
test_zctrfqAsAn_zAyrgqtsdn.txt AC 36 ms 1364 KB
test_zzsxnmjzfn_zzsxnmjzfn.txt AC 35 ms 1468 KB