Index of /smtlib/benchmarks/pending/Jul2009

Icon  Name                        Last modified      Size  Description
[DIR] Parent Directory                                 -   
[   ] AUFLIA.tar.gz               02-Jul-2009 14:52  2.6M  
[   ] LRA.tar.gz                  02-Jul-2009 14:53  699K  
[   ] QF_AUFBV.tar.gz             02-Jul-2009 14:53   11M  
[   ] QF_BV0.tar.gz               02-Jul-2009 17:58  395M  
[   ] QF_LIA.tar.gz               02-Jul-2009 14:53  8.2M  
[   ] QF_NIA.tar.gz               02-Jul-2009 14:53  515K  
[   ] QF_UFNRA.tar.gz             10-Apr-2010 16:15  336K  
[   ] UFNIA.tar.gz                02-Jul-2009 17:55  176M
Apache/2.0.52 (Red Hat) Server at goedel.cs.uiowa.edu Port 80