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

Result page for benchmark
MisteryShopper/
MisteryShopper-12_c18.xml

Jump to solvers results

General information on the benchmark

NameMisteryShopper/
MisteryShopper-12_c18.xml
MD5SUM193461ec87a084283094d7342f0c20d4
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.63089
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints741
Number of domains3
Minimum domain size5
Maximum domain size60
Distribution of domain sizes[{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}]
Minimum constraint arity2
Maximum constraint arity300
Distribution of constraint arities[{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}]
Number of extensional constraints600
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Mistral-2.0 2018-06-15 (complete)4289498SAT 8.63089 8.63241
Choco-solver 4.0.7b seq (e747e1e) (complete)4306967SAT 9.66056 4.78766
Choco-solver 4.0.7 seq (493a269) (complete)4292673SAT 10.2949 4.89745
Concrete 3.9.2 (complete)4305031SAT 39.9032 27.3099
Mistral-2.0 2018-08-01 (complete)4304029SAT 53.578 53.5783
PicatSAT 2018-08-14 (complete)4309783SAT 59.3164 59.3125
Concrete 3.8 2018-06-13 (complete)4294544SAT 61.0582 48.7808
PicatSAT 2018-08-02 (complete)4303443SAT 62.898 62.9008
PicatSAT 2018-06-15 (complete)4294548SAT 63.5381 63.537
scop both+MapleCOMSPS (2018-07-31) (complete)4305760SAT 64.1599 46.8984
scop order+MapleCOMSPS (2018-07-31) (complete)4305524SAT 64.3121 46.8301
Sat4j-CSP 2018-07-11 (complete)4290230? 3.85311 1.64001
scop order+MapleCOMSPS (2018-06-13) (complete)4294550? (MO) 37.0822 20.339
scop both+MapleCOMSPS (2018-06-13) (complete)4294549? (MO) 39.4516 20.4414
BTD 2018.06.11_3 (complete)4294543? (NS) 0.036893 0.037181
BTD_12 2018-06-11_12 (complete)4294542? (NS) 0.037352 0.037596
macht 2018.07.27 (complete)4305996? (NS) 0.037557 0.03802
macht 2018.06.11 (complete)4294547? (NS) 0.037579 0.0377291
BTD 2018.07.27_3 (complete)4306468? (NS) 0.03775 0.0380061
BTD_12 2018.07.27_12 (complete)4306232? (NS) 0.038006 0.0383811
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290717? (TO) 2400.06 2377.12
OscaR - Conflict Ordering 2018-07-02 (complete)4290941? (TO) 2400.12 2380.82
cosoco 1.12 (complete)4294546? (TO) 2519.79 2520.01
Concrete 3.9.2-SuperNG (complete)4305032? (TO) 2520.05 2482.33
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308261? (TO) 2520.05 2499.21
Concrete 3.8-SuperNG 2018-06-13 (complete)4294545? (TO) 2520.07 2483.53
OscaR - Conflict Ordering 2018-08-14 (complete)4307762? (TO) 2520.09 2500.21
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311997? (TO) 2520.1 2495.92

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 type="solution"> <list> vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0]
vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0]
vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0]
vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0]
vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4]
vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3]
vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2]
vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1]
vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0]
vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4]
vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3]
vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2]
vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1]
vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0]
vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4]
vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3]
vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2]
vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] vr[50][0] vr[50][1]
vr[50][2] vr[50][3] vr[50][4] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[53][0]
vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4]
vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[58][0] vr[58][1] vr[58][2] vr[58][3]
vr[58][4] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3]
ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3]
ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3]
ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3]
ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2]
ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1]
ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0]
ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4]
ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3]
ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2]
ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1]
ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0]
ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4]
ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3]
ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2]
ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1]
ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0]
ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4]
ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[52][0] ve[52][1] ve[52][2] ve[52][3]
ve[52][4] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[55][0] ve[55][1] ve[55][2]
ve[55][3] ve[55][4] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[58][0] ve[58][1]
ve[58][2] ve[58][3] ve[58][4] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0]
gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4]
gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3]
gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2]
gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0]
gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2]
gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4]
gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1]
gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3]
gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0]
gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2]
gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4]
gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1]
gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3]
gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0]
gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2]
gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4]
gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1]
gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3]
gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0]
gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gvr[50][0] gvr[50][1] gvr[50][2]
gvr[50][3] gvr[50][4] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4]
gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[55][0] gvr[55][1]
gvr[55][2] gvr[55][3] gvr[55][4] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3]
gvr[57][4] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][4] gve[0][0] gve[0][1]
gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0]
gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4]
gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3]
gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1]
gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3]
gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0]
gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2]
gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4]
gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1]
gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3]
gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0]
gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2]
gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4]
gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1]
gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3]
gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0]
gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2]
gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4]
gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1]
gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3]
gve[49][4] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[52][0]
gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[54][0] gve[54][1] gve[54][2]
gve[54][3] gve[54][4] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4]
gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[59][0] gve[59][1]
gve[59][2] gve[59][3] gve[59][4] </list> <values> 0 12 25 36 56 1 47 35 51 16 2 33 23 46 48 3 44 22 52 28 4 39 59 30 14 5 24 58 37 20 6 40
32 53 17 7 26 19 55 38 8 54 15 41 34 9 29 50 43 18 10 27 49 42 21 11 23 54 29 44 12 46 4 24 52 13 41 8 25 51 14 31 47 10 50 15 59 34 38 6 16
42 48 26 9 17 43 53 7 30 18 55 37 3 32 19 49 36 5 27 20 58 39 2 33 21 56 40 0 35 22 28 57 45 1 23 35 51 40 10 24 22 52 4 46 25 57 21 8 45 26
50 9 16 47 27 53 11 20 43 28 37 1 48 13 29 36 0 12 49 30 7 17 44 54 31 14 6 59 39 32 5 38 58 15 33 10 16 47 59 34 45 14 50 8 35 52 46 9 22
36 48 12 11 31 37 17 55 6 29 38 30 20 54 4 39 2 56 23 25 40 32 13 57 0 41 3 18 27 53 42 51 7 28 19 43 15 5 49 24 44 1 26 21 58 45 34 10 56
23 46 8 27 17 55 47 16 30 1 57 48 38 2 13 26 49 11 31 39 12 50 0 24 15 36 51 25 3 14 37 52 4 29 19 41 53 9 33 22 40 54 6 28 18 42 55 13 41
31 2 56 18 42 32 3 57 19 43 33 5 58 20 44 34 7 59 21 45 35 11 0 50 29 21 40 1 44 28 47 22 2 39 48 20 55 3 41 51 18 56 4 52 12 24 38 5 32 43
19 57 6 54 31 37 15 7 30 42 17 58 8 46 13 25 34 9 53 26 35 16 10 33 45 14 23 11 49 27 36 59 12 0 36 29 49 13 55 40 48 28 14 31 34 51 4 15 43
8 50 32 16 47 33 26 1 17 37 30 46 6 18 56 41 54 9 19 57 7 52 42 20 58 38 27 5 21 59 25 44 10 22 24 3 53 35 23 11 2 39 45 24 5 50 12 43 25 51
0 13 39 26 7 44 16 48 27 10 46 41 19 28 22 54 42 3 29 9 52 11 37 30 38 47 4 17 31 14 49 55 36 32 40 6 56 18 33 2 53 57 20 34 45 15 58 8 35
23 1 59 21 36 29 19 0 50 37 28 18 5 51 38 48 32 15 7 39 4 20 49 31 40 6 21 23 53 41 13 55 8 52 42 16 56 10 54 43 17 57 9 27 44 3 58 30 11 45
34 59 22 25 46 12 35 2 24 47 1 14 33 26 48 36 16 28 2 49 19 10 43 29 50 26 9 34 14 51 42 23 1 13 52 35 24 3 12 53 27 17 6 41 54 8 11 38 30
55 18 37 7 46 56 21 39 45 0 57 25 22 40 47 58 20 5 32 44 59 15 4 31 33 0 1 2 3 4 0 3 2 4 1 0 2 1 3 4 0 3 1 4 2 0 3 4 2 1 0 2 4 3 1 0 3 2 4 1
0 2 1 4 3 0 4 1 3 2 0 2 4 3 1 0 2 4 3 1 0 1 4 2 3 1 3 0 2 4 1 3 0 2 4 1 2 3 0 4 1 4 2 3 0 1 3 4 2 0 1 3 4 0 2 1 4 3 0 2 1 4 3 0 2 1 4 3 0 2
1 4 3 0 2 1 2 4 3 0 1 2 4 3 0 2 1 4 0 3 2 4 1 0 3 2 4 0 1 3 2 4 0 1 3 2 3 0 4 1 2 3 0 1 4 2 0 1 3 4 2 1 0 4 3 2 0 3 4 1 2 0 1 3 4 2 3 1 4 0
2 4 3 0 1 3 4 1 0 2 3 1 4 0 2 3 2 1 4 0 3 0 4 1 2 3 2 1 4 0 3 0 1 2 4 3 4 0 2 1 3 1 0 4 2 3 0 2 1 4 3 2 0 4 1 3 0 2 1 4 3 1 2 0 4 4 3 0 1 2
4 0 2 3 1 4 0 2 1 3 4 2 0 1 3 4 0 2 1 3 4 0 2 1 3 4 0 2 1 3 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 4 1 3 2 0 0 4 2 1 3 0 3 2 4 1 0 3 4 1 5
0 3 4 1 5 0 4 1 2 3 0 2 3 1 5 0 4 2 3 1 0 2 3 1 5 0 4 1 2 3 0 4 2 3 1 0 3 4 1 2 1 4 2 3 5 1 0 3 2 4 1 5 3 4 2 1 2 3 4 0 1 3 0 4 2 1 4 3 2 0
1 3 2 4 0 1 5 3 4 0 1 5 0 4 3 1 5 3 2 0 1 5 2 3 0 1 2 0 4 3 2 1 0 3 4 2 0 4 1 3 2 4 0 1 3 2 0 3 1 4 2 0 4 3 1 2 1 4 3 0 2 0 4 1 3 2 3 4 0 1
2 1 4 5 3 2 3 0 5 1 3 0 4 5 1 3 4 1 5 0 3 2 0 5 1 3 2 1 0 4 3 2 1 0 4 3 4 2 1 0 3 0 1 4 2 3 0 1 2 4 3 1 5 0 4 3 1 5 0 4 3 1 5 0 2 3 0 5 2 1
4 3 5 1 2 4 1 3 0 2 4 0 1 3 2 4 3 1 2 0 4 1 0 3 2 4 2 0 3 1 4 3 2 0 1 4 3 2 0 1 4 2 1 0 3 4 0 1 3 2 5 1 3 0 4 5 1 3 4 0 5 2 1 3 4 5 1 0 2 3
5 1 0 2 3 </values> </instantiation>