| Event | PB'07 evaluation |
| Type | PB |
| Submitter | christophe lecoutre |
| Date of submission | 2007-03-30 16:03 |
| Name | absconPseudo |
| Version | 102 |
| Authors | fred hemery and christophe lecoutre |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Vasco Manquinho |
| Date of submission | 2007-04-11 16:17 |
| Name | bsolo |
| Version | 3.0.16 |
| Authors | Vasco Manquinho |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | bsolo3.0.16 -tTIMEOUT -mMEMLIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Vasco Manquinho |
| Date of submission | 2007-04-30 15:18 |
| Name | bsolo |
| Version | 3.0.17 |
| Authors | Vasco Manquinho |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | bsolo3.0.17 -mMEMLIMIT BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Hossein Sheini |
| Date of submission | 2006-07-26 22:10 |
| Name | glpPB |
| Version | 0.2 |
| Authors | Hossein Sheini |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | glpPBv3 BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Niklas Eén |
| Date of submission | 2007-03-28 11:34 |
| Name | minisat+ |
| Version | 1.14 |
| Authors | Niklas Een & Niklas Sorensson |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | HOME/minisat+ BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Olivier ROUSSEL |
| Date of submission | 2007-04-16 19:54 |
| Name | oree |
| Version | 0.1.2 alpha |
| Authors | Olivier ROUSSEL |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | oree BENCHNAME mod |
| Conversion script command line | HOME/substituteSizeProductKeyword BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Gayathri Namasivayam |
| Date of submission | 2007-03-23 22:47 |
| Name | PB-clasp |
| Version | 2007-03-23 |
| Authors | Gayathri Namasivayam, Miroslaw Truszczynski |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | pbclasp BENCHNAMENOPATH TMPDIR/temp |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Gayathri Namasivayam |
| Date of submission | 2007-04-10 16:12 |
| Name | PB-clasp |
| Version | 2007-04-10 |
| Authors | Gayathri Namasivayam, Miroslaw Truszczynski |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | pbclasp BENCHNAMENOPATH TMPDIR/temp |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Bashar Al-Rawi |
| Date of submission | 2007-03-23 08:43 |
| Name | PBS4 |
| Version | 2007-03-23 |
| Authors | Bashar Al-Rawi and Fadi Aloul |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | HOME/PBS4 BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Bashar Al-Rawi |
| Date of submission | 2007-03-23 08:43 |
| Name | PBS4_v2 |
| Version | 2007-03-23 |
| Authors | Bashar Al-Rawi and Fadi Aloul |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | PBS4_SAT07v2 BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Hossein Sheini |
| Date of submission | 2006-06-01 09:19 |
| Name | Pueblo |
| Version | 1.4 |
| Authors | Hossein Sheini |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | Pueblo BENCHNAME |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Anne Parrain |
| Date of submission | 2007-03-23 16:29 |
| Name | sat4jPseudoCP |
| Version | 2007-03-23 |
| Authors | Daniel Le Berre, Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoCP.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Anne Parrain |
| Date of submission | 2007-03-23 16:28 |
| Name | sat4jPseudoCPClause |
| Version | 2007-03-23 |
| Authors | Daniel Le Berre, Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoCPClause.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Anne Parrain |
| Date of submission | 2007-03-23 16:30 |
| Name | SAT4JPseudoResolution |
| Version | 2007-03-23 |
| Authors | Daniel Le Berre, Anne Parrain |
| Complete/Incomplete | Complete |
| Is able to solve | OPT-BIGINT-LIN OPT-BIGINT-NLC OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-BIGINT-LIN SATUNSAT-BIGINT-NLC SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Lengning Liu |
| Date of submission | 2007-03-21 14:08 |
| Name | wildcat-rnp |
| Version | 2007-03-21 |
| Authors | Lengning Liu and Mirek Truszczynski |
| Complete/Incomplete | Incomplete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | HOME/wildcat-rnp BENCHNAME RANDOMSEED |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |
| Event | PB'07 evaluation |
| Type | PB |
| Submitter | Lengning Liu |
| Date of submission | 2007-03-21 14:06 |
| Name | wildcat-skc |
| Version | 2007-03-21 |
| Authors | Lengning Liu and Mirek Truszczynski |
| Complete/Incomplete | Incomplete |
| Is able to solve | OPT-SMALLINT-LIN OPT-SMALLINT-NLC PURE-SAT SATUNSAT-SMALLINT-LIN SATUNSAT-SMALLINT-NLC |
| Solver command line | HOME/wildcat-skc BENCHNAME RANDOMSEED |
| Conversion script command line | PBconversionToLinear BENCHNAME |
| Comments | |
| Solver files and checksums |