2019 XCSP3 competition: fast COP track (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.276381
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)4390290OPT2 0.276381 0.319428
cosoco 2.0 (complete)4397750OPT2 0.279856 0.280126
cosoco 2.0 (complete)4409010OPT2 0.317791 0.317601
cosoco 2.0 parallel (complete)4409910OPT2 0.92074 0.221352
cosoco 2.O parallel (complete)4398650OPT2 1.03416 0.25122
AbsCon 2019-07-23 (complete)4391190OPT2 4.92644 2.64545
choco-solver 2019-06-14 parallel (complete)4394490OPT2 23.2597 3.62561
choco-solver 2019-09-20 parallel (complete)4404950OPT2 42.3252 5.9955
Concrete 3.10 (complete)4392090OPT2 53.9018 39.5422
choco-solver 2019-09-16 (complete)4400450OPT2 78.6126 20.0862
choco-solver 2019-09-20 (complete)4404050OPT2 88.6462 22.6037
Concrete 3.12.3 (complete)4403150OPT2 119.088 107.371
choco-solver 2019-09-24 parallel (complete)4407350OPT2 167.102 21.6757
Concrete 3.12.2 (complete)4401350OPT2 225.707 213.097
choco-solver 2019-09-16 parallel (complete)4400150OPT2 284.052 36.3477
choco-solver 2019-06-14 (complete)4394190OPT2 313.07 82.484
Concrete 3.12.2 (complete)4396470OPT2 465.806 449.226
PicatSAT 2019-09-12 (complete)4395570OPT2 492.198 492.209
choco-solver 2019-09-24 (complete)4406450SAT (TO)3 2400.15 2385.84

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>