• Chaff

  • Referenced in 561 articles [sw06916]
  • magnitude performance improvement on difficult SAT benchmarks in comparison with other solvers (DP or otherwise...
  • PSPLIB

  • Referenced in 246 articles [sw00740]
  • problem library. We present a set of benchmark instances for the evaluation of solution procedures ... 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 292 articles [sw04067]
  • various academic and industrial applications suited for benchmarking and testing of mip solution algorithms...
  • NAS Parallel Benchmarks

  • Referenced in 129 articles [sw08853]
  • Parallel Benchmarks (NPB) are a small set of programs designed to help evaluate the performance ... parallel supercomputers. The benchmarks are derived from computational fluid dynamics (CFD) applications and consist ... pencil-and-paper” specification (NPB 1). The benchmark suite has been extended to include ... benchmarks for unstructured adaptive mesh, parallel I/O, multi-zone applications, and computational grids. Problem sizes...
  • Benchmarks for Optimization Software

  • Referenced in 132 articles [sw04617]
  • Benchmarks for Optimization Software: Here we provide information on testruns comparing different solution methods ... same or on different computer systems. Benchmarking is a difficult area for nonlinear problems, since ... your choice on your specific application. Many benchmark results can be found in the literature...
  • NETGEN

  • Referenced in 145 articles [sw09229]
  • network problems together with a set of benchmarked problems derived from it. The code “NETGEN ... vary structural characteristics within a class. Problems benchmarked on several codes currently available are provided...
  • SMT-LIB

  • Referenced in 180 articles [sw04103]
  • common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison...
  • BSDS

  • Referenced in 165 articles [sw14427]
  • Berkeley Segmentation Dataset and Benchmark. A database of human segmented natural images and its application...
  • CEC 05

  • Referenced in 163 articles [sw18811]
  • Real-Parameter Optimization. .. In this report, 25 benchmark functions are given and experiments are conducted...
  • RCV1

  • Referenced in 106 articles [sw07279]
  • RCV1: A New Benchmark Collection for Text Categorization Research. Reuters Corpus Volume I (RCV1 ... corrected data as RCV1-v2. We benchmark several widely used supervised learning methods on RCV1...
  • Sledgehammer

  • Referenced in 116 articles [sw07047]
  • Isabelle tactics on a variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides...
  • JADE

  • Referenced in 116 articles [sw24855]
  • convergence performance for a set of 20 benchmark problems. JADE with an external archive shows...
  • SLICOT

  • Referenced in 79 articles [sw01095]
  • rigorous programming and documentation standards; 7. benchmarking, i.e., a standardised set of examples that allows ... with respect to correctness, accuracy, and speed. Benchmarking gives also insight in the behaviour...
  • PHAVer

  • Referenced in 107 articles [sw04123]
  • polyhedra. Experimental results for a navigation benchmark and a tunnel diode circuit show the effectiveness...
  • BEMECH

  • Referenced in 101 articles [sw10847]
  • computer code, and f) the presentation of benchmark problems and applications.par This book will...
  • CSPLib

  • Referenced in 91 articles [sw04150]
  • technical report page) a list of related benchmark libraries links to constraint solvers a history...
  • Cell-PLoc

  • Referenced in 90 articles [sw09126]
  • series of cross-validation tests on the benchmark data sets that covered...
  • MiBench

  • Referenced in 51 articles [sw04421]
  • programs and compares them to an existing benchmark suite, SPEC2000. A new version of SimpleScalar ... used to characterize the performance of the benchmarks using configurations similar to current and next ... representative embedded programs from the existing SPEC benchmarks including instruction distribution, memory behavior, and available ... parallelism. The embedded benchmarks, called MiBench, are freely available to all researchers...
  • benchmodred

  • Referenced in 54 articles [sw27644]
  • Benchmark examples for model reduction of linear time-invariant dynamical systems. We present a benchmark ... describe here the relevant characteristics of the benchmark examples...