Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-3.xml |
MD5SUM | 0b7b70f6dd692b128bfbda29a471f6cc |
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.08783 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 151 |
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) | 2082626 | SAT | 1.08783 | 1.1004 |
Mistral 1.545 (complete) | 2082634 | SAT | 1.15482 | 1.15817 |
pcs-restart 0.3.2 (complete) | 2082627 | SAT | 1.35379 | 1.37209 |
Sugar v1.14.6+minisat (complete) | 2082632 | SAT | 1.73773 | 1.82423 |
Concrete 2009-07-14 (complete) | 2082628 | SAT | 2.48662 | 2.53783 |
Sugar v1.14.6+picosat (complete) | 2082631 | SAT | 3.45947 | 3.59045 |
Abscon 112v4 AC (complete) | 2097673 | SAT | 7.42787 | 7.5174 |
Abscon 112v4 ESAC (complete) | 2097674 | SAT | 7.50086 | 7.55782 |
Choco2.1.1 2009-06-10 (complete) | 2082630 | SAT | 15.7026 | 15.7272 |
Choco2.1.1b 2009-07-16 (complete) | 2116748 | SAT | 25.8721 | 26.0497 |
SAT4J CSP 2.1.1 (complete) | 2082625 | SAT | 60.4748 | 60.7086 |
bpsolver 09 (complete) | 2082635 | SAT | 898.123 | 901.585 |
Concrete DC 2009-07-14 (complete) | 2082629 | SAT | 1574.21 | 1576.5 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:0 1 53 54 63 62 71 72 89 90 0 1 7 6 18 19 27 26 37 61 68 86 94 79 143 131 156 157 163 164 5 4 16 17 27 26 37 36 47 48 62 61 70 69 116 117 132 131 152 151 36 37 47 46 71 131 143 83 180 179 9 10 26 25 36 37 49 48 127 61 0 1 45 44 83 84 100 99 111 112 21 20 76 77 100 99 117 116 142 143 7 6 38 37 49 48 62 63 76 69