Name | csp/super-jobShop/ super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-3.xml |
MD5SUM | 5124251d07b3c05814271b00e9f47dce |
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 | 75.0886 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 127 |
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+picosat (complete) | 2082785 | SAT | 75.0886 | 75.8906 |
Sugar v1.14.6+minisat (complete) | 2082786 | SAT | 125.491 | 125.632 |
Mistral 1.545 (complete) | 2082788 | SAT | 992.413 | 995.586 |
Concrete DC 2009-07-14 (complete) | 2082783 | ? (TO) | 1800.01 | 1804.32 |
Concrete 2009-07-14 (complete) | 2082782 | ? (TO) | 1800.02 | 1804.62 |
Choco2.1.1b 2009-07-16 (complete) | 2116762 | ? (TO) | 1800.04 | 1801.03 |
Abscon 112v4 AC (complete) | 2097701 | ? (TO) | 1800.07 | 1802.85 |
bpsolver 09 (complete) | 2082789 | ? (TO) | 1800.07 | 1813.71 |
pcs-restart 0.3.2 (complete) | 2082781 | ? (TO) | 1800.14 | 1812.91 |
Choco2.1.1 2009-06-10 (complete) | 2082784 | ? (TO) | 1800.16 | 1801.41 |
Abscon 112v4 ESAC (complete) | 2097702 | ? (TO) | 1800.18 | 1801.38 |
pcs 0.3.2 (complete) | 2082780 | ? (TO) | 1800.2 | 1811.81 |
SAT4J CSP 2.1.1 (complete) | 2082779 | ? (TO) | 1800.27 | 1810.91 |
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 6 5 14 15 23 22 31 32 59 60 88 87 135 136 144 145 159 158 76 77 85 84 105 104 126 125 133 132 18 19 25 24 37 38 49 50 61 62 52 53 59 58 76 75 96 95 108 107 44 43 53 52 63 64 76 75 91 92 1 2 14 15 25 24 40 39 46 45 13 14 35 34 47 46 64 65 76 75 32 31 85 84 119 118 136 135 149 150 66 67 76 75 91 92 108 107 119 120