2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
ChessboardColoration/ChessboardColoration-m1-s1/
ChessboardColoration-09-09.xml

Jump to solvers results

General information on the benchmark

NameChessboardColoration/ChessboardColoration-m1-s1/
ChessboardColoration-09-09.xml
MD5SUM895fdf75fca3d2136489d7dab90e962a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.277635
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints1296
Number of domains1
Minimum domain size81
Maximum domain size81
Distribution of domain sizes[{"size":81,"count":81}]
Minimum variable degree65
Maximum variable degree65
Distribution of variable degrees[{"degree":65,"count":81}]
Minimum constraint arity4
Maximum constraint arity4
Distribution of constraint arities[{"arity":4,"count":1296}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"nValues","count":1296}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 2 (complete)4389790OPT2 0.277635 0.282235
cosoco 2.0 (complete)4408330OPT2 0.283498 0.283184
cosoco 2.0 (complete)4397070OPT2 0.319015 0.319699
cosoco 2.0 parallel (complete)4409610OPT2 0.968848 0.23038
cosoco 2.O parallel (complete)4398350OPT2 1.04612 0.236495
AbsCon 2019-07-23 (complete)4390890OPT2 4.78529 2.58964
choco-solver 2019-06-14 parallel (complete)4393890OPT2 22.63 3.55516
Concrete 3.12.3 (complete)4402850OPT2 54.655 44.716
choco-solver 2019-09-16 parallel (complete)4399850OPT2 75.5266 10.2868
choco-solver 2019-06-14 (complete)4393290OPT2 89.4043 30.0315
Concrete 3.12.2 (complete)4401050OPT2 118.128 106.152
Concrete 3.10 (complete)4387396OPT2 166.901 152.593
choco-solver 2019-09-24 parallel (complete)4407050OPT2 271.909 34.8735
choco-solver 2019-09-16 (complete)4399250OPT2 361.896 91.2676
choco-solver 2019-09-20 (complete)4403750OPT2 376.842 95.0527
choco-solver 2019-09-20 parallel (complete)4404650OPT2 410.953 52.2855
PicatSAT 2019-09-12 (complete)4395270OPT2 495.574 495.787
Concrete 3.12.2 (complete)4396170OPT2 587.38 569.418
choco-solver 2019-09-24 (complete)4406150SAT (TO)3 2520.11 2507.52

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: 2
Solution found:
<instantiation type='solution' cost='2'> <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1]
x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0]
x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8]
x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7]
x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6]
x[8][7] x[8][8] </list> <values>2 1 0 2 1 2 1 1 0 2 2 1 1 1 0 2 0 0 0 0 0 2 2 1 1 2 1 2 1 0 1 0 0 0 2 1 1 2 2 1 0 2 1 2 0 1 0 2 2 1 1 2 0 2
1 0 1 0 0 2 2 1 1 2 0 2 1 2 1 0 1 0 0 2 1 0 2 1 0 0 2 </values> </instantiation>