| Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-5.xml |
| MD5SUM | 10f63ebb77ec88a2f0279e4677099de9 |
| 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.288955 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 845 |
| Maximum constraint arity | 2 |
| Maximum domain size | 116 |
| 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 |
|---|---|---|---|---|
| bpsolver 09 (complete) | 2082701 | SAT | 0.288955 | 0.30392 |
| Mistral 1.545 (complete) | 2082700 | SAT | 1.09483 | 1.09611 |
| Sugar v1.14.6+minisat (complete) | 2082698 | SAT | 2.07168 | 2.19383 |
| Sugar v1.14.6+picosat (complete) | 2082697 | SAT | 3.15952 | 5.51461 |
| Choco2.1.1b 2009-07-16 (complete) | 2116754 | SAT | 17.6753 | 17.7039 |
| Choco2.1.1 2009-06-10 (complete) | 2082696 | SAT | 34.7247 | 34.7763 |
| SAT4J CSP 2.1.1 (complete) | 2082691 | SAT | 102.319 | 102.373 |
| pcs 0.3.2 (complete) | 2082692 | SAT | 112.628 | 112.664 |
| pcs-restart 0.3.2 (complete) | 2082693 | SAT | 135.162 | 136.45 |
| Concrete 2009-07-14 (complete) | 2082694 | ? (TO) | 1800.04 | 1801.22 |
| Concrete DC 2009-07-14 (complete) | 2082695 | ? (TO) | 1800.08 | 1814.82 |
| Abscon 112v4 AC (complete) | 2097685 | ? (TO) | 1800.13 | 1801.84 |
| Abscon 112v4 ESAC (complete) | 2097686 | ? (TO) | 1800.16 | 1809.34 |
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 12 11 23 22 39 56 91 49 25 26 33 32 126 125 140 141 145 144 23 24 32 31 102 101 115 116 123 122 0 1 16 15 52 53 61 60 80 67 8 7 22 23 40 39 59 52 91 69 0 1 8 7 11 12 56 53 67 68 49 32 69 70 77 76 85 86 102 103 11 12 44 53 85 86 102 101 112 113 0 1 47 48 115 116 126 125 135 136 12 11 33 32 61 60 76 77 84 83