Name | csp/super-jobShop/ super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-7.xml |
MD5SUM | 3d212b518200a202089f2dda1551e6b0 |
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.227964 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 149 |
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 |
---|---|---|---|---|
pcs 0.3.2 (complete) | 2082670 | SAT | 0.227964 | 0.240321 |
bpsolver 09 (complete) | 2082679 | SAT | 0.259959 | 0.265034 |
Mistral 1.545 (complete) | 2082678 | SAT | 0.277956 | 0.281979 |
Sugar v1.14.6+minisat (complete) | 2082676 | SAT | 1.86771 | 2.03951 |
Concrete 2009-07-14 (complete) | 2082672 | SAT | 2.52761 | 2.50499 |
pcs-restart 0.3.2 (complete) | 2082671 | SAT | 2.92955 | 2.95745 |
Abscon 112v4 AC (complete) | 2097681 | SAT | 3.32349 | 3.38548 |
Sugar v1.14.6+picosat (complete) | 2082675 | SAT | 3.71244 | 3.85029 |
Abscon 112v4 ESAC (complete) | 2097682 | SAT | 4.69029 | 4.74973 |
Choco2.1.1 2009-06-10 (complete) | 2082674 | SAT | 17.0094 | 17.0281 |
Choco2.1.1b 2009-07-16 (complete) | 2116752 | SAT | 25.1452 | 25.4054 |
SAT4J CSP 2.1.1 (complete) | 2082669 | SAT | 42.0326 | 42.0779 |
Concrete DC 2009-07-14 (complete) | 2082673 | ? (TO) | 1800.05 | 1818.33 |
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 5 4 21 57 68 69 83 152 0 51 57 19 66 67 76 75 91 152 13 14 20 19 29 30 45 44 51 52 26 27 39 40 45 44 66 67 72 152 28 19 33 76 87 75 99 110 129 152 33 71 82 51 112 111 128 129 137 138 9 10 58 16 99 75 111 112 118 152 0 1 5 4 9 75 89 21 105 106 95 76 107 108 145 144 154 155 166 163 6 76 80 37 128 129 164 163 175 174