2019 XCSP3 competition: fast COP track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-esc16e.xml

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-esc16e.xml
MD5SUM9478703244e8f640224ac5c9e01083b8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark13.1433
Satisfiable
(Un)Satisfiability was proved
Number of variables272
Number of constraints22
Number of domains2
Minimum domain size4
Maximum domain size16
Distribution of domain sizes[{"size":4,"count":21},{"size":16,"count":16}]
Minimum variable degree0
Maximum variable degree7
Distribution of variable degrees[{"degree":0,"count":235},{"degree":1,"count":7},{"degree":2,"count":23},{"degree":5,"count":1},{"degree":7,"count":6}]
Minimum constraint arity3
Maximum constraint arity16
Distribution of constraint arities[{"arity":3,"count":21},{"arity":16,"count":1}]
Number of extensional constraints21
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":21},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23 (complete)4391068OPT14 13.1433 10.9979
cosoco 2.0 (complete)4408888OPT14 30.6029 30.6035
cosoco 2.0 (complete)4397628OPT14 30.6158 30.6182
cosoco 2 (complete)4390168OPT14 30.6443 30.6448
PicatSAT 2019-09-12 (complete)4395448OPT14 42.052 42.0597
choco-solver 2019-06-14 (complete)4394068OPT14 43.583 11.3034
choco-solver 2019-09-20 (complete)4403928OPT14 51.7776 13.3048
choco-solver 2019-09-16 (complete)4400328OPT14 52.8085 13.5927
Concrete 3.12.2 (complete)4401228OPT14 70.9736 59.6648
Concrete 3.10 (complete)4391968OPT14 78.2873 64.8899
choco-solver 2019-09-24 (complete)4406328OPT14 88.0732 84.5367
choco-solver 2019-06-14 parallel (complete)4394368OPT14 94.6619 12.4388
choco-solver 2019-09-20 parallel (complete)4404828OPT14 96.5581 12.6575
choco-solver 2019-09-24 parallel (complete)4407228OPT14 97.5524 13.0271
choco-solver 2019-09-16 parallel (complete)4400028OPT14 102.321 13.344
Concrete 3.12.3 (complete)4403028OPT14 111.52 98.8974
cosoco 2.0 parallel (complete)4409788OPT14 113.969 14.2932
cosoco 2.O parallel (complete)4398528OPT14 120.973 15.2001
Concrete 3.12.2 (complete)4396348OPT14 162.22 147.429

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: 14
Solution found:
<instantiation id='sol6' type='solution' cost='14'>  <list> x[] d[][] </list>  <values> 2 11 6 3 4 5 7 1 0 8 9 10 12 13 14 15 * * 0 0 * 2 1
1 0 * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 1 * * * * * * * * * * * * 0 1 1 0 * * * *
* * * * * * * * * 0 0 1 * * * * * * * * * * * * * * 1 2 * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>  </instantiation>