TY - DATA
T1 - Network instance Diamonds, edition 2
PY - 2012/03/09
AU - L.R.(Léon) Planken
AU - Mathijs de Weerdt
AU - R.P.J.(Roman) van der Krogt
UR - https://data.4tu.nl/articles/dataset/Network_instance_Diamonds_edition_2/12703142/1
DO - 10.4121/uuid:6cad8a1b-88db-4a64-97eb-b4f3f1a87047
KW - APSP, all-pairs shortest paths
KW - STN, simple temporal network
KW - STP, simple temporal problem
KW - shortest path
N2 - STNs randomly generated in the SMT-LIB "diamonds" benchmark category. The benchmarks 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 130 graphs on 111–2751 vertices, 111–2751 edges, upper bound on treewidth 2.
Parent item:
Benchmark instances for experiments in ["Computing All-Pairs Shortest Paths by Leveraging Low Treewidth" (paper, 2012)]
ER -