2018 XCSP3 competition: sequential solvers tracks: solvers results per benchmarks

Result page for benchmark
CrosswordDesign/
CrosswordDesign-09-4-rom_c18.xml

Jump to solvers results

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-09-4-rom_c18.xml
MD5SUM687e226d0bfa9953b2ddd48681aeb13c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark2520.58
Satisfiable
(Un)Satisfiability was proved
Number of variables297
Number of constraints72
Number of domains5
Minimum domain size2
Maximum domain size84486
Distribution of domain sizes[{"size":2,"count":18},{"size":10,"count":126},{"size":27,"count":81},{"size":84486,"count":72}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":90},{"degree":2,"count":126},{"degree":8,"count":81}]
Minimum constraint arity12
Maximum constraint arity13
Distribution of constraint arities[{"arity":12,"count":18},{"arity":13,"count":54}]
Number of extensional constraints72
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":72}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13 (complete)4293973SAT (TO)79 2520.09 2456.46
Concrete 3.9.2 (complete)4304459SAT (TO)77 2520.58 2456.09
Concrete 3.9.2-SuperNG (complete)4304460SAT (TO)76 2520.19 2455.38
Concrete 3.8-SuperNG 2018-06-13 (complete)4293974SAT (TO)76 2520.24 2466.73
OscaR - Hybrid 2018-07-02 (complete)4291473? 68.2425 23.7144
OscaR - Hybrid 2018-08-14 (complete)4308405? 68.914 24.0252
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307819? 69.563 24.3363
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311555? 70.0648 24.6065
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290275? 73.2929 25.1218
Choco-solver 4.0.7 seq (493a269) (complete)4292231? 347.512 306.392
Choco-solver 4.0.7b seq (e747e1e) (complete)4306525? 402.979 347.839
PicatSAT 2018-08-14 (complete)4309341? (exit code) 68.1007 68.1065
PicatSAT 2018-06-15 (complete)4293976? (exit code) 80.134 80.1403
PicatSAT 2018-08-02 (complete)4303001? (exit code) 81.8758 82.0156
Mistral-2.0 2018-08-01 (complete)4303587? (NS) 1.85119 1.85299
Mistral-2.0 2018-06-15 (complete)4289407? (NS) 17.2048 17.2169
Sat4j-CSP 2018-07-11 (complete)4289788? (TO) 2400.39 2219.69
cosoco 1.12 (complete)4293975? (TO) 2520.08 2519.8

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: 79
Solution found:
<instantiation cost="79"> <list> r[0][0] r[0][1] r[0][2] r[0][3] r[1][0] r[1][1] r[1][2] r[1][3] r[2][0] r[2][1] r[2][2] r[2][3] r[3][0]
r[3][1] r[3][2] r[3][3] r[4][0] r[4][1] r[4][2] r[4][3] r[5][0] r[5][1] r[5][2] r[5][3] r[6][0] r[6][1] r[6][2] r[6][3] r[7][0] r[7][1]
r[7][2] r[7][3] r[8][0] r[8][1] r[8][2] r[8][3] c[0][0] c[0][1] c[0][2] c[0][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2]
c[2][3] c[3][0] c[3][1] c[3][2] c[3][3] c[4][0] c[4][1] c[4][2] c[4][3] c[5][0] c[5][1] c[5][2] c[5][3] c[6][0] c[6][1] c[6][2] c[6][3]
c[7][0] c[7][1] c[7][2] c[7][3] c[8][0] c[8][1] c[8][2] c[8][3] pr[0][0] pr[0][1] pr[0][2] pr[0][3] pr[1][0] pr[1][1] pr[1][2] pr[1][3]
pr[2][0] pr[2][1] pr[2][2] pr[2][3] pr[3][0] pr[3][1] pr[3][2] pr[3][3] pr[4][0] pr[4][1] pr[4][2] pr[4][3] pr[5][0] pr[5][1] pr[5][2]
pr[5][3] pr[6][0] pr[6][1] pr[6][2] pr[6][3] pr[7][0] pr[7][1] pr[7][2] pr[7][3] pr[8][0] pr[8][1] pr[8][2] pr[8][3] pc[0][0] pc[0][1]
pc[0][2] pc[0][3] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[2][0] pc[2][1] pc[2][2] pc[2][3] pc[3][0] pc[3][1] pc[3][2] pc[3][3] pc[4][0]
pc[4][1] pc[4][2] pc[4][3] pc[5][0] pc[5][1] pc[5][2] pc[5][3] pc[6][0] pc[6][1] pc[6][2] pc[6][3] pc[7][0] pc[7][1] pc[7][2] pc[7][3]
pc[8][0] pc[8][1] pc[8][2] pc[8][3] br[0][0] br[0][1] br[0][2] br[0][3] br[1][0] br[1][1] br[1][2] br[1][3] br[2][0] br[2][1] br[2][2]
br[2][3] br[3][0] br[3][1] br[3][2] br[3][3] br[4][0] br[4][1] br[4][2] br[4][3] br[5][0] br[5][1] br[5][2] br[5][3] br[6][0] br[6][1]
br[6][2] br[6][3] br[7][0] br[7][1] br[7][2] br[7][3] br[8][0] br[8][1] br[8][2] br[8][3] bc[0][0] bc[0][1] bc[0][2] bc[0][3] bc[1][0]
bc[1][1] bc[1][2] bc[1][3] bc[2][0] bc[2][1] bc[2][2] bc[2][3] bc[3][0] bc[3][1] bc[3][2] bc[3][3] bc[4][0] bc[4][1] bc[4][2] bc[4][3]
bc[5][0] bc[5][1] bc[5][2] bc[5][3] bc[6][0] bc[6][1] bc[6][2] bc[6][3] bc[7][0] bc[7][1] bc[7][2] bc[7][3] bc[8][0] bc[8][1] bc[8][2]
bc[8][3] 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> 13428 -1 -1
-1 38819 0 34890 -1 5267 51941 39966 -1 19276 69280 0 48144 22108 14554 -1 -1 13926 62313 -1 -1 34392 38645 39966 -1 5027 25083 -1 -1 19276
83087 83087 51941 13926 13926 -1 -1 34358 21811 -1 -1 0 5027 38899 -1 42586 36360 -1 -1 53450 50769 0 14554 41443 62191 -1 -1 1700 10527 -1
-1 34392 50027 35030 -1 48144 39966 79165 51941 0 -1 -1 -1 0 3 5 -1 0 4 8 -1 0 2 5 7 1 6 -1 -1 0 5 -1 -1 0 3 8 -1 0 5 -1 -1 0 2 4 6 0 5 -1
-1 0 4 -1 -1 0 2 7 -1 0 3 -1 -1 0 2 4 6 0 5 -1 -1 0 4 -1 -1 0 3 7 -1 0 2 4 6 9 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 4 0 0 0 0 4 0 0 4 4 0 0
0 0 0 3 4 4 0 0 3 4 0 0 0 4 0 0 0 5 0 0 0 0 0 3 4 3 0 0 0 5 0 0 0 3 0 0 0 0 0 3 2 7 0 12 15 11 0 8 13 8 20 26 0 26 8 7 0 26 0 19 0 26 14 12
14 26 11 3 26 18 8 26 0 26 13 26 26 3 8 13 0 26 2 8 20 2 8 0 3 26 17 0 11 26 8 0 26 8 18 0 8 26 11 0 18 8 0 26 4 17 8 10 3 26 25 26 25 26 14
12 14 </values> </instantiation>