{"data":{"id":"10.4121/uuid:16703b4f-4093-4bf8-bace-698b0a885984","type":"dois","attributes":{"doi":"10.4121/uuid:16703b4f-4093-4bf8-bace-698b0a885984","prefix":"10.4121","suffix":"uuid:16703b4f-4093-4bf8-bace-698b0a885984","identifiers":[],"alternateIdentifiers":[],"creators":[{"name":"Planken, L.R.(Léon)","givenName":"L.R.(Léon)","familyName":"Planken","affiliation":[],"nameIdentifiers":[]},{"name":"de Weerdt, Mathijs","nameType":"Personal","givenName":"Mathijs","familyName":"de Weerdt","nameIdentifiers":[{"nameIdentifier":"0000-0002-0470-6241","nameIdentifierScheme":"https://orcid.org/"}],"affiliation":[]},{"name":"van der Krogt, R.P.J.(Roman)","givenName":"R.P.J.(Roman)","familyName":"van der Krogt","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Benchmark instances for experiments in \"Computing all-pairs shortest paths by leveraging low treewidth\" - Job shop (Figure 7)"}],"publisher":"TU Delft - Delft University of Technology; Faculty EEMCS; Algorithmics group","container":{},"publicationYear":2011,"subjects":[{"subject":"Computation Theory and Mathematics","subjectScheme":"Australian and New Zealand Standard Research Classification (ANZSRC), 2008","classificationCode":"0802"},{"subject":"FOS: Computer and information sciences","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"APSP, all-pairs shortest paths"},{"subject":"Collection: Benchmark instances for experiments in [Computing All-Pairs Shortest Paths by Leveraging Low Treewidth (paper, 2011)]"},{"subject":"STN, simple temporal network"},{"subject":"STP, simple temporal problem"},{"subject":"shortest path"}],"contributors":[{"name":"TU Delft-Delft University Of Technology; Faculty EEMCS; Algorithmics Group","nameType":"Organizational","affiliation":[],"contributorType":"Other","nameIdentifiers":[]},{"name":"University College Cork; Cork Constraint Computations Centre","nameType":"Organizational","affiliation":[],"contributorType":"Other","nameIdentifiers":[]}],"dates":[{"date":"2011-03-15","dateType":"Issued"}],"language":null,"types":{"ris":"DATA","bibtex":"misc","citeproc":"dataset","schemaOrg":"Dataset","resourceType":"Dataset","resourceTypeGeneral":"Dataset"},"relatedIdentifiers":[{"relationType":"References","relatedIdentifier":"http://www.smt-lib.org/","relatedIdentifierType":"URL"},{"relationType":"References","relatedIdentifier":"http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2700","relatedIdentifierType":"URL"}],"relatedItems":[],"sizes":[],"formats":["DIMACS graph format allowing infinite arc weights media types: application/x-gzip"],"version":"1","rightsList":[{"rights":"Creative Commons Attribution Non Commercial Share Alike 3.0 Unported","rightsUri":"https://creativecommons.org/licenses/by-nc-sa/3.0/legalcode","schemeUri":"https://spdx.org/licenses/","rightsIdentifier":"cc-by-nc-sa-3.0","rightsIdentifierScheme":"SPDX"}],"descriptions":[{"description":"STNs randomly generated from the SMT-LIB \"job shop\" benchmark. The files from SMT-LIB are DTP instances. STNs were generated from these by randomly selecting a literal from each clause. For each STN thus generated, the graph structure was maintained while modifying the weights of the constraint arcs such that at least one solution exists (i.e. the graph contains no negative cycles and the STN is consistent). This archive contains 600 graphs on 5–241 nodes, 8–3840 arcs, upper bound on treewidth 3–62. Parent item: Benchmark instances for experiments in [\"Computing All-Pairs Shortest Paths by Leveraging Low Treewidth\" (paper, 2011)]","descriptionType":"Abstract"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0iVVRGLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjQvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40MTIxL1VVSUQ6MTY3MDNCNEYtNDA5My00QkY4LUJBQ0UtNjk4QjBBODg1OTg0PC9pZGVudGlmaWVyPgogIDxjcmVhdG9ycz4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWU+TC5SLihMw6lvbikgUGxhbmtlbjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TC5SLihMw6lvbik8L2dpdmVuTmFtZT4KICAgICAgPGZhbWlseU5hbWU+UGxhbmtlbjwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWUgbmFtZVR5cGU9IlBlcnNvbmFsIj5NYXRoaWpzIGRlIFdlZXJkdDwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+TWF0aGlqczwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5kZSBXZWVyZHQ8L2ZhbWlseU5hbWU+CiAgICAgIDxuYW1lSWRlbnRpZmllciBuYW1lSWRlbnRpZmllclNjaGVtZT0iaHR0cHM6Ly9vcmNpZC5vcmcvIj4wMDAwLTAwMDItMDQ3MC02MjQxPC9uYW1lSWRlbnRpZmllcj4KICAgIDwvY3JlYXRvcj4KICAgIDxjcmVhdG9yPgogICAgICA8Y3JlYXRvck5hbWU+Ui5QLkouKFJvbWFuKSB2YW4gZGVyIEtyb2d0PC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5SLlAuSi4oUm9tYW4pPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPnZhbiBkZXIgS3JvZ3Q8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgPC9jcmVhdG9ycz4KICA8dGl0bGVzPgogICAgPHRpdGxlPkJlbmNobWFyayBpbnN0YW5jZXMgZm9yIGV4cGVyaW1lbnRzIGluICJDb21wdXRpbmcgYWxsLXBhaXJzIHNob3J0ZXN0IHBhdGhzIGJ5IGxldmVyYWdpbmcgbG93IHRyZWV3aWR0aCIgLSBKb2Igc2hvcCAoRmlndXJlIDcpPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPlRVIERlbGZ0IC0gRGVsZnQgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5OyBGYWN1bHR5IEVFTUNTOyBBbGdvcml0aG1pY3MgZ3JvdXA8L3B1Ymxpc2hlcj4KICA8cHVibGljYXRpb25ZZWFyPjIwMTE8L3B1YmxpY2F0aW9uWWVhcj4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IkRhdGFzZXQiPkRhdGFzZXQ8L3Jlc291cmNlVHlwZT4KICA8c3ViamVjdHM+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJBdXN0cmFsaWFuIGFuZCBOZXcgWmVhbGFuZCBTdGFuZGFyZCBSZXNlYXJjaCBDbGFzc2lmaWNhdGlvbiAoQU5aU1JDKSwgMjAwOCIgY2xhc3NpZmljYXRpb25Db2RlPSIwODAyIj5Db21wdXRhdGlvbiBUaGVvcnkgYW5kIE1hdGhlbWF0aWNzPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+QVBTUCwgYWxsLXBhaXJzIHNob3J0ZXN0IHBhdGhzPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+Q29sbGVjdGlvbjogQmVuY2htYXJrIGluc3RhbmNlcyBmb3IgZXhwZXJpbWVudHMgaW4gW0NvbXB1dGluZyBBbGwtUGFpcnMgU2hvcnRlc3QgUGF0aHMgYnkgTGV2ZXJhZ2luZyBMb3cgVHJlZXdpZHRoIChwYXBlciwgMjAxMSldPC9zdWJqZWN0PgogICAgPHN1YmplY3Q+U1ROLCBzaW1wbGUgdGVtcG9yYWwgbmV0d29yazwvc3ViamVjdD4KICAgIDxzdWJqZWN0PlNUUCwgc2ltcGxlIHRlbXBvcmFsIHByb2JsZW08L3N1YmplY3Q+CiAgICA8c3ViamVjdD5zaG9ydGVzdCBwYXRoPC9zdWJqZWN0PgogIDwvc3ViamVjdHM+CiAgPGNvbnRyaWJ1dG9ycz4KICAgIDxjb250cmlidXRvciBjb250cmlidXRvclR5cGU9Ik90aGVyIj4KICAgICAgPGNvbnRyaWJ1dG9yTmFtZSBuYW1lVHlwZT0iT3JnYW5pemF0aW9uYWwiPlRVIERlbGZ0IC0gRGVsZnQgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5OyBGYWN1bHR5IEVFTUNTOyBBbGdvcml0aG1pY3MgZ3JvdXA8L2NvbnRyaWJ1dG9yTmFtZT4KICAgIDwvY29udHJpYnV0b3I+CiAgICA8Y29udHJpYnV0b3IgY29udHJpYnV0b3JUeXBlPSJPdGhlciI+CiAgICAgIDxjb250cmlidXRvck5hbWUgbmFtZVR5cGU9Ik9yZ2FuaXphdGlvbmFsIj5Vbml2ZXJzaXR5IENvbGxlZ2UgQ29yazsgQ29yayBDb25zdHJhaW50IENvbXB1dGF0aW9ucyBDZW50cmU8L2NvbnRyaWJ1dG9yTmFtZT4KICAgIDwvY29udHJpYnV0b3I+CiAgPC9jb250cmlidXRvcnM+CiAgPGRhdGVzPgogICAgPGRhdGUgZGF0ZVR5cGU9Iklzc3VlZCI+MjAxMS0wMy0xNTwvZGF0ZT4KICA8L2RhdGVzPgogIDxyZWxhdGVkSWRlbnRpZmllcnM+CiAgICA8cmVsYXRlZElkZW50aWZpZXIgcmVsYXRlZElkZW50aWZpZXJUeXBlPSJVUkwiIHJlbGF0aW9uVHlwZT0iUmVmZXJlbmNlcyI+aHR0cDovL3d3dy5zbXQtbGliLm9yZy88L3JlbGF0ZWRJZGVudGlmaWVyPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iVVJMIiByZWxhdGlvblR5cGU9IlJlZmVyZW5jZXMiPmh0dHA6Ly9hYWFpLm9yZy9vY3MvaW5kZXgucGhwL0lDQVBTL0lDQVBTMTEvcGFwZXIvdmlldy8yNzAwPC9yZWxhdGVkSWRlbnRpZmllcj4KICA8L3JlbGF0ZWRJZGVudGlmaWVycz4KICA8Zm9ybWF0cz4KICAgIDxmb3JtYXQ+RElNQUNTIGdyYXBoIGZvcm1hdCBhbGxvd2luZyBpbmZpbml0ZSBhcmMgd2VpZ2h0cwptZWRpYSB0eXBlczogYXBwbGljYXRpb24veC1nemlwPC9mb3JtYXQ+CiAgPC9mb3JtYXRzPgogIDx2ZXJzaW9uPjE8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cHM6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLXNhLzMuMC8iPkNDIEJZLU5DLVNBIDMuMDwvcmlnaHRzPgogIDwvcmlnaHRzTGlzdD4KICA8ZGVzY3JpcHRpb25zPgogICAgPGRlc2NyaXB0aW9uIGRlc2NyaXB0aW9uVHlwZT0iQWJzdHJhY3QiPlNUTnMgcmFuZG9tbHkgZ2VuZXJhdGVkIGZyb20gdGhlIFNNVC1MSUIgImpvYiBzaG9wIiBiZW5jaG1hcmsuIFRoZSBmaWxlcyBmcm9tIFNNVC1MSUIgYXJlIERUUCBpbnN0YW5jZXMuIFNUTnMgd2VyZSBnZW5lcmF0ZWQgZnJvbSB0aGVzZSBieSByYW5kb21seSBzZWxlY3RpbmcgYSBsaXRlcmFsIGZyb20gZWFjaCBjbGF1c2UuIEZvciBlYWNoIFNUTiB0aHVzIGdlbmVyYXRlZCwgdGhlIGdyYXBoIHN0cnVjdHVyZSB3YXMgbWFpbnRhaW5lZCB3aGlsZSBtb2RpZnlpbmcgdGhlIHdlaWdodHMgb2YgdGhlIGNvbnN0cmFpbnQgYXJjcyBzdWNoIHRoYXQgYXQgbGVhc3Qgb25lIHNvbHV0aW9uIGV4aXN0cyAoaS5lLiB0aGUgZ3JhcGggY29udGFpbnMgbm8gbmVnYXRpdmUgY3ljbGVzIGFuZCB0aGUgU1ROIGlzIGNvbnNpc3RlbnQpLiBUaGlzIGFyY2hpdmUgY29udGFpbnMgNjAwIGdyYXBocyBvbiA14oCTMjQxIG5vZGVzLCA44oCTMzg0MCBhcmNzLCB1cHBlciBib3VuZCBvbiB0cmVld2lkdGggM+KAkzYyLgpQYXJlbnQgaXRlbToKQmVuY2htYXJrIGluc3RhbmNlcyBmb3IgZXhwZXJpbWVudHMgaW4gWyJDb21wdXRpbmcgQWxsLVBhaXJzIFNob3J0ZXN0IFBhdGhzIGJ5IExldmVyYWdpbmcgTG93IFRyZWV3aWR0aCIgKHBhcGVyLCAyMDExKV08L2Rlc2NyaXB0aW9uPgogIDwvZGVzY3JpcHRpb25zPgo8L3Jlc291cmNlPg==","url":"https://data.4tu.nl/articles/_/12681050/1","contentUrl":null,"metadataVersion":22,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":1,"viewsOverTime":[{"yearMonth":"2026-03","total":1}],"downloadCount":0,"downloadsOverTime":[{"yearMonth":"2026-03","total":0}],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2012-04-02T13:18:56.000Z","registered":"2012-04-02T13:18:56.000Z","published":"2011","updated":"2021-10-31T17:34:35.000Z"},"relationships":{"client":{"data":{"id":"delft.data4tu","type":"clients"}},"provider":{"data":{"id":"scpr","type":"providers"}},"media":{"data":{"id":"10.4121/uuid:16703b4f-4093-4bf8-bace-698b0a885984","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}