Name | csp/primes-25/ normalized-primes-25-40-2-7.xml |
MD5SUM | 7aef82243bc2aebd1c139344929a6be1 |
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 | 13.464 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Maximum constraint arity | 9 |
Maximum domain size | 96 |
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.1b 2009-07-16 (complete) | 2115016 | SAT | 13.464 | 13.6233 |
bpsolver 09 (complete) | 2063583 | SAT | 28.3097 | 28.4462 |
Choco2.1.1 2009-06-10 (complete) | 2063578 | SAT | 169.553 | 171.176 |
Mistral 1.545 (complete) | 2063582 | SAT | 693.689 | 696.573 |
SAT4J CSP 2.1.1 (complete) | 2063573 | ? | 145.014 | 144.071 |
Sugar v1.14.6+picosat (complete) | 2063579 | ? | 244.9 | 255.009 |
Sugar v1.14.6+minisat (complete) | 2063580 | ? | 248.936 | 257.874 |
Concrete DC 2009-07-14 (complete) | 2063577 | ? (TO) | 1800.03 | 1810.32 |
Concrete 2009-07-14 (complete) | 2063576 | ? (TO) | 1800.03 | 1801.83 |
Abscon 112v4 ESAC (complete) | 2094210 | ? (TO) | 1800.07 | 1800.84 |
pcs 0.3.2 (complete) | 2063574 | ? (TO) | 1800.08 | 1814.54 |
pcs-restart 0.3.2 (complete) | 2063575 | ? (TO) | 1800.09 | 1816.15 |
Abscon 112v4 AC (complete) | 2094209 | ? (TO) | 1800.17 | 1814.98 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:19 34 39 21 80 31 30 71 21 87 23 19 4 42 88 43 4 5 88 54 40 10 37 14 97 51 9 13 15 75 6 18 81 37 46 17 52 5 79 59 7 97 88 67 8 14 56 27 48 73 33 61 8 57 15 80 3 67 51 90 51 59 47 13 37 21 23 46 43 18 41 76 27 3 67 76 35 14 61 41 77 52 12 28 23 57 41 58 35 90 13 15 3 18 53 14 34 5 71 8