Index of /smtlib/benchmarks

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 AUFLIA.tar.gz           01-Jun-2008 19:59   45M  
 AUFLIA/                 12-Apr-2008 20:21    -   
 AUFLIRA.tar.gz          01-Jun-2008 20:00   18M  
 AUFLIRA/                12-Apr-2008 20:30    -   
 AUFNIRA.tar.gz          01-Jun-2008 20:00  367K  
 AUFNIRA/                25-Jul-2006 09:06    -   
 QF_AUFBV.tar.gz         01-Jun-2008 20:00  112M  
 QF_AUFBV/               25-Oct-2011 00:31    -   
 QF_AUFLIA.tar.gz        01-Jun-2008 20:09  2.6M  
 QF_AUFLIA/              13-Jul-2006 13:42    -   
 QF_AX.tar.gz            03-Jun-2008 21:44  1.7M  
 QF_AX/                  01-Jun-2008 22:30    -   
 QF_BV.tar.gz            05-Jun-2008 12:34  162M  
 QF_BV/                  20-May-2008 21:42    -   
 QF_IDL.tar.gz           01-Jun-2008 20:03  132M  
 QF_IDL/                 01-May-2008 19:39    -   
 QF_LIA.tar.gz           01-Jun-2008 20:05  332M  
 QF_LIA/                 01-May-2008 19:40    -   
 QF_LRA.tar.gz           04-Jun-2008 13:56  6.8M  
 QF_LRA/                 01-Jul-2011 16:05    -   
 QF_RDL.tar.gz           01-Jun-2008 20:09  7.8M  
 QF_RDL/                 14-Jul-2006 22:06    -   
 QF_UF.tar.gz            01-Jun-2008 20:06   73M  
 QF_UF/                  12-Apr-2008 20:52    -   
 QF_UFBV32.tar.gz        20-Feb-2008 00:54  1.5M  
 QF_UFBV32/              07-Jul-2006 16:03    -   
 QF_UFIDL.tar.gz         01-Jun-2008 20:06   14M  
 QF_UFIDL/               01-May-2008 19:41    -   
 QF_UFLIA.tar.gz         01-Jun-2008 20:06  1.4M  
 QF_UFLIA/               12-Apr-2008 20:53    -   
 QF_UFLRA.tar.gz         01-Jun-2008 20:06  5.3M  
 QF_UFLRA/               12-Apr-2008 20:53    -   
 old/                    16-May-2006 17:18    -   
 pending/                02-Jul-2009 14:52    -   
 pp                      25-May-2007 14:36  1.4M