Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-5.xml |
MD5SUM | 8d4012fe18fda41a247f530d31c79f3b |
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.894863 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 155 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 845 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
pcs 0.3.2 (complete) | 2082659 | SAT | 0.894863 | 0.90843 |
Mistral 1.545 (complete) | 2082667 | SAT | 1.16482 | 1.17401 |
pcs-restart 0.3.2 (complete) | 2082660 | SAT | 1.26381 | 1.28158 |
Sugar v1.14.6+minisat (complete) | 2082665 | SAT | 1.73274 | 1.79501 |
Concrete 2009-07-14 (complete) | 2082661 | SAT | 2.43163 | 2.49563 |
Abscon 112v4 AC (complete) | 2097679 | SAT | 3.12952 | 3.19161 |
Abscon 112v4 ESAC (complete) | 2097680 | SAT | 3.55146 | 3.65013 |
Sugar v1.14.6+picosat (complete) | 2082664 | SAT | 3.61445 | 3.80717 |
Choco2.1.1b 2009-07-16 (complete) | 2116751 | SAT | 15.7406 | 15.7752 |
Choco2.1.1 2009-06-10 (complete) | 2082663 | SAT | 17.6013 | 17.7965 |
SAT4J CSP 2.1.1 (complete) | 2082658 | SAT | 44.7332 | 45.172 |
bpsolver 09 (complete) | 2082668 | SAT | 899.908 | 900.429 |
Concrete DC 2009-07-14 (complete) | 2082662 | SAT | 1745.29 | 1754.15 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:61 60 72 90 120 89 129 139 155 156 23 22 34 43 65 39 80 79 86 87 38 39 52 91 129 92 139 140 146 145 11 10 22 93 139 36 154 157 166 168 35 42 64 118 159 162 173 171 178 177 0 1 9 10 20 22 62 64 74 73 59 78 86 91 103 92 119 117 124 125 5 13 21 52 77 38 89 100 112 111 0 1 5 4 9 92 111 48 136 135 25 26 35 34 51 50 75 90 98 99