Name | csp/primes-15/ normalized-primes-15-80-3-7.xml |
MD5SUM | f72bf44d4aefee958618dddc4fe21788 |
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.217965 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 80 |
Maximum constraint arity | 10 |
Maximum domain size | 46 |
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 |
---|---|---|---|---|
bpsolver 09 (complete) | 2077773 | SAT | 0.217965 | 0.225834 |
Mistral 1.545 (complete) | 2077772 | SAT | 0.459929 | 0.463064 |
Choco2.1.1 2009-06-10 (complete) | 2077768 | SAT | 1.27581 | 1.30954 |
Choco2.1.1b 2009-07-16 (complete) | 2116306 | SAT | 1.47678 | 1.52418 |
pcs 0.3.2 (complete) | 2077764 | SAT | 3.85341 | 3.89788 |
pcs-restart 0.3.2 (complete) | 2077765 | SAT | 11.0863 | 11.2047 |
Abscon 112v4 AC (complete) | 2096789 | SAT | 288.998 | 291.848 |
Abscon 112v4 ESAC (complete) | 2096790 | SAT | 552.27 | 555.937 |
SAT4J CSP 2.1.1 (complete) | 2077763 | ? | 164.859 | 163.949 |
Sugar v1.14.6+minisat (complete) | 2077770 | ? | 251.066 | 263.55 |
Sugar v1.14.6+picosat (complete) | 2077769 | ? | 260.883 | 274.184 |
Concrete 2009-07-14 (complete) | 2077766 | ? (TO) | 1800.01 | 1808.92 |
Concrete DC 2009-07-14 (complete) | 2077767 | ? (TO) | 1800.1 | 1808.82 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47