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

Result page for benchmark
MisteryShopper/
MisteryShopper-10c_c18.xml

Jump to solvers results

General information on the benchmark

NameMisteryShopper/
MisteryShopper-10c_c18.xml
MD5SUM56c97bc9b19c7ad517216d1a3c315031
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 benchmark5.95232
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints621
Number of domains3
Minimum domain size5
Maximum domain size50
Distribution of domain sizes[{"size":5,"count":250},{"size":6,"count":250},{"size":50,"count":500}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":500},{"degree":3,"count":250},{"degree":4,"count":220},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity250
Distribution of constraint arities[{"arity":2,"count":500},{"arity":5,"count":100},{"arity":6,"count":5},{"arity":50,"count":10},{"arity":100,"count":5},{"arity":250,"count":1}]
Number of extensional constraints500
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":500},{"type":"allDifferent","count":110},{"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-08-01 (complete)4304027SAT 5.95232 5.95872
Mistral-2.0 2018-06-15 (complete)4289501SAT 9.99516 9.99895
Choco-solver 4.0.7 seq (493a269) (complete)4292671SAT 12.5742 7.67301
Choco-solver 4.0.7b seq (e747e1e) (complete)4306965SAT 12.9375 7.58347
PicatSAT 2018-08-02 (complete)4303441SAT 25.3945 25.3967
PicatSAT 2018-06-15 (complete)4294575SAT 25.4792 25.4809
PicatSAT 2018-08-14 (complete)4309781SAT 25.5359 25.5346
Concrete 3.9.2 (complete)4305037SAT 26.8909 14.9138
scop both+MapleCOMSPS (2018-07-31) (complete)4305758SAT 37.5887 21.0545
scop order+MapleCOMSPS (2018-07-31) (complete)4305522SAT 38.5028 21.4638
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290715SAT 51.8294 46.806
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311995SAT 79.8236 74.3504
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308259SAT 503.639 495.809
Concrete 3.8 2018-06-13 (complete)4294571SAT 2216.12 2191.78
Sat4j-CSP 2018-07-11 (complete)4290228? 2.72196 1.23612
scop order+MapleCOMSPS (2018-06-13) (complete)4294577? (MO) 32.8565 16.9333
scop both+MapleCOMSPS (2018-06-13) (complete)4294576? (MO) 33.1585 17.0564
BTD 2018.06.11_3 (complete)4294570? (NS) 0.028055 0.028346
macht 2018.06.11 (complete)4294574? (NS) 0.028192 0.0283879
macht 2018.07.27 (complete)4305994? (NS) 0.028242 0.028602
BTD 2018.07.27_3 (complete)4306466? (NS) 0.028855 0.029155
BTD_12 2018.07.27_12 (complete)4306230? (NS) 0.028966 0.0292159
BTD_12 2018-06-11_12 (complete)4294569? (NS) 0.029523 0.0299039
OscaR - Conflict Ordering 2018-07-02 (complete)4290939? (TO) 2400.09 2380.12
cosoco 1.12 (complete)4294573? (TO) 2519.94 2520.01
OscaR - Conflict Ordering 2018-08-14 (complete)4307760? (TO) 2520.04 2499.02
Concrete 3.9.2-SuperNG (complete)4305038? (TO) 2520.06 2485.14
Concrete 3.8-SuperNG 2018-06-13 (complete)4294572? (TO) 2520.11 2484.93

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] 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] 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] 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] </list> <values> 0
10 20 37 40 1 26 41 38 11 2 19 35 27 47 3 32 44 29 12 4 28 14 34 49 5 18 25 33 46 6 24 15 36 48 7 23 39 42 17 8 22 43 31 13 9 30 45 16 21 10
40 34 26 9 11 38 6 41 27 12 45 30 7 29 13 37 4 28 43 14 35 49 8 25 15 39 5 20 42 16 21 48 1 36 17 27 33 2 41 18 1 40 30 26 19 25 47 0 37 20
43 9 39 16 21 15 46 35 6 22 12 36 44 7 23 42 32 11 3 24 49 31 10 8 25 11 37 9 45 26 41 38 6 10 27 36 8 43 15 28 14 7 49 39 29 13 3 40 35 30
48 17 22 5 31 20 42 12 4 32 44 16 23 2 33 47 18 24 1 34 46 19 21 0 35 29 2 45 18 36 9 10 48 28 37 8 26 47 19 38 17 1 25 44 39 16 0 46 24 40
31 27 5 14 41 33 13 4 22 42 34 11 3 23 43 6 12 32 20 44 0 21 13 30 45 2 22 14 31 46 3 23 15 32 47 4 24 17 33 48 5 28 18 34 49 7 29 19 38 0
44 39 19 34 1 18 38 16 33 2 45 35 17 32 3 46 29 42 23 4 47 13 41 31 5 48 15 40 30 6 43 11 26 21 7 49 28 12 22 8 37 27 14 24 9 36 20 25 10 10
0 36 24 26 11 25 42 23 1 12 22 43 31 3 13 29 41 44 8 14 28 4 45 40 15 21 6 46 27 16 39 32 9 20 17 38 30 47 7 18 5 33 48 35 19 2 34 49 37 20
31 0 15 43 21 16 44 34 9 22 8 45 30 41 23 7 46 32 42 24 6 47 33 39 25 19 5 38 14 26 1 37 10 18 27 17 40 2 11 28 4 48 13 36 29 35 49 3 12 30
9 12 18 44 31 40 24 8 45 32 3 23 43 46 33 41 17 5 47 34 42 10 4 48 35 14 2 21 29 36 27 22 6 16 37 13 25 0 19 38 11 26 1 49 39 15 7 20 28 40
10 18 29 0 41 26 1 11 17 42 23 31 7 15 43 20 8 27 13 44 32 3 22 38 45 12 9 35 25 46 34 21 39 5 47 33 19 37 2 48 30 16 36 6 49 24 14 28 4 0 1
2 3 4 0 2 4 3 1 0 1 3 2 4 0 3 4 2 1 0 2 1 3 4 0 1 2 3 4 0 2 1 3 4 0 2 3 4 1 0 2 4 3 1 0 3 4 1 2 1 4 3 2 0 1 3 0 4 2 1 4 3 0 2 1 3 0 2 4 1 3
4 0 2 1 3 0 2 4 1 2 4 0 3 1 2 3 0 4 1 0 4 3 2 1 2 4 0 3 2 4 0 3 1 2 1 4 3 0 2 1 3 4 0 2 4 3 1 0 2 4 3 1 0 2 1 3 0 4 2 4 3 0 1 2 3 0 4 1 2 1
0 4 3 2 1 0 4 3 3 4 1 2 0 3 2 4 1 0 3 4 1 2 0 3 4 1 2 0 3 4 1 2 0 3 2 0 4 1 3 0 1 4 2 3 0 2 4 1 3 1 0 2 4 3 1 0 4 2 4 3 2 0 1 4 3 1 0 2 4 3
1 0 2 4 0 1 3 2 4 0 2 1 3 4 0 2 1 3 4 0 2 1 3 4 0 2 1 3 4 0 2 1 3 4 0 2 1 3 0 5 4 2 3 0 2 4 1 3 0 5 4 2 3 0 5 3 4 2 0 5 1 4 3 0 5 1 4 3 0 4
1 3 2 0 5 3 1 2 0 4 3 1 2 0 4 2 3 1 1 0 4 2 3 1 3 4 2 0 1 2 4 3 0 1 3 4 5 0 1 3 0 5 4 1 2 0 5 3 1 4 3 0 2 2 4 3 5 0 2 0 3 5 4 2 0 3 5 4 2 3
0 1 4 2 1 5 3 0 2 0 5 3 4 2 0 5 3 4 2 0 5 3 4 3 2 0 4 1 3 0 4 1 2 3 2 4 0 1 3 0 5 1 4 3 4 5 0 1 3 0 1 2 5 3 4 2 0 5 3 0 2 4 5 3 4 2 0 5 3 4
1 0 5 4 1 0 2 3 4 3 2 0 1 4 1 3 0 2 4 1 3 0 5 4 1 0 2 3 4 1 2 3 0 4 3 0 1 2 4 2 3 0 1 4 2 0 3 1 5 3 0 2 4 5 1 0 4 3 5 3 2 4 0 5 3 2 4 0 5 3
1 4 0 5 2 1 3 0 </values> </instantiation>