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

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