Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-8.xml |
MD5SUM | aff89a3c376f9d649716b708df99d09e |
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.324949 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 153 |
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) | 2082681 | SAT | 0.324949 | 0.332185 |
Mistral 1.545 (complete) | 2082689 | SAT | 1.61575 | 1.63011 |
Sugar v1.14.6+minisat (complete) | 2082687 | SAT | 2.09268 | 2.23409 |
Concrete 2009-07-14 (complete) | 2082683 | SAT | 2.41363 | 2.48532 |
Abscon 112v4 AC (complete) | 2097683 | SAT | 3.2655 | 3.34429 |
Sugar v1.14.6+picosat (complete) | 2082686 | SAT | 3.46647 | 3.60929 |
Abscon 112v4 ESAC (complete) | 2097684 | SAT | 4.46132 | 4.53746 |
pcs-restart 0.3.2 (complete) | 2082682 | SAT | 7.94379 | 8.02211 |
Choco2.1.1 2009-06-10 (complete) | 2082685 | SAT | 18.9891 | 19.0869 |
Choco2.1.1b 2009-07-16 (complete) | 2116753 | SAT | 34.0218 | 35.1636 |
SAT4J CSP 2.1.1 (complete) | 2082680 | SAT | 43.9843 | 44.0676 |
bpsolver 09 (complete) | 2082690 | SAT | 366.423 | 366.589 |
Concrete DC 2009-07-14 (complete) | 2082684 | ? (TO) | 1800.01 | 1811.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:5 32 38 15 44 43 70 71 76 150 64 81 87 104 156 93 168 169 178 177 13 14 20 19 29 30 46 61 66 152 0 1 11 12 16 15 31 30 58 154 99 98 110 111 137 138 151 152 162 161 44 43 49 75 81 90 102 103 109 147 40 55 82 63 118 93 130 131 139 154 2 1 50 49 53 54 72 71 88 151 23 55 62 63 69 68 92 91 99 152 51 62 90 91 105 104 121 120 124 147