2017 XCSP3 competition: fast COP track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
Scheduling/Scheduling-js-taillard/
Taillard-js-030-20-8.xml

Jump to solvers results

General information on the benchmark

NameScheduling/Scheduling-js-taillard/
Taillard-js-030-20-8.xml
MD5SUM754bcb27478aff360ffbb606538dde42
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables630
Number of constraints650
Number of domains1
Minimum domain size2113
Maximum domain size2113
Distribution of domain sizes[{"size":2113,"count":630}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":600}]
Minimum constraint arity1
Maximum constraint arity30
Distribution of constraint arities[{"arity":1,"count":30},{"arity":2,"count":600},{"arity":30,"count":20}]
Number of extensional constraints0
Number of intensional constraints630
Distribution of constraint types[{"type":"intension","count":630},{"type":"noOverlap","count":20}]
Optimization problemYES
Type of objectivemin MAXIMUM

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjective functionCPU timeWall clock time
cosoco 1.12 (complete)4268806? (NS) 0.67004901 0.72760201
cosoco-sat 1.12 (complete)4266875? (NS) 0.69087201 0.69166702
cosoco 1.1 (complete)4258755? (NS) 0.71596402 0.87436599
AbsCon-basic 2017-06-11 (complete)4257761? (TO) 242.80299 240.011
OscaR - ALNS 2017-07-26 (complete)4255773? (TO) 244.808 240.009
choco-solver 4.0.5 seq (2017-07-26) (complete)4254282? (TO) 244.808 240.00999
OscaR - Hybrid 2017-07-26 (complete)4256767? (TO) 245.10001 240.01199
OscaR - Conflict Ordering 2017-07-26 (complete)4256270? (TO) 245.52901 240.009
choco-solver 4.0.5 seq (2017-08-18) (complete)4283026? (TO) 245.883 240.02
choco-solver 4.0.5 seq (2017-08-09) (complete)4270276? (TO) 246.548 240.02901
choco-solver 5a (2017-08-18) (complete)4284496? (TO) 250.32401 240.02
choco-solver 5a (2017-07-26) (complete)4255276? (TO) 251.564 240.00999
Mistral-2.0 2017-07-28 (complete)4259252? (TO) 251.888 252.00999
sat4j-CSP 2017-07-05 (complete)4258258? (TO) 260.27499 85.223099
Concrete 3.4 (complete)4259749? (TO) 261.854 240.806
OscaR - Parallel with EPS 2017-08-22 (complete)4285966? (TO) 1701.23 252.112
OscaR - Parallel with EPS 2017-07-26 (complete)4257264? (TO) 1703.83 252.131
choco-solver 4.0.5 par (2017-07-26) (complete)4254779? (TO) 1920.23 241.535
choco-solver 4.0.5 par (2017-08-18) (complete)4281556? (TO) 2004.45 252.105
choco-solver 4.0.5 par (2017-08-09) (complete)4271746? (TO) 2005.39 252.112

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: