Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-1.xml |
MD5SUM | af5beca91c4f6bb4fbd0be7fcf1b0eaa |
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.51577 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 128 |
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) | 2082799 | SAT | 1.51577 | 1.52057 |
Sugar v1.14.6+picosat (complete) | 2082796 | SAT | 3.50047 | 3.65664 |
Sugar v1.14.6+minisat (complete) | 2082797 | SAT | 5.35918 | 5.51497 |
Abscon 112v4 AC (complete) | 2097703 | SAT | 426.002 | 428.176 |
Choco2.1.1b 2009-07-16 (complete) | 2116763 | SAT | 1211.55 | 1223.02 |
bpsolver 09 (complete) | 2082800 | ? (TO) | 1800.01 | 1810.11 |
Choco2.1.1 2009-06-10 (complete) | 2082795 | ? (TO) | 1800.05 | 1815.95 |
Concrete DC 2009-07-14 (complete) | 2082794 | ? (TO) | 1800.06 | 1803.92 |
Concrete 2009-07-14 (complete) | 2082793 | ? (TO) | 1800.08 | 1803.82 |
Abscon 112v4 ESAC (complete) | 2097704 | ? (TO) | 1800.12 | 1811.45 |
pcs-restart 0.3.2 (complete) | 2082792 | ? (TO) | 1800.13 | 1804.81 |
pcs 0.3.2 (complete) | 2082791 | ? (TO) | 1800.16 | 1801.2 |
SAT4J CSP 2.1.1 (complete) | 2082790 | ? (TO) | 1800.35 | 1808.72 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4 41 51 25 59 60 75 74 89 90 74 13 82 83 114 121 136 129 144 145 30 37 64 59 75 74 91 92 103 102 0 1 8 7 13 14 22 21 30 31 95 22 126 127 138 137 154 155 159 158 29 7 40 41 48 47 66 60 73 72 53 54 86 85 101 100 114 115 130 129 73 72 82 83 91 92 103 106 113 114 18 17 33 32 37 38 48 47 59 60 0 1 11 12 22 21 43 40 50 49