Name | csp/travellingSalesman-25/ normalized-tsp-25-38_ext.xml |
MD5SUM | b1cd667c35ed5ba4931e06993e78bd10 |
Bench Category | N-ARY-EXT (n-ary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.12183 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 76 |
Number of constraints | 350 |
Maximum constraint arity | 3 |
Maximum domain size | 1001 |
Number of constraints which are defined in extension | 350 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Mistral 1.545 (complete) | 2071546 | SAT | 1.12183 | 1.13168 |
Abscon 112v4 ESAC (complete) | 2095658 | SAT | 2.00569 | 2.04023 |
Conquer 2009-07-10 (complete) | 2071545 | SAT | 4.28835 | 4.46971 |
Concrete 2009-07-14 (complete) | 2071540 | SAT | 4.68229 | 4.78849 |
Abscon 112v4 AC (complete) | 2095657 | SAT | 4.69329 | 4.75263 |
bpsolver 09 (complete) | 2071547 | SAT | 10.7244 | 10.8249 |
Choco2.1.1 2009-06-10 (complete) | 2071542 | SAT | 25.3182 | 25.6214 |
Choco2.1.1b 2009-07-16 (complete) | 2115740 | SAT | 32.3781 | 32.7123 |
Sugar v1.14.6+picosat (complete) | 2071543 | SAT | 104.501 | 105.044 |
Sugar v1.14.6+minisat (complete) | 2071544 | SAT | 105.132 | 106.243 |
Concrete DC 2009-07-14 (complete) | 2071541 | SAT | 159.391 | 160.93 |
pcs-restart 0.3.2 (complete) | 2071539 | SAT | 448.913 | 452.827 |
pcs 0.3.2 (complete) | 2071538 | SAT | 947.458 | 952.52 |
SAT4J CSP 2.1.1 (complete) | 2071537 | ? | 647.558 | 647.646 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:18 5 19 5 16 16 17 10 11 3 13 29 12 1 21 5 20 1 4 3 9 1 25 6 15 5 3 0 22 4 8 6 6 14 10 8 5 3 23 4 2 1 14 4 7 2 1 2 24 2 10 26 36 39 68 69 74 75 78 79 85 90 90 94 100 114 122 125 129 130 134 136 138 140 140 0