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