Index of /research/SPL/IWCT_2015/Resources/SAT_models

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Insurance.dimacs        2015-01-22 16:55  8.8K  
 Services.dimacs         2015-01-22 16:55  7.7K  
 Storage5.dimacs         2015-01-22 16:55  6.8K  
 flex.dimacs             2015-01-22 16:55  585   
 gcc_3way.dimacs         2015-01-22 16:55  231K  
 grep.dimacs             2015-01-22 16:55  2.1K  
 gzip.dimacs             2015-01-22 16:55  1.1K  
 make.dimacs             2015-01-22 16:55  344   
 sed.dimacs              2015-01-22 16:55  1.7K  
 tcas_2way.dimacs        2015-01-22 16:55  1.6K