• TSPLIB

  • Referenced in 671 articles [sw00983]
  • TSPLIB is a library of sample instances for the TSP (and related problem) from various...
  • PSPLIB

  • Referenced in 254 articles [sw00740]
  • project scheduling problem library. We present a set of benchmark instances for the evaluation ... progress made in the field, the instance library will be continuously enlarged and new results...
  • SMT-LIB

  • Referenced in 186 articles [sw04103]
  • availability of common standards and a library of benchmarks would greatly facilitate the evaluation ... same way as, for instance, the TPTP library has done for theorem proving...
  • SteinLib

  • Referenced in 104 articles [sw04066]
  • this library is to collect freely available instances of Steiner tree problems in graphs ... library is meant as an open forum for difficult Steiner tree instances. We would ... contribute to this library by sending us hard and/or real life instances...
  • MIPLIB2003

  • Referenced in 124 articles [sw07675]
  • MIPLIB, an electronically available library of both pure and mixed integer programs. This was updated ... improvements in computing machinery have made several instances too easy to be of further interest ... Therefore we have purged the library of those instance and filled the free slots with...
  • Concorde

  • Referenced in 303 articles [sw04770]
  • TSPLIB instances; the largest having 85,900 cities. The Concorde callable library includes over...
  • SNDlib

  • Referenced in 69 articles [sw00884]
  • SNDlib is a library of test instances for Survivable fixed telecommunication Network Design. Its purpose ... make realistic network design test instances available to the research community, to serve ... this end, the library includes a set of network design instances together with the best...
  • LOLIB

  • Referenced in 83 articles [sw12655]
  • LOLIB is a library of sample instances for the linear ordering problem. LOLIB includes data...
  • TPTP

  • Referenced in 378 articles [sw04143]
  • supplies the ATP community with: A comprehensive library of the ATP test problems that ... interesting information for each problem. Arbitrary size instances of generic problems (e.g., the N-queens ... systems being considered. A common library of problems is necessary for meaningful system evaluations, meaningful...
  • GTSP Instances Library

  • Referenced in 14 articles [sw14651]
  • taken from a well known TSP instances library, TSPLIB, created by Gerhard Reinelt [3]. Since ... this website, you will find these instances in several formats. You will also find...
  • FGb

  • Referenced in 244 articles [sw00286]
  • conjunction with other software, the FGb library has been used in various applications (Robotic, Signal ... wide range of problems in Cryptology (for instance, FGb was explicitly used...
  • GasLib

  • Referenced in 25 articles [sw17977]
  • GasLib. A library of gas network instances. Natural gas is one of the most important...
  • MIRPLib

  • Referenced in 17 articles [sw11220]
  • MIRPLib -- a library of maritime inventory routing problem instances: survey, core model, and benchmark results ... present a library, called MIRPLib, of publicly available test problem instances for MIRPs with inventory...
  • Rcpp

  • Referenced in 217 articles [sw08385]
  • functions as well as a C++ library which facilitate the integration ... example, numeric vectors are represented as instances of the Rcpp::NumericVector class, environments are represented...
  • MineLib

  • Referenced in 16 articles [sw07469]
  • MIPLIB), we present a library of publicly available test problem instances for three classical types ... provide a library consisting of mathematical models and sets of instances, available on the Internet ... this newly established mining library. The library serves not only as a suggestion of standard...
  • SINTEF

  • Referenced in 35 articles [sw02984]
  • library for solving problems in transportation planning, for instance dynamic fleet management. It is based...
  • ParaSCIP

  • Referenced in 29 articles [sw06292]
  • previously unsolved instances from MIPLIB2003, a standard test set library for MIP solvers. For these...
  • VRPLIB

  • Referenced in 8 articles [sw10144]
  • DEIS - Operations Research Group Library of Instances. VRPLIB: A Vehicle Routing Problem LIBrary...
  • QPLIB

  • Referenced in 5 articles [sw31286]
  • instances. This paper describes a new instance library for quadratic programming (QP), i.e., the family ... aspects are fundamental. Selecting a set of instances of QP that is at the same ... propose a simple taxonomy for QP instances leading to a systematic problem selection mechanism ... solvers. Finally, we describe how the library was put together, and detail its final contents...
  • BPPLIB

  • Referenced in 7 articles [sw23883]
  • problems. We present a library of computer codes, benchmark instances, and pointers to relevant articles ... linear programming solver. For such cases, the library provides two versions: one that uses ... benchmark section provides over six thousands instances (partly coming from the literature and partly randomly ... solutions. Instances that are difficult to solve to proven optimality are included. The library also...