Index of /smtlib/benchmarks/QF_UF/SEQ

 Name                      Last modified      Size  Description
 Parent Directory                               -   
 SEQ004_size5.smt          14-Jul-2006 22:21   80K  
 SEQ004_size6.smt          14-Jul-2006 22:21  159K  
 SEQ004_size7.smt          14-Jul-2006 22:21  286K  
 SEQ005_size6.smt          20-Feb-2008 14:55   49K  
 SEQ005_size7.smt          01-Jun-2008 11:58   76K  
 SEQ005_size8.smt          01-Jun-2008 11:58  112K  
 SEQ005_size9.smt          01-Jun-2008 11:58  158K  
 SEQ009_size7.smt          01-Jun-2008 11:58   14K  
 SEQ009_size8.smt          14-Jul-2006 22:21   20K  
 SEQ009_size9.smt          01-Jun-2008 11:58   26K  
 SEQ009_size10.smt         01-Jun-2008 11:58   34K  
 SEQ010_size6.smt          14-Jul-2006 22:21   37K  
 SEQ010_size7.smt          01-Jun-2008 11:58   56K  
 SEQ010_size8.smt          01-Jun-2008 11:58   82K  
 SEQ010_size9.smt          20-Feb-2008 14:55  114K  
 SEQ011_size2.smt          14-Jul-2006 22:21   34K  
 SEQ011_size3.smt          14-Jul-2006 22:21  161K  
 SEQ011_size4.smt          01-Jun-2008 11:58  531K  
 SEQ013_size4.smt          20-Feb-2008 14:55  8.3K  
 SEQ013_size5.smt          20-Feb-2008 14:55   14K  
 SEQ013_size6.smt          14-Jul-2006 22:21   23K  
 SEQ015_size2.smt          14-Jul-2006 22:21  1.8K  
 SEQ015_size3.smt          14-Jul-2006 22:21  4.6K  
 SEQ015_size4.smt          14-Jul-2006 22:21   10K  
 SEQ017_size4.smt          14-Jul-2006 22:21   18K  
 SEQ017_size5.smt          14-Jul-2006 22:21   32K  
 SEQ017_size6.smt          14-Jul-2006 22:21   53K  
 SEQ018_size6.smt          14-Jul-2006 22:21   39K  
 SEQ018_size7.smt          01-Jun-2008 11:58   59K  
 SEQ018_size8.smt          14-Jul-2006 22:21   85K  
 SEQ019_size4.smt          14-Jul-2006 22:21   14K  
 SEQ019_size5.smt          14-Jul-2006 22:21   25K  
 SEQ019_size6.smt          14-Jul-2006 22:21   41K  
 SEQ020_size2.smt          14-Jul-2006 22:21   37K  
 SEQ020_size3.smt          14-Jul-2006 22:21  175K  
 SEQ020_size4.smt          01-Jun-2008 11:58  575K  
 SEQ026_size4.smt          01-Jun-2008 11:58   48K  
 SEQ026_size5.smt          01-Jun-2008 11:58   94K  
 SEQ026_size6.smt          01-Jun-2008 11:58  164K  
 SEQ026_size7.smt          01-Jun-2008 11:59  266K  
 SEQ032_size2.smt          14-Jul-2006 22:21  1.5K  
 SEQ032_size3.smt          14-Jul-2006 22:21  3.3K  
 SEQ032_size4.smt          14-Jul-2006 22:21  6.7K  
 SEQ035_size4.smt          14-Jul-2006 22:21  6.2K  
 SEQ035_size5.smt          01-Jun-2008 11:59   11K  
 SEQ035_size6.smt          20-Feb-2008 14:55   19K  
 SEQ038_size6.smt          20-Feb-2008 14:55   41K  
 SEQ038_size7.smt          01-Jun-2008 11:59   61K  
 SEQ038_size8.smt          01-Jun-2008 11:59   88K  
 SEQ038_size9.smt          01-Jun-2008 11:59  122K  
 SEQ042_size2.smt          14-Jul-2006 22:21  4.6K  
 SEQ042_size3.smt          14-Jul-2006 22:21   12K  
 SEQ042_size4.smt          14-Jul-2006 22:21   27K  
 SEQ050_size2.smt          14-Jul-2006 22:21  3.8K  
 SEQ050_size3.smt          14-Jul-2006 22:21   10K  
 SEQ050_size4.smt          14-Jul-2006 22:21   22K