| Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-4.xml |
| MD5SUM | 164f4b1b291855f1e42db974a877c836 |
| 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 | 1.9587 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 845 |
| Maximum constraint arity | 2 |
| Maximum domain size | 126 |
| 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 |
|---|---|---|---|---|
| Sugar v1.14.6+minisat (complete) | 2082610 | SAT | 1.9587 | 2.10854 |
| Sugar v1.14.6+picosat (complete) | 2082609 | SAT | 3.19851 | 3.35177 |
| Mistral 1.545 (complete) | 2082612 | SAT | 4.13837 | 4.17396 |
| Concrete 2009-07-14 (complete) | 2082606 | SAT | 38.2312 | 38.2904 |
| SAT4J CSP 2.1.1 (complete) | 2082603 | SAT | 67.0708 | 67.6163 |
| Choco2.1.1b 2009-07-16 (complete) | 2116746 | SAT | 102.822 | 103.928 |
| pcs 0.3.2 (complete) | 2082604 | SAT | 1718.41 | 1721.46 |
| bpsolver 09 (complete) | 2082613 | ? (TO) | 1800.03 | 1804.71 |
| Concrete DC 2009-07-14 (complete) | 2082607 | ? (TO) | 1800.04 | 1802.72 |
| Abscon 112v4 ESAC (complete) | 2097670 | ? (TO) | 1800.07 | 1808.84 |
| Abscon 112v4 AC (complete) | 2097669 | ? (TO) | 1800.12 | 1800.66 |
| pcs-restart 0.3.2 (complete) | 2082605 | ? (TO) | 1800.14 | 1806.51 |
| Choco2.1.1 2009-06-10 (complete) | 2082608 | ? (TO) | 1800.15 | 1817.51 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:11 14 51 21 109 108 133 132 143 144 88 89 111 110 125 126 139 140 145 144 81 80 106 105 139 138 150 151 158 157 26 81 88 87 96 97 131 132 144 145 29 28 33 34 45 44 122 123 132 131 42 43 51 52 55 56 117 118 147 148 53 54 59 60 70 69 86 85 121 122 14 15 24 25 31 32 81 82 90 91 0 1 14 13 17 18 96 95 99 100 64 63 70 69 80 81 125 126 136 137