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

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

Jump to solvers results

General information on the benchmark

NameMario/
Mario-t-hard-2_c18.xml
MD5SUM2b9b9d57997e47756252872b7d7d2054
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4850
Best CPU time to get the best result obtained on this benchmark6.4515
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints201
Number of domains161
Minimum domain size1
Maximum domain size100
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":98},{"size":85,"count":3},{"size":86,"count":3},{"size":87,"count":7},{"size":88,"count":10},{"size":89,"count":13},{"size":90,"count":11},{"size":91,"count":13},{"size":92,"count":9},{"size":93,"count":7},{"size":94,"count":9},{"size":95,"count":4},{"size":96,"count":8},{"size":97,"count":2},{"size":99,"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 - Conflict Ordering with restarts 2018-08-17 (complete)4312340OPT4850 6.4515 2.68808
OscaR - Hybrid 2018-08-14 (complete)4310480OPT4850 8.82873 4.91438
Mistral-2.0 2018-08-01 (complete)4312695OPT4850 12.3109 12.3186
Choco-solver 4.0.7b seq (e747e1e) (complete)4301987OPT4850 15.8807 12.6684
Concrete 3.9.2-SuperNG (complete)4302854OPT4850 33.1028 18.658
Concrete 3.9.2 (complete)4302504OPT4850 82.1721 67.4625
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4310130SAT (TO)4850 252.074 245.52
cosoco 1.12 (complete)4301989? (NS) 0.087157 0.0882101
Sat4j-CSP 2018-07-11 (complete)4301988? (TO) 260.25 89.7603

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: 4850
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> 63 0 48 74 79 36 4 24 73 99 86 26 98 35 46 16 55 47 69 41 62 53 28 8 15 83 76 12 10 6 61 54 75 5 49 34 14 94 40 65 97 81 30 78 32 3
37 43 70 45 22 50 44 92 29 90 67 21 84 17 68 91 38 89 1 66 18 11 23 80 87 33 20 2 57 95 64 42 77 27 25 9 39 7 52 71 59 51 82 31 85 72 56 88
13 93 58 96 19 60 194 0 200 86 453 368 119 30 112 46 135 456 161 302 334 407 481 465 23 5 370 100 359 390 125 85 317 9 289 108 217 132 497
21 414 33 288 274 128 70 6 227 461 327 260 202 384 35 128 43 273 69 451 165 129 427 182 49 17 355 118 120 494 78 124 118 44 253 34 176 18
118 377 91 356 241 215 176 242 20 331 178 110 64 152 479 195 28 110 87 368 139 0 444 305 401 107 115 60 84 0 0 40 67 89 50 6 19 47 68 94 86
34 14 14 16 67 99 30 31 78 47 99 42 56 14 62 35 53 62 79 26 7 50 30 24 97 15 67 88 2 55 58 19 42 40 34 83 36 67 59 66 98 31 99 9 58 2 70 73
14 62 94 13 34 56 38 26 94 47 91 36 35 88 33 71 8 23 5 19 31 93 72 92 46 65 8 37 35 2 86 35 3 49 43 67 70 64 96 66 </values>
</instantiation>