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

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

Jump to solvers results

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-08_c18.xml
MD5SUM5c5040f535ec624befc4f337dc6f1e70
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark0.294987
Satisfiable
(Un)Satisfiability was proved
Number of variables72
Number of constraints29
Number of domains2
Minimum domain size64
Maximum domain size65
Distribution of domain sizes[{"size":64,"count":28},{"size":65,"count":8}]
Minimum variable degree0
Maximum variable degree8
Distribution of variable degrees[{"degree":0,"count":36},{"degree":2,"count":28},{"degree":7,"count":7},{"degree":8,"count":1}]
Minimum constraint arity3
Maximum constraint arity28
Distribution of constraint arities[{"arity":3,"count":28},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints28
Distribution of constraint types[{"type":"intension","count":28},{"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)4289475OPT34 0.170635 0.171382
Mistral-2.0 2018-08-01 (complete)4303635OPT34 0.171486 0.172336
cosoco 1.12 (complete)4294362OPT34 0.294987 0.296707
OscaR - Hybrid 2018-08-14 (complete)4308453OPT34 2.30792 1.28824
OscaR - Hybrid 2018-07-02 (complete)4291521OPT34 2.45414 1.38217
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311603OPT34 2.70791 1.44192
Choco-solver 4.0.7b seq (e747e1e) (complete)4306573OPT34 7.98323 4.72186
Choco-solver 4.0.7 seq (493a269) (complete)4292279OPT34 8.26003 5.03311
Concrete 3.8 2018-06-13 (complete)4294360OPT34 9.72891 4.89804
Concrete 3.9.2 (complete)4304549OPT34 10.0782 4.81048
Concrete 3.8-SuperNG 2018-06-13 (complete)4294361OPT34 10.2394 4.79284
Concrete 3.9.2-SuperNG (complete)4304550OPT34 11.4533 4.94125
Sat4j-CSP 2018-07-11 (complete)4289836OPT34 57.9688 55.4266
PicatSAT 2018-08-02 (complete)4303049OPT34 125.737 125.732
PicatSAT 2018-08-14 (complete)4309389OPT34 126.897 126.915
PicatSAT 2018-06-15 (complete)4294363OPT34 128.998 128.995
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290323SAT (TO)34 2400.08 2369.12
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4307867SAT (TO)34 2520.06 2487.92

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: 34
Solution found:
<instantiation type="optimum" cost="34"> <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] 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[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] 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[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] 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[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] 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[7][0]
y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] </list> <values> 0 2 12 19 25 30 33 34 * 2 12 19 25 30 33 34 * * 10 17 23 28 31 32 *
* * 7 13 18 21 22 * * * * 6 11 14 15 * * * * * 5 8 9 * * * * * * 3 4 * * * * * * * 1 * * * * * * * * </values> </instantiation>