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

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

Jump to solvers results

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-08-4-rom_c18.xml
MD5SUMd2036c1580b702d26a2ba71e1295e02d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark70
Best CPU time to get the best result obtained on this benchmark2520.2
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints64
Number of domains5
Minimum domain size2
Maximum domain size62899
Distribution of domain sizes[{"size":2,"count":16},{"size":9,"count":112},{"size":27,"count":64},{"size":62899,"count":64}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":80},{"degree":2,"count":112},{"degree":8,"count":64}]
Minimum constraint arity11
Maximum constraint arity12
Distribution of constraint arities[{"arity":11,"count":16},{"arity":12,"count":48}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2 (complete)4304457SAT (TO)70 2520.2 2462.79
Concrete 3.9.2-SuperNG (complete)4304458SAT (TO)67 2520.32 2466.25
Concrete 3.8 2018-06-13 (complete)4293969SAT (TO)66 2520.52 2475.71
Concrete 3.8-SuperNG 2018-06-13 (complete)4293970SAT (TO)63 2520.47 2466.62
cosoco 1.12 (complete)4293971SAT (TO)4 2520.07 2519.8
OscaR - Hybrid 2018-08-14 (complete)4308404? 62.6924 21.5132
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311554? 63.947 22.1878
OscaR - Hybrid 2018-07-02 (complete)4291472? 64.601 22.1443
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307818? 66.9282 22.8757
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290274? 70.5339 23.6659
Choco-solver 4.0.7 seq (493a269) (complete)4292230? 224.357 186.59
Choco-solver 4.0.7b seq (e747e1e) (complete)4306524? 254.319 208.608
PicatSAT 2018-08-14 (complete)4309340? (exit code) 67.8914 67.9052
PicatSAT 2018-08-02 (complete)4303000? (exit code) 85.9649 86.4286
PicatSAT 2018-06-15 (complete)4293972? (exit code) 1341.36 1341.42
Mistral-2.0 2018-06-15 (complete)4289406? (NS) 16.7547 16.7592
Mistral-2.0 2018-08-01 (complete)4303586? (NS) 16.8169 16.8263
Sat4j-CSP 2018-07-11 (complete)4289787? (TO) 2407.54 2014.48

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: 70
Solution found:
<instantiation cost="70"> <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] 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]
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] 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] 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] 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] 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[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] 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[3][0]
x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] 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[5][0] x[5][1]
x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] 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[7][0] x[7][1] x[7][2]
x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] </list> <values> 25012 -1 -1 -1 29471 17611 17611 -1 28449 19082 -1 -1 56513 28334 -1 -1 30290 18578
-1 -1 26933 18578 -1 -1 31594 25723 13135 -1 3126 17611 -1 -1 29425 30695 -1 -1 25703 45660 -1 -1 17972 26933 -1 -1 45915 1324 4573 -1 37559
60558 340 -1 14979 37560 -1 -1 37559 36001 -1 -1 56389 45915 -1 -1 1 -1 -1 -1 0 5 7 -1 0 3 -1 -1 1 4 -1 -1 0 5 -1 -1 0 6 -1 -1 0 2 4 -1 0 7
-1 -1 1 4 -1 -1 0 7 -1 -1 0 3 -1 -1 0 4 7 -1 0 2 5 -1 0 6 -1 -1 0 2 -1 -1 0 5 -1 -1 7 0 0 0 4 0 0 0 0 5 0 0 0 4 0 0 4 0 0 0 5 0 0 0 0 0 4 0
6 0 0 0 0 4 0 0 6 0 0 0 0 5 0 0 3 0 0 0 0 0 0 0 5 0 0 0 0 5 0 0 0 3 0 0 26 7 4 17 14 3 14 19 10 20 10 0 26 4 26 4 8 19 26 4 21 0 13 18 26 19
8 26 8 18 0 8 11 4 13 0 26 4 17 26 8 13 3 8 0 26 4 17 12 26 8 26 2 14 18 0 0 17 0 1 8 0 26 4 </values> </instantiation>