Index of /~mptp

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]00.pdf2022-05-26 20:40 27K 
[   ]00V20only2020-06-30 19:18 3.0K 
[   ]00allfreq12024-02-04 10:08 6.5K 
[   ]00allmmlax_noguards.gz2024-01-27 20:01 1.9M 
[   ]00comp22019-02-21 22:04 1.0M 
[   ]00lassenames2020-02-18 11:38 254K 
[   ]00lgbm_loop_4M.log2020-11-19 12:24 97K 
[   ]00lgbm_loop_4M1.log2020-11-19 21:05 95K 
[   ]00log_proved1min_lr0042020-11-07 15:40 108K 
[   ]00newdeps__min_more2016-03-15 11:46 1.2M 
[   ]00proved_202109022023-02-23 13:02 528K 
[   ]00th42020-04-01 21:04 1.2M 
[   ]00todo12020-06-30 19:26 241K 
[   ]02UNSAT2023-11-27 05:54 50K 
[DIR]7.11.07_4.156.1112/2020-02-18 21:31 -  
[DIR]7.13.01_4.181.1147/2024-05-05 19:50 -  
[DIR]8.0.01_5.6.1169/2018-05-08 12:19 -  
[DIR]8.1.03_5.29.1227/2016-07-11 16:06 -  
[DIR]8.1.05_5.37.1275/2019-11-06 16:54 -  
[DIR]8.1.08_5.50.1318/2018-08-27 19:22 -  
[DIR]8.1.10_5.63.1382/2024-06-07 22:49 -  
[   ]10.1007_978-3-319-63046-5_34.pdf2018-05-18 10:18 457K 
[DIR]1147/2024-05-05 19:50 -  
[DIR]1169/2018-01-09 18:33 -  
[   ]2019_02_13_hol4_fof_bushy.tar.gz2019-02-13 13:00 21M 
[   ]2020-09-PartnerPresentationTemplate.pdf2020-09-21 09:13 224K 
[   ]2022-05-LASH.tar.gz2022-05-09 10:43 5.5K 
[SND]AI4REASON-Interview.ogg2022-06-04 08:25 10M 
[   ]AITP_2020_paper_11.pdf2020-01-25 19:44 219K 
[   ]AITP_2020_paper_21.pdf2020-01-17 21:21 180K 
[DIR]AI_sem/2022-04-25 23:22 -  
[IMG]AR.gif2016-06-16 04:00 303  
[   ]CICM-slides-Wang.pdf2018-10-09 16:41 23M 
[DIR]CodeMirror/2016-06-16 17:57 -  
[   ]E22auto_bushy5s12019-11-30 16:58 180K 
[DIR]ET02/2019-02-08 18:45 -  
[   ]ET20.tar.gz2017-07-19 14:57 6.1M 
[DIR]ET_solve/2019-08-06 08:14 -  
[DIR]Edbg3/2018-08-11 00:15 -  
[DIR]Ewatch/2016-09-11 12:06 -  
[DIR]Ewatch1/2018-01-23 10:44 -  
[   ]Gmail - Informace z dnešního jednání AS.pdf2018-09-14 07:06 86K 
[   ]IEEE_CS_Latex8.5x11x2.zip2016-07-22 08:19 766K 
[   ]MPTP20.pdf2023-08-01 08:33 304K 
[   ]MaLARea---0.5.tar.gz2016-05-23 20:25 19M 
[   ]MaLARea---0.9.tar.gz2020-06-29 22:40 153M 
[   ]MaLeCoP.pdf2023-09-27 10:42 242K 
[   ]MizAR-ITP-talk.pdf2023-09-13 14:08 418K 
[TXT]MizAR.html2022-06-24 16:17 5.7K 
[TXT]MizAR.html.old12016-07-22 21:54 5.6K 
[TXT]MizAR.html.old22018-08-28 10:06 5.6K 
[TXT]MizAR.html.old32022-06-24 16:17 5.7K 
[   ]MizarSample.tptp2017-07-11 16:19 71K 
[DIR]Mizar_eval_final_split/2021-02-21 10:21 -  
[IMG]PalmTree.jpg2016-06-16 04:00 938  
[   ]SH5795.tar.gz2015-06-12 18:27 22M 
[IMG]TPTP.gif2016-06-16 04:00 97  
[IMG]TSTP.gif2016-06-16 04:00 92  
[IMG]WP.ico2016-06-16 04:00 318  
[TXT]ab1.html2017-09-25 19:55 135K 
[   ]abstract.pdf2019-12-06 20:23 180K 
[DIR]adl/2023-03-23 16:48 -  
[   ]agi18.pdf2018-08-24 09:54 1.2M 
[   ]agi21.pdf2021-10-18 23:57 1.7M 
[DIR]ai4reason/2021-02-08 08:52 -  
[   ]ai4reason6.pdf2016-09-01 11:48 752K 
[   ]ai4reason91a.pdf2018-10-25 14:20 2.6M 
[   ]ai4reason91b.pdf2018-11-14 10:02 6.7M 
[   ]ai4reason91c.pdf2019-11-21 14:07 5.9M 
[DIR]aimc/2021-05-25 16:01 -  
[   ]aimleap3b.tgz2020-11-06 15:01 1.1M 
[   ]aimleap3c.tar.gz2020-11-16 18:30 2.4M 
[DIR]aimm/2018-11-08 12:53 -  
[DIR]aimr2/2018-11-16 12:37 -  
[DIR]aimrewrite/2018-10-18 15:41 -  
[DIR]ams11_pres/2011-01-14 14:31 -  
[DIR]ap1/2022-10-26 17:36 -  
[TXT]arxsim.html2019-08-01 20:15 463  
[DIR]atp-proofs/2019-06-16 12:38 -  
[   ]backup2l.conf2018-02-06 08:23 13K 
[DIR]bartosz/2018-03-19 21:21 -  
[DIR]bartosz1/2018-03-12 14:41 -  
[DIR]bartosz2/2018-03-22 15:35 -  
[   ]bla.pdf2018-04-13 19:07 174K 
[DIR]blistr/2019-04-16 10:58 -  
[DIR]bob/2017-12-11 10:53 -  
[DIR]bob1/2024-01-28 16:36 -  
[   ]bonn20.pdf2020-02-03 07:26 434K 
[   ]bonn24_af.pdf2024-07-12 08:56 584K 
[   ]bp1.pdf2019-05-30 10:28 1.3M 
[DIR]bp1/2019-02-13 17:06 -  
[DIR]brown/2021-01-21 15:18 -  
[DIR]bushy_tst/2019-04-27 20:12 -  
[DIR]c1/2018-01-29 14:46 -  
[DIR]ca/2022-10-21 09:45 -  
[   ]cacorr24.pdf2024-01-18 09:18 22K 
[DIR]cbs/2017-03-16 21:18 -  
[DIR]cbshol/2017-03-22 15:39 -  
[   ]cek3.zip2021-01-12 09:46 779K 
[DIR]cgi-bin/2022-12-10 00:27 -  
[DIR]chad/2020-03-06 15:19 -  
[   ]ciirc23.pdf2023-06-02 09:39 7.9M 
[DIR]clone/2018-10-22 12:19 -  
[DIR]cml/2017-10-05 11:35 -  
[DIR]cnfgnn/2019-08-13 11:29 -  
[DIR]compr/2019-06-12 12:58 -  
[DIR]conj/2018-02-28 14:46 -  
[DIR]conj1/2020-05-26 12:04 -  
[   ]cuda-repo-ubuntu1604_10.0.130-1_amd64.deb2018-09-19 01:36 2.8K 
[DIR]cudadnn/2018-04-25 13:08 -  
[   ]cvc5-conv2023-11-14 15:37 30M 
[   ]cvc5-current-jan-202401152024-01-15 16:24 33M 
[   ]cvc5-gnn.pdf2024-02-28 18:17 408K 
[TXT]cvc5-tptp2smt.sh2024-01-29 15:14 114  
[   ]cvut23.pdf2023-10-25 09:04 614K 
[   ]dag19.pdf2019-09-03 16:03 3.2M 
[   ]dagstuhl23.pdf2023-10-08 22:37 1.3M 
[   ]datasets.zip2019-10-18 19:33 320K 
[   ]dement19.pdf2019-08-25 14:29 7.6M 
[VID]demo.ogv2017-09-14 11:19 18M 
[   ]deps_from_nmt_and_xgb.tar.gz2020-02-10 22:15 2.2M 
[TXT]detex.html2020-02-28 19:48 545  
[TXT]detex1.html2020-02-28 23:57 545  
[   ]dpkg-selections.log2019-11-25 11:42 100K 
[DIR]enig1/2019-03-26 08:36 -  
[   ]enigma-ex.pdf2021-01-13 20:48 333K 
[   ]enigma-itp19-talk.pdf2019-09-12 00:11 506K 
[DIR]enigma_prf/2021-09-03 12:17 -  
[DIR]enigma_prf_graph/2023-03-12 13:16 -  
[DIR]enigma_prob/2020-05-07 08:32 -  
[DIR]enigmatic_casc/2020-06-22 18:27 -  
[   ]enspm22.pdf2022-07-18 17:31 4.0M 
[TXT]esegfaultmin.p2022-10-19 20:04 3.9K 
[DIR]fcop/2017-12-08 20:12 -  
[DIR]fcop1/2018-02-25 15:29 -  
[DIR]feat/2022-07-04 17:18 -  
[   ]features12017-07-31 09:43 2.6M 
[DIR]feb2021f/2021-02-11 21:14 -  
[IMG]fig1.png2018-02-25 10:23 935K 
[   ]finaxset.pdf2018-03-01 16:30 74K 
[DIR]fm1/2018-01-17 18:00 -  
[   ]fof_export.tar.gz2019-01-17 16:04 20M 
[DIR]fof_export/2019-01-14 18:16 -  
[   ]formal19.pdf2019-06-07 14:52 8.2M 
[DIR]ga/2023-03-23 17:36 -  
[DIR]ghf/2022-06-30 19:33 -  
[DIR]gnn_enigma/2020-05-25 10:42 -  
[DIR]gnnboost/2020-04-10 19:50 -  
[DIR]gnnpl/2020-07-20 15:17 -  
[DIR]grunge/2019-02-12 16:07 -  
[DIR]grunge1/2019-02-22 16:00 -  
[   ]hales60.pdf2018-06-30 15:21 7.2M 
[   ]harvard21.pdf2021-01-14 12:30 2.3M 
[VID]hfvideo1.mp42020-04-07 16:23 25M 
[DIR]hh2/2018-11-21 20:19 -  
[DIR]hhutils/2023-02-19 09:14 -  
[   ]html_abstr.930.tar.gz2006-07-12 23:11 35M 
[DIR]html_abstr_930/2024-05-29 18:30 -  
[   ]i2f1.pdf2018-09-06 08:20 519K 
[   ]ihes22.pdf2022-05-13 09:03 3.8M 
[   ]inst1.pdf2018-07-27 19:21 297K 
[DIR]ipr1/2018-04-25 12:48 -  
[TXT]isa.html2022-05-24 17:50 664  
[TXT]isa2.html2022-05-25 20:53 1.2K 
[DIR]jelle_mptp_new/2024-01-17 15:25 -  
[DIR]jh/2022-09-27 15:20 -  
[DIR]jh1/2023-01-11 17:45 -  
[DIR]jj/2018-03-15 16:02 -  
[DIR]kk1/2017-07-20 00:00 -  
[DIR]knn/2017-11-24 14:49 -  
[   ]l12019-12-04 20:20 4.0K 
[DIR]lasse_knn/2019-03-12 21:09 -  
[DIR]lb_coq/2020-02-27 12:29 -  
[DIR]lcl/2020-06-18 10:33 -  
[DIR]ld/2020-02-29 00:00 -  
[DIR]leancop-proofs/2019-02-21 07:01 -  
[   ]leank1.zip2022-10-11 12:18 227M 
[DIR]lem1/2019-06-13 17:15 -  
[DIR]lfrg2/2021-02-18 11:08 -  
[DIR]lgb/2019-05-06 20:41 -  
[   ]lias22a.pdf2022-09-15 07:31 13M 
[TXT]link.html2020-03-10 18:58 457  
[TXT]link1.html2020-02-18 21:43 457  
[TXT]link2.html2021-08-09 18:52 457  
[TXT]link3.html2022-06-25 20:06 474  
[TXT]link11.html2020-03-10 18:58 458  
[   ]lisboa21.pdf2021-07-14 12:28 1.3M 
[DIR]lm/2018-07-21 23:17 -  
[DIR]log11/2020-03-28 12:31 -  
[IMG]ltb18.jpg2018-07-18 11:23 1.9M 
[   ]malecop_distro1311.tar.gz2013-11-21 19:25 2.9M 
[TXT]master_4874_casc2019_minsubpreds4_300s.uns.txt2020-11-25 16:14 43K 
[DIR]mir/2022-05-29 13:01 -  
[DIR]mirek1/2020-02-24 15:08 -  
[   ]miz2.tar.gz2017-01-30 07:16 7.4M 
[   ]mizar-7.11.03_4.129.1070-i386-win32.exe2018-01-09 18:32 24M 
[DIR]mizarelaborator/2018-07-11 13:35 -  
[   ]mizartypechecker.tar.gz2018-07-05 14:36 66K 
[DIR]mj/2024-02-11 00:34 -  
[   ]mlarai3.pdf2016-02-05 14:15 572K 
[   ]mlarai7.pdf2017-01-26 15:15 1.0M 
[   ]mlarai8.pdf2017-02-09 10:35 1.1M 
[   ]mlarai81.pdf2017-08-31 09:21 916K 
[   ]mlarai92.pdf2017-09-15 09:23 4.4M 
[   ]mlarai92b.pdf2017-11-22 11:45 3.1M 
[   ]mlarai94.pdf2018-06-21 21:13 7.2M 
[   ]mlarai95.pdf2018-07-26 17:22 491K 
[   ]mlarai96.pdf2019-03-08 13:50 7.2M 
[   ]mlarai97.pdf2019-05-10 18:47 1.6M 
[DIR]mm_prf/2023-11-19 18:27 -  
[DIR]mml4.181.1147/2024-05-05 19:50 -  
[DIR]mml5.6.1169/2018-05-08 12:19 -  
[DIR]mml5.29.1227/2016-07-11 16:06 -  
[DIR]mml5.37.1275/2019-11-06 16:54 -  
[DIR]mml5.50.1318/2018-08-27 19:22 -  
[DIR]mml5.63.1382/2024-06-07 22:49 -  
[   ]momm.pdf2010-12-06 19:30 319K 
[DIR]ms234/2023-07-28 16:49 -  
[   ]myintro.pdf2017-06-29 09:46 72K 
[   ]n100_22.pdf2022-09-22 17:54 4.9M 
[   ]neural1.pdf2018-07-25 19:56 514K 
[   ]neural2.pdf2018-07-25 20:56 519K 
[DIR]new_solved/2019-07-17 15:27 -  
[TXT]newparser.patch2019-09-05 23:44 18K 
[DIR]nips16/2018-03-22 15:06 -  
[DIR]nmt1/2018-04-17 13:21 -  
[DIR]nmt2/2018-11-26 19:58 -  
[DIR]nn_conj20/2020-05-28 14:30 -  
[   ]nnconj_pres.pdf2020-07-30 08:22 2.0M 
[   ]novostal22.pdf2022-07-24 14:14 9.4M 
[DIR]numbers1/2018-10-22 08:15 -  
[DIR]oai/2024-05-05 07:03 -  
[DIR]oe/2022-09-22 08:56 -  
[DIR]oe1/2022-10-08 13:54 -  
[   ]oecd21.pdf2021-11-05 19:17 2.8M 
[TXT]oeis.html2022-02-24 12:34 788  
[TXT]oeis2.html2022-03-01 20:15 788  
[VID]out4.ogv2011-01-10 13:33 9.9M 
[VID]outju5-2.ogv2023-09-02 16:17 16M 
[VID]outju5.ogv2022-06-25 13:40 27M 
[   ]output_test2022-09-27 00:47 630K 
[DIR]p1/2017-09-07 23:52 -  
[DIR]p9convert/2020-11-23 19:11 -  
[   ]paar22.pdf2022-08-11 07:31 4.7M 
[   ]paris21.pdf2021-12-11 09:35 2.8M 
[DIR]pcm/2018-01-20 16:03 -  
[DIR]pfgm1/2021-09-15 08:53 -  
[   ]pg.pdf2022-06-16 16:43 432K 
[DIR]pg/2023-11-19 19:38 -  
[DIR]plc/2021-04-25 17:37 -  
[IMG]plot.png2021-02-01 01:16 224K 
[   ]poster2.pdf2017-06-23 09:02 1.3M 
[TXT]pref2py.html2022-10-03 17:02 1.8K 
[   ]premisealgos.pdf2012-04-16 16:09 383K 
[DIR]pres1/2018-01-18 12:59 -  
[   ]presentation-conjecturing-prague.pdf2017-07-14 10:20 129K 
[   ]presentation.pdf2017-07-14 10:22 202K 
[   ]prfgld2.pdf2024-07-02 14:33 2.2M 
[   ]print.min.js2019-06-10 20:53 14K 
[   ]prob_remote_e_12022-05-24 20:20 308K 
[   ]process-ivy-2.lisp2023-11-03 20:00 25K 
[DIR]pw/2018-10-10 14:42 -  
[TXT]qsynt_v3.html2022-07-07 15:20 1.8K 
[DIR]quanta/2021-12-19 03:59 -  
[DIR]rcv/2019-07-19 17:22 -  
[   ]remote_atp2022-05-25 17:09 2.9K 
[   ]remote_enigma2022-05-25 23:10 3.3K 
[DIR]reprove-cnf-iprover/2017-09-14 20:04 -  
[DIR]res/2017-03-31 14:44 -  
[   ]rl1.pdf2019-05-03 13:53 358K 
[DIR]rlcop/2020-02-24 16:18 -  
[   ]sat19.pdf2019-07-11 09:38 3.3M 
[   ]slidescicm14.pdf2014-08-26 19:42 35K 
[   ]sri24.pdf2024-05-31 18:42 5.7M 
[DIR]stacks1/2019-12-03 12:56 -  
[   ]stacksSD.pdf2015-06-08 10:53 434K 
[DIR]sw/2023-06-11 08:45 -  
[   ]synasc17sd.pdf2017-05-25 17:29 343K 
[DIR]t2m/2017-11-22 10:12 -  
[   ]t10_fib_num22020-04-16 23:31 29K 
[DIR]t14_connsp_1/2019-04-24 19:52 -  
[   ]t21_knaster2019-05-10 00:07 432K 
[   ]t54_vfunct_1__92022-08-25 23:50 2.3K 
[   ]t54_vfunct_1__9.cnf2022-08-25 23:50 4.1K 
[   ]t72_zf_lang1__12022-08-25 22:10 3.2K 
[VID]tactictoe_demo.mkv2018-10-09 17:55 5.5M 
[VID]tactictoe_demo.ogv2018-10-09 18:45 81M 
[VID]tactictoe_demo1.ogv2018-10-09 18:32 14M 
[   ]tca23.pdf2023-07-03 09:32 2.1M 
[   ]tff_example2022-05-25 20:04 308K 
[   ]tff_example.old2022-05-24 17:50 222K 
[IMG]thf18.png2018-07-18 11:18 3.9M 
[DIR]tmp1/2017-03-12 00:34 -  
[DIR]tmp2/2017-10-16 12:23 -  
[   ]topos22.pdf2022-07-07 18:41 2.4M 
[DIR]tt1/2022-11-18 18:14 -  
[DIR]tt2/2023-05-24 19:30 -  
[   ]turing1.pdf2016-11-03 15:03 6.7M 
[   ]types18.pdf2018-06-20 12:41 600K 
[   ]unknown.zip2022-06-30 19:40 9.4M 
[DIR]v1/2021-04-11 08:31 -  
[TXT]vampire4343_casc2019_300s.csv2020-06-29 18:58 1.8M 
[   ]vampire_rel_static_master_4873.zip2020-11-13 20:11 3.9M 
[DIR]videos/2017-09-27 16:42 -  
[DIR]vino17/2017-09-10 08:00 -  
[DIR]vm/2021-01-29 12:21 -  
[DIR]vmonster/2017-02-22 16:24 -  
[DIR]w2v/2019-10-30 20:00 -  
[DIR]w2v_arx/2019-08-01 20:47 -  
[   ]wl02u.syms2018-02-10 10:19 16M 
[DIR]wl1/2019-02-15 19:45 -  
[DIR]wsx/2018-04-23 14:58 -  
[DIR]xlm1/2019-11-29 18:17 -  
[DIR]xsl4mizar/2021-07-16 21:31 -  
[VID]zoom_1.mp42020-07-29 19:21 139M 
[DIR]zoomaitp/2022-09-29 19:44 -  
[DIR]zz/2021-02-23 23:36 -  
[DIR]zz1/2023-02-09 18:03 -  
[   ]zz3452019-11-30 17:08 2.5K 

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