PB'16 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark
PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb

Jump to solvers results

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-18.opb
MD5SUM9269fbcc08c2d216b9ebcd8d0ff90bb2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3848
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 5002
Biggest coefficient in the objective function 1560
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 270432
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1560
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 270432
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)4967
Sum of products size (including duplicates)15919
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16 (complete)4119381SAT (TO)-3848 1800.34 955.049
minisatp 2012-10-02 git-d91742b (complete)4119383SAT (TO)-3703 1800.09 1800.41
Sat4j PB 2.3.6 Resolution PB16 (complete)4119382SAT (TO)-3510 1800 1790.95
toysat 2016-05-02 (complete)4119380? (TO) 1800.07 1800.41

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

objective function: -3848
Solution found:
-x1 -x2 -x3 -x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 x13 -x14 x15 -x16 x17 x18 x19 x20 x21 x22 -x23 -x24 -x25 x26 x27 -x28 x29 -x30 -x31 -x32 x33
-x34 -x35