├── 00ChallFiles ├── 03div ├── 04div ├── Ebot └── loop.pl ├── MMLdivision ├── MMLdivision.1011 ├── MMLdivtest.pl ├── MPTP2078 ├── 00articles ├── 00challbib ├── 00challdesc ├── 00chordth ├── 00domains └── mkheaders.pl ├── MPTPParseSPASS.pl ├── MaLARea ├── README ├── README_old_LTB08.txt ├── RunLTB.pl ├── RunMZT12.pl ├── TheoryLearner.pl ├── TheoryLearnerDev1.pl ├── bin │ ├── GetSymbols │ ├── NumberVars │ ├── SPASS │ ├── SPASS37 │ ├── clausefilter │ ├── clausefilter.old │ ├── e_axfilter │ ├── epclextract │ ├── eproof │ ├── eprover │ ├── fofshared │ ├── fofshared.c │ ├── fofshared.trms2 │ ├── interpfilter │ ├── interpformat │ ├── ladr_to_tptp │ ├── mace4 │ ├── paradox │ ├── prdx2p9.pl │ ├── prdxprep.pl │ ├── runepar.pl │ ├── runparadox │ ├── runparadox1 │ ├── runwtlcached │ ├── runwtlimit │ ├── snow │ ├── tptp4X │ └── tptp_to_ladr ├── data │ ├── DummyAllAxMZT │ ├── MZT1000TrainingData │ ├── MZT900TrainingData │ └── dummyallaxmzt ├── doc │ ├── BatchSampleMZRMZR │ ├── BatchTst100MZRMZR │ ├── BatchTstMZRMZR │ ├── MaLAReaCASCDescription.html │ ├── MaLAReaCASCDescription12.html │ └── TheoryLearner.html └── script │ ├── 10downcase_files.sh │ ├── 20fofify.sh │ ├── NumberVars.pl │ ├── addprops.pl │ ├── addpropsall.pl │ ├── bayesify.pl │ ├── count_models.pl │ ├── e2pby.pl │ ├── filter1 │ ├── filter1000 │ ├── fof2graph.pl │ ├── fof2graph1.pl │ ├── greedycover.pl │ ├── hammerize.pl │ ├── htmlize.pl │ ├── malecop │ ├── AIAdvise.pm │ ├── def_mm.pl │ ├── dnf2fof │ ├── dnf2fof.pl │ ├── leancop21.pl │ ├── leancop21_sic.pl │ ├── leancop21_swi.pl │ ├── leancop_dnf.pl │ ├── leancop_dnf.sh │ ├── leancop_main.pl │ ├── leancop_proof.pl │ ├── leancop_tptp2.pl │ ├── leancopscale1.sh │ ├── leancopscale_genlem.sh │ ├── tcp_client.pl │ └── tptp2leancop.pl │ ├── mk_diff_names.pl │ ├── mkloggraph.pl │ ├── orderforlearning.pl │ ├── pruneproblems.pl │ ├── pruneprops.pl │ ├── prunreqs.pl │ ├── rename_from_sorted.pl │ ├── setcovers.pl │ ├── setcovers3.pl │ ├── setcovers4.pl │ ├── setcovers5.pl │ ├── snow2mor.pl │ ├── snow2sofia.pl │ ├── uniquify.pl │ └── v2pby.pl ├── Makefile.by ├── MizAR ├── AR.gif ├── CodeMirror │ ├── mizar.css │ └── mizar.js ├── MizAR-CodeMirror.html ├── MizAR.html ├── PalmTree.jpg ├── TPTP.gif ├── TSTP.gif ├── WP.ico ├── cgi-bin │ ├── AIAdvise.pm │ ├── InitAdv.pl │ ├── LearnSolve.sh │ ├── MPTPNames.pm │ ├── MizAR.cgi │ ├── MizARconfig.pl │ ├── advisor_lean.pl │ ├── bin │ │ ├── GetSymbols │ │ ├── MizItemize.pl │ │ ├── SPASS │ │ ├── SPASST │ │ ├── advisor.pl │ │ ├── dbenv2.pl │ │ ├── epclextract │ │ ├── eproof │ │ ├── eprover │ │ ├── fofshared.trms2 │ │ ├── geo │ │ ├── getfreeport.pl │ │ ├── knn │ │ ├── mizarsatallax │ │ ├── mizf │ │ ├── mizp.pl │ │ ├── mk_derived.pl │ │ ├── mkproblem.pl │ │ ├── nbayes │ │ ├── parwtlimit │ │ ├── parwtlimit1 │ │ ├── runepar2.pl │ │ ├── runwtlimit │ │ ├── snow │ │ ├── tptp4X │ │ └── vampire_3.0 │ ├── browserefs.cgi │ ├── getrefs.pm │ ├── showby.cgi │ ├── showtmpfile.cgi │ └── tptp │ │ ├── MMLQ1.pl │ │ ├── MMLQuery.cgi │ │ └── RemoteSOT1.cgi ├── gen.pl ├── gen3.pl ├── gen4.pl └── genbig.pl ├── README ├── Strategies ├── CliStr.pl ├── find_problem_cover.pl ├── find_problem_cover1.pl ├── getmodels.sh ├── max_solved_in_time.pl ├── prmils │ ├── e-params.txt │ ├── e_wrapper1.rb │ ├── e_wrapper2.rb │ ├── eprobs1.txt │ ├── mzt1000 │ │ ├── protokoll_G-E--_008_B31_F1_PI_AE_S4_CS_SP_S2S │ │ ├── protokoll_G-E--_008_K18_F1_PI_AE_CS_SP_S0Y │ │ ├── protokoll_G-E--_010_B02_F1_PI_AE_S4_CS_SP_S0Y │ │ ├── protokoll_G-E--_024_B07_F1_PI_AE_Q4_CS_SP_S0Y │ │ ├── protokoll_G-E--_045_B31_F1_PI_AE_S4_CS_SP_S0Y │ │ └── protokoll_G-E--_045_K18_F1_PI_AE_CS_OS_S0S │ ├── protokoll_my10simple │ ├── protokoll_my11simple │ ├── protokoll_my12simple │ ├── protokoll_my13simple │ ├── protokoll_my14simple │ ├── protokoll_my15simple │ ├── protokoll_my16simple │ ├── protokoll_my17simple │ ├── protokoll_my18simple │ ├── protokoll_my19simple │ ├── protokoll_my1KBO_SOS │ ├── protokoll_my1_SOS │ ├── protokoll_my20simple │ ├── protokoll_my21simple │ ├── protokoll_my22simple │ ├── protokoll_my23simple │ ├── protokoll_my24simple │ ├── protokoll_my25simple │ ├── protokoll_my2simple │ ├── protokoll_my3simple │ ├── protokoll_my4simple │ ├── protokoll_my5simple │ ├── protokoll_my6simple │ ├── protokoll_my7simple │ ├── protokoll_my8simple │ ├── protokoll_my9simple │ ├── scenario-e1.txt │ ├── scenario-e2.txt │ ├── scenario-sine1.txt │ ├── sine-params.txt │ ├── sine_wrapper.rb │ └── sineprobs1.txt └── protokoll_G-E--_041_K18_F1_PI_AE_S4_CS_SP_S0Y ├── TSTPRes ├── 00Systems ├── 00Systems_isab ├── 10extractdata.sh ├── 20mksqlloadfile.sh ├── 30createtable.sql ├── 40mktptploadfile.sh ├── classif │ ├── 00isabp │ └── CASC21problems ├── isab.sql ├── isabqueries.sql └── queries.sql ├── cclusters1103.pl ├── cclusters1132.pl ├── check_cnf.pl ├── cnfcyc.pl ├── constr_names1.pl ├── dbenv.pl ├── dbenv2.pl ├── dbenv_date.pl ├── dfgres.pl ├── dli2html.pl ├── env_utils.pl ├── eres.pl ├── err2pl.pl ├── err2xml.pl ├── extract_e_refs.pl ├── fclusters1103.pl ├── fclusters1132.pl ├── finedeps ├── SnowRes2Specs.pl ├── mk_comb2.pl ├── mk_pruned.pl ├── namepredictions2specs.pl ├── one_doc_format.pl ├── predictions2specs.pl └── svm.pl ├── fixrates.pl ├── hidden.dco2 ├── install_MizAR.sh ├── install_MizAR_WS.sh ├── learning └── PerformanceMeasures.py ├── makespec1.pl ├── mizsys ├── Makefile ├── Makefile.4.100 ├── Makefile.4.145 └── bin.std │ └── verifier.7.8.05_hacktopcnst_bex ├── mk_derived.pl ├── mk_derived_pl.sh ├── mkfullincludes.pl ├── mml.lar.1011 ├── mml_git ├── Versions-no-i386.lst ├── Versions.lst ├── install_miz_loc.sh ├── install_miz_loc.sh-no-i386 ├── install_miz_loc_ws.sh └── populate.sh ├── mptp_html.pl ├── terms.pl ├── tstpres2SS.sh ├── utils.pl └── utils_no_thf.pl /00ChallFiles: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/00ChallFiles -------------------------------------------------------------------------------- /03div: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/03div -------------------------------------------------------------------------------- /04div: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/04div -------------------------------------------------------------------------------- /Ebot/loop.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Ebot/loop.pl -------------------------------------------------------------------------------- /MMLdivision: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MMLdivision -------------------------------------------------------------------------------- /MMLdivision.1011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MMLdivision.1011 -------------------------------------------------------------------------------- /MMLdivtest.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MMLdivtest.pl -------------------------------------------------------------------------------- /MPTP2078/00articles: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/00articles -------------------------------------------------------------------------------- /MPTP2078/00challbib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/00challbib -------------------------------------------------------------------------------- /MPTP2078/00challdesc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/00challdesc -------------------------------------------------------------------------------- /MPTP2078/00chordth: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/00chordth -------------------------------------------------------------------------------- /MPTP2078/00domains: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/00domains -------------------------------------------------------------------------------- /MPTP2078/mkheaders.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTP2078/mkheaders.pl -------------------------------------------------------------------------------- /MPTPParseSPASS.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MPTPParseSPASS.pl -------------------------------------------------------------------------------- /MaLARea/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/README -------------------------------------------------------------------------------- /MaLARea/README_old_LTB08.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/README_old_LTB08.txt -------------------------------------------------------------------------------- /MaLARea/RunLTB.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/RunLTB.pl -------------------------------------------------------------------------------- /MaLARea/RunMZT12.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/RunMZT12.pl -------------------------------------------------------------------------------- /MaLARea/TheoryLearner.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/TheoryLearner.pl -------------------------------------------------------------------------------- /MaLARea/TheoryLearnerDev1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/TheoryLearnerDev1.pl -------------------------------------------------------------------------------- /MaLARea/bin/GetSymbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/GetSymbols -------------------------------------------------------------------------------- /MaLARea/bin/NumberVars: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/NumberVars -------------------------------------------------------------------------------- /MaLARea/bin/SPASS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/SPASS -------------------------------------------------------------------------------- /MaLARea/bin/SPASS37: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/SPASS37 -------------------------------------------------------------------------------- /MaLARea/bin/clausefilter: -------------------------------------------------------------------------------- 1 | #!/usr/bin/perl -w 2 | exec("ulimit -S -t 100; bin/clausefilter.old @ARGV"); 3 | -------------------------------------------------------------------------------- /MaLARea/bin/clausefilter.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/clausefilter.old -------------------------------------------------------------------------------- /MaLARea/bin/e_axfilter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/e_axfilter -------------------------------------------------------------------------------- /MaLARea/bin/epclextract: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/epclextract -------------------------------------------------------------------------------- /MaLARea/bin/eproof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/eproof -------------------------------------------------------------------------------- /MaLARea/bin/eprover: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/eprover -------------------------------------------------------------------------------- /MaLARea/bin/fofshared: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/fofshared -------------------------------------------------------------------------------- /MaLARea/bin/fofshared.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/fofshared.c -------------------------------------------------------------------------------- /MaLARea/bin/fofshared.trms2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/fofshared.trms2 -------------------------------------------------------------------------------- /MaLARea/bin/interpfilter: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/interpfilter -------------------------------------------------------------------------------- /MaLARea/bin/interpformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/interpformat -------------------------------------------------------------------------------- /MaLARea/bin/ladr_to_tptp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/ladr_to_tptp -------------------------------------------------------------------------------- /MaLARea/bin/mace4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/mace4 -------------------------------------------------------------------------------- /MaLARea/bin/paradox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/paradox -------------------------------------------------------------------------------- /MaLARea/bin/prdx2p9.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/prdx2p9.pl -------------------------------------------------------------------------------- /MaLARea/bin/prdxprep.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/prdxprep.pl -------------------------------------------------------------------------------- /MaLARea/bin/runepar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/runepar.pl -------------------------------------------------------------------------------- /MaLARea/bin/runparadox: -------------------------------------------------------------------------------- 1 | #!/bin/bash -f 2 | ulimit -t 2 3 | bin/paradox $@ 4 | -------------------------------------------------------------------------------- /MaLARea/bin/runparadox1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/runparadox1 -------------------------------------------------------------------------------- /MaLARea/bin/runwtlcached: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/runwtlcached -------------------------------------------------------------------------------- /MaLARea/bin/runwtlimit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/runwtlimit -------------------------------------------------------------------------------- /MaLARea/bin/snow: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/snow -------------------------------------------------------------------------------- /MaLARea/bin/tptp4X: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/tptp4X -------------------------------------------------------------------------------- /MaLARea/bin/tptp_to_ladr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/bin/tptp_to_ladr -------------------------------------------------------------------------------- /MaLARea/data/DummyAllAxMZT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/data/DummyAllAxMZT -------------------------------------------------------------------------------- /MaLARea/data/MZT1000TrainingData: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/data/MZT1000TrainingData -------------------------------------------------------------------------------- /MaLARea/data/MZT900TrainingData: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/data/MZT900TrainingData -------------------------------------------------------------------------------- /MaLARea/data/dummyallaxmzt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/data/dummyallaxmzt -------------------------------------------------------------------------------- /MaLARea/doc/BatchSampleMZRMZR: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/BatchSampleMZRMZR -------------------------------------------------------------------------------- /MaLARea/doc/BatchTst100MZRMZR: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/BatchTst100MZRMZR -------------------------------------------------------------------------------- /MaLARea/doc/BatchTstMZRMZR: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/BatchTstMZRMZR -------------------------------------------------------------------------------- /MaLARea/doc/MaLAReaCASCDescription.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/MaLAReaCASCDescription.html -------------------------------------------------------------------------------- /MaLARea/doc/MaLAReaCASCDescription12.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/MaLAReaCASCDescription12.html -------------------------------------------------------------------------------- /MaLARea/doc/TheoryLearner.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/doc/TheoryLearner.html -------------------------------------------------------------------------------- /MaLARea/script/10downcase_files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/10downcase_files.sh -------------------------------------------------------------------------------- /MaLARea/script/20fofify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/20fofify.sh -------------------------------------------------------------------------------- /MaLARea/script/NumberVars.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/NumberVars.pl -------------------------------------------------------------------------------- /MaLARea/script/addprops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/addprops.pl -------------------------------------------------------------------------------- /MaLARea/script/addpropsall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/addpropsall.pl -------------------------------------------------------------------------------- /MaLARea/script/bayesify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/bayesify.pl -------------------------------------------------------------------------------- /MaLARea/script/count_models.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/count_models.pl -------------------------------------------------------------------------------- /MaLARea/script/e2pby.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/e2pby.pl -------------------------------------------------------------------------------- /MaLARea/script/filter1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/filter1 -------------------------------------------------------------------------------- /MaLARea/script/filter1000: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/filter1000 -------------------------------------------------------------------------------- /MaLARea/script/fof2graph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/fof2graph.pl -------------------------------------------------------------------------------- /MaLARea/script/fof2graph1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/fof2graph1.pl -------------------------------------------------------------------------------- /MaLARea/script/greedycover.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/greedycover.pl -------------------------------------------------------------------------------- /MaLARea/script/hammerize.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/hammerize.pl -------------------------------------------------------------------------------- /MaLARea/script/htmlize.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/htmlize.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/AIAdvise.pm: -------------------------------------------------------------------------------- 1 | ../../../MizAR/cgi-bin/AIAdvise.pm -------------------------------------------------------------------------------- /MaLARea/script/malecop/def_mm.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/def_mm.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/dnf2fof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/dnf2fof -------------------------------------------------------------------------------- /MaLARea/script/malecop/dnf2fof.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/dnf2fof.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop21.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop21.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop21_sic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop21_sic.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop21_swi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop21_swi.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop_dnf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop_dnf.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop_dnf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop_dnf.sh -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop_main.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop_main.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop_proof.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop_proof.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancop_tptp2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancop_tptp2.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancopscale1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancopscale1.sh -------------------------------------------------------------------------------- /MaLARea/script/malecop/leancopscale_genlem.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/leancopscale_genlem.sh -------------------------------------------------------------------------------- /MaLARea/script/malecop/tcp_client.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/tcp_client.pl -------------------------------------------------------------------------------- /MaLARea/script/malecop/tptp2leancop.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/malecop/tptp2leancop.pl -------------------------------------------------------------------------------- /MaLARea/script/mk_diff_names.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/mk_diff_names.pl -------------------------------------------------------------------------------- /MaLARea/script/mkloggraph.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/mkloggraph.pl -------------------------------------------------------------------------------- /MaLARea/script/orderforlearning.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/orderforlearning.pl -------------------------------------------------------------------------------- /MaLARea/script/pruneproblems.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/pruneproblems.pl -------------------------------------------------------------------------------- /MaLARea/script/pruneprops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/pruneprops.pl -------------------------------------------------------------------------------- /MaLARea/script/prunreqs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/prunreqs.pl -------------------------------------------------------------------------------- /MaLARea/script/rename_from_sorted.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/rename_from_sorted.pl -------------------------------------------------------------------------------- /MaLARea/script/setcovers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/setcovers.pl -------------------------------------------------------------------------------- /MaLARea/script/setcovers3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/setcovers3.pl -------------------------------------------------------------------------------- /MaLARea/script/setcovers4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/setcovers4.pl -------------------------------------------------------------------------------- /MaLARea/script/setcovers5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/setcovers5.pl -------------------------------------------------------------------------------- /MaLARea/script/snow2mor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/snow2mor.pl -------------------------------------------------------------------------------- /MaLARea/script/snow2sofia.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/snow2sofia.pl -------------------------------------------------------------------------------- /MaLARea/script/uniquify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/uniquify.pl -------------------------------------------------------------------------------- /MaLARea/script/v2pby.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MaLARea/script/v2pby.pl -------------------------------------------------------------------------------- /Makefile.by: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Makefile.by -------------------------------------------------------------------------------- /MizAR/AR.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/AR.gif -------------------------------------------------------------------------------- /MizAR/CodeMirror/mizar.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/CodeMirror/mizar.css -------------------------------------------------------------------------------- /MizAR/CodeMirror/mizar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/CodeMirror/mizar.js -------------------------------------------------------------------------------- /MizAR/MizAR-CodeMirror.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/MizAR-CodeMirror.html -------------------------------------------------------------------------------- /MizAR/MizAR.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/MizAR.html -------------------------------------------------------------------------------- /MizAR/PalmTree.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/PalmTree.jpg -------------------------------------------------------------------------------- /MizAR/TPTP.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/TPTP.gif -------------------------------------------------------------------------------- /MizAR/TSTP.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/TSTP.gif -------------------------------------------------------------------------------- /MizAR/WP.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/WP.ico -------------------------------------------------------------------------------- /MizAR/cgi-bin/AIAdvise.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/AIAdvise.pm -------------------------------------------------------------------------------- /MizAR/cgi-bin/InitAdv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/InitAdv.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/LearnSolve.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/LearnSolve.sh -------------------------------------------------------------------------------- /MizAR/cgi-bin/MPTPNames.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/MPTPNames.pm -------------------------------------------------------------------------------- /MizAR/cgi-bin/MizAR.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/MizAR.cgi -------------------------------------------------------------------------------- /MizAR/cgi-bin/MizARconfig.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/MizARconfig.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/advisor_lean.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/advisor_lean.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/GetSymbols: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/GetSymbols -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/MizItemize.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/MizItemize.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/SPASS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/SPASS -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/SPASST: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/SPASST -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/advisor.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/advisor.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/dbenv2.pl: -------------------------------------------------------------------------------- 1 | ../../../dbenv2.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/epclextract: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/epclextract -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/eproof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/eproof -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/eprover: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/eprover -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/fofshared.trms2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/fofshared.trms2 -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/geo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/geo -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/getfreeport.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/getfreeport.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/knn: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/knn -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/mizarsatallax: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/mizarsatallax -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/mizf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/mizf -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/mizp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/mizp.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/mk_derived.pl: -------------------------------------------------------------------------------- 1 | ../../../mk_derived.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/mkproblem.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/mkproblem.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/nbayes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/nbayes -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/parwtlimit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/parwtlimit -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/parwtlimit1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/parwtlimit1 -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/runepar2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/runepar2.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/runwtlimit: -------------------------------------------------------------------------------- 1 | ../../../MaLARea/bin/runwtlimit -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/snow: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/snow -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/tptp4X: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/bin/tptp4X -------------------------------------------------------------------------------- /MizAR/cgi-bin/bin/vampire_3.0: -------------------------------------------------------------------------------- 1 | /home/mptp/bin/vampire_3.0 -------------------------------------------------------------------------------- /MizAR/cgi-bin/browserefs.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/browserefs.cgi -------------------------------------------------------------------------------- /MizAR/cgi-bin/getrefs.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/getrefs.pm -------------------------------------------------------------------------------- /MizAR/cgi-bin/showby.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/showby.cgi -------------------------------------------------------------------------------- /MizAR/cgi-bin/showtmpfile.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/showtmpfile.cgi -------------------------------------------------------------------------------- /MizAR/cgi-bin/tptp/MMLQ1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/tptp/MMLQ1.pl -------------------------------------------------------------------------------- /MizAR/cgi-bin/tptp/MMLQuery.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/tptp/MMLQuery.cgi -------------------------------------------------------------------------------- /MizAR/cgi-bin/tptp/RemoteSOT1.cgi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/cgi-bin/tptp/RemoteSOT1.cgi -------------------------------------------------------------------------------- /MizAR/gen.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/gen.pl -------------------------------------------------------------------------------- /MizAR/gen3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/gen3.pl -------------------------------------------------------------------------------- /MizAR/gen4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/gen4.pl -------------------------------------------------------------------------------- /MizAR/genbig.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/MizAR/genbig.pl -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/README -------------------------------------------------------------------------------- /Strategies/CliStr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/CliStr.pl -------------------------------------------------------------------------------- /Strategies/find_problem_cover.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/find_problem_cover.pl -------------------------------------------------------------------------------- /Strategies/find_problem_cover1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/find_problem_cover1.pl -------------------------------------------------------------------------------- /Strategies/getmodels.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/getmodels.sh -------------------------------------------------------------------------------- /Strategies/max_solved_in_time.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/max_solved_in_time.pl -------------------------------------------------------------------------------- /Strategies/prmils/e-params.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/e-params.txt -------------------------------------------------------------------------------- /Strategies/prmils/e_wrapper1.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/e_wrapper1.rb -------------------------------------------------------------------------------- /Strategies/prmils/e_wrapper2.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/e_wrapper2.rb -------------------------------------------------------------------------------- /Strategies/prmils/eprobs1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/eprobs1.txt -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_008_B31_F1_PI_AE_S4_CS_SP_S2S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_008_B31_F1_PI_AE_S4_CS_SP_S2S -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_008_K18_F1_PI_AE_CS_SP_S0Y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_008_K18_F1_PI_AE_CS_SP_S0Y -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_010_B02_F1_PI_AE_S4_CS_SP_S0Y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_010_B02_F1_PI_AE_S4_CS_SP_S0Y -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_024_B07_F1_PI_AE_Q4_CS_SP_S0Y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_024_B07_F1_PI_AE_Q4_CS_SP_S0Y -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_045_B31_F1_PI_AE_S4_CS_SP_S0Y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_045_B31_F1_PI_AE_S4_CS_SP_S0Y -------------------------------------------------------------------------------- /Strategies/prmils/mzt1000/protokoll_G-E--_045_K18_F1_PI_AE_CS_OS_S0S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/mzt1000/protokoll_G-E--_045_K18_F1_PI_AE_CS_OS_S0S -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my10simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my10simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my11simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my11simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my12simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my12simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my13simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my13simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my14simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my14simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my15simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my15simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my16simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my16simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my17simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my17simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my18simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my18simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my19simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my19simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my1KBO_SOS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my1KBO_SOS -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my1_SOS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my1_SOS -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my20simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my20simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my21simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my21simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my22simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my22simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my23simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my23simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my24simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my24simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my25simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my25simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my2simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my2simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my3simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my3simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my4simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my4simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my5simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my5simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my6simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my6simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my7simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my7simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my8simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my8simple -------------------------------------------------------------------------------- /Strategies/prmils/protokoll_my9simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/protokoll_my9simple -------------------------------------------------------------------------------- /Strategies/prmils/scenario-e1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/scenario-e1.txt -------------------------------------------------------------------------------- /Strategies/prmils/scenario-e2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/scenario-e2.txt -------------------------------------------------------------------------------- /Strategies/prmils/scenario-sine1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/scenario-sine1.txt -------------------------------------------------------------------------------- /Strategies/prmils/sine-params.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/sine-params.txt -------------------------------------------------------------------------------- /Strategies/prmils/sine_wrapper.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/sine_wrapper.rb -------------------------------------------------------------------------------- /Strategies/prmils/sineprobs1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/prmils/sineprobs1.txt -------------------------------------------------------------------------------- /Strategies/protokoll_G-E--_041_K18_F1_PI_AE_S4_CS_SP_S0Y: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/Strategies/protokoll_G-E--_041_K18_F1_PI_AE_S4_CS_SP_S0Y -------------------------------------------------------------------------------- /TSTPRes/00Systems: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/00Systems -------------------------------------------------------------------------------- /TSTPRes/00Systems_isab: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/00Systems_isab -------------------------------------------------------------------------------- /TSTPRes/10extractdata.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/10extractdata.sh -------------------------------------------------------------------------------- /TSTPRes/20mksqlloadfile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/20mksqlloadfile.sh -------------------------------------------------------------------------------- /TSTPRes/30createtable.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/30createtable.sql -------------------------------------------------------------------------------- /TSTPRes/40mktptploadfile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/40mktptploadfile.sh -------------------------------------------------------------------------------- /TSTPRes/classif/00isabp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/classif/00isabp -------------------------------------------------------------------------------- /TSTPRes/classif/CASC21problems: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/classif/CASC21problems -------------------------------------------------------------------------------- /TSTPRes/isab.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/isab.sql -------------------------------------------------------------------------------- /TSTPRes/isabqueries.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/isabqueries.sql -------------------------------------------------------------------------------- /TSTPRes/queries.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/TSTPRes/queries.sql -------------------------------------------------------------------------------- /cclusters1103.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/cclusters1103.pl -------------------------------------------------------------------------------- /cclusters1132.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/cclusters1132.pl -------------------------------------------------------------------------------- /check_cnf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/check_cnf.pl -------------------------------------------------------------------------------- /cnfcyc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/cnfcyc.pl -------------------------------------------------------------------------------- /constr_names1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/constr_names1.pl -------------------------------------------------------------------------------- /dbenv.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/dbenv.pl -------------------------------------------------------------------------------- /dbenv2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/dbenv2.pl -------------------------------------------------------------------------------- /dbenv_date.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/dbenv_date.pl -------------------------------------------------------------------------------- /dfgres.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/dfgres.pl -------------------------------------------------------------------------------- /dli2html.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/dli2html.pl -------------------------------------------------------------------------------- /env_utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/env_utils.pl -------------------------------------------------------------------------------- /eres.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/eres.pl -------------------------------------------------------------------------------- /err2pl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/err2pl.pl -------------------------------------------------------------------------------- /err2xml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/err2xml.pl -------------------------------------------------------------------------------- /extract_e_refs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/extract_e_refs.pl -------------------------------------------------------------------------------- /fclusters1103.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/fclusters1103.pl -------------------------------------------------------------------------------- /fclusters1132.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/fclusters1132.pl -------------------------------------------------------------------------------- /finedeps/SnowRes2Specs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/SnowRes2Specs.pl -------------------------------------------------------------------------------- /finedeps/mk_comb2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/mk_comb2.pl -------------------------------------------------------------------------------- /finedeps/mk_pruned.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/mk_pruned.pl -------------------------------------------------------------------------------- /finedeps/namepredictions2specs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/namepredictions2specs.pl -------------------------------------------------------------------------------- /finedeps/one_doc_format.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/one_doc_format.pl -------------------------------------------------------------------------------- /finedeps/predictions2specs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/predictions2specs.pl -------------------------------------------------------------------------------- /finedeps/svm.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/finedeps/svm.pl -------------------------------------------------------------------------------- /fixrates.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/fixrates.pl -------------------------------------------------------------------------------- /hidden.dco2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/hidden.dco2 -------------------------------------------------------------------------------- /install_MizAR.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/install_MizAR.sh -------------------------------------------------------------------------------- /install_MizAR_WS.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/install_MizAR_WS.sh -------------------------------------------------------------------------------- /learning/PerformanceMeasures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/learning/PerformanceMeasures.py -------------------------------------------------------------------------------- /makespec1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/makespec1.pl -------------------------------------------------------------------------------- /mizsys/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mizsys/Makefile -------------------------------------------------------------------------------- /mizsys/Makefile.4.100: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mizsys/Makefile.4.100 -------------------------------------------------------------------------------- /mizsys/Makefile.4.145: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mizsys/Makefile.4.145 -------------------------------------------------------------------------------- /mizsys/bin.std/verifier.7.8.05_hacktopcnst_bex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mizsys/bin.std/verifier.7.8.05_hacktopcnst_bex -------------------------------------------------------------------------------- /mk_derived.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mk_derived.pl -------------------------------------------------------------------------------- /mk_derived_pl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mk_derived_pl.sh -------------------------------------------------------------------------------- /mkfullincludes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mkfullincludes.pl -------------------------------------------------------------------------------- /mml.lar.1011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml.lar.1011 -------------------------------------------------------------------------------- /mml_git/Versions-no-i386.lst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/Versions-no-i386.lst -------------------------------------------------------------------------------- /mml_git/Versions.lst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/Versions.lst -------------------------------------------------------------------------------- /mml_git/install_miz_loc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/install_miz_loc.sh -------------------------------------------------------------------------------- /mml_git/install_miz_loc.sh-no-i386: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/install_miz_loc.sh-no-i386 -------------------------------------------------------------------------------- /mml_git/install_miz_loc_ws.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/install_miz_loc_ws.sh -------------------------------------------------------------------------------- /mml_git/populate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mml_git/populate.sh -------------------------------------------------------------------------------- /mptp_html.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/mptp_html.pl -------------------------------------------------------------------------------- /terms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/terms.pl -------------------------------------------------------------------------------- /tstpres2SS.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/tstpres2SS.sh -------------------------------------------------------------------------------- /utils.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/utils.pl -------------------------------------------------------------------------------- /utils_no_thf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JUrban/MPTP2/HEAD/utils_no_thf.pl --------------------------------------------------------------------------------