Index of /~mptp/8.1.15_5.94.1493/MPTP2/MaLARea/bin

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]GetSymbols2025-09-07 22:13 150K 
[   ]NumberVars2025-09-07 22:13 799K 
[   ]SPASS2025-09-07 22:13 479K 
[   ]SPASS372025-09-07 22:13 689K 
[   ]clausefilter2025-09-07 22:13 73  
[   ]clausefilter.old2025-09-07 22:13 262K 
[   ]e_axfilter2025-09-07 22:13 517K 
[   ]epclextract2025-09-07 22:13 238K 
[   ]eproof2025-09-07 22:13 3.4K 
[   ]eprover2025-09-07 22:13 893K 
[   ]fofshared2025-09-07 22:13 300K 
[TXT]fofshared.c2025-09-07 22:13 8.3K 
[   ]fofshared.trms22025-09-07 22:13 411K 
[   ]interpfilter2025-09-07 22:13 261K 
[   ]interpformat2025-09-07 22:13 266K 
[   ]ladr_to_tptp2025-09-07 22:13 363K 
[   ]mace42025-09-07 22:13 299K 
[   ]paradox2025-09-07 22:13 3.0M 
[TXT]prdx2p9.pl2025-09-07 22:13 3.2K 
[TXT]prdxprep.pl2025-09-07 22:13 2.7K 
[TXT]runepar.pl2025-09-07 22:13 22K 
[   ]runparadox2025-09-07 22:13 42  
[   ]runparadox12025-09-07 22:13 87  
[   ]runwtlcached2025-09-07 22:13 1.1K 
[   ]runwtlimit2025-09-07 22:13 105  
[   ]snow2025-09-07 22:13 718K 
[   ]tptp4X2025-09-07 22:13 152K 
[   ]tptp_to_ladr2025-09-07 22:13 363K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80