Index of /smtlib/benchmarks/QF_IDL/DTP

 Name                       Last modified      Size  Description
 Parent Directory                                -   
 DTP_k2_n35_c175_s1.smt     01-Jun-2008 01:20   12K  
 DTP_k2_n35_c175_s2.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s3.smt     01-Jun-2008 01:20   12K  
 DTP_k2_n35_c175_s4.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s5.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s6.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s7.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s8.smt     01-Jun-2008 01:20   12K  
 DTP_k2_n35_c175_s9.smt     01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s10.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s11.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s12.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s13.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s14.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s15.smt    01-Jun-2008 01:20   12K  
 DTP_k2_n35_c175_s16.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s17.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s18.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s19.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c175_s20.smt    01-Jun-2008 01:20   11K  
 DTP_k2_n35_c210_s1.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s2.smt     01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s3.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s4.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s5.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s6.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s7.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s8.smt     01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s9.smt     01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s10.smt    01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s11.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s12.smt    01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s13.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s14.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s15.smt    01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s16.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s17.smt    01-Jun-2008 01:20   13K  
 DTP_k2_n35_c210_s18.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s19.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c210_s20.smt    01-Jun-2008 01:20   14K  
 DTP_k2_n35_c245_s1.smt     01-Jun-2008 01:20   15K  
 DTP_k2_n35_c245_s2.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s3.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s4.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s5.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s6.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s7.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s8.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s9.smt     01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s10.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s11.smt    01-Jun-2008 01:20   15K  
 DTP_k2_n35_c245_s12.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s13.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s14.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s15.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s16.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s17.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s18.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s19.smt    01-Jun-2008 01:20   16K  
 DTP_k2_n35_c245_s20.smt    01-Jun-2008 01:20   16K