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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]00ChallFiles2025-09-07 22:13 284  
[ ]00allmmlax2025-09-15 19:52 49M 
[ ]00allmmlax.std2025-09-07 22:14 50M 
[ ]00allmmlax_thf2025-09-15 10:29 120M 
[ ]00atp152025-09-15 19:53 4.0M 
[ ]00dirs012025-09-09 19:48 6.0K 
[ ]00files012025-09-09 14:56 1.4M 
[ ]00files0112025-09-09 19:51 1.1M 
[ ]00files0122025-09-09 19:51 858K 
[ ]00files01222025-09-09 19:55 1.1M 
[ ]00files022025-09-09 19:49 1.9M 
[ ]00files032025-09-10 10:37 2.4M 
[ ]00files0322025-09-10 10:38 477K 
[ ]00files03222025-09-10 10:42 615K 
[ ]00hist12025-09-09 20:35 82K 
[ ]00hist22025-09-10 10:43 82K 
[ ]00mixedinclude2025-09-15 19:52 49M 
[ ]00mixedinclude_thf2025-09-15 10:29 120M 
[ ]00miz152025-09-15 19:53 4.0M 
[ ]00mizrefs2025-09-15 19:52 7.1M 
[ ]00mizrefs_sch2025-09-15 10:29 7.0M 
[ ]00seq2025-09-15 19:53 1.6M 
[ ]00sym0eq2025-09-15 19:54 79M 
[ ]00symdeq2025-09-15 19:54 91M 
[ ]03div2025-09-07 22:13 23K 
[ ]04div2025-09-07 22:13 7.0K 
[DIR]Axioms/2025-09-07 22:14 -  
[DIR]Ebot/2025-09-07 22:13 -  
[ ]MMLdivision2025-09-07 22:13 1.2K 
[ ]MMLdivision.10112025-09-07 22:13 2.3K 
[TXT]MMLdivtest.pl2025-09-07 22:13 458  
[DIR]MPTP2078/2025-09-07 22:13 -  
[TXT]MPTPParseSPASS.pl2025-09-07 22:13 11K 
[DIR]MaLARea/2025-09-07 22:13 -  
[ ]Makefile.by2025-09-07 22:13 827  
[DIR]MizAR/2025-09-07 22:13 -  
[ ]README2025-09-07 22:13 4.7K 
[DIR]Strategies/2025-09-07 22:13 -  
[DIR]TSTPRes/2025-09-07 22:13 -  
[TXT]cclusters1103.pl2025-09-07 22:13 257K 
[TXT]cclusters1132.pl2025-09-07 22:13 273K 
[TXT]check_cnf.pl2025-09-07 22:13 356  
[TXT]cnfcyc.pl2025-09-07 22:13 829  
[TXT]constr_names1.pl2025-09-07 22:13 683K 
[TXT]dbenv.pl2025-09-07 22:13 1.2K 
[TXT]dbenv2.pl2025-09-07 22:13 641  
[TXT]dbenv_date.pl2025-09-07 22:13 1.9K 
[TXT]dfgres.pl2025-09-07 22:13 474  
[TXT]dli2html.pl2025-09-07 22:13 407  
[TXT]env_utils.pl2025-09-07 22:13 4.0K 
[ ]eout300prf.tar.gz2025-09-10 19:07 1.9M 
[TXT]eres.pl2025-09-07 22:13 452  
[TXT]err2pl.pl2025-09-07 22:13 139  
[TXT]err2xml.pl2025-09-07 22:13 233  
[TXT]extract_e_refs.pl2025-09-07 22:13 1.0K 
[TXT]fclusters1103.pl2025-09-07 22:13 2.4M 
[TXT]fclusters1132.pl2025-09-07 22:13 2.3M 
[DIR]finedeps/2025-09-07 22:13 -  
[TXT]fixrates.pl2025-09-07 22:13 614  
[ ]hidden.dco22025-09-07 22:13 196  
[TXT]install_MizAR.sh2025-09-07 22:13 6.9K 
[TXT]install_MizAR_WS.sh2025-09-07 22:13 6.3K 
[DIR]learning/2025-09-07 22:13 -  
[TXT]makespec1.pl2025-09-07 22:13 1.3K 
[DIR]mizsys/2025-09-07 22:13 -  
[TXT]mk_derived.pl2025-09-07 22:13 1.0K 
[TXT]mk_derived_pl.sh2025-09-07 22:13 308  
[TXT]mkfullincludes.pl2025-09-07 22:13 378  
[ ]mml.lar2025-05-30 13:15 13K 
[ ]mml.lar.10112025-09-07 22:13 8.4K 
[DIR]mml_git/2025-09-07 22:13 -  
[TXT]mptp_html.pl2025-09-07 22:13 488  
[ ]mptp_problems_small.8.1.15_5.94.1493.tar.gz2025-09-11 16:28 503M 
[ ]mptp_problems_small_thf.8.1.15_5.94.1493.tar.gz2025-09-15 10:28 787M 
[ ]new1.tar.gz2025-09-09 18:38 20M 
[DIR]new1/2025-09-09 18:37 -  
[DIR]pl/2025-09-07 22:13 -  
[DIR]problems/2025-09-15 10:19 -  
[DIR]problems_small/2025-09-15 19:54 -  
[DIR]problems_small_thf/2025-09-15 10:29 -  
[ ]probs1.tar.gz2025-09-08 23:57 209M 
[ ]probs2.tar.gz2025-09-09 19:59 172M 
[ ]probs3.tar.gz2025-09-10 10:42 91M 
[ ]screenlog.02025-09-16 00:39 1.7M 
[ ]snow3.refnr2025-09-15 19:56 1.1M 
[ ]snow3.symnr2025-09-15 19:56 196K 
[ ]snow3.train2025-09-15 19:56 12M 
[ ]snow3.train12025-09-15 19:56 17  
[TXT]terms.pl2025-09-07 22:13 4.3K 
[TXT]tstpres2SS.sh2025-09-07 22:13 1.4K 
[TXT]utils.pl2025-09-07 22:13 245K 
[ ]utils.ple2025-09-07 22:13 245K 
[TXT]utils_no_thf.pl2025-09-07 22:13 227K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80