| Name | csp/primes-15/ normalized-primes-15-20-2-7.xml |
| MD5SUM | e2e5b8738391b6588798536d183cefce |
| 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.012997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 20 |
| 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 | 20 |
| Global constraints used (with number of constraints) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral 1.545 (complete) | 2077816 | SAT | 0.012997 | 0.016589 |
| bpsolver 09 (complete) | 2077817 | SAT | 0.046991 | 0.0534629 |
| Choco2.1.1b 2009-07-16 (complete) | 2116310 | SAT | 0.862868 | 0.893461 |
| Choco2.1.1 2009-06-10 (complete) | 2077812 | SAT | 0.964852 | 1.01664 |
| pcs 0.3.2 (complete) | 2077808 | SAT | 14.2928 | 14.4343 |
| pcs-restart 0.3.2 (complete) | 2077809 | SAT | 121.24 | 122.354 |
| SAT4J CSP 2.1.1 (complete) | 2077807 | ? | 171.576 | 170.365 |
| Sugar v1.14.6+minisat (complete) | 2077814 | ? (MO) | 161.103 | 180.71 |
| Sugar v1.14.6+picosat (complete) | 2077813 | ? (MO) | 369.181 | 378.297 |
| Concrete 2009-07-14 (complete) | 2077810 | ? (TO) | 1800.03 | 1800.73 |
| Concrete DC 2009-07-14 (complete) | 2077811 | ? (TO) | 1800.04 | 1804.03 |
| Abscon 112v4 AC (complete) | 2096797 | ? (TO) | 1800.09 | 1812.17 |
| Abscon 112v4 ESAC (complete) | 2096798 | ? (TO) | 1800.18 | 1814.77 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6 2 20 38 23 21 21 47 2 20 4 47 13 2 2 2 2 39 2 46 46 37 2 32 2 46 2 47 47 42 47 2 43 2 45 3 47 2 24 10 3 47 2 44 47 2 14 47 45 2 30 2 2 10 44 2 9 2 2 44 4 2 2 27 41 22 30 4 2 10 2 2 45 47 23 2 2 2 2 44 2 46 38 47 2 25 47 47 35 2 11 3 8 2 19 2 2 38 2 47