Directory listing for tptp-0.1.2.0 candidate source tarball
tptp-0.1.2.0/test-data/tptp/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