| Event | PB'06 evaluation |
| Type | PB |
| Submitter | christophe lecoutre |
| Date of submission | 2006-05-24 18:27 |
| Name | absconPseudo |
| Version | 1 |
| Authors | Fred Hemery et Christophe Lecoutre |
| Complete/Incomplete | ? |
| Is able to solve | OPT-MEDINT OPT-SMALLINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | java -server -Xms256M -Xmx1500M -cp SOLVERPATH/PB06final/user2/absconPseudo1.jar abscon.Resolution SOLVERPATH/PB06final/user2/configuration.xml 1 pseudo BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Vasco Manquinho |
| Date of submission | 2006-05-24 18:37 |
| Name | bsolo |
| Version | 2006/05 |
| Authors | J. Marques-Silva and V. Manquinho |
| Complete/Incomplete | ? |
| Is able to solve | OPT-BIGINT OPT-MEDINT OPT-SMALLINT SATUNSAT-BIGINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user10/bsolo BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 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-MEDINT OPT-SMALLINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user8/glpPBv3 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Niklas Een |
| Date of submission | 2006-04-30 15:43 |
| Name | minisat+ |
| Version | 1.14 |
| Authors | Niklas Een & Niklas Sörensson |
| Complete/Incomplete | ? |
| Is able to solve | OPT-BIGINT OPT-MEDINT OPT-SMALLINT SATUNSAT-BIGINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user7/minisat+ BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Fadi Aloul |
| Date of submission | 2006-05-04 20:52 |
| Name | PBS |
| Version | 4.1L |
| Authors | Bashar AlRawi & Fadi Aloul |
| Complete/Incomplete | ? |
| Is able to solve | OPT-MEDINT OPT-SMALLINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user11/PBS4L BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Gayathri Namasivayam |
| Date of submission | 2006-05-30 04:54 |
| Name | PB-smodels |
| Version | 1.28 |
| Authors | Gayathri Namasivayam |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels BENCHNAME RANDOMSEED TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Gayathri Namasivayam |
| Date of submission | 2006-05-30 04:54 |
| Name | PB-smodels |
| Version | 1.31 |
| Authors | Gayathri Namasivayam |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user4/pbsmodels-v1.31/runpbsmodels BENCHNAME RANDOMSEED TMPDIR |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Hossein Sheini |
| Date of submission | 2006-06-01 09:27 |
| Name | Pueblo |
| Version | 1.3 |
| Authors | Hossein Sheini |
| Complete/Incomplete | ? |
| Is able to solve | OPT-MEDINT OPT-SMALLINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user8/Pueblo13 BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 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-MEDINT OPT-SMALLINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user8/Pueblo BENCHNAME |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2006-05-29 13:04 |
| Name | SAT4JPSEUDO |
| Version | 2006.2 |
| Authors | Daniel Le Berre and Anne Parrain |
| Complete/Incomplete | ? |
| Is able to solve | OPT-BIGINT OPT-MEDINT OPT-SMALLINT SATUNSAT-BIGINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | java -server -Xms1500M -Xmx1500M -jar SOLVERPATH/PB06final/user5/sat4jPseudoPlus.jar BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Daniel Le Berre |
| Date of submission | 2006-05-29 13:04 |
| Name | SAT4JPSEUDO |
| Version | 2006.2 Heuristics |
| Authors | Daniel Le Berre and Anne Parrain |
| Complete/Incomplete | ? |
| Is able to solve | OPT-BIGINT OPT-MEDINT OPT-SMALLINT SATUNSAT-BIGINT SATUNSAT-MEDINT SATUNSAT-SMALLINT |
| Solver command line | java -server -Xms1500M -Xmx1500M -jar SOLVERPATH/PB06final/user5/sat4jPseudoHeuristics.jar BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Lengning Liu |
| Date of submission | 2006-04-28 01:35 |
| Name | wildcat-rnp |
| Version | 0.8.0 |
| Authors | Lengning Liu and Miroslaw Truszczynski |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user3/wildcat-rnp BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |
| Event | PB'06 evaluation |
| Type | PB |
| Submitter | Lengning Liu |
| Date of submission | 2006-04-28 01:34 |
| Name | wildcat-skc |
| Version | 0.8.0 |
| Authors | Lengning Liu and Miroslaw Truszczynski |
| Complete/Incomplete | ? |
| Is able to solve | OPT-SMALLINT SATUNSAT-SMALLINT |
| Solver command line | SOLVERPATH/PB06final/user3/wildcat-skc BENCHNAME RANDOMSEED |
| Conversion script command line | |
| Comments | |
| Solver files and checksums |