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

Result page for benchmark
MagicHexagon/
MagicHexagon-08-m009_c18.xml

Jump to solvers results

General information on the benchmark

NameMagicHexagon/
MagicHexagon-08-m009_c18.xml
MD5SUM012ef72073aa4b47e82f6ff4769ae682
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints52
Number of domains1
Minimum domain size169
Maximum domain size169
Distribution of domain sizes[{"size":169,"count":169}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":56},{"degree":4,"count":163},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":3},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":45}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sat4j-CSP 2018-07-11 (complete)4290081? 1394 383.289
scop both+MapleCOMSPS (2018-06-13) (complete)4295480? (MO) 24.152 12.1486
scop order+MapleCOMSPS (2018-06-13) (complete)4295481? (MO) 104.494 96.2527
scop order+MapleCOMSPS (2018-07-31) (complete)4305375? (MO) 731.663 722.837
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290568? (TO) 2400.02 2391.41
Choco-solver 4.0.7 seq (493a269) (complete)4292524? (TO) 2400.06 2386.03
Mistral-2.0 2018-06-15 (complete)4289647? (TO) 2400.09 2400.3
OscaR - Conflict Ordering 2018-07-02 (complete)4290792? (TO) 2400.13 2386.02
cosoco 1.12 (complete)4295477? (TO) 2519.8 2520.01
PicatSAT 2018-06-15 (complete)4295479? (TO) 2519.87 2520.02
PicatSAT 2018-08-14 (complete)4309634? (TO) 2519.92 2520.02
BTD 2018.07.27_3 (complete)4306319? (TO) 2519.98 2520.01
BTD_12 2018-06-11_12 (complete)4295473? (TO) 2519.99 2520.01
BTD_12 2018.07.27_12 (complete)4306083? (TO) 2520.01 2520.01
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308112? (TO) 2520.02 2509.61
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311848? (TO) 2520.04 2510.31
macht 2018.07.27 (complete)4305847? (TO) 2520.04 2520.01
Concrete 3.9.2-SuperNG (complete)4305166? (TO) 2520.04 2486.93
Concrete 3.9.2 (complete)4305165? (TO) 2520.05 2466.53
macht 2018.06.11 (complete)4295478? (TO) 2520.06 2520
Concrete 3.8 2018-06-13 (complete)4295475? (TO) 2520.06 2466.04
Choco-solver 4.0.7b seq (e747e1e) (complete)4306818? (TO) 2520.07 2506.13
BTD 2018.06.11_3 (complete)4295474? (TO) 2520.08 2520.01
Mistral-2.0 2018-08-01 (complete)4303880? (TO) 2520.08 2520.01
Concrete 3.8-SuperNG 2018-06-13 (complete)4295476? (TO) 2520.1 2486.82
OscaR - Conflict Ordering 2018-08-14 (complete)4307613? (TO) 2520.1 2507.12
PicatSAT 2018-08-02 (complete)4303294? (TO) 2520.12 2520.02
scop both+MapleCOMSPS (2018-07-31) (complete)4305611? (TO) 2520.14 2506.55

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:
Solution found: