3527 articles – 5253 references  [version française]

inria-00423068, version 1

Testing Provers on a Grid - Framework Description

Carlos Areces 1, Daniel Gorin, Alejandra Lorenzo, Mariano Perez Rodriguez

Proceedings of the 22nd International Workshop on Description Logics - DL 2009 477 (2009)

Abstract: GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a computer grid. It automatically generates a report as a PostScript file which, among others, includes graphs for time comparison. We have found GridTest extremely useful for testing and comparing the performance of different automated theorem provers (for hybrid, modal, first order and description logics). We present GridTest in this framework description in the hope that it might be useful for the general community working in automated deduction.

  • 1:  TALARIS (INRIA Nancy - Grand Est / LORIA)
  • CNRS : UMR7503 – INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domain : Computer Science/Logic in Computer Science
 
  • inria-00423068, version 1
  • http://hal.inria.fr/inria-00423068
  • oai:hal.inria.fr:inria-00423068
  • From: Areces Carlos <>
  • Submitted on: Friday, 9 October 2009 13:02:35
  • Updated on: Thursday, 15 October 2009 10:33:21