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

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

Jump to solvers results

General information on the benchmark

NameBibd/
Bibd-sum-10-03-08_c18.xml
MD5SUM6905926ecf5563edf040969d33d8e2ad
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 benchmark10.8953
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints176
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1200}]
Minimum variable degree12
Maximum variable degree12
Distribution of variable degrees[{"degree":12,"count":1200}]
Minimum constraint arity10
Maximum constraint arity1200
Distribution of constraint arities[{"arity":10,"count":120},{"arity":120,"count":10},{"arity":240,"count":45},{"arity":1200,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":175}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
PicatSAT 2018-06-15 (complete)4294103SAT 10.8953 10.8964
PicatSAT 2018-08-02 (complete)4303228SAT 10.9099 10.9154
PicatSAT 2018-08-14 (complete)4309568SAT 13.71 13.7117
Mistral-2.0 2018-08-01 (complete)4303814SAT 29.209 29.2147
scop both+MapleCOMSPS (2018-06-13) (complete)4294104SAT 45.7194 28.62
scop both+MapleCOMSPS (2018-07-31) (complete)4305545SAT 49.4813 33.0218
scop order+MapleCOMSPS (2018-07-31) (complete)4305309SAT 57.2607 40.625
Concrete 3.9.2 (complete)4304957SAT 352.146 323.74
Mistral-2.0 2018-06-15 (complete)4289433SAT 432.654 432.672
Concrete 3.8-SuperNG 2018-06-13 (complete)4294100SAT 702.93 667.749
scop order+MapleCOMSPS (2018-06-13) (complete)4294105? (MO) 44.1711 28.3399
BTD 2018.06.11_3 (complete)4294098? (NS) 0.755784 0.755976
BTD_12 2018-06-11_12 (complete)4294097? (NS) 0.755805 0.757125
macht 2018.07.27 (complete)4305781? (NS) 0.757458 0.758849
macht 2018.06.11 (complete)4294102? (NS) 0.761844 0.762249
BTD 2018.07.27_3 (complete)4306253? (NS) 0.762544 0.767235
BTD_12 2018.07.27_12 (complete)4306017? (NS) 0.796821 0.798571
OscaR - Conflict Ordering with restarts 2018-07-02 (complete)4290502? (TO) 2400.04 2356.62
Choco-solver 4.0.7 seq (493a269) (complete)4292458? (TO) 2400.06 2395.02
OscaR - Conflict Ordering 2018-07-02 (complete)4290726? (TO) 2400.1 2365.12
Sat4j-CSP 2018-07-11 (complete)4290015? (TO) 2400.17 2390.66
OscaR - Conflict Ordering 2018-08-14 (complete)4307547? (TO) 2520.06 2482.01
Concrete 3.8 2018-06-13 (complete)4294099? (TO) 2520.07 2458.16
Choco-solver 4.0.7b seq (e747e1e) (complete)4306752? (TO) 2520.07 2515.12
OscaR - Conflict Ordering with restarts 2018-08-14 (complete)4308046? (TO) 2520.08 2476.51
cosoco 1.12 (complete)4294101? (TO) 2520.08 2519.8
OscaR - Conflict Ordering with restarts 2018-08-17 (complete)4311782? (TO) 2520.11 2476.31
Concrete 3.9.2-SuperNG (complete)4304958? (TO) 2520.12 2447.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> <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 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 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 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 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 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 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 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 1 1 1 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 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 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 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 1 1 1 1 1 1 1 1 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 0
0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1
1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 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 1 1 1 1 1 1 1 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 0 0 0 0 1 1 1 0 0 0 1 1 1 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 1 1 1 1 1 1 0 0 1 1 0 0 0 0
0 1 1 0 1 1 1 1 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 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 1 1 1 1 1 1
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0
0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 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 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0
0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0   </values> </instantiation>