Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-5.xml |
MD5SUM | a7bc94a7eea6cc78eabccfd072808961 |
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 | 2.37664 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 136 |
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) | 2082775 | SAT | 2.37664 | 2.51717 |
Mistral 1.545 (complete) | 2082777 | SAT | 2.6206 | 2.62408 |
Concrete 2009-07-14 (complete) | 2082771 | SAT | 2.73558 | 2.79983 |
Sugar v1.14.6+picosat (complete) | 2082774 | SAT | 3.64145 | 3.73423 |
pcs-restart 0.3.2 (complete) | 2082770 | SAT | 3.73943 | 3.77987 |
Abscon 112v4 AC (complete) | 2097699 | SAT | 4.39233 | 4.47238 |
Abscon 112v4 ESAC (complete) | 2097700 | SAT | 5.06723 | 5.13222 |
Choco2.1.1b 2009-07-16 (complete) | 2116761 | SAT | 24.3533 | 24.4149 |
Choco2.1.1 2009-06-10 (complete) | 2082773 | SAT | 31.6462 | 31.9978 |
SAT4J CSP 2.1.1 (complete) | 2082768 | SAT | 38.2452 | 38.5988 |
pcs 0.3.2 (complete) | 2082769 | SAT | 42.4565 | 42.8636 |
Concrete DC 2009-07-14 (complete) | 2082772 | SAT | 1501.97 | 1505.44 |
bpsolver 09 (complete) | 2082778 | ? (TO) | 1800.06 | 1806.91 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:63 64 70 69 96 73 105 106 113 112 71 89 100 101 106 105 128 129 135 134 30 29 43 44 52 51 72 71 80 79 56 55 90 89 118 119 140 139 146 147 0 1 20 19 29 73 86 85 98 99 8 7 29 28 38 39 59 60 67 66 67 16 78 79 82 81 120 119 123 124 8 7 12 13 17 16 44 43 54 55 52 53 57 58 62 71 82 83 90 89 19 20 40 131 134 133 148 149 157 156