PB'07 evaluation: solvers results per benchmarks

Result page for benchmark
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
MD5SUM5548b3a1af88258afdf09b4f2d4db162
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 239
Optimality of the best value was proved NO
Number of variables63009
Total number of constraints507
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint7753
Number of terms in the objective function 63009
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 122425
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 122425
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerObjective functionCPU timeWall clock time
absconPseudo 102352011SAT (TO)248 1800.16 1800.64
sat4jPseudoCPClause 2007-03-23352020SAT (TO)259 1804.05 1794.86
SAT4JPseudoResolution 2007-03-23352015SAT (TO)259 1804.06 1801.06
sat4jPseudoCP 2007-03-23352016SAT (TO)259 1804.13 1790.16
bsolo 3.0.16352019SAT (TO)308 1800.24 1800.86
bsolo 3.0.17432840SAT (TO)309 1800.36 1800.95
Pueblo 1.4352021SAT318 1782.85 1783.46
PB-clasp 2007-04-10352023SAT (TO)340 1802 1802.74
oree 0.1.2 alpha357058SAT (TO)354 1800.55 1801.37
wildcat-skc 2007-03-21352018SAT (TO)7155 1800.16 1800.99
wildcat-rnp 2007-03-21352017SAT (TO)22487 1801.48 1802.01
PB-clasp 2007-03-23352014SAT (TO)60927 1802.11 1806.43
PBS4_v2 2007-03-23458725SAT (TO)122399 1800.1 1800.68
glpPB 0.2352022? (TO) 1800.07 1800.82
minisat+ 1.14352012Signal 6.69098 6.69839
PBS4 2007-03-23352013No Cert. 1800.04 1800.61