Index of /smtlib/benchmarks/QF_UF/PEQ

 Name                      Last modified      Size  Description
 Parent Directory                               -   
 PEQ002_size5.smt          19-Feb-2008 21:51   33K  
 PEQ002_size6.smt          01-Jun-2008 05:51   56K  
 PEQ002_size7.smt          01-Jun-2008 05:51   88K  
 PEQ002_size8.smt          14-Jul-2006 22:21  130K  
 PEQ003_size7.smt          01-Jun-2008 05:51   44K  
 PEQ003_size8.smt          19-Feb-2008 21:51   64K  
 PEQ003_size9.smt          01-Jun-2008 05:51   89K  
 PEQ003_size10.smt         01-Jun-2008 05:51  120K  
 PEQ004_size6.smt          19-Feb-2008 21:51   61K  
 PEQ004_size7.smt          01-Jun-2008 05:51   94K  
 PEQ004_size8.smt          01-Jun-2008 05:51  137K  
 PEQ004_size9.smt          01-Jun-2008 05:51  192K  
 PEQ010_size5.smt          19-Feb-2008 21:51   30K  
 PEQ010_size6.smt          19-Feb-2008 21:51   49K  
 PEQ010_size7.smt          19-Feb-2008 21:51   75K  
 PEQ010_size8.smt          19-Feb-2008 21:51  110K  
 PEQ011_size5.smt          14-Jul-2006 22:21   24K  
 PEQ011_size6.smt          19-Feb-2008 21:51   41K  
 PEQ011_size7.smt          19-Feb-2008 21:51   63K  
 PEQ011_size8.smt          01-Jun-2008 05:51   93K  
 PEQ012_size3.smt          14-Jul-2006 22:21  7.8K  
 PEQ012_size4.smt          19-Feb-2008 21:51   17K  
 PEQ012_size5.smt          14-Jul-2006 22:21   33K  
 PEQ012_size6.smt          14-Jul-2006 22:21   56K  
 PEQ013_size5.smt          01-Jun-2008 05:51   46K  
 PEQ013_size6.smt          01-Jun-2008 05:51   76K  
 PEQ013_size7.smt          14-Jul-2006 22:21  118K  
 PEQ013_size8.smt          14-Jul-2006 22:21  173K  
 PEQ014_size8.smt          01-Jun-2008 05:51  110K  
 PEQ014_size9.smt          01-Jun-2008 05:51  154K  
 PEQ014_size10.smt         01-Jun-2008 05:51  208K  
 PEQ014_size11.smt         01-Jun-2008 05:51  277K  
 PEQ016_size4.smt          19-Feb-2008 21:51   50K  
 PEQ016_size5.smt          19-Feb-2008 21:51   98K  
 PEQ016_size6.smt          01-Jun-2008 05:51  171K  
 PEQ016_size7.smt          14-Jul-2006 22:21  277K  
 PEQ018_size4.smt          19-Feb-2008 21:51  6.1K  
 PEQ018_size5.smt          19-Feb-2008 21:51   11K  
 PEQ018_size6.smt          01-Jun-2008 05:52   18K  
 PEQ018_size7.smt          01-Jun-2008 05:52   27K  
 PEQ019_size4.smt          14-Jul-2006 22:21   13K  
 PEQ019_size5.smt          14-Jul-2006 22:21   25K  
 PEQ019_size6.smt          19-Feb-2008 21:51   41K  
 PEQ019_size7.smt          19-Feb-2008 21:51   64K  
 PEQ020_size4.smt          14-Jul-2006 22:21   26K  
 PEQ020_size5.smt          14-Jul-2006 22:21   26K  
 PEQ020_size6.smt          01-Jun-2008 05:52   80K  
 PEQ020_size7.smt          14-Jul-2006 22:21  124K