Index of /CompLangs/Isabelle2023/contrib/vampire-4.6/src/regressions/problems
Parent Directory
cl_protected_1.p
cl_protected_2.p
pp_ea_1.p
pp_esk_1.p
pp_esk_2.p
pp_inl_protected_1.p
pp_inl_scan_1.p
pp_updr_1.p
pp_updr_2.p
srt_varEq.p
sspl_incompl_1.p
tptp_out_intro_eqproxy.p
tptp_out_intro_gsp.p
tptp_out_intro_is.p
tptp_out_intro_naming.p
tptp_out_intro_sb.p
tptp_out_intro_skolem.p
tptp_out_intro_ssat.p
tptp_out_intro_swb_bdd.p
tptp_out_intro_swb_nobdd.p