Index of /LNF/linux/ubuntu/16.04/LNFe-darwin/reloc/share/doc/e-darwin/eval

Icon  Name                                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                   -   
[   ] snne.3.1.0-problems                                           2020-10-27 15:34  3.7K  
[   ] sneq.3.1.0-problems                                           2020-10-27 15:34  1.4K  
[   ] shne.3.1.0-problems                                           2020-10-27 15:34  597   
[   ] sheq.3.1.0-problems                                           2020-10-27 15:34  1.7K  
[   ] non-fof.2.7-problems                                          2020-10-27 15:34   49K  
[   ] non-fof.2.6-problems                                          2020-10-27 15:34   49K  
[   ] noeq.3.1.1-problems                                           2020-10-27 15:34   23K  
[   ] nne_sat.3.0.1-problems                                        2020-10-27 15:34  3.7K  
[   ] nne.3.1.0-problems                                            2020-10-27 15:34   11K  
[   ] nne.3.0.1-problems                                            2020-10-27 15:34   11K  
[   ] nne.2.7-problems                                              2020-10-27 15:34   11K  
[   ] nne.2.6-problems                                              2020-10-27 15:34   11K  
[   ] nne.2.5-problems                                              2020-10-27 15:34   11K  
[   ] neq.3.1.0-problems                                            2020-10-27 15:34   19K  
[   ] neq.3.0.1-problems                                            2020-10-27 15:34   19K  
[   ] neq.2.7-problems                                              2020-10-27 15:34   19K  
[   ] neq.2.6-problems                                              2020-10-27 15:34   19K  
[   ] hne.3.1.0-problems                                            2020-10-27 15:34  6.8K  
[   ] hne.3.0.1-problems                                            2020-10-27 15:34  6.7K  
[   ] hne.2.7-problems                                              2020-10-27 15:34  6.7K  
[   ] hne.2.6-problems                                              2020-10-27 15:34  6.7K  
[   ] hne.2.5-problems                                              2020-10-27 15:34  6.7K  
[   ] heq.3.1.0-problems                                            2020-10-27 15:34   14K  
[   ] heq.3.0.1-problems                                            2020-10-27 15:34   12K  
[   ] heq.2.7-problems                                              2020-10-27 15:34   12K  
[   ] heq.2.6-problems                                              2020-10-27 15:34   12K  
[   ] hard-problems                                                 2020-10-27 15:34  1.1K  
[   ] fof-3.1.0-problems                                            2020-10-27 15:34   20K  
[   ] eq.3.1.1-problems                                             2020-10-27 15:34   48K  
[   ] epr_nne-problems                                              2020-10-27 15:34  3.8K  
[   ] epr_neq-problems                                              2020-10-27 15:34  153   
[   ] epr_hne-problems                                              2020-10-27 15:34  2.0K  
[   ] epr_heq-problems                                              2020-10-27 15:34   81   
[   ] epr.3.1.1-problems                                            2020-10-27 15:34  6.0K  
[   ] epr-tnne-3.1.0-problems                                       2020-10-27 15:34  2.0K  
[   ] epr-tneq-3.1.0-problems                                       2020-10-27 15:34   99   
[   ] epr-thne-3.1.0-problems                                       2020-10-27 15:34  2.0K  
[TXT] epr-theq-3.1.0-problems                                       2020-10-27 15:34    0   
[   ] epr-snne-3.1.0-problems                                       2020-10-27 15:34  1.8K  
[   ] epr-sneq-3.1.0-problems                                       2020-10-27 15:34   54   
[   ] epr-shne-3.1.0-problems                                       2020-10-27 15:34   36   
[   ] epr-sheq-3.1.0-problems                                       2020-10-27 15:34   81   
[   ] cnf-3.1.0-problems                                            2020-10-27 15:34   51K  
[   ] cascj2_ueq-problems                                           2020-10-27 15:34  901   
[   ] cascj2_sne-problems                                           2020-10-27 15:34  450   
[   ] cascj2_seq-problems                                           2020-10-27 15:34  450   
[   ] cascj2_peq-problems                                           2020-10-27 15:34  180   
[   ] cascj2_nne-problems                                           2020-10-27 15:34  323   
[   ] cascj2_neq-problems                                           2020-10-27 15:34  675   
[   ] cascj2_hne-problems                                           2020-10-27 15:34  315   
[   ] cascj2_heq-problems                                           2020-10-27 15:34  316   
[   ] cascj2_ept-problems                                           2020-10-27 15:34  372   
[   ] cascj2_eps-problems                                           2020-10-27 15:34  412   
[   ] casc20_sne-problems                                           2020-10-27 15:34  540   
[   ] casc20_seq-problems                                           2020-10-27 15:34  540   
[   ] casc20_nne-problems                                           2020-10-27 15:34  188   
[   ] casc20_hne-problems                                           2020-10-27 15:34  180   
[   ] casc20_ept-problems                                           2020-10-27 15:34  548   
[   ] casc20_eps-problems                                           2020-10-27 15:34  543   
[   ] casc19_ueq-problems                                           2020-10-27 15:34  630   
[   ] casc19_sne-problems                                           2020-10-27 15:34  315   
[   ] casc19_seq-problems                                           2020-10-27 15:34  315   
[   ] casc19_peq-problems                                           2020-10-27 15:34  180   
[   ] casc19_nne-problems                                           2020-10-27 15:34  180   
[   ] casc19_neq-problems                                           2020-10-27 15:34  540   
[   ] casc19_hne-problems                                           2020-10-27 15:34  180   
[   ] casc19_heq-problems                                           2020-10-27 15:34  180   
[   ] casc19_ept-problems                                           2020-10-27 15:34  323   
[   ] casc19_eps-problems                                           2020-10-27 15:34  359   
[   ] casc18_ueq-problems                                           2020-10-27 15:34  631   
[   ] casc18_sne-problems                                           2020-10-27 15:34  315   
[   ] casc18_seq-problems                                           2020-10-27 15:34  315   
[   ] casc18_peq-problems                                           2020-10-27 15:34  315   
[   ] casc18_nne-problems                                           2020-10-27 15:34  315   
[   ] casc18_neq-problems                                           2020-10-27 15:34  315   
[   ] casc18_hne-problems                                           2020-10-27 15:34  315   
[   ] casc18_heq-problems                                           2020-10-27 15:34  315   
[   ] casc18_ept-problems                                           2020-10-27 15:34  327   
[   ] casc18_eps-problems                                           2020-10-27 15:34  367   
[   ] all.3.1.1-problems                                            2020-10-27 15:34   71K  
[   ] all-uns.3.1.1-problems                                        2020-10-27 15:34   51K  
[   ] all-sat.3.1.1-problems                                        2020-10-27 15:34   11K  
[   ] all-nhr.3.1.1-problems                                        2020-10-27 15:34   50K  
[   ] all-neq-sat.3.1.1-problems                                    2020-10-27 15:34  6.1K  
[   ] all-neq-nhr.3.1.1-problems                                    2020-10-27 15:34   16K  
[   ] all-neq-hrn.3.1.1-problems                                    2020-10-27 15:34  6.8K  
[   ] all-hrn.3.1.1-problems                                        2020-10-27 15:34   21K  
[   ] all-eq-sat.3.1.1-problems                                     2020-10-27 15:34  5.1K  
[   ] all-eq-nhr.3.1.1-problems                                     2020-10-27 15:34   34K  
[   ] all-eq-hrn.3.1.1-problems                                     2020-10-27 15:34   14K  
[   ] all-eq-hnr.3.1.1-problems                                     2020-10-27 15:34   14K  
[   ] ZipTPTP.py                                                    2020-10-27 15:34  1.1K  
[   ] VerifyAsserts.py                                              2020-10-27 15:34  2.0K  
[TXT] StatsRated.py                                                 2020-10-27 15:34  3.3K  
[TXT] StatsProblems.py                                              2020-10-27 15:34  2.7K  
[   ] StatsCasc.py                                                  2020-10-27 15:34  1.1K  
[   ] SchmidtQBF-problems                                           2020-10-27 15:34  828   
[   ] SchmidtPSAT-problems                                          2020-10-27 15:34  684   
[   ] SYN-problems                                                  2020-10-27 15:34  4.3K  
[   ] SOUND-problems                                                2020-10-27 15:34  915   
[   ] RunProblems.py                                                2020-10-27 15:34   16K  
[   ] RunCasc.py                                                    2020-10-27 15:34  626   
[TXT] FindTPTPProblems.py                                           2020-10-27 15:34  5.3K  
[   ] FLD-problems                                                  2020-10-27 15:34  2.5K  
[   ] CheckModels.py                                                2020-10-27 15:34  1.3K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80