SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 1429.16  | 1429.85        | CircUs                               | 2009-03-23               
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 4522.8   | 4524.05        | MXC                                  | 2009-03-10               
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 5423.78  | 5425.93        | glucose                              | 1.0                      
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 5977.73  | 5981.52        | precosat                             | 236                      
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 6872.61  | 6875.18        | SATzilla2009_I                       | 2009-03-22               
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | SAT            | 9396.54  | 9400.67        | Rsat                                 | 2009-03-22               
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | UNKNOWN        | 3609.78  | 3611.14        | kw                                   | 2009-03-20               
SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf                                                                | UNKNOWN MO     | 4679.27  | 4681.41        | minisat_cumr                         | p-2009-03-18