• Chaff

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

  • Referenced in 254 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 310 articles [sw04067]
  • various academic and industrial applications suited for benchmarking and testing of mip solution algorithms...
  • Benchmarks for Optimization Software

  • Referenced in 139 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...
  • NAS Parallel Benchmarks

  • Referenced in 128 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...
  • NETGEN

  • Referenced in 148 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 186 articles [sw04103]
  • common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison...
  • BSDS

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

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

  • Referenced in 115 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...
  • JADE

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

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

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

  • Referenced in 81 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...
  • BEMECH

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

  • Referenced in 92 articles [sw04150]
  • technical report page) a list of related benchmark libraries links to constraint solvers a history...
  • benchmodred

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