Name | csp/jobShop-e0ddr1/ normalized-e0ddr1-10-by-5-7.xml |
MD5SUM | a6a49020f8ee266e49d13048f93c5cc5 |
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.039993 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 265 |
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 | 265 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2078773 | SAT | 0.039993 | 0.0452119 |
pcs 0.3.2 (complete) | 2078765 | SAT | 0.112982 | 0.120737 |
pcs-restart 0.3.2 (complete) | 2078766 | SAT | 0.243962 | 0.254845 |
Sugar v1.14.6+minisat (complete) | 2078771 | SAT | 1.08383 | 1.19035 |
Concrete 2009-07-14 (complete) | 2078767 | SAT | 1.54776 | 1.57716 |
Sugar v1.14.6+picosat (complete) | 2078770 | SAT | 1.62975 | 1.76673 |
Choco2.1.1b 2009-07-16 (complete) | 2116397 | SAT | 1.63075 | 1.66791 |
Choco2.1.1 2009-06-10 (complete) | 2078769 | SAT | 1.73173 | 1.79983 |
Abscon 112v4 AC (complete) | 2096971 | SAT | 1.85772 | 1.89556 |
Abscon 112v4 ESAC (complete) | 2096972 | SAT | 1.9827 | 2.03783 |
SAT4J CSP 2.1.1 (complete) | 2078764 | SAT | 12.3961 | 12.5799 |
Concrete DC 2009-07-14 (complete) | 2078768 | SAT | 23.9634 | 24.1074 |
bpsolver 09 (complete) | 2078774 | SAT | 893.135 | 900.238 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:22 30 76 111 121 0 23 31 46 127 0 10 124 135 143 0 10 16 98 106 0 11 88 100 138 17 34 43 66 114 16 49 53 81 121 19 27 113 132 142 52 61 66 76 87 10 46 100 130 142