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

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

Jump to solvers results

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml
MD5SUM72d3aa8b8ce65786440ef6159c4b95ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.052137
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints24
Number of domains5
Minimum domain size2
Maximum domain size1359
Distribution of domain sizes[{"size":2,"count":6},{"size":4,"count":42},{"size":27,"count":9},{"size":1359,"count":24}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":30},{"degree":2,"count":42},{"degree":8,"count":9}]
Minimum constraint arity6
Maximum constraint arity7
Distribution of constraint arities[{"arity":6,"count":6},{"arity":7,"count":18}]
Number of extensional constraints24
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":24}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 1.12 (complete)4293995OPT12 0.052137 0.053893
Mistral-2.0 2018-06-15 (complete)4289412OPT12 0.227523 0.232217
Mistral-2.0 2018-08-01 (complete)4303581OPT12 0.233664 0.234892
Choco-solver 4.0.7b seq (e747e1e) (complete)4306519OPT12 1.77424 0.792294
Choco-solver 4.0.7 seq (493a269) (complete)4292225OPT12 1.79439 0.789576
OscaR - Hybrid 2018-08-14 (complete)4308399OPT12 2.50895 1.28318
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311549OPT12 2.54361 1.27696
OscaR - Hybrid 2018-07-02 (complete)4291467OPT12 2.67485 1.31965
Concrete 3.8 2018-06-13 (complete)4293993OPT12 9.4848 4.2804
Concrete 3.9.2 (complete)4304469OPT12 9.88611 4.37073
Concrete 3.9.2-SuperNG (complete)4304470OPT12 9.9767 4.38824
Concrete 3.8-SuperNG 2018-06-13 (complete)4293994OPT12 10.3199 4.42758
PicatSAT 2018-06-15 (complete)4293996OPT12 12.9812 12.9813
PicatSAT 2018-08-14 (complete)4309335OPT12 16.2822 16.2835
PicatSAT 2018-08-02 (complete)4302995OPT12 16.2999 16.3052
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290269SAT (TO)12 2400.13 2370.03
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307813SAT (TO)12 2520.06 2487.63
Sat4j-CSP 2018-07-11 (complete)4289782? (TO) 2400.13 2339.87

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: 12
Solution found:
<instantiation type='solution' cost='12'> <list>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] 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] 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] 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] 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] 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] x[0][0]
x[0][1] x[0][2] x[1][0] x[1][1] x[1][2] x[2][0] x[2][1] x[2][2] </list> <values>3 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 454 -1 -1 -1
1151 -1 -1 -1 177 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 0 -1 -1 -1 454 -1 -1 -1 1151 -1 -1 -1 177 -1 -1 -1 7 20 2
20 13 8 2 8 20 </values> </instantiation>