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

Result page for benchmark
GolombRuler/
GolombRuler-a3v18-09_c18.xml

Jump to solvers results

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-09_c18.xml
MD5SUM967738086e80168f9eb4b0337d9e8cf6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1.8136
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints37
Number of domains2
Minimum domain size81
Maximum domain size82
Distribution of domain sizes[{"size":81,"count":36},{"size":82,"count":9}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}]
Minimum constraint arity3
Maximum constraint arity36
Distribution of constraint arities[{"arity":3,"count":36},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin VAR

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-06-15 (complete)4289479OPT44 1.66454 1.66698
Mistral-2.0 2018-08-01 (complete)4303636OPT44 1.67334 1.67464
cosoco 1.12 (complete)4294378OPT44 1.8136 1.81971
OscaR - Hybrid 2018-08-14 (complete)4308454OPT44 3.94457 2.16401
OscaR - Hybrid 2018-07-02 (complete)4291522OPT44 4.02932 2.2374
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311604OPT44 4.39722 2.7085
Concrete 3.8-SuperNG 2018-06-13 (complete)4294377OPT44 14.762 7.72651
Concrete 3.8 2018-06-13 (complete)4294376OPT44 15.3507 8.73025
Concrete 3.9.2 (complete)4304557OPT44 15.3776 8.72835
Concrete 3.9.2-SuperNG (complete)4304558OPT44 17.868 10.4737
Choco-solver 4.0.7b seq (e747e1e) (complete)4306574OPT44 71.0573 67.2959
Choco-solver 4.0.7 seq (493a269) (complete)4292280OPT44 71.5182 67.9291
PicatSAT 2018-06-15 (complete)4294379OPT44 598.656 598.704
PicatSAT 2018-08-02 (complete)4303050OPT44 655.093 655.118
PicatSAT 2018-08-14 (complete)4309390OPT44 657.285 657.308
Sat4j-CSP 2018-07-11 (complete)4289837OPT44 806.516 799.647
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290324SAT (TO)44 2400.08 2368.51
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307868SAT (TO)44 2520.09 2487.03

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: 44
Solution found:
<instantiation type="optimum" cost="44"> <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5]
y[0][6] y[0][7] y[0][8] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4]
y[2][5] y[2][6] y[2][7] y[2][8] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][0] y[4][1] y[4][2] y[4][3]
y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[6][0] y[6][1] y[6][2]
y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[8][0] y[8][1]
y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] </list> <values> 0 1 5 12 25 27 35 41 44 * 1 5 12 25 27 35 41 44 * * 4 11 24 26 34
40 43 * * * 7 20 22 30 36 39 * * * * 13 15 23 29 32 * * * * * 2 10 16 19 * * * * * * 8 14 17 * * * * * * * 6 9 * * * * * * * * 3 * * * * * *
* * * </values> </instantiation>