 SAT09referencesolver:SATzilla2009_C_2009-03-22  
 MPhaseSAT_2011-02-15                            
 ppfolio_par                                     
 Sol_2011-04-04                                  
 ppfolio_seq                                     
 QuteRSat_2011-05-12\(fixed\)                      
 CryptoMiniSat_Strange-Night2-st\(fixed\)          
 Coach-SAT-Portfolio_2011-03-18                  
 PicoSAT_941                                     
 glucose_2                                       
 CryptoMiniSat_Strange-Night-2-mt\(fixed\)         
 clasp_2.0-R4092-crafted                         
 SAT07referencesolver:minisat_SAT2007            
 Plingeling_587f\(fixed\)                          
 jMiniSat_2011                                   
 claspmt_2.0-R4095-patched\(fixed\)                
 claspmt_2.0-R4095                               
 RestartSAT_B95                                  
 SAT09referencesolver:clasp_1.2.0-SAT09-32       
 SArTagnan_2011-05-15\(fixed\)                     
 priss_1.0                                       
 sathys_2011-04-01                               
 SApperloT2010_2011-05-15\(fixed\)                 
 sattime+_2011-03-02                             
 sattime_2011-03-02    
