Name | MisteryShopper/ MisteryShopper-06a_c18.xml |
MD5SUM | d439f32f21550c494657491318660cd8 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.67497 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 384 |
Number of constraints | 257 |
Number of domains | 3 |
Minimum domain size | 4 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":4,"count":96},{"size":5,"count":96},{"size":24,"count":192}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":192},{"degree":3,"count":96},{"degree":4,"count":80},{"degree":5,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 96 |
Distribution of constraint arities | [{"arity":2,"count":192},{"arity":4,"count":52},{"arity":24,"count":8},{"arity":48,"count":4},{"arity":96,"count":1}] |
Number of extensional constraints | 192 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":192},{"type":"allDifferent","count":56},{"type":"ordered","count":4},{"type":"lex","count":1},{"type":"channel","count":4}] |
Optimization problem | NO |
Type of objective |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) (complete) | 4297833 | SAT | 4.67497 | 1.17735 |
OscaR - Parallel with EPS 2018-08-14 (complete) | 4309189 | SAT | 11.2596 | 4.2952 |
OscaR - Parallel with EPS 2018-07-02 (complete) | 4291420 | SAT | 11.5492 | 3.61874 |
scop order+glucose-syrup (2018-07-07) (complete) | 4297098 | SAT | 16.2813 | 5.06779 |
scop both+glucose-syrup (2018-07-07) (complete) | 4297334 | SAT | 16.5322 | 5.07845 |
scop order+glucose-syrup (2018-07-31) (complete) | 4307282 | SAT | 17.6161 | 5.95173 |
scop both+glucose-syrup (2018-07-31) (complete) | 4307518 | SAT | 18.0825 | 5.95595 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function:<instantiation> <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[23][0] vr[23][1] vr[23][2] vr[23][3] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[23][0] ve[23][1] ve[23][2] ve[23][3] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[23][0] gve[23][1] gve[23][2] gve[23][3] </list> <values>0 6 12 18 1 7 13 19 2 8 14 20 3 9 15 21 4 10 16 22 5 11 17 23 6 0 18 12 7 1 19 13 8 2 20 14 9 3 21 15 10 4 22 16 11 5 23 17 12 18 0 6 13 19 1 7 14 20 2 8 15 21 3 9 16 22 4 10 17 23 5 11 18 12 6 0 19 13 7 1 20 14 8 2 21 15 9 3 22 16 10 4 23 17 11 5 0 6 12 18 1 7 13 19 2 8 14 20 3 9 15 21 4 10 16 22 5 11 17 23 6 0 18 12 7 1 19 13 8 2 20 14 9 3 21 15 10 4 22 16 11 5 23 17 12 18 0 6 13 19 1 7 14 20 2 8 15 21 3 9 16 22 4 10 17 23 5 11 18 12 6 0 19 13 7 1 20 14 8 2 21 15 9 3 22 16 10 4 23 17 11 5 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 3 2 1 0 0 1 2 3 0 1 2 3 0 1 2 4 0 2 3 4 0 2 3 4 1 2 3 4 1 0 3 2 1 0 3 2 1 0 4 2 2 0 4 3 2 0 4 3 2 1 4 3 2 3 0 1 2 3 0 1 2 4 0 1 3 4 0 2 3 4 0 2 3 4 1 2 3 2 1 0 3 2 1 0 4 2 1 0 4 3 2 0 4 3 2 0 4 3 2 1 </values> </instantiation>