Index of /~jzimmer/atp/performance

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] 2005/                   11-Dec-2008 22:35    -   
[TXT] comparison.html         11-Dec-2008 22:35  4.6K  
[TXT] dctp-perform.xml        11-Dec-2008 22:35   32K  
[TXT] e-perform.xml           11-Dec-2008 22:35   32K  
[DIR] old/                    11-Dec-2008 22:35    -   
[TXT] otter-perform.xml       11-Dec-2008 22:35   32K  
[TXT] otter.xml               11-Dec-2008 22:35  1.4K  
[TXT] paradox-perform.xml     11-Dec-2008 22:35   33K  
[TXT] spass-perform.xml       11-Dec-2008 22:35   32K  
[TXT] vampire-perform.xml     11-Dec-2008 22:35   33K  
[TXT] waldmeister-perform.xml 11-Dec-2008 22:35    0
Apache/2.2 Server at www.ags.uni-sb.de Port 80