• Chaff

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

  • Referenced in 215 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 277 articles [sw04067]
  • various academic and industrial applications suited for benchmarking and testing of mip solution algorithms...
  • NAS Parallel Benchmarks

  • Referenced in 125 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 124 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 144 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 155 articles [sw04103]
  • common standards and a library of benchmarks would greatly facilitate the evaluation and the comparison...
  • CEC 05

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

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

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

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

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

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

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

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

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

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

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