Name | csp/super-jobShop/ super-jobShop-enddr1/normalized-super-jobShop-enddr1-5.xml |
MD5SUM | cf6cb10154c91b27aba123e93ab25157 |
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.526919 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 123 |
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) | 2082579 | SAT | 0.526919 | 0.540531 |
Sugar v1.14.6+minisat (complete) | 2082577 | SAT | 2.07568 | 2.27661 |
Sugar v1.14.6+picosat (complete) | 2082576 | SAT | 2.93155 | 3.0567 |
Abscon 112v4 AC (complete) | 2097663 | SAT | 5.66214 | 5.69465 |
Abscon 112v4 ESAC (complete) | 2097664 | SAT | 14.5278 | 14.7023 |
Choco2.1.1 2009-06-10 (complete) | 2082575 | SAT | 29.2995 | 29.6096 |
SAT4J CSP 2.1.1 (complete) | 2082570 | SAT | 46.213 | 46.6663 |
pcs 0.3.2 (complete) | 2082571 | SAT | 222.811 | 223.108 |
Choco2.1.1b 2009-07-16 (complete) | 2116743 | SAT | 263.075 | 265.594 |
pcs-restart 0.3.2 (complete) | 2082572 | SAT | 579.168 | 584.382 |
Concrete DC 2009-07-14 (complete) | 2082574 | ? (TO) | 1800.02 | 1815.03 |
Concrete 2009-07-14 (complete) | 2082573 | ? (TO) | 1800.05 | 1804.22 |
bpsolver 09 (complete) | 2082580 | ? (TO) | 1800.12 | 1815.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2 1 13 14 24 23 47 52 66 79 40 24 48 47 79 80 117 118 134 121 14 13 22 23 49 48 62 63 70 82 19 0 31 30 40 41 49 48 67 95 15 24 94 77 109 110 122 121 137 151 8 69 76 15 122 121 130 131 138 137 0 1 8 7 15 16 24 55 63 148 32 31 59 43 62 63 117 78 127 128 32 33 89 90 130 131 141 140 151 150 78 37 89 90 94 93 109 110 132 133