Name | csp/primes-10/ normalized-primes-10-20-2-7.xml |
MD5SUM | 463851fbfcf9cc61468534a99c1e529b |
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 | 28 |
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) | 2078080 | SAT | 0.012997 | 0.0158739 |
bpsolver 09 (complete) | 2078081 | SAT | 0.045992 | 0.0532991 |
Choco2.1.1 2009-06-10 (complete) | 2078076 | SAT | 0.798877 | 0.844729 |
Choco2.1.1b 2009-07-16 (complete) | 2116334 | SAT | 0.881865 | 0.90536 |
pcs-restart 0.3.2 (complete) | 2078073 | SAT | 13.077 | 13.1441 |
pcs 0.3.2 (complete) | 2078072 | SAT | 13.9629 | 14.0354 |
Sugar v1.14.6+minisat (complete) | 2078078 | SAT | 46.8929 | 47.674 |
Sugar v1.14.6+picosat (complete) | 2078077 | SAT | 204.712 | 206.279 |
Abscon 112v4 AC (complete) | 2096845 | SAT | 710.647 | 717.395 |
Abscon 112v4 ESAC (complete) | 2096846 | SAT | 1256.43 | 1262.27 |
SAT4J CSP 2.1.1 (complete) | 2078071 | ? | 101.167 | 99.6682 |
Concrete DC 2009-07-14 (complete) | 2078075 | ? (TO) | 1800.01 | 1803.93 |
Concrete 2009-07-14 (complete) | 2078074 | ? (TO) | 1800.02 | 1809.02 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:29 2 27 15 22 26 5 7 29 23 4 18 2 3 2 2 2 29 2 27 2 29 2 2 2 2 25 29 15 3 23 2 29 28 29 15 29 29 13 11 3 28 2 28 20 2 10 29 2 2 2 2 2 17 29 3 20 2 2 27 2 6 2 29 8 9 15 3 2 11 2 2 4 29 20 10 2 2 2 29 2 29 29 29 2 28 23 13 4 29 29 2 29 29 8 2 2 2 2 2