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 |