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

Result page for benchmark
Bibd/
Bibd-sum-09-03-09_c18.xml

Jump to solvers results

General information on the benchmark

NameBibd/
Bibd-sum-09-03-09_c18.xml
MD5SUM8720a51077744f6e775f5d31127f86ee
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.99989
Satisfiable
(Un)Satisfiability was proved
Number of variables972
Number of constraints154
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":972}]
Minimum variable degree11
Maximum variable degree11
Distribution of variable degrees[{"degree":11,"count":972}]
Minimum constraint arity9
Maximum constraint arity972
Distribution of constraint arities[{"arity":9,"count":108},{"arity":108,"count":9},{"arity":216,"count":36},{"arity":972,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":153}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
PicatSAT 2018-06-15 (complete)4294076SAT 5.99989 6.00952
PicatSAT 2018-08-02 (complete)4303227SAT 6.03516 6.0396
PicatSAT 2018-08-14 (complete)4309567SAT 7.20408 7.20527
Mistral-2.0 2018-08-01 (complete)4303813SAT 12.7041 12.7065
Mistral-2.0 2018-06-15 (complete)4289430SAT 22.083 22.0843
scop both+MapleCOMSPS (2018-06-13) (complete)4294077SAT 35.0245 21.421
scop order+MapleCOMSPS (2018-06-13) (complete)4294078SAT 35.0281 21.5262
scop both+MapleCOMSPS (2018-07-31) (complete)4305544SAT 37.3459 23.033
scop order+MapleCOMSPS (2018-07-31) (complete)4305308SAT 37.3462 23.2546
macht 2018.07.27 (complete)4305780? (NS) 0.424081 0.424531
BTD 2018.06.11_3 (complete)4294071? (NS) 0.426747 0.431472
BTD_12 2018-06-11_12 (complete)4294070? (NS) 0.427282 0.427445
macht 2018.06.11 (complete)4294075? (NS) 0.427909 0.438328
BTD 2018.07.27_3 (complete)4306252? (NS) 0.428811 0.433761
BTD_12 2018.07.27_12 (complete)4306016? (NS) 0.431456 0.436023
Choco-solver 4.0.7 seq (493a269) (complete)4292457? (TO) 2400.03 2394.71
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290501? (TO) 2400.05 2358.51
OscaR - Conflict Ordering 2018-07-02 (complete)4290725? (TO) 2400.08 2364.61
Sat4j-CSP 2018-07-11 (complete)4290014? (TO) 2400.1 2394.74
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311781? (TO) 2520.02 2474.51
cosoco 1.12 (complete)4294074? (TO) 2520.02 2519.7
Concrete 3.9.2-SuperNG (complete)4304952? (TO) 2520.06 2450.54
Choco-solver 4.0.7b seq (e747e1e) (complete)4306751? (TO) 2520.07 2514.51
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308045? (TO) 2520.07 2475.71
Concrete 3.8 2018-06-13 (complete)4294072? (TO) 2520.08 2460.04
Concrete 3.9.2 (complete)4304951? (TO) 2520.1 2458.73
OscaR - Conflict Ordering 2018-08-14 (complete)4307546? (TO) 2520.11 2480.41
Concrete 3.8-SuperNG 2018-06-13 (complete)4294073? (TO) 2520.26 2450.73

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[][]  </list> <values> 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 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 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1
1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0
0 0 1 1 1 0 1 1 1 1 1 0 1 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 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0
0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1
1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1
1 1 1 0 0 0 1 0 0 0 0 0 0 0 0   </values> </instantiation>