| Name | csp/super-jobShop/ super-jobShop-enddr2/normalized-super-jobShop-enddr2-3.xml |
| MD5SUM | be1747164e3ac921fa9d6050fe7cf8ff |
| 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 | 3.68944 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 845 |
| Maximum constraint arity | 2 |
| Maximum domain size | 139 |
| 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+picosat (complete) | 2082543 | SAT | 3.68944 | 3.81072 |
| Sugar v1.14.6+minisat (complete) | 2082544 | SAT | 5.46917 | 5.58809 |
| pcs 0.3.2 (complete) | 2082538 | SAT | 12.2601 | 12.3874 |
| Mistral 1.545 (complete) | 2082546 | SAT | 41.6897 | 42.0911 |
| Choco2.1.1 2009-06-10 (complete) | 2082542 | SAT | 72.516 | 72.8794 |
| pcs-restart 0.3.2 (complete) | 2082539 | SAT | 120.977 | 121.588 |
| Choco2.1.1b 2009-07-16 (complete) | 2116740 | SAT | 306.018 | 308.947 |
| Concrete 2009-07-14 (complete) | 2082540 | SAT | 459.86 | 462.278 |
| SAT4J CSP 2.1.1 (complete) | 2082537 | SAT | 524.769 | 525.029 |
| bpsolver 09 (complete) | 2082547 | SAT | 1340.14 | 1351.56 |
| Concrete DC 2009-07-14 (complete) | 2082541 | ? (TO) | 1800.07 | 1814.22 |
| Abscon 112v4 AC (complete) | 2097657 | ? (TO) | 1800.09 | 1804.36 |
| Abscon 112v4 ESAC (complete) | 2097658 | ? (TO) | 1800.18 | 1803.77 |
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 6 8 16 15 24 25 38 39 28 29 35 36 58 57 71 70 82 81 20 14 33 32 44 45 58 59 65 66 66 67 71 70 142 143 152 151 165 164 0 14 22 23 28 27 43 44 53 54 35 36 55 56 66 67 79 80 92 93 0 1 60 61 79 80 93 94 109 110 12 13 80 81 92 93 109 110 125 126 17 81 89 90 109 110 126 127 141 142 100 101 111 112 128 129 142 143 151 152