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 benchmark6.52701
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables25930
Total number of constraints22640
Number of constraints which are clauses10362
Number of constraints which are cardinality constraints (but not clauses)103
Number of constraints which are nor clauses,nor cardinality constraints12175
Minimum length of a constraint1
Maximum length of a constraint913
Number of terms in the objective function 24130
Biggest coefficient in the objective function 94430
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 544308
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 371834
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 544308
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
bsolo 3.0.16363247UNSAT 6.36403 6.37993
bsolo 3.0.17432768UNSAT 6.52701 6.53168
oree 0.1.2 alpha363252UNSAT 9.8625 9.86729
Pueblo 1.4363249UNSAT 13.7319 13.7374
sat4jPseudoCPClause 2007-03-23363248UNSAT 24.4693 18.9733
SAT4JPseudoResolution 2007-03-23363243UNSAT 26.481 19.9158
PBS4_v2 2007-03-23458653UNSAT 26.6559 26.6644
sat4jPseudoCP 2007-03-23363244UNSAT 26.6679 20.2486
PBS4 2007-03-23363241UNSAT 26.7119 26.7203
minisat+ 1.14363240UNSAT 38.5221 38.5406
absconPseudo 102363239? 13.192 13.1791
glpPB 0.2363250? (problem) 38.5231 38.5328
PB-clasp 2007-03-23363242? (TO) 1800.04 2035.64
PB-clasp 2007-04-10363251? (TO) 1800.39 1995.45
wildcat-skc 2007-03-21363246? (TO) 1802.03 1802.48
wildcat-rnp 2007-03-21363245? (TO) 1802.07 1802.7