Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-6.xml |
MD5SUM | 83970268d81e5df519a419175718ec8a |
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.401938 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 138 |
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 |
---|---|---|---|---|
pcs-restart 0.3.2 (complete) | 2082748 | SAT | 0.401938 | 0.409036 |
pcs 0.3.2 (complete) | 2082747 | SAT | 1.12783 | 1.14504 |
Sugar v1.14.6+minisat (complete) | 2082753 | SAT | 1.67774 | 1.76683 |
Concrete 2009-07-14 (complete) | 2082749 | SAT | 2.56261 | 2.6141 |
Abscon 112v4 AC (complete) | 2097695 | SAT | 3.06653 | 3.13614 |
Sugar v1.14.6+picosat (complete) | 2082752 | SAT | 3.56346 | 3.72114 |
Abscon 112v4 ESAC (complete) | 2097696 | SAT | 3.9574 | 4.01786 |
Mistral 1.545 (complete) | 2082755 | SAT | 5.30619 | 5.41771 |
Choco2.1.1b 2009-07-16 (complete) | 2116759 | SAT | 19.763 | 19.9575 |
Choco2.1.1 2009-06-10 (complete) | 2082751 | SAT | 23.1575 | 23.4364 |
SAT4J CSP 2.1.1 (complete) | 2082746 | SAT | 36.1885 | 36.3003 |
Concrete DC 2009-07-14 (complete) | 2082750 | SAT | 1528.5 | 1531.76 |
bpsolver 09 (complete) | 2082756 | ? (TO) | 1800.02 | 1808.71 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:34 33 44 133 136 135 146 147 153 154 31 3 46 47 53 52 68 69 75 74 96 95 107 108 115 114 123 124 129 130 3 2 10 11 17 16 29 30 39 38 78 12 86 85 96 95 105 106 109 108 38 101 114 68 125 124 134 135 144 143 15 14 21 22 31 30 46 45 51 101 47 48 59 58 69 70 82 81 90 101 19 18 29 74 82 81 94 114 118 98 13 14 22 23 44 45 53 52 59 60