PB'07 evaluation: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.71474
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables66480
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint40
Maximum length of a constraint66480
Number of terms in the objective function 66480
Biggest coefficient in the objective function 7822
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 589829
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262142
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 589831
Number of bits of the biggest sum of numbers20
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
glpPB 0.2362634UNSAT 1.71474 1.71751
sat4jPseudoCPClause 2007-03-23362632UNSAT 9.31058 6.75207
sat4jPseudoCP 2007-03-23362628UNSAT 9.53255 6.8554
PB-clasp 2007-04-10362635UNSAT 173.04 173.11
SAT4JPseudoResolution 2007-03-23362627UNSAT 182.44 177.973
bsolo 3.0.17432604UNSAT 385.499 385.613
bsolo 3.0.16362631UNSAT 390.065 390.17
PB-clasp 2007-03-23362626? (MO) 183.631 183.839
wildcat-rnp 2007-03-21362629? (TO) 1800.03 1800.63
Pueblo 1.4362633? (TO) 1800.03 1800.62
PBS4_v2 2007-03-23458489? (TO) 1800.05 1800.61
PBS4 2007-03-23362625? (TO) 1800.08 1800.72
wildcat-skc 2007-03-21362630? (TO) 1800.1 1800.62
absconPseudo 102362623? (TO) 1800.24 1800.71
oree 0.1.2 alpha362636? (TO) 1802.27 1803.04
minisat+ 1.14362624Signal 71.3412 71.3704