Name | csp/primes-20/ normalized-primes-20-80-3-7.xml |
MD5SUM | 2b0b2c3601d2a4fa5432d9d80984da24 |
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 | 0.237963 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 80 |
Maximum constraint arity | 10 |
Maximum domain size | 70 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 80 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2070732 | SAT | 0.237963 | 0.286804 |
Choco2.1.1b 2009-07-16 (complete) | 2115666 | SAT | 1.59276 | 1.61341 |
Choco2.1.1 2009-06-10 (complete) | 2070728 | SAT | 1.68974 | 1.74888 |
bpsolver 09 (complete) | 2070733 | SAT | 15.1667 | 15.2914 |
pcs 0.3.2 (complete) | 2070724 | SAT | 29.1646 | 29.4471 |
pcs-restart 0.3.2 (complete) | 2070725 | SAT | 48.7536 | 49.1918 |
Abscon 112v4 ESAC (complete) | 2095510 | SAT | 921.047 | 924.976 |
Abscon 112v4 AC (complete) | 2095509 | SAT | 944.483 | 951.565 |
Sugar v1.14.6+picosat (complete) | 2070729 | ? | 266.901 | 277.335 |
Sugar v1.14.6+minisat (complete) | 2070730 | ? | 267.671 | 277.489 |
SAT4J CSP 2.1.1 (complete) | 2070723 | ? | 619.804 | 620.605 |
Concrete 2009-07-14 (complete) | 2070726 | ? (TO) | 1800.03 | 1805.42 |
Concrete DC 2009-07-14 (complete) | 2070727 | ? (TO) | 1800.08 | 1813.93 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:7 17 61 53 43 53 17 41 29 3 5 19 31 71 7 17 2 17 41 59 37 23 19 29 5 31 5 7 19 53 29 5 5 67 29 19 43 59 37 5 29 43 3 71 11 61 67 11 53 31 43 17 37 2 59 43 5 31 59 3 13 13 11 19 59 13 17 29 43 61 11 53 5 13 47 19 47 11 7 31 19 23 59 67 23 11 7 37 47 71 41 2 59 23 71 41 17 17 47 71