• SMT-LIB

  • Referenced in 190 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...
  • CSPLib

  • Referenced in 92 articles [sw04150]
  • submitting new problems a paper about the library (in postscript or html) and its bibtex ... report page) a list of related benchmark libraries links to constraint solvers a history...
  • PSPLIB

  • Referenced in 267 articles [sw00740]
  • project scheduling problem library. We present a set of benchmark instances for the evaluation ... site. Hence, researchers can download the benchmark sets they need for the evaluation of their ... progress made in the field, the instance library will be continuously enlarged and new results...
  • PESPLib

  • Referenced in 57 articles [sw26344]
  • PESPlib: This is a benchmark library for Periodic Event Scheduling Problems as introduced...
  • StarExec

  • Referenced in 45 articles [sw08839]
  • solving infrastructure to researchers to manage benchmark libraries, community membership, and provide solver execution...
  • SWASHES

  • Referenced in 39 articles [sw15623]
  • Hydraulic and Environmental Studies. SWASHES is a library of Shallow Water Analytic Solutions for Hydraulic ... models to easily find an adaptable benchmark library to validate numerical methods. The SWASHES software...
  • Sledgehammer

  • Referenced in 128 articles [sw07047]
  • variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides an ideal test bench...
  • LEMON

  • Referenced in 48 articles [sw05043]
  • alternative to these widely used libraries, and our benchmarks show that it typically outperforms them...
  • DPPD

  • Referenced in 14 articles [sw09884]
  • Dozens of Problems for Partial Deduction) Library of Benchmarks. Maintained by Michael Leuschel. Suggestions, comments ... mal@ecs.soton.ac.uk. This library aims at being a standard suite of benchmarks for partial deduction ... Kusalik benchmarks) contains too few benchmarks, most of which are too simple and too small ... library, but for partial deduction. The library contains benchmarks consisting of declarative logic programs, together...
  • SLICOT

  • Referenced in 83 articles [sw01095]
  • standardisation: the library is based on rigorous programming and documentation standards; 7. benchmarking...
  • Mintoc

  • Referenced in 15 articles [sw08854]
  • benchmark library of mixed-integer optimal control problems. The main intention is to provide algorithm...
  • COMPleib

  • Referenced in 57 articles [sw06359]
  • test examples. The library can be used for testing and benchmarking algorithms for linear semidefinite...
  • ASlib

  • Referenced in 11 articles [sw15088]
  • ASlib: a benchmark library for algorithm selection. The task of algorithm selection involves choosing...
  • StirMark

  • Referenced in 34 articles [sw19164]
  • procedures for watermarking systems and a first benchmark was made possible with the release ... evaluate quickly watermarking libraries. This was the goal of the StirMark Benchmark Service project ... this tool was the new StirMark Benchmark evaluation engine that you can download from this ... easily plug-in your watermarking library so it can be evaluated using an evaluation profile...
  • Packlib2

  • Referenced in 9 articles [sw00666]
  • PackLib 2 , the first fully integrated benchmark library for multi-dimensional packing instances. PackLib...
  • CBLIB

  • Referenced in 5 articles [sw13433]
  • CBLIB 2014: A benchmark library for conic mixed-integer and continuous optimization. The Conic Benchmark ... Library (CBLIB 2014) is a collection of more than a hundred conic optimization instances under ... policy. It is the first extensive benchmark library for the advancing field of conic mixed...
  • PISA

  • Referenced in 62 articles [sw01397]
  • library of ready-to-go modules, namely optimization problems (test and benchmark problems), selection modules...
  • HR

  • Referenced in 29 articles [sw10392]
  • production of benchmark theorems for the TPTP library of test problems for ATP systems...
  • mpFq

  • Referenced in 19 articles [sw09337]
  • field at runtime. This library is used to present benchmarks on some curve-based public...
  • ILTP

  • Referenced in 28 articles [sw00437]
  • Theorem Proving (ILTP) library provides a platform for testing and benchmarking automated theorem proving ... results on the problems in the ILTP library...