Name | csp/jobShop-ewddr2/ normalized-ewddr2-10-by-5-5.xml |
MD5SUM | 54c6fc8ab272c969a3532d6203f8fcf4 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.020996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 265 |
Maximum constraint arity | 2 |
Maximum domain size | 157 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 265 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2074186 | SAT | 0.020996 | 0.0258441 |
bpsolver 09 (complete) | 2074187 | SAT | 0.082987 | 0.083161 |
pcs 0.3.2 (complete) | 2074178 | SAT | 0.093985 | 0.101951 |
pcs-restart 0.3.2 (complete) | 2074179 | SAT | 0.12198 | 0.126782 |
Sugar v1.14.6+minisat (complete) | 2074184 | SAT | 1.00685 | 0.915425 |
Choco2.1.1 2009-06-10 (complete) | 2074182 | SAT | 1.55076 | 1.30221 |
Choco2.1.1b 2009-07-16 (complete) | 2115980 | SAT | 1.57776 | 1.62383 |
Concrete 2009-07-14 (complete) | 2074180 | SAT | 1.59776 | 1.57597 |
Sugar v1.14.6+picosat (complete) | 2074183 | SAT | 1.63675 | 1.73771 |
Abscon 112v4 ESAC (complete) | 2096138 | SAT | 2.47762 | 2.52086 |
Abscon 112v4 AC (complete) | 2096137 | SAT | 2.48862 | 2.56346 |
SAT4J CSP 2.1.1 (complete) | 2074177 | SAT | 19.0621 | 19.3053 |
Concrete DC 2009-07-14 (complete) | 2074181 | SAT | 30.8223 | 31.1524 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:19 29 32 42 65 81 119 136 171 177 77 88 95 103 119 3 23 45 148 157 0 73 127 136 148 53 59 73 82 91 29 59 82 98 111 43 48 57 69 169 0 10 20 39 80 108 113 119 127 133