Index of /~sschulz/WORK/E_DOWNLOAD/V_1.5/E/EXAMPLE_PROBLEMS/TPTP

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]SYN510-1+rm_eq_rstfp..>2024-05-01 15:59 22K 
[ ]SYN486-1+rm_eq_rstfp..>2024-05-01 15:59 22K 
[ ]SYN480-1+rm_eq_rstfp..>2024-05-01 15:59 23K 
[ ]SYN476-1+rm_eq_rstfp..>2024-05-01 15:59 22K 
[TXT]SYN310-1+rm_eq_rstfp..>2024-05-01 15:59 1.5K 
[ ]SYN192-1+rm_eq_rstfp..>2024-05-01 15:59 32K 
[ ]SYN190-1+rm_eq_rstfp..>2024-05-01 15:59 32K 
[ ]SYN072-1+rm_eq_rstfp..>2024-05-01 15:59 1.3K 
[ ]SYN071-1+rm_eq_rstfp..>2024-05-01 15:59 1.6K 
[TXT]SYN067-3+rm_eq_rstfp..>2024-05-01 15:59 8.5K 
[ ]SYN036-1+rm_eq_rstfp..>2024-05-01 15:59 26K 
[ ]SYN014-1+rm_eq_rstfp..>2024-05-01 15:59 3.0K 
[TXT]SET515-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[TXT]SET261-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[ ]SET235-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[TXT]SET191-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[ ]SET189-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[TXT]SET183-6+rm_eq_rstfp..>2024-05-01 15:59 17K 
[TXT]SET138-6+rm_eq_rstfp..>2024-05-01 15:59 14K 
[ ]SET074-6+rm_eq_rstfp..>2024-05-01 15:59 13K 
[ ]SET012-3+rm_eq_rstfp..>2024-05-01 15:59 18K 
[TXT]ROB011-1+rm_eq_rstfp..>2024-05-01 15:59 2.0K 
[TXT]RNG039-1+rm_eq_rstfp..>2024-05-01 15:59 6.2K 
[TXT]RNG034-1+rm_eq_rstfp..>2024-05-01 15:59 3.2K 
[TXT]RNG019-6+rm_eq_rstfp..>2024-05-01 15:59 3.0K 
[ ]RNG016-6+rm_eq_rstfp..>2024-05-01 15:59 2.9K 
[ ]RNG008-1+rm_eq_rstfp..>2024-05-01 15:59 3.6K 
[ ]RNG007-4+rm_eq_rstfp..>2024-05-01 15:59 3.0K 
[TXT]RNG005-1+rm_eq_rstfp..>2024-05-01 15:59 3.5K 
[TXT]PUZ032-1+rm_eq_rstfp..>2024-05-01 15:59 2.8K 
[ ]PUZ028-6+rm_eq_rstfp..>2024-05-01 15:59 3.9K 
[TXT]PUZ006-1+rm_eq_rstfp..>2024-05-01 15:59 4.3K 
[TXT]PUZ005-1+rm_eq_rstfp..>2024-05-01 15:59 6.2K 
[TXT]PLA018-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K 
[TXT]PLA014-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K 
[TXT]PLA013-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K 
[TXT]PLA012-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K 
[TXT]NUM094-1+rm_eq_rstfp..>2024-05-01 15:59 23K 
[ ]LDA003-1+rm_eq_rstfp..>2024-05-01 15:59 1.5K 
[TXT]LCL211-1+rm_eq_rstfp..>2024-05-01 15:59 2.1K 
[TXT]LCL207-1+rm_eq_rstfp..>2024-05-01 15:59 2.1K 
[TXT]LCL160-1+rm_eq_rstfp..>2024-05-01 15:59 2.9K 
[TXT]LCL153-1+rm_eq_rstfp..>2024-05-01 15:59 2.8K 
[TXT]LCL141-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]LCL135-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]LCL131-1+rm_eq_rstfp..>2024-05-01 15:59 2.0K 
[TXT]LCL129-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]LCL115-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]LCL110-2+rm_eq_rstfp..>2024-05-01 15:59 2.0K 
[TXT]LCL093-1+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]LCL075-1+rm_eq_rstfp..>2024-05-01 15:59 2.0K 
[TXT]LCL051-1+rm_eq_rstfp..>2024-05-01 15:59 2.3K 
[TXT]LCL033-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]LCL018-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]LCL011-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]LCL010-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]LCL009-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[ ]HEN010-3+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[ ]HEN003-3+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]GRP190-2+rm_eq_rstfp..>2024-05-01 15:59 3.4K 
[TXT]GRP175-3+rm_eq_rstfp..>2024-05-01 15:59 3.4K 
[TXT]GRP170-3+rm_eq_rstfp..>2024-05-01 15:59 3.4K 
[TXT]GRP170-1+rm_eq_rstfp..>2024-05-01 15:59 3.3K 
[TXT]GRP169-2+rm_eq_rstfp..>2024-05-01 15:59 3.4K 
[TXT]GRP121-1+rm_eq_rstfp..>2024-05-01 15:59 1.5K 
[TXT]GRP117-1+rm_eq_rstfp..>2024-05-01 15:59 1.4K 
[TXT]GRP116-1+rm_eq_rstfp..>2024-05-01 15:59 1.4K 
[TXT]GRP106-1+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]GRP104-1+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]GRP082-1+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]GRP080-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[ ]GRP062-1+rm_eq_rstfp..>2024-05-01 15:59 1.6K 
[ ]GRP053-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[ ]GRP050-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]GRP002-1+rm_eq_rstfp..>2024-05-01 15:59 3.4K 
[ ]GEO048-2+rm_eq_rstfp..>2024-05-01 15:59 4.3K 
[TXT]GEO030-2+rm_eq_rstfp..>2024-05-01 15:59 4.2K 
[ ]GEO012-1+rm_eq_rstfp..>2024-05-01 15:59 5.2K 
[ ]GEO006-2+rm_eq_rstfp..>2024-05-01 15:59 4.4K 
[TXT]COL064-7+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]COL064-6+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]COL064-11+rm_eq_rstf..>2024-05-01 15:59 1.9K 
[TXT]COL062-2+rm_eq_rstfp..>2024-05-01 15:59 1.8K 
[TXT]COL060-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]COL044-2+rm_eq_rstfp..>2024-05-01 15:59 2.1K 
[TXT]COL042-8+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]COL038-1+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]COL011-1+rm_eq_rstfp..>2024-05-01 15:59 1.7K 
[TXT]COL006-5+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[TXT]COL003-9+rm_eq_rstfp..>2024-05-01 15:59 2.1K 
[TXT]COL003-7+rm_eq_rstfp..>2024-05-01 15:59 2.1K 
[TXT]COL003-5+rm_eq_rstfp..>2024-05-01 15:59 2.3K 
[TXT]COL003-4+rm_eq_rstfp..>2024-05-01 15:59 2.3K 
[TXT]COL003-19+rm_eq_rstf..>2024-05-01 15:59 1.9K 
[TXT]COL003-17+rm_eq_rstf..>2024-05-01 15:59 1.9K 
[ ]CIV006-2+rm_eq_rstfp..>2024-05-01 15:59 7.2K 
[ ]CID002-1+rm_eq_rstfp..>2024-05-01 15:59 6.4K 
[TXT]CAT018-4+rm_eq_rstfp..>2024-05-01 15:59 2.6K 
[ ]CAT018-3+rm_eq_rstfp..>2024-05-01 15:59 3.3K 
[TXT]CAT009-3+rm_eq_rstfp..>2024-05-01 15:59 3.3K 
[TXT]CAT005-3+rm_eq_rstfp..>2024-05-01 15:59 3.5K 
[TXT]CAT004-4+rm_eq_rstfp..>2024-05-01 15:59 3.0K 
[ ]CAT004-2+rm_eq_rstfp..>2024-05-01 15:59 2.9K 
[ ]CAT002-1+rm_eq_rstfp..>2024-05-01 15:59 3.8K 
[ ]BOO017-1+rm_eq_rstfp..>2024-05-01 15:59 3.9K 
[ ]BOO015-2+rm_eq_rstfp..>2024-05-01 15:59 2.7K 
[ ]BOO010-2+rm_eq_rstfp..>2024-05-01 15:59 2.5K 
[ ]BOO009-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K 
[ ]BOO008-4+rm_eq_rstfp..>2024-05-01 15:59 1.9K 
[ ]BOO006-1+rm_eq_rstfp..>2024-05-01 15:59 4.0K