Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-2.xml |
MD5SUM | e903255bfbda8f76e6400f31b9319dae |
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 | 1.86372 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 134 |
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 |
---|---|---|---|---|
Sugar v1.14.6+minisat (complete) | 2082764 | SAT | 1.86372 | 1.99008 |
pcs-restart 0.3.2 (complete) | 2082759 | SAT | 1.87871 | 1.90135 |
Concrete 2009-07-14 (complete) | 2082760 | SAT | 2.50562 | 2.57157 |
Abscon 112v4 AC (complete) | 2097697 | SAT | 2.77958 | 2.82532 |
Sugar v1.14.6+picosat (complete) | 2082763 | SAT | 3.11452 | 3.2506 |
pcs 0.3.2 (complete) | 2082758 | SAT | 3.43948 | 3.47797 |
Mistral 1.545 (complete) | 2082766 | SAT | 10.5964 | 10.6988 |
Abscon 112v4 ESAC (complete) | 2097698 | SAT | 17.7773 | 17.9225 |
Choco2.1.1 2009-06-10 (complete) | 2082762 | SAT | 29.4995 | 29.8281 |
SAT4J CSP 2.1.1 (complete) | 2082757 | SAT | 39.548 | 39.6315 |
Choco2.1.1b 2009-07-16 (complete) | 2116760 | SAT | 57.0203 | 57.5799 |
Concrete DC 2009-07-14 (complete) | 2082761 | SAT | 1528.4 | 1533.77 |
bpsolver 09 (complete) | 2082767 | ? (TO) | 1800.07 | 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:3 4 14 15 82 81 99 100 105 106 9 10 20 21 94 95 111 110 127 128 25 26 37 38 47 46 63 62 68 67 0 1 8 9 19 20 30 31 51 52 15 16 19 20 29 30 42 43 79 80 22 23 54 55 61 62 77 78 95 96 29 58 66 67 70 71 85 86 117 118 91 92 101 102 111 112 128 129 136 137 108 109 122 123 126 127 144 145 149 150 120 121 131 132 137 138 148 149 159 160