Name | csp/super-jobShop/ super-jobShop-enddr2/normalized-super-jobShop-enddr2-5.xml |
MD5SUM | 989aa7b5b2fb6a75bf8bdf55684b5bed |
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.288955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 142 |
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) | 2082535 | SAT | 0.288955 | 0.295949 |
pcs-restart 0.3.2 (complete) | 2082528 | SAT | 0.392939 | 0.40009 |
pcs 0.3.2 (complete) | 2082527 | SAT | 0.508921 | 0.515329 |
Sugar v1.14.6+minisat (complete) | 2082533 | SAT | 1.78073 | 1.87459 |
Concrete 2009-07-14 (complete) | 2082529 | SAT | 2.49362 | 2.58496 |
Sugar v1.14.6+picosat (complete) | 2082532 | SAT | 3.42248 | 3.58096 |
Abscon 112v4 AC (complete) | 2097655 | SAT | 3.48847 | 3.55567 |
Abscon 112v4 ESAC (complete) | 2097656 | SAT | 4.27235 | 4.34415 |
Choco2.1.1 2009-06-10 (complete) | 2082531 | SAT | 29.2735 | 29.5692 |
Choco2.1.1b 2009-07-16 (complete) | 2116739 | SAT | 32.5081 | 32.5373 |
SAT4J CSP 2.1.1 (complete) | 2082526 | SAT | 44.1193 | 44.6085 |
bpsolver 09 (complete) | 2082536 | SAT | 893.977 | 900.737 |
Concrete DC 2009-07-14 (complete) | 2082530 | SAT | 1654.3 | 1655.55 |
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 7 8 38 10 66 65 79 78 73 74 89 90 95 94 108 107 114 115 22 23 33 50 58 81 96 68 102 103 0 1 12 13 23 22 46 47 53 52 26 12 37 98 107 81 123 116 126 128 46 47 59 58 68 69 82 81 89 90 18 11 23 22 130 81 144 145 155 154 29 22 53 68 144 83 156 157 167 166 3 0 8 19 47 12 58 59 66 65 37 12 55 113 116 81 130 134 142 143