 MPhaseSAT_2011-02-15                            
 Sol_2011-04-04                                  
 QuteRSat_2011-05-12\(fixed\)                      
 CryptoMiniSat_Strange-Night2-st\(fixed\)          
 PicoSAT_941                                     
 glucose_2                                       
 clasp_2.0-R4092-crafted                         
 SAT07referencesolver:minisat_SAT2007            
 jMiniSat_2011                                   
 RestartSAT_B95                                  
 SAT09referencesolver:clasp_1.2.0-SAT09-32       
 sathys_2011-04-01                               
 SApperloT2010_2011-05-15\(fixed\)                 
 sattime+_2011-03-02                             
 sattime_2011-03-02    
