• Chaff

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

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

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

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

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

  • Referenced in 117 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 137 articles [sw24855]
  • convergence performance for a set of 20 benchmark problems. JADE with an external archive shows...
  • Sledgehammer

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

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

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

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

  • Referenced in 91 articles [sw16108]
  • tasks. In this work we will provide benchmarks, present the novel aspects of the implementation...
  • Cell-PLoc

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