2019 XCSP3 competition: main track (CSP and COP, 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.1944
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)4390768OPT14 13.1944 11.0539
cosoco 2.0 (complete)4408208OPT14 30.609 30.611
cosoco 2.0 (complete)4396948OPT14 30.6292 30.6304
cosoco 2 (complete)4389668OPT14 35.295 35.3055
PicatSAT 2019-09-12 (complete)4395148OPT14 40.7603 40.7614
choco-solver 2019-06-14 (complete)4393168OPT14 43.7042 11.581
choco-solver 2019-09-16 (complete)4399128OPT14 53.7133 13.7899
choco-solver 2019-09-20 (complete)4403628OPT14 54.1031 13.9239
Concrete 3.12.3 (complete)4402728OPT14 77.1624 66.3582
Concrete 3.10 (complete)4387073OPT14 81.7771 67.8261
choco-solver 2019-06-14 parallel (complete)4393768OPT14 83.8108 11.2961
Concrete 3.12.2 (complete)4400928OPT14 87.5685 75.614
choco-solver 2019-09-24 (complete)4406028OPT14 89.3205 85.8784
choco-solver 2019-09-16 parallel (complete)4399728OPT14 105.703 13.7961
choco-solver 2019-09-20 parallel (complete)4404528OPT14 108.688 14.1767
cosoco 2.0 parallel (complete)4409488OPT14 114.795 14.3873
cosoco 2.O parallel (complete)4398228OPT14 131.641 16.5015
choco-solver 2019-09-24 parallel (complete)4406928OPT14 133.031 17.2306
Concrete 3.12.2 (complete)4396048OPT14 135.269 121.081

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>