Index of /surynpav/research/csclp2010/csclp2010_experiments/cnfs

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Urq8_5.cnf              17-Oct-2010 18:07   95K  
 ais12.cnf               17-Oct-2010 18:07   67K  
 hanoi4.cnf              17-Oct-2010 18:07   65K  
 huge.cnf                17-Oct-2010 18:07   85K  
 jnh1.cnf                17-Oct-2010 18:07   24K  
 par16-1-c.cnf           17-Oct-2010 18:07   21K  
 par16-1.cnf             17-Oct-2010 18:07   52K  
 pret150_75.cnf          17-Oct-2010 18:07   11K  
 s3-3-3-8.cnf            17-Oct-2010 18:07   99K  
 ssa7552-160.cnf         17-Oct-2010 18:07   38K  
 sw100-5.cnf             17-Oct-2010 18:07   36K  
 uuf250-0100.cnf         17-Oct-2010 18:07   15K