Index of /SATURATE/examples/tests/tptpSET

Icon  Name                      Last modified      Size  Description
[PARENTDIR] Parent Directory                               -   
[TXT] casc18.pl                 2002-08-08 18:50  5.5K  
[   ] sat_tptp.log.best         2003-01-21 10:13  6.0K  
[   ] FOF02Problems             2003-01-24 21:28  1.8K  
[   ] ls-lR                     2007-03-29 09:53  349   
[   ] ls-lR.gz                  2007-03-29 09:53  191
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443