Name | csp/super-jobShop/ super-jobShop-e0ddr1/normalized-super-jobShop-e0ddr1-7.xml |
MD5SUM | 7f90ae65f94133a5d801af8c8d4f4168 |
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.31995 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 845 |
Maximum constraint arity | 2 |
Maximum domain size | 124 |
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-restart 0.3.2 (complete) | 2082704 | SAT | 0.31995 | 0.320549 |
Mistral 1.545 (complete) | 2082711 | SAT | 0.468927 | 0.475997 |
Sugar v1.14.6+minisat (complete) | 2082709 | SAT | 1.58376 | 1.67368 |
pcs 0.3.2 (complete) | 2082703 | SAT | 2.97555 | 2.99066 |
Concrete 2009-07-14 (complete) | 2082705 | SAT | 3.08853 | 3.15738 |
Abscon 112v4 ESAC (complete) | 2097688 | SAT | 3.13552 | 3.18337 |
Sugar v1.14.6+picosat (complete) | 2082708 | SAT | 3.2735 | 3.37638 |
Abscon 112v4 AC (complete) | 2097687 | SAT | 5.44617 | 5.53053 |
Choco2.1.1 2009-06-10 (complete) | 2082707 | SAT | 16.1125 | 16.2061 |
Choco2.1.1b 2009-07-16 (complete) | 2116755 | SAT | 25.8391 | 26.1256 |
SAT4J CSP 2.1.1 (complete) | 2082702 | SAT | 33.081 | 33.4058 |
Concrete DC 2009-07-14 (complete) | 2082706 | SAT | 1209.72 | 1218.94 |
bpsolver 09 (complete) | 2082712 | SAT | 1341.54 | 1350.5 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:23 52 55 39 64 88 103 84 123 122 60 78 95 63 101 100 118 117 125 139 0 1 4 3 7 92 104 111 115 116 77 58 87 100 127 93 135 136 140 139 17 18 27 26 37 38 115 114 130 131 81 82 87 111 117 91 132 133 144 145 48 47 68 67 77 90 126 125 140 139 5 6 11 10 16 89 106 105 114 115 31 30 34 43 54 53 90 91 95 94 10 11 22 21 28 92 104 64 108 112