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

Result page for benchmark
Bibd/
Bibd-sc-07-03-01_c18.xml

Jump to solvers results

General information on the benchmark

NameBibd/
Bibd-sc-07-03-01_c18.xml
MD5SUMc825423b6f6dd90e2ab011227fbd0e9e
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 benchmark2.66252
Satisfiable
(Un)Satisfiability was proved
Number of variables392
Number of constraints183
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":196}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":196},{"degree":2,"count":147},{"degree":9,"count":49}]
Minimum constraint arity3
Maximum constraint arity49
Distribution of constraint arities[{"arity":3,"count":147},{"arity":7,"count":35},{"arity":49,"count":1}]
Number of extensional constraints0
Number of intensional constraints147
Distribution of constraint types[{"type":"intension","count":147},{"type":"lex","count":1},{"type":"sum","count":35}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e) (complete)4297618SAT 2.66252 0.934833
scop order+glucose-syrup (2018-07-07) (complete)4296883SAT 4.86734 2.05085
scop both+glucose-syrup (2018-07-07) (complete)4297119SAT 4.9398 2.06965
OscaR - Parallel with EPS 2018-08-14 (complete)4308974SAT 6.23478 2.57406
OscaR - Parallel with EPS 2018-07-02 (complete)4291205SAT 7.1305 2.82862
scop both+glucose-syrup (2018-07-31) (complete)4307303? (TO) 7.43928 2520.02
scop order+glucose-syrup (2018-07-31) (complete)4307067? (TO) 7.56111 2520.03

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>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6]
x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2]
x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5]
x[6][6] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4]
s[0][2][5] s[0][2][6] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][4][0] s[0][4][1] s[0][4][2]
s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][6][0]
s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5]
s[1][2][6] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3]
s[1][4][4] s[1][4][5] s[1][4][6] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][6][0] s[1][6][1]
s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6]
s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4]
s[2][5][5] s[2][5][6] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[3][4][0] s[3][4][1] s[3][4][2]
s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][6][0]
s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5]
s[4][5][6] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3]
s[5][6][4] s[5][6][5] s[5][6][6] </list> <values>0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0
0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0
0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0
0 0 0 1 0 0 0 0 0 0 </values> </instantiation>