Name | csp/allIntervalSeries/ normalized-series-70.xml |
MD5SUM | 42673f380bfac3cdabf246f9ec4e88d8 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.3098 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 139 |
Number of constraints | 4830 |
Maximum constraint arity | 3 |
Maximum domain size | 70 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4830 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
bpsolver 09 (complete) | 2065948 | SAT | 1.3098 | 1.33025 |
pcs-restart 0.3.2 (complete) | 2065940 | SAT | 6.13807 | 6.19811 |
pcs 0.3.2 (complete) | 2065939 | SAT | 170.008 | 171.488 |
Mistral 1.545 (complete) | 2065947 | SAT | 360.754 | 362.401 |
SAT4J CSP 2.1.1 (complete) | 2065938 | ? | 73.4828 | 72.3991 |
Sugar v1.14.6+minisat (complete) | 2065945 | ? (TO) | 1800.02 | 1800.96 |
Sugar v1.14.6+picosat (complete) | 2065944 | ? (TO) | 1800.03 | 1804.52 |
Concrete DC 2009-07-14 (complete) | 2065942 | ? (TO) | 1800.06 | 1809.43 |
Concrete 2009-07-14 (complete) | 2065941 | ? (TO) | 1800.08 | 1813.83 |
Choco2.1.1 2009-06-10 (complete) | 2065943 | ? (TO) | 1800.08 | 1805.14 |
Choco2.1.1b 2009-07-16 (complete) | 2115231 | ? (TO) | 1800.13 | 1816.96 |
Abscon 112v4 AC (complete) | 2094639 | ? (TO) | 1800.14 | 1808.96 |
Abscon 112v4 ESAC (complete) | 2094640 | ? (TO) | 1800.15 | 1807.66 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:34 35 33 36 32 37 31 38 30 39 29 40 28 41 27 42 26 43 25 44 24 45 23 46 22 47 21 48 20 49 19 50 18 51 17 52 16 53 15 54 14 55 13 56 12 57 11 58 10 59 9 60 8 61 7 62 6 63 5 64 4 65 3 66 2 67 1 68 0 69 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68