Index of /LNF/linux/ubuntu/15.04/LNFeprover/reloc/share/doc/eprover/EXAMPLE_PROBLEMS/TPTP

 Name                                                                         Last modified      Size  Description
 Parent Directory                                                                                  -   
 Axioms/                                                                      2017-09-01 02:01    -   
 BOO006-1.p                                                                   2017-07-01 15:53  1.7K  
 BOO010-2.p                                                                   2017-07-01 15:53  1.4K  
 CAT004-4.p                                                                   2017-07-01 15:53  2.1K  
 COL042-8.p                                                                   2017-07-01 15:53  2.1K  
 CSR036+2.p                                                                   2017-07-01 15:53  2.6K  
 GEO288+1.p                                                                   2017-07-01 15:53  135K  
 GRP237-1.p                                                                   2017-07-01 15:53  5.8K  
 HEN011-2.p                                                                   2017-07-01 15:53  3.3K  
 LCL365-1.p                                                                   2017-07-01 15:53  2.0K  
 MGT063+1.p                                                                   2017-07-01 15:53  6.9K  
 PLA012-1.p                                                                   2017-07-01 15:53  1.8K  
 PUZ028-6.p                                                                   2017-07-01 15:53  3.6K  
 SET183-6.p                                                                   2017-07-01 15:53  2.5K  
 SET844-1.p                                                                   2017-07-01 15:53  3.2K  
 SEU027+1.p                                                                   2017-07-01 15:53  6.6K  
 SWB008+1.p                                                                   2017-07-01 15:53  2.0K  
 SWB030+3.p                                                                   2017-07-01 15:53  1.8K  
 SWC078-1.p                                                                   2017-07-01 15:53  2.8K  
 SWV851-1.p                                                                   2017-07-01 15:53  151K  
 SWW194+1.p                                                                   2017-07-01 15:53  347K  
 SYN190-1.p                                                                   2017-07-01 15:53  1.4K