Name | csp/primes-15/ normalized-primes-15-40-2-7.xml |
MD5SUM | dd73b653e941c848140715c0efeb13bc |
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 | 62.8854 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Maximum constraint arity | 9 |
Maximum domain size | 46 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 40 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Choco2.1.1 2009-06-10 (complete) | 2077856 | SAT | 62.8854 | 63.6086 |
Choco2.1.1b 2009-07-16 (complete) | 2116314 | SAT | 359.615 | 359.784 |
Mistral 1.545 (complete) | 2077860 | SAT | 589.696 | 591.541 |
SAT4J CSP 2.1.1 (complete) | 2077851 | ? | 173.079 | 172.622 |
Sugar v1.14.6+picosat (complete) | 2077857 | ? | 206.53 | 214.865 |
Sugar v1.14.6+minisat (complete) | 2077858 | ? | 308.516 | 766.603 |
Concrete DC 2009-07-14 (complete) | 2077855 | ? (TO) | 1800.03 | 1805.82 |
bpsolver 09 (complete) | 2077861 | ? (TO) | 1800.07 | 1806.71 |
Concrete 2009-07-14 (complete) | 2077854 | ? (TO) | 1800.1 | 1812.72 |
Abscon 112v4 AC (complete) | 2096805 | ? (TO) | 1800.13 | 1812.17 |
pcs 0.3.2 (complete) | 2077852 | ? (TO) | 1800.14 | 1808.8 |
Abscon 112v4 ESAC (complete) | 2096806 | ? (TO) | 1800.17 | 1801.86 |
pcs-restart 0.3.2 (complete) | 2077853 | ? (TO) | 1800.18 | 1812.29 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:22 22 42 22 23 31 33 8 42 3 7 30 21 10 46 5 16 17 8 3 42 14 3 27 10 25 3 35 20 38 45 3 24 17 42 45 43 3 14 19 29 6 33 42 45 25 21 44 13 2 23 2 14 4 11 5 18 9 45 3 32 2 43 39 37 27 7 26 42 5 41 2 44 21 23 35 44 13 28 17 5 26 20 23 10 29 7 46 44 9 36 26 37 31 11 4 44 20 29 47