| Name | travellingSalesman/travellingSalesman-25/ tsp-25-523_ext.xml |
| MD5SUM | 574d05c6319781b81aa96225f5b39ad5 |
| 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 | 18.2322 |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| 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 |
|---|---|---|---|---|
| Abscon 109 AC | 207843 | SAT | 18.2322 | 18.3598 |
| Abscon 109 ESAC | 207842 | SAT | 62.0026 | 62.6305 |
| Mistral 2006-12-04 | 207849 | SAT | 200.606 | 202.2 |
| Tramontane 2006-12-04 | 207850 | SAT | 309.398 | 309.75 |
| sugar 0.40 | 207851 | ? | 24.32 | 24.733 |
| CSP4J - MAC 2006-12-19 | 207845 | ? | 34.3278 | 34.4423 |
| CSP4J - Combo 2006-12-19 | 207844 | ? | 34.5058 | 35.0104 |
| CSP4J - MAC 2007-01-16 | 270695 | ? | 38.9901 | 39.237 |
| galacJ beta 1 | 207841 | ? (problem) | 101.4 | 102.195 |
| CSPtoSAT+minisat 0.3 | 207852 | ? (MO) | 13.5609 | 13.6898 |
| sat4jCSP 1.7 RC BF3 | 207848 | ? (MO) | 157.039 | 155.195 |
| SAT4JCSP-CACHED 1.7 RC BF3 | 207847 | ? (MO) | 192.835 | 192.493 |
| galac 1 | 207846 | ? (TO) | 1800.01 | 1810.46 |
| BPrologCSPSolver70a 2006-12-13 | 207840 | ? (TO) | 1800.05 | 1803.88 |