Index of /LNF/linux/ubuntu/last/LNFhets-libs/reloc/lib/hets/hets-lib/SampleProofs

Icon  Name                                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                                  -   
[   ] rain_Fact.hpf                                                2019-04-02 23:03   87   
[   ] family_Fact.hpf                                              2019-04-02 23:03   89   
[   ] rain_minisat.hpf                                             2019-04-02 23:03   93   
[   ] orders_leo.hpf                                               2019-04-02 23:03   94   
[   ] orders_SPASS.hpf                                             2019-04-02 23:03   96   
[   ] orders_Darwin.hpf                                            2019-04-02 23:03   97   
[   ] orders_Leo-II.hpf                                            2019-04-02 23:03   97   
[   ] orders_darwin.hpf                                            2019-04-02 23:03   97   
[   ] orders_EProver.hpf                                           2019-04-02 23:03   98   
[   ] orders_Vampire.hpf                                           2019-04-02 23:03   98   
[   ] orders_eprover.hpf                                           2019-04-02 23:03   98   
[   ] orders_darwin-non-fd.hpf                                     2019-04-02 23:03  104   
[   ] rain_leo.hpf                                                 2019-04-02 23:03  193   
[   ] SPASS.hpf                                                    2019-04-02 23:03  197   
[   ] rain_SPASS.hpf                                               2019-04-02 23:03  197   
[   ] rain_Darwin.hpf                                              2019-04-02 23:03  199   
[   ] rain_Leo-II.hpf                                              2019-04-02 23:03  199   
[   ] rain_darwin.hpf                                              2019-04-02 23:03  199   
[   ] rain_EProver.hpf                                             2019-04-02 23:03  201   
[   ] rain_Vampire.hpf                                             2019-04-02 23:03  201   
[   ] rain_eprover.hpf                                             2019-04-02 23:03  201   
[   ] rain_darwin-non-fd.hpf                                       2019-04-02 23:03  213   
[TXT] rain.dol                                                     2019-04-02 23:03  536   
[   ] Family.dol                                                   2019-04-02 23:03  707   
[   ] Orders.dol                                                   2019-04-02 23:03  896
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80