Name | csp/jobShop-enddr1/ normalized-enddr1-10-by-5-4.xml |
MD5SUM | 32b58d9ab2c4936a833c88fc1c08c4fc |
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.026995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 265 |
Maximum constraint arity | 2 |
Maximum domain size | 123 |
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) | 2075770 | SAT | 0.026995 | 0.0292201 |
bpsolver 09 (complete) | 2075771 | SAT | 0.087986 | 0.100208 |
pcs 0.3.2 (complete) | 2075762 | SAT | 0.115981 | 0.122024 |
pcs-restart 0.3.2 (complete) | 2075763 | SAT | 0.12098 | 0.135716 |
Sugar v1.14.6+minisat (complete) | 2075768 | SAT | 1.35179 | 1.47647 |
Sugar v1.14.6+picosat (complete) | 2075767 | SAT | 1.49877 | 1.59522 |
Concrete 2009-07-14 (complete) | 2075764 | SAT | 1.56576 | 1.62507 |
Choco2.1.1 2009-06-10 (complete) | 2075766 | SAT | 1.72774 | 1.78588 |
Choco2.1.1b 2009-07-16 (complete) | 2116124 | SAT | 1.75573 | 1.78243 |
Abscon 112v4 ESAC (complete) | 2096426 | SAT | 1.86372 | 1.88434 |
Abscon 112v4 AC (complete) | 2096425 | SAT | 1.87771 | 1.93201 |
SAT4J CSP 2.1.1 (complete) | 2075761 | SAT | 13.132 | 13.2961 |
Concrete DC 2009-07-14 (complete) | 2075765 | SAT | 22.9575 | 23.1234 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:47 58 68 129 141 7 20 31 45 49 67 75 84 97 142 0 14 23 52 97 23 39 53 65 151 30 42 45 108 131 0 8 15 31 43 15 114 123 139 149 72 91 97 107 151 9 68 107 122 129