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

Result page for benchmark
Bacp/Bacp-m2/
Bacp-m2-10b_c18.xml

Jump to solvers results

General information on the benchmark

NameBacp/Bacp-m2/
Bacp-m2-10b_c18.xml
MD5SUM8b80514b4d5f702c4505d255abf47da2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark20050.5
Satisfiable
(Un)Satisfiability was proved
Number of variables482
Number of constraints516
Number of domains4
Minimum domain size2
Maximum domain size10
Distribution of domain sizes[{"size":2,"count":420},{"size":6,"count":10},{"size":7,"count":10},{"size":10,"count":42}]
Minimum variable degree1
Maximum variable degree15
Distribution of variable degrees[{"degree":1,"count":10},{"degree":2,"count":10},{"degree":4,"count":420},{"degree":10,"count":9},{"degree":11,"count":9},{"degree":12,"count":17},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1}]
Minimum constraint arity2
Maximum constraint arity43
Distribution of constraint arities[{"arity":2,"count":454},{"arity":10,"count":42},{"arity":43,"count":20}]
Number of extensional constraints420
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":420},{"type":"intension","count":34},{"type":"sum","count":62}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02 (complete)4292075SAT (TO)14 19990.9 2520.32
OscaR - Parallel with EPS 2018-08-14 (complete)4309212SAT (TO)14 20003.8 2520.28
Choco-solver 4.0.7b par (e747e1e) (complete)4297856SAT (TO)14 20050.5 2520.11

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