2018 XCSP3 competition: fast COP track: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

NameMario/
Mario-t-hard-5_c18.xml
MD5SUM4de37f7087aa8e77bde3fd457ed5d54a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4482
Best CPU time to get the best result obtained on this benchmark3.75088
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains166
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":95},{"size":83,"count":1},{"size":85,"count":1},{"size":86,"count":3},{"size":87,"count":3},{"size":88,"count":8},{"size":89,"count":19},{"size":90,"count":19},{"size":91,"count":8},{"size":92,"count":17},{"size":93,"count":12},{"size":94,"count":3},{"size":95,"count":3},{"size":96,"count":1},{"size":97,"count":2},{"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)4310481OPT4482 3.75088 1.63728
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4312341OPT4482 3.78792 1.66511
Mistral-2.0 2018-08-01 (complete)4312699OPT4482 7.21298 7.21409
Choco-solver 4.0.7b seq (e747e1e) (complete)4301999OPT4482 14.5804 11.4461
Concrete 3.9.2 (complete)4302505OPT4482 26.1716 13.7012
Concrete 3.9.2-SuperNG (complete)4302855OPT4482 33.3608 18.74
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4310131SAT (TO)4482 252.06 246.72
cosoco 1.12 (complete)4302001? (NS) 0.085968 0.0868549
Sat4j-CSP 2018-07-11 (complete)4302000? (TO) 260.343 88.3608

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: 4482
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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
48 98 49 50 51 52 53 54 55 56 58 57 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 93 92
97 94 1 99 96 95 3 92 0 404 149 105 344 85 435 89 376 237 195 7 384 334 65 181 37 273 23 151 497 71 99 422 251 312 56 10 125 96 21 206 35
250 47 25 394 465 165 382 253 56 42 286 104 127 429 299 304 353 89 332 56 260 312 87 0 85 458 411 58 11 314 67 316 228 264 397 54 298 151 46
378 28 391 104 132 461 465 268 147 34 107 485 282 229 95 218 466 17 154 0 180 0 82 112 112 202 397 0 0 74 24 6 5 54 91 22 21 31 3 47 60 28
90 78 15 17 17 8 65 8 56 61 2 80 47 15 20 89 92 57 29 7 30 46 43 69 33 84 51 70 57 41 98 52 42 53 95 25 5 12 37 3 12 59 0 47 31 99 51 7 26
98 65 33 97 44 18 49 36 58 30 55 57 69 60 13 99 65 73 84 63 56 91 88 6 91 37 43 11 0 1 0 85 27 69 54 60 </values> </instantiation>