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

Result page for benchmark
Mario/
Mario-t-hard-1_c18.xml

Jump to solvers results

General information on the benchmark

NameMario/
Mario-t-hard-1_c18.xml
MD5SUMd0ad504447153d615b89b5c6990e2d3b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4783
Best CPU time to get the best result obtained on this benchmark4.54918
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains164
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":85,"count":4},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":6},{"size":89,"count":17},{"size":90,"count":16},{"size":91,"count":14},{"size":92,"count":12},{"size":93,"count":12},{"size":94,"count":9},{"size":95,"count":5},{"size":97,"count":1},{"size":100,"count":100}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":199},{"degree":3,"count":99}]
Minimum constraint arity1
Maximum constraint arity100
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":198},{"arity":100,"count":2}]
Number of extensional constraints100
Number of intensional constraints99
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":99},{"type":"sum","count":1},{"type":"circuit","count":1}]
Optimization problemYES
Type of objectivemax SUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14 (complete)4308607OPT4783 4.54918 1.91693
OscaR - Hybrid 2018-07-02 (complete)4291675OPT4783 4.61057 1.97158
Mistral-2.0 2018-08-01 (complete)4303789OPT4783 5.81719 5.8183
Mistral-2.0 2018-06-15 (complete)4289613OPT4783 6.27643 6.27894
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311757OPT4783 6.62805 2.64983
Choco-solver 4.0.7b seq (e747e1e) (complete)4306727OPT4783 14.5451 11.2456
Choco-solver 4.0.7 seq (493a269) (complete)4292433OPT4783 14.7057 11.2624
Concrete 3.8 2018-06-13 (complete)4295337OPT4783 27.1886 14.7945
Concrete 3.9.2-SuperNG (complete)4304656OPT4783 37.3268 23.1087
Concrete 3.9.2 (complete)4304655OPT4783 51.2399 39.6435
Concrete 3.8-SuperNG 2018-06-13 (complete)4295338OPT4783 91.5485 76.0236
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290477SAT (TO)4783 2400.03 2367.02
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308021SAT (TO)4783 2520.12 2485.42
Sat4j-CSP 2018-07-11 (complete)4289990? 1494.73 410.5
cosoco 1.12 (complete)4295339? (NS) 0.086822 0.087803
PicatSAT 2018-06-15 (complete)4295340? (TO) 2520.02 2520.06
PicatSAT 2018-08-14 (complete)4309543? (TO) 2520.08 2520.05
PicatSAT 2018-08-02 (complete)4303203? (TO) 2520.14 2520.05

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: 4783
Solution found:
<instantiation> <list> s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20]
s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43]
s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66]
s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89]
s[90] s[91] s[92] s[93] s[94] s[95] s[96] s[97] s[98] s[99] f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14]
f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37]
f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60]
f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83]
f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8]
g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] g[24] g[25] g[26] g[27] g[28] g[29] g[30] g[31]
g[32] g[33] g[34] g[35] g[36] g[37] g[38] g[39] g[40] g[41] g[42] g[43] g[44] g[45] g[46] g[47] g[48] g[49] g[50] g[51] g[52] g[53] g[54]
g[55] g[56] g[57] g[58] g[59] g[60] g[61] g[62] g[63] g[64] g[65] g[66] g[67] g[68] g[69] g[70] g[71] g[72] g[73] g[74] g[75] g[76] g[77]
g[78] g[79] g[80] g[81] g[82] g[83] g[84] g[85] g[86] g[87] g[88] g[89] g[90] g[91] g[92] g[93] g[94] g[95] g[96] g[97] g[98] g[99] </list>
<values> 2 0 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 34 32 35 36 37 38 39 40 41 42 43 44 45 46 47
49 85 48 50 51 52 53 54 55 56 57 58 59 61 60 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 92 89 84 87 88 97 90 94 96 98
99 3 1 86 95 93 91 88 0 209 371 113 194 295 1 449 482 422 492 248 233 147 341 417 489 203 44 182 48 489 273 457 147 80 465 122 112 16 334 0
154 250 106 243 22 407 193 299 182 286 172 142 496 194 24 0 414 19 216 471 147 305 145 494 486 290 282 0 388 208 345 26 81 41 301 17 45 35
491 87 448 377 19 332 401 217 357 17 289 81 15 71 14 103 178 98 26 6 182 20 31 79 38 78 8 7 31 0 0 47 13 54 4 34 6 78 48 69 73 17 63 62 34
92 62 96 89 76 32 10 99 74 59 98 53 37 2 5 54 0 6 63 55 89 20 75 34 15 60 77 37 77 92 20 88 0 57 52 33 76 55 36 45 58 29 4 84 0 51 86 83 98
96 8 14 65 28 59 16 15 58 22 87 92 31 1 97 88 62 41 8 85 69 79 95 59 10 17 26 74 20 53 25 1 1 36 50 </values> </instantiation>