 RestartSAT_B95                                    
 glueminisat_2.2.5                                 
 SAT09referencesolver:precosat_236                 
 minisathack:cir_minisat_2011-05-13\(simp\)          
 minisathackreference:minisat_2.2.0                
 minisathack:EBMiniSAT_2011-03-02                  
 minisathack:contrasat_2011-03-02                  
 minisathack:LR_GL_SHR_2011-03-02                  
 minisathack:MiniSAT_2.2.0-agile-26                
 SAT09referencesolver:glucose_1.0                  
 glucose_2                                         
 EBGlucose_1.0                                     
 Lingeling_587f\(fixed\)                             
 minisathack:minisat_psm_2011-04-01                
 CryptoMiniSat_Strange-Night2-st\(fixed\)            
 rcl_2011-04-01                                    
 MPhaseSAT64_2011-05-14\(fixed\)                     
 QuteRSat_2011-05-12\(fixed\)                        
