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

Result page for benchmark
MisteryShopper/
MisteryShopper-06d_c18.xml

Jump to solvers results

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06d_c18.xml
MD5SUM71f002b78114a95e8a0fa642f39b0e56
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.06246
Satisfiable
(Un)Satisfiability was proved
Number of variables1176
Number of constraints701
Number of domains3
Minimum domain size7
Maximum domain size42
Distribution of domain sizes[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity2
Maximum constraint arity294
Distribution of constraint arities[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints588
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Choco-solver 4.0.7b seq (e747e1e) (complete)4306962SAT 8.06246 3.4806
Choco-solver 4.0.7 seq (493a269) (complete)4292668SAT 9.02544 3.68281
OscaR - Conflict Ordering 2018-08-14 (complete)4307757SAT 12.8852 8.23983
OscaR - Conflict Ordering 2018-07-02 (complete)4290936SAT 13.3433 8.45335
Concrete 3.8 2018-06-13 (complete)4294526SAT 19.7516 8.21643
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290712SAT 22.9685 18.1673
Concrete 3.9.2-SuperNG (complete)4305028SAT 25.8842 12.2515
Concrete 3.9.2 (complete)4305027SAT 30.1746 18.6238
Concrete 3.8-SuperNG 2018-06-13 (complete)4294527SAT 31.6644 18.5776
Mistral-2.0 2018-06-15 (complete)4289496SAT 42.0432 42.0544
scop both+MapleCOMSPS (2018-07-31) (complete)4305755SAT 52.5082 35.6017
scop order+MapleCOMSPS (2018-07-31) (complete)4305519SAT 52.9944 35.2744
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308256SAT 59.7413 54.5156
PicatSAT 2018-08-02 (complete)4303438SAT 85.6169 85.6155
PicatSAT 2018-06-15 (complete)4294530SAT 89.9849 89.9941
PicatSAT 2018-08-14 (complete)4309778SAT 92.8786 92.8836
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311992SAT 189.237 183.364
Mistral-2.0 2018-08-01 (complete)4304024SAT 232.112 232.176
Sat4j-CSP 2018-07-11 (complete)4290225? 2.75348 1.24016
scop order+MapleCOMSPS (2018-06-13) (complete)4294532? (MO) 32.5344 16.5317
scop both+MapleCOMSPS (2018-06-13) (complete)4294531? (MO) 33.1137 16.4336
BTD_12 2018-06-11_12 (complete)4294524? (NS) 0.033784 0.034351
BTD 2018.06.11_3 (complete)4294525? (NS) 0.033827 0.033948
macht 2018.07.27 (complete)4305991? (NS) 0.033959 0.0342579
macht 2018.06.11 (complete)4294529? (NS) 0.034027 0.0341481
BTD 2018.07.27_3 (complete)4306463? (NS) 0.034319 0.0344999
BTD_12 2018.07.27_12 (complete)4306227? (NS) 0.034564 0.034674
cosoco 1.12 (complete)4294528? (TO) 2519.81 2520.01

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:
Solution found:
<instantiation> <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5]
vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6]
vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0]
vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1]
vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2]
vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2]
vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2]
vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2]
vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2]
vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2]
vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2]
vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2]
vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2]
vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2]
vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2]
vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2]
vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2]
vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2]
vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2]
vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2]
vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2]
ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3]
ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4]
ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5]
ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6]
ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6]
ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6]
ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6]
ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6]
ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6]
ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6]
ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6]
ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6]
ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6]
ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6]
ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6]
ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6]
ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6]
ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6]
ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6]
ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6]
ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6]
gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6]
gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6]
gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6]
gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6]
gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5]
gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3]
gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1]
gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6]
gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4]
gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2]
gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0]
gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5]
gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3]
gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1]
gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6]
gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4]
gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2]
gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0]
gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5]
gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3]
gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1]
gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6]
gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4]
gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3]
gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3]
gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3]
gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3]
gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3]
gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2]
gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0]
gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5]
gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3]
gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1]
gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6]
gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4]
gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2]
gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0]
gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5]
gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3]
gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1]
gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6]
gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4]
gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2]
gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0]
gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5]
gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3]
gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6] </list> <values>0 6 12 18 24
30 36 1 17 29 34 9 23 41 2 13 38 32 11 28 21 3 16 22 25 35 8 37 4 14 40 33 10 27 19 5 26 21 40 34 17 11 6 36 14 22 33 29 3 7 27 23 35 0 15
39 8 24 31 41 16 20 4 9 5 16 29 41 35 22 10 15 30 24 36 18 0 11 23 4 17 40 34 28 12 21 3 27 39 33 8 13 20 2 26 38 32 7 14 19 37 6 25 31 1 15
37 6 30 23 4 26 16 22 1 10 32 41 25 17 38 34 20 5 7 29 18 35 0 8 12 36 24 19 28 39 9 31 13 2 20 40 33 3 7 14 27 21 41 32 28 1 16 9 22 29 5
31 37 10 13 23 39 11 4 15 26 35 24 30 36 2 8 19 12 25 34 18 0 17 6 38 26 33 19 39 2 9 14 27 18 35 38 3 12 10 28 31 17 36 6 21 5 29 32 20 37
4 11 15 30 1 7 23 13 25 40 31 4 15 11 26 37 20 32 2 10 19 28 40 17 33 12 9 5 27 38 23 34 3 8 21 29 39 16 35 25 41 1 14 22 6 36 0 13 7 30 24
18 37 7 24 12 18 0 30 38 8 25 13 19 1 31 39 9 26 14 20 2 32 40 10 27 15 21 3 33 41 11 28 16 22 5 34 0 36 18 25 7 37 10 1 30 16 35 21 38 14 2
32 13 24 26 39 19 3 34 12 20 27 40 6 4 31 11 23 29 15 8 5 9 22 33 17 41 28 6 0 15 14 28 25 35 7 37 30 36 20 17 13 8 38 34 18 24 3 12 9 39 33
19 1 26 21 10 40 32 16 4 22 27 11 41 23 31 2 29 5 12 33 0 37 18 27 24 13 2 36 38 30 19 22 14 4 6 39 35 20 26 15 10 31 40 23 7 29 16 3 9 41 8
21 34 17 1 28 11 25 5 32 18 27 25 0 37 10 36 19 14 26 32 38 24 4 20 13 29 17 39 8 31 21 12 5 34 40 28 2 22 16 3 6 41 35 9 23 11 7 30 15 1 33
24 8 37 10 0 36 18 25 35 38 3 14 30 16 26 5 39 13 31 23 15 27 7 40 12 33 4 20 28 19 41 21 32 2 11 29 22 1 9 34 6 17 30 24 10 15 36 0 37 31
28 8 22 19 14 38 32 29 21 2 16 13 39 33 26 20 4 6 12 40 34 25 17 1 5 11 41 35 18 27 7 3 9 23 36 6 24 28 10 18 0 37 15 14 29 22 31 3 38 17 2
27 13 33 25 39 23 19 26 12 34 7 40 20 4 5 11 32 30 41 21 35 8 9 16 1 0 1 2 3 4 5 6 0 2 4 5 1 3 6 0 2 6 5 1 4 3 0 2 3 4 5 1 6 0 2 6 5 1 4 3 0
4 3 6 5 2 1 1 6 2 3 5 4 0 1 4 3 5 0 2 6 1 4 5 6 2 3 0 1 0 2 4 6 5 3 1 2 5 4 6 3 0 1 3 0 2 6 5 4 2 3 0 4 6 5 1 2 3 0 4 6 5 1 2 3 6 1 4 5 0 2
6 1 5 3 0 4 2 3 0 1 5 6 4 2 6 5 3 0 1 4 3 5 0 1 2 6 4 3 4 6 1 5 2 0 3 6 5 0 1 2 4 3 6 5 4 0 2 1 3 4 0 5 6 1 2 3 6 1 0 2 4 5 4 5 6 0 1 3 2 4
5 3 0 2 1 6 4 5 3 6 0 1 2 4 3 5 6 0 2 1 4 5 2 6 1 3 0 4 5 3 6 0 1 2 5 0 1 3 2 4 6 5 0 2 1 4 6 3 5 0 1 3 4 6 2 5 2 1 0 4 6 3 5 0 1 3 4 6 2 5
4 6 0 2 3 1 6 0 2 1 5 4 3 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 0 6 3 4 1 7 2 0 5 3 6 4 7 2 0 6 2 4 5 7 3 0
6 2 4 5 7 1 0 6 2 4 5 3 1 1 2 4 6 3 7 5 1 0 3 2 5 4 6 1 7 5 6 4 3 2 1 7 6 3 4 0 2 2 7 6 3 0 5 4 2 7 6 3 0 4 5 2 7 4 6 0 5 1 2 6 0 7 3 5 4 2
0 6 7 5 3 4 2 0 1 7 6 4 5 3 2 6 7 4 1 5 3 0 2 7 1 4 6 3 0 5 2 4 1 6 3 5 4 0 7 2 6 3 2 5 6 7 4 0 4 2 5 3 7 1 6 4 2 1 6 7 5 0 4 3 0 1 7 6 2 4
2 1 5 3 0 6 4 1 7 2 0 6 3 4 6 7 0 2 5 3 5 1 7 2 6 4 3 5 1 7 2 6 0 4 5 3 7 4 6 0 2 5 4 0 2 6 1 3 5 4 2 3 6 0 7 6 5 1 4 3 2 7 6 5 4 0 3 2 7 6
5 4 0 1 2 7 6 4 3 0 1 2 7 6 3 5 1 0 2 4 6 1 4 5 2 3 0 7 3 2 5 4 6 0 7 3 0 5 2 6 4 7 4 3 5 2 6 1 7 4 0 1 2 6 5 7 4 6 1 2 3 0 </values>
</instantiation>