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

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

Jump to solvers results

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-chr18a.xml
MD5SUM7a8b402fb105147dc13a1900b7358194
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5549
Best CPU time to get the best result obtained on this benchmark12.9848
Satisfiable
(Un)Satisfiability was proved
Number of variables342
Number of constraints18
Number of domains2
Minimum domain size18
Maximum domain size75
Distribution of domain sizes[{"size":18,"count":18},{"size":75,"count":17}]
Minimum variable degree0
Maximum variable degree4
Distribution of variable degrees[{"degree":0,"count":307},{"degree":2,"count":24},{"degree":3,"count":6},{"degree":4,"count":5}]
Minimum constraint arity3
Maximum constraint arity18
Distribution of constraint arities[{"arity":3,"count":17},{"arity":18,"count":1}]
Number of extensional constraints17
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":17},{"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)4391207OPT5549 12.9848 10.4433
choco-solver 2019-09-16 (complete)4400467OPT5549 62.1968 15.9848
cosoco 2.0 (complete)4397767OPT5549 65.5 65.4995
cosoco 2 (complete)4390307OPT5549 65.8963 65.8964
cosoco 2.0 (complete)4409027OPT5549 65.9638 65.9752
choco-solver 2019-09-24 (complete)4406467OPT5549 71.4873 67.2844
Concrete 3.10 (complete)4392107OPT5549 98.5031 81.9898
choco-solver 2019-09-24 parallel (complete)4407367OPT5549 112.867 14.7919
choco-solver 2019-09-20 parallel (complete)4404967OPT5549 117.125 15.3391
Concrete 3.12.3 (complete)4403167OPT5549 125.546 111.359
Concrete 3.12.2 (complete)4401367OPT5549 131.926 116.99
choco-solver 2019-09-16 parallel (complete)4400167OPT5549 132.189 17.1817
Concrete 3.12.2 (complete)4396487OPT5549 154.673 137.546
choco-solver 2019-06-14 (complete)4394207OPT5549 208.108 108.71
cosoco 2.O parallel (complete)4398667OPT5549 353.632 44.3592
cosoco 2.0 parallel (complete)4409927OPT5549 382.7 47.9909
PicatSAT 2019-09-12 (complete)4395587OPT5549 417.838 417.874
choco-solver 2019-09-20 (complete)4404067SAT (MO)12491 2.83349 1.08152
choco-solver 2019-06-14 parallel (complete)4394507Wrong Opt.6018 20.2165 3.45541

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