Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-8.xml |
MD5SUM | 12f7ddbe98bc1cdc60be77630c7a0109 |
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.91771 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 118 |
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 |
---|---|---|---|---|
Mistral 1.545 (complete) | 2082722 | SAT | 1.91771 | 1.92004 |
Sugar v1.14.6+minisat (complete) | 2082720 | SAT | 2.89256 | 3.02699 |
Sugar v1.14.6+picosat (complete) | 2082719 | SAT | 3.9144 | 4.02434 |
bpsolver 09 (complete) | 2082723 | ? (TO) | 1800.02 | 1812.31 |
Choco2.1.1 2009-06-10 (complete) | 2082718 | ? (TO) | 1800.05 | 1811.84 |
Choco2.1.1b 2009-07-16 (complete) | 2116756 | ? (TO) | 1800.07 | 1804.53 |
Concrete DC 2009-07-14 (complete) | 2082717 | ? (TO) | 1800.08 | 1805.22 |
Concrete 2009-07-14 (complete) | 2082716 | ? (TO) | 1800.08 | 1807.42 |
Abscon 112v4 ESAC (complete) | 2097690 | ? (TO) | 1800.13 | 1800.75 |
pcs-restart 0.3.2 (complete) | 2082715 | ? (TO) | 1800.15 | 1807.81 |
Abscon 112v4 AC (complete) | 2097689 | ? (TO) | 1800.17 | 1812.57 |
pcs 0.3.2 (complete) | 2082714 | ? (TO) | 1800.17 | 1801.01 |
SAT4J CSP 2.1.1 (complete) | 2082713 | ? (TO) | 1800.4 | 1806.53 |
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 41 27 78 79 91 128 138 137 9 10 19 18 27 28 49 72 82 138 0 1 27 62 116 117 134 135 143 141 35 6 46 45 52 53 90 67 109 108 8 0 28 29 40 39 52 55 127 71 56 32 62 93 128 127 138 139 142 141 13 30 68 87 91 92 110 109 117 118 16 15 24 71 105 104 116 117 127 126 53 52 62 63 68 67 78 79 98 99 2 3 7 6 14 13 40 104 133 126