• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for tptp-0.1.2.0 candidate source tarball

tptp-0.1.2.0/test-data/

• szs/
  • fof/
    • AGT004+2---Metis---2.4.THM-CRf.original.s
    • ALG043+1---Vampire---4.3.THM-Ref.original.s
    • group-theory---E.s
    • group-theory---Vampire.s
    • syllogism---E.s
    • syllogism---Vampire.s
  • tff/
    • AGT004+2---Z3---4.4.1.THM-Prf.original.s
    • ALG039+1---Z3---4.4.1.THM-Prf.original.s
• tptp/
  • cnf/
    • ALG001-0.ax
    • ANA001-0.ax
    • ANA002-0.ax
    • ANA003-0.ax
    • BOO001-0.ax
    • BOO002-0.ax
    • BOO003-0.ax
    • BOO004-0.ax
    • CAT001-0.ax
    • CAT002-0.ax
    • CAT003-0.ax
    • CAT004-0.ax
    • COL001-0.ax
    • COL002-0.ax
    • COL002-1.ax
    • FLD001-0.ax
    • FLD002-0.ax
    • GEO001-0.ax
    • GEO001-1.ax
    • GEO002-0.ax
    • GEO002-1.ax
    • GEO002-2.ax
    • GEO002-3.ax
    • GEO003-0.ax
    • GEO004-0.ax
    • GEO004-1.ax
    • GEO004-2.ax
    • GEO004-3.ax
    • GEO005-0.ax
    • GRP001-0.ax
    • GRP002-0.ax
    • GRP003-0.ax
    • GRP003-1.ax
    • GRP003-2.ax
    • GRP004-0.ax
    • GRP004-1.ax
    • GRP004-2.ax
    • GRP005-0.ax
    • GRP006-0.ax
    • GRP008-0.ax
    • GRP008-1.ax
    • HEN001-0.ax
    • HEN002-0.ax
    • HEN003-0.ax
    • HWC001-0.ax
    • HWC002-0.ax
    • HWV001-0.ax
    • HWV001-1.ax
    • HWV001-2.ax
    • HWV002-0.ax
    • HWV002-1.ax
    • HWV002-2.ax
    • HWV003-0.ax
    • HWV004-0.ax
    • LAT001-0.ax
    • LAT001-1.ax
    • LAT001-2.ax
    • LAT001-3.ax
    • LAT001-4.ax
    • LAT002-0.ax
    • LAT003-0.ax
    • LAT004-0.ax
    • LAT005-0.ax
    • LAT006-0.ax
    • LAT006-1.ax
    • LAT006-2.ax
    • LCL001-0.ax
    • LCL001-1.ax
    • LCL001-2.ax
    • LCL002-0.ax
    • LCL002-1.ax
    • LCL003-0.ax
    • LCL004-0.ax
    • LCL004-1.ax
    • LCL004-2.ax
    • LCL005-0.ax
    • LDA001-0.ax
    • MGT001-0.ax
    • MSC001-0.ax
    • MSC001-1.ax
    • MSC001-2.ax
    • NUM001-0.ax
    • NUM001-1.ax
    • NUM001-2.ax
    • NUM002-0.ax
    • NUM003-0.ax
    • NUM004-0.ax
    • PLA001-0.ax
    • PLA001-1.ax
    • PUZ001-0.ax
    • PUZ002-0.ax
    • PUZ003-0.ax
    • PUZ004-0.ax
    • PUZ005-0.ax
    • REL001-0.ax
    • REL001-1.ax
    • RNG001-0.ax
    • RNG002-0.ax
    • RNG003-0.ax
    • RNG004-0.ax
    • RNG005-0.ax
    • ROB001-0.ax
    • ROB001-1.ax
    • SET001-0.ax
    • SET001-1.ax
    • SET001-2.ax
    • SET001-3.ax
    • SET002-0.ax
    • SET003-0.ax
    • SET004-0.ax
    • SET004-1.ax
    • SWC001-0.ax
    • SWV001-0.ax
    • SWV002-0.ax
    • SWV004-0.ax
    • SWV005-0.ax
    • SWV005-1.ax
    • SWV005-2.ax
    • SWV005-3.ax
    • SWV005-4.ax
    • SWV005-5.ax
    • SWV005-6.ax
    • SWV005-7.ax
    • SWV006-0.ax
    • SWV006-1.ax
    • SWV006-2.ax
    • SWV006-3.ax
    • SWV013-0.ax
    • SYN000-0.ax
    • SYN000-1.p
    • SYN001-0.ax
    • TOP001-0.ax
  • fof/
    • AGT001+0.ax
    • AGT001+1.ax
    • AGT001+2.ax
    • ALG002+0.ax
    • COM001+0.ax
    • COM001+1.ax
    • CSR001+0.ax
    • CSR001+1.ax
    • CSR001+2.ax
    • CSR001+3.ax
    • CSR003+3.ax
    • CSR004+0.ax
    • GEO004+0.ax
    • GEO004+1.ax
    • GEO004+2.ax
    • GEO004+3.ax
    • GEO006+0.ax
    • GEO006+1.ax
    • GEO006+2.ax
    • GEO006+3.ax
    • GEO006+4.ax
    • GEO006+5.ax
    • GEO006+6.ax
    • GEO007+0.ax
    • GEO007+1.ax
    • GEO008+0.ax
    • GEO009+0.ax
    • GEO010+1.ax
    • GEO011+0.ax
    • GRA001+0.ax
    • GRP003+0.ax
    • GRP004+0.ax
    • GRP007+0.ax
    • HAL001+0.ax
    • KLE001+0.ax
    • KLE001+1.ax
    • KLE001+2.ax
    • KLE001+3.ax
    • KLE001+4.ax
    • KLE001+5.ax
    • KLE001+6.ax
    • KLE001+7.ax
    • KLE002+0.ax
    • KLE003+0.ax
    • KLE004+0.ax
    • KRS001+0.ax
    • KRS001+1.ax
    • LCL006+0.ax
    • LCL006+1.ax
    • LCL006+2.ax
    • LCL006+3.ax
    • LCL006+4.ax
    • LCL006+5.ax
    • LCL007+0.ax
    • LCL007+1.ax
    • LCL007+2.ax
    • LCL007+3.ax
    • LCL007+4.ax
    • LCL007+5.ax
    • LCL007+6.ax
    • MED001+0.ax
    • MED001+1.ax
    • MGT001+0.ax
    • NUM005+0.ax
    • NUM005+1.ax
    • NUM005+2.ax
    • PLA002+0.ax
    • PRD001+0.ax
    • PUZ005+0.ax
    • PUZ006+0.ax
    • REL001+0.ax
    • REL001+1.ax
    • SET005+0.ax
    • SET006+0.ax
    • SET006+1.ax
    • SET006+2.ax
    • SET006+3.ax
    • SET006+4.ax
    • SWB001+0.ax
    • SWB002+0.ax
    • SWB003+0.ax
    • SWB003+1.ax
    • SWC001+0.ax
    • SWV003+0.ax
    • SWV007+0.ax
    • SWV007+1.ax
    • SWV007+2.ax
    • SWV007+3.ax
    • SWV007+4.ax
    • SWV009+0.ax
    • SWV011+0.ax
    • SWV012+0.ax
    • SWV376+1.p
    • SYN000+0.ax
    • SYN000+1.p
    • SYN002+0.ax
    • group-theory.p
    • syllogism.p
  • tff/
    • COM110_5.p
    • DAT001=0.ax
    • DAT002=0.ax
    • DAT002=1.ax
    • DAT003=0.ax
    • DAT004=0.ax
    • DAT005=0.ax
    • DAT006=0.ax
    • LCL842_5.p
    • NUN015_5.p
    • PUZ139_1.p
    • SYN000_0.ax
    • SYN000_1.p
• tstp/
  • cnf/
    • AGT004+2---SNARK---20120808r022.THM-Ref.s
    • AGT004+2---SPASS---3.9.THM-Ref.s
    • ALG028+1---SPASS---3.9.THM-Ref.s
  • fof/
    • AGT004+2---Metis---2.4.THM-CRf.s
    • AGT006+1---Vampire---SAT-4.3.THM-Ref.s
    • ALG022+1---Metis---2.3.THM-CRf.s
    • ALG022+1---SInE---0.4.THM-CRf.s
    • ALG028+1---iProverMo---2.5-0.1.THM-CRf.s
    • ALG043+1---Vampire---4.3.THM-Ref.s
    • ALG107+1---iProver---2.8.THM-CRf.s
  • tff/
    • AGT004+2---Z3---4.4.1.THM-Prf.s
    • ALG039+1---Z3---4.4.1.THM-Prf.s