 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                
 ppfolio_par                                       
 Lingeling_587                                     
 CryptoMiniSat_Strange-Night2-st\(fixed\)            
 rcl_2011-04-01                                    
 MPhaseSAT64_2011-05-14\(fixed\)                     
 claspmt_2.0-R4095                                 
 SAT09referencesolver:ManySAT1.1_aimd1/2009-03-20  
 claspmt_2.0-R4095-patched\(fixed\)                  
 Plingeling_587                                    
 Plingeling_587f\(fixed\)                            
 CryptoMiniSat_Strange-Night-2-mt                  
 CryptoMiniSat_Strange-Night-2-mt\(fixed\)           
 borg-sat_11.03.02-seq-industrial\(fixed\)           
 Coach-SAT-Portfolio_2011-03-18                    
 QuteRSat_2011-05-12\(fixed\)                        
 borg-sat_11.03.02-par-industrial\(fixed\)           
 borg-sat_11.03.02-industrial          
