• PSPLIB

  • Referenced in 250 articles [sw00740]
  • library. We present a set of benchmark instances for the evaluation of solution procedures ... mode resource-constrained project scheduling problems. The instances have been systematically generated by the standard ... input-parameters of ProGen. The entire benchmark set including its detailed characterization and the best ... site. Hence, researchers can download the benchmark sets they need for the evaluation of their...
  • MIPLIB

  • Referenced in 300 articles [sw04067]
  • world mip instances from various academic and industrial applications suited for benchmarking and testing...
  • Beam-ACO

  • Referenced in 24 articles [sw11745]
  • methods on a wide range of benchmark instances...
  • GasLib

  • Referenced in 24 articles [sw17977]
  • GasLib. A library of gas network instances. Natural gas is one of the most important ... large and realistic benchmark instances...
  • Chaff

  • Referenced in 567 articles [sw06916]
  • practical solutions to this problem for problem instances encountered in a range of applications ... magnitude performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise...
  • MIRPLib

  • Referenced in 16 articles [sw11220]
  • maritime inventory routing problem instances: survey, core model, and benchmark results. This paper presents ... called MIRPLib, of publicly available test problem instances for MIRPs with inventory tracking at every ... this end, we (1) make available benchmark instances for this particular class of MIRPs...
  • SMT-LIB

  • Referenced in 182 articles [sw04103]
  • common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison ... field in the same way as, for instance, the TPTP library has done for theorem...
  • FastFDs

  • Referenced in 10 articles [sw01613]
  • number of attributes of the instance. We develop an algorithm, FastFDs, for solving this problem ... report several tests on distinct benchmark relation instances involving Dep-Miner, FastFDs, and TANE ... partitioning approach for many of these benchmark instances...
  • SNDlib

  • Referenced in 69 articles [sw00884]
  • test instances available to the research community, to serve as a standardized benchmark for testing ... library includes a set of network design instances together with the best known solutions...
  • NSPLib

  • Referenced in 8 articles [sw11952]
  • meta-)heuristic procedures to solve a NSP instance heuristically in an acceptable time limit. However ... newly developed procedures without any effort to benchmark them in literature. The contribution of this ... propose a large set of benchmark instances for the nurse scheduling problem in order ... newly developed website where the benchmark instances can be downloaded and where the best known...
  • Packlib2

  • Referenced in 9 articles [sw00666]
  • first fully integrated benchmark library for multi-dimensional packing instances. PackLib ... combines a systematic collection of all benchmark instances from previous literature with a well-organized ... challenging large instances. The XML format allows linking basic benchmark data with other important properties ... origin, best known solutions, runtimes, etc. Transforming instances into a variety of existing input formats...
  • QUALEX

  • Referenced in 49 articles [sw04742]
  • DIMACS benchmark graphs and various random maximum weight clique problem instances...
  • BEEM

  • Referenced in 30 articles [sw09815]
  • checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with...
  • Ts2pack

  • Referenced in 13 articles [sw23796]
  • algorithm. Extensive computational results on benchmark problem instances show the effectiveness of the proposed approach...
  • CUTGEN1

  • Referenced in 41 articles [sw14833]
  • random problem instances. Finally, by applying the generator a set of benchmark problems is identified...
  • BPPLIB

  • Referenced in 4 articles [sw23883]
  • present a library of computer codes, benchmark instances, and pointers to relevant articles for these ... freeware solver SCIP. The benchmark section provides over six thousands instances (partly coming from ... manually solve bin packing and cutting stock instances. We conclude this work by reporting ... number of computer codes and benchmark instances...
  • CBMix

  • Referenced in 10 articles [sw18215]
  • CBMix benchmark. Here you find instance definitions and the best known upper and lower bounds ... knowledge) for the 23 instances of the CBMix benchmark created by Prins and Bouchenoua...
  • Blossom IV

  • Referenced in 36 articles [sw04781]
  • present computational results for geometric problem instances ranging in size from 1,000 nodes ... benchmark of the algorithm’s performance, solving a 100,000-node geometric instance...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers, and tools we are using ... site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms’ performance...
  • HuGS

  • Referenced in 6 articles [sw10598]
  • time new best automatic results on benchmark problem instances...