Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-5.xml |
MD5SUM | 10f63ebb77ec88a2f0279e4677099de9 |
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 | 116 |
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 |
---|---|---|---|---|
bpsolver 09 (complete) | 2082701 | SAT | 0.288955 | 0.30392 |
Mistral 1.545 (complete) | 2082700 | SAT | 1.09483 | 1.09611 |
Sugar v1.14.6+minisat (complete) | 2082698 | SAT | 2.07168 | 2.19383 |
Sugar v1.14.6+picosat (complete) | 2082697 | SAT | 3.15952 | 5.51461 |
Choco2.1.1b 2009-07-16 (complete) | 2116754 | SAT | 17.6753 | 17.7039 |
Choco2.1.1 2009-06-10 (complete) | 2082696 | SAT | 34.7247 | 34.7763 |
SAT4J CSP 2.1.1 (complete) | 2082691 | SAT | 102.319 | 102.373 |
pcs 0.3.2 (complete) | 2082692 | SAT | 112.628 | 112.664 |
pcs-restart 0.3.2 (complete) | 2082693 | SAT | 135.162 | 136.45 |
Concrete 2009-07-14 (complete) | 2082694 | ? (TO) | 1800.04 | 1801.22 |
Concrete DC 2009-07-14 (complete) | 2082695 | ? (TO) | 1800.08 | 1814.82 |
Abscon 112v4 AC (complete) | 2097685 | ? (TO) | 1800.13 | 1801.84 |
Abscon 112v4 ESAC (complete) | 2097686 | ? (TO) | 1800.16 | 1809.34 |
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 12 11 23 22 39 56 91 49 25 26 33 32 126 125 140 141 145 144 23 24 32 31 102 101 115 116 123 122 0 1 16 15 52 53 61 60 80 67 8 7 22 23 40 39 59 52 91 69 0 1 8 7 11 12 56 53 67 68 49 32 69 70 77 76 85 86 102 103 11 12 44 53 85 86 102 101 112 113 0 1 47 48 115 116 126 125 135 136 12 11 33 32 61 60 76 77 84 83