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

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

Jump to solvers results

General information on the benchmark

NameMisteryShopper/
MisteryShopper-06c_c18.xml
MD5SUM9b1ba7009c0c118539aa61bd7976011a
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 benchmark0.972435
Satisfiable
(Un)Satisfiability was proved
Number of variables864
Number of constraints529
Number of domains3
Minimum domain size6
Maximum domain size36
Distribution of domain sizes[{"size":6,"count":216},{"size":7,"count":216},{"size":36,"count":432}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":432},{"degree":3,"count":216},{"degree":4,"count":186},{"degree":5,"count":30}]
Minimum constraint arity2
Maximum constraint arity216
Distribution of constraint arities[{"arity":2,"count":432},{"arity":5,"count":6},{"arity":6,"count":72},{"arity":36,"count":12},{"arity":72,"count":6},{"arity":216,"count":1}]
Number of extensional constraints432
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":432},{"type":"allDifferent","count":84},{"type":"ordered","count":6},{"type":"lex","count":1},{"type":"channel","count":6}]
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)4289495SAT 0.972435 0.973383
Mistral-2.0 2018-08-01 (complete)4304023SAT 1.27553 1.27678
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311991SAT 4.35809 1.86341
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290711SAT 4.39289 1.86373
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308255SAT 4.49661 1.92627
Choco-solver 4.0.7 seq (493a269) (complete)4292667SAT 10.6795 5.99914
Choco-solver 4.0.7b seq (e747e1e) (complete)4306961SAT 10.7269 5.99591
Concrete 3.9.2 (complete)4305025SAT 17.1546 6.77775
Concrete 3.8 2018-06-13 (complete)4294517SAT 17.7153 8.12779
PicatSAT 2018-08-02 (complete)4303437SAT 18.1289 18.1304
PicatSAT 2018-08-14 (complete)4309777SAT 18.3906 18.3916
Concrete 3.8-SuperNG 2018-06-13 (complete)4294518SAT 19.7516 7.71235
PicatSAT 2018-06-15 (complete)4294521SAT 21.8548 21.859
Concrete 3.9.2-SuperNG (complete)4305026SAT 27.604 14.2233
scop order+MapleCOMSPS (2018-06-13) (complete)4294523SAT 27.9089 13.8803
scop both+MapleCOMSPS (2018-06-13) (complete)4294522SAT 28.8709 14.0425
scop both+MapleCOMSPS (2018-07-31) (complete)4305754SAT 32.1205 16.7678
scop order+MapleCOMSPS (2018-07-31) (complete)4305518SAT 33.7813 16.9565
OscaR - Conflict Ordering 2018-08-14 (complete)4307756SAT 237.055 231.627
OscaR - Conflict Ordering 2018-07-02 (complete)4290935SAT 240.344 234.063
Sat4j-CSP 2018-07-11 (complete)4290224? 2.54214 1.08786
macht 2018.07.27 (complete)4305990? (NS) 0.021999 0.0221391
BTD_12 2018-06-11_12 (complete)4294515? (NS) 0.022019 0.022486
BTD 2018.06.11_3 (complete)4294516? (NS) 0.022062 0.0223101
macht 2018.06.11 (complete)4294520? (NS) 0.022189 0.0223379
BTD 2018.07.27_3 (complete)4306462? (NS) 0.02254 0.0227029
BTD_12 2018.07.27_12 (complete)4306226? (NS) 0.022616 0.0226989
cosoco 1.12 (complete)4294519? (TO) 2519.94 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 type="solution"> <list> vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4]
vr[1][5] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[4][0] vr[4][1]
vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4]
vr[6][5] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[9][0] vr[9][1]
vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[11][0] vr[11][1] vr[11][2] vr[11][3]
vr[11][4] vr[11][5] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5]
vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[16][0] vr[16][1]
vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[18][0] vr[18][1] vr[18][2] vr[18][3]
vr[18][4] vr[18][5] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5]
vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[23][0] vr[23][1]
vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[25][0] vr[25][1] vr[25][2] vr[25][3]
vr[25][4] vr[25][5] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5]
vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[30][0] vr[30][1]
vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[32][0] vr[32][1] vr[32][2] vr[32][3]
vr[32][4] vr[32][5] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5]
vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[1][0] ve[1][1] ve[1][2]
ve[1][3] ve[1][4] ve[1][5] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5]
ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[6][0] ve[6][1] ve[6][2]
ve[6][3] ve[6][4] ve[6][5] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5]
ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[11][0] ve[11][1]
ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[13][0] ve[13][1] ve[13][2] ve[13][3]
ve[13][4] ve[13][5] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5]
ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[18][0] ve[18][1]
ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[20][0] ve[20][1] ve[20][2] ve[20][3]
ve[20][4] ve[20][5] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5]
ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[25][0] ve[25][1]
ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[27][0] ve[27][1] ve[27][2] ve[27][3]
ve[27][4] ve[27][5] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5]
ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[32][0] ve[32][1]
ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[34][0] ve[34][1] ve[34][2] ve[34][3]
ve[34][4] ve[34][5] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5]
gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[3][0] gvr[3][1]
gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3]
gvr[5][4] gvr[5][5] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5]
gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[10][0]
gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[12][0]
gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[14][0]
gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[16][0]
gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[18][0]
gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[20][0]
gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[22][0]
gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[24][0]
gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[26][0]
gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[28][0]
gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[30][0]
gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[32][0]
gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[34][0]
gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gve[0][0] gve[0][1]
gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[2][0] gve[2][1] gve[2][2] gve[2][3]
gve[2][4] gve[2][5] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5]
gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[7][0] gve[7][1]
gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[9][0] gve[9][1] gve[9][2] gve[9][3]
gve[9][4] gve[9][5] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4]
gve[11][5] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4]
gve[13][5] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4]
gve[15][5] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4]
gve[17][5] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4]
gve[19][5] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4]
gve[21][5] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4]
gve[23][5] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4]
gve[25][5] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4]
gve[27][5] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4]
gve[29][5] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4]
gve[31][5] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4]
gve[33][5] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4]
gve[35][5] </list> <values> 0 6 12 18 24 34 1 7 17 35 23 29 2 25 20 11 13 30 3 27 10 16 22 31 4 21 9 26 14 32 5 18 11 29 16 33 6 20 30 24 17
0 7 32 19 12 4 28 8 23 15 25 3 35 9 0 35 15 19 24 10 17 4 30 18 25 11 1 16 31 20 27 12 26 6 32 2 23 13 3 33 28 8 22 14 5 29 34 7 21 15 9 24
4 30 20 16 2 21 6 35 26 17 22 25 33 10 1 18 11 31 27 0 13 19 34 28 8 5 14 20 35 26 0 6 17 21 30 27 5 9 16 22 28 7 2 33 15 23 29 32 3 11 12
24 4 14 10 34 19 25 8 13 1 31 18 26 31 18 13 1 11 27 19 34 7 12 2 28 10 23 17 32 5 29 33 8 14 21 4 30 24 22 9 15 3 31 12 0 19 25 6 32 13 1
20 26 7 33 14 2 21 27 8 34 15 3 22 28 9 35 16 5 23 29 10 0 9 31 20 18 6 1 11 32 25 26 17 2 16 33 22 12 27 3 13 34 23 8 30 4 24 10 15 7 29 5
14 35 21 19 28 6 0 12 16 20 31 7 1 22 27 14 32 8 25 29 19 13 33 9 15 4 30 21 34 10 28 3 24 17 35 11 18 5 2 23 26 12 31 0 7 27 23 13 32 25 26
2 18 14 33 24 29 4 19 15 34 8 9 30 22 16 35 11 3 5 21 17 10 1 28 6 20 18 5 26 0 10 25 19 27 7 31 9 24 20 6 2 32 11 15 21 4 16 33 29 14 22 17
30 34 3 13 23 8 28 35 1 12 24 30 15 6 0 9 25 2 17 8 31 10 26 12 20 4 32 16 27 3 21 18 33 11 28 22 19 13 34 7 29 23 14 5 35 1 30 21 6 10 15 2
31 26 18 11 25 3 32 7 23 12 28 4 33 29 13 17 22 5 34 19 27 14 24 0 35 20 9 1 16 8 0 1 2 3 4 5 0 1 2 5 3 4 0 4 3 1 2 5 0 4 1 2 3 5 0 3 1 4 2
5 0 3 1 4 2 5 1 3 5 4 2 0 1 5 3 2 0 4 1 3 2 4 0 5 1 0 5 2 3 4 1 2 0 5 3 4 1 0 2 5 3 4 2 4 1 5 0 3 2 0 5 4 1 3 2 0 4 5 1 3 2 1 4 0 5 3 2 0 3
1 5 4 2 3 4 5 1 0 3 1 5 4 0 2 3 5 4 1 0 2 3 5 4 0 1 2 3 5 4 0 1 2 3 4 1 0 5 2 3 4 5 0 1 2 4 0 2 1 5 3 4 1 2 0 5 3 4 5 3 2 0 1 4 3 5 1 2 0 4
1 3 2 5 0 4 5 1 2 3 0 5 4 3 1 2 0 5 2 0 3 4 1 5 2 0 3 4 1 5 2 0 3 4 1 5 2 0 3 4 1 5 2 0 3 4 1 0 2 6 4 3 1 0 2 6 4 5 3 0 3 6 4 2 5 0 2 6 4 1
5 0 4 2 3 1 5 1 2 6 4 3 5 1 0 2 3 4 6 1 0 4 5 2 6 1 4 5 3 2 6 2 3 0 5 4 6 2 5 0 4 3 6 2 3 1 0 4 5 2 6 0 1 5 4 2 6 4 5 0 3 2 6 4 5 0 3 3 6 1
2 5 4 3 6 2 0 1 4 3 2 0 5 1 4 3 1 5 0 2 4 3 5 1 6 2 4 4 1 0 6 2 3 4 0 3 6 5 2 4 3 5 6 0 2 4 1 5 6 0 2 4 5 3 1 0 2 4 0 3 1 6 2 5 2 4 0 6 3 5
0 4 3 6 2 5 4 3 2 6 1 5 4 2 1 6 0 5 4 1 2 3 0 6 5 3 2 4 0 6 1 4 2 5 0 6 5 2 3 4 1 6 3 5 2 4 0 6 4 2 0 3 1 </values> </instantiation>