Index of /smtlib/benchmarks/QF_AUFBV/stp

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 610dd9dc.T.stp.smt                   12-Jun-2007 09:37  347K  
 blaster-concrete.stp.smt             01-Jun-2008 17:46  2.4M  
 blaster-small.stp.smt                01-Jun-2008 17:46   37K  
 blaster-wp.ir.3.simplified4.stp.smt  12-Jun-2007 09:38  4.8M  
 blaster-wp.ir.3.simplified8.stp.smt  01-Jun-2008 17:47  3.4M  
 blaster-wp.ir.3.simplified13.stp.smt 01-Jun-2008 17:47  3.4M  
 blaster.stp.smt                      01-Jun-2008 17:47  3.7M  
 cksumcookie_20-ite.stp.smt           01-Jun-2008 17:47  580K  
 cksumcookie_20-memwrites.stp.smt     01-Jun-2008 17:47   85K  
 cmu-model15.smt                      01-Jun-2008 17:47  549K  
 cmu-model16.smt                      01-Jun-2008 17:47  549K  
 cmu-model17.smt                      01-Jun-2008 17:47  549K  
 ff.stp.smt                           12-Jun-2007 09:40   73M  
 grep0065.stp.smt                     01-Jun-2008 17:47   44K  
 grep0084.stp.smt                     01-Jun-2008 17:47  960K  
 grep0095.stp.smt                     01-Jun-2008 17:47  961K  
 grep0106.stp.smt                     01-Jun-2008 17:47  962K  
 grep0117.stp.smt                     01-Jun-2008 17:47  963K  
 grep0777.stp.smt                     12-Jun-2007 09:41  1.0M  
 noregions-fullmemite.stp.smt         12-Jun-2007 09:42   74M  
 noregions-stpmem.stp.smt             12-Jun-2007 09:42  4.6M  
 testcase1.stp.smt                    01-Jun-2008 19:07  2.3M  
 testcase2.stp.smt                    02-Jun-2008 09:41   53M  
 testcase3.stp.smt                    01-Jun-2008 19:13   65M  
 testcase4.stp.smt                    01-Jun-2008 19:15   67M  
 testcase5.stp.smt                    01-Jun-2008 19:17   66M  
 testcase6.stp.smt                    01-Jun-2008 19:19   63M  
 testcase7.stp.smt                    01-Jun-2008 19:19   64M  
 testcase8.stp.smt                    01-Jun-2008 19:52   63M  
 testcase9.stp.smt                    01-Jun-2008 19:52   66M  
 testcase11.stp.smt                   01-Jun-2008 17:47   61M  
 testcase12.stp.smt                   01-Jun-2008 19:08   74M  
 testcase13.stp.smt                   01-Jun-2008 19:09   20M  
 testcase14.stp.smt                   01-Jun-2008 19:09   24M  
 testcase16.stp.smt                   01-Jun-2008 19:10   56M  
 testcase17.stp.smt                   01-Jun-2008 19:11   58M  
 testcase18.stp.smt                   01-Jun-2008 19:11  3.1M  
 testcase19.stp.smt                   01-Jun-2008 19:12  3.2M  
 testcase20.stp.smt                   12-Jun-2007 10:14   65M  
 testcase21.stp.smt                   12-Jun-2007 10:22   68M