Testing Provers on a Grid - Framework Description

C. Areces, D. Gor\'in, A. Lorenzo, and M. Pérez Rodr\'iguez. Testing Provers on a Grid - Framework Description. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009), CEUR-WS.org, 2009.

Download

[pdf] 

Abstract

GridTest is a framework for testing automated theorem prov- ers 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.

BibTeX

@InProceedings{Areces2009c,
  author =       "C. Areces and D. Gor{\'i}n and A. Lorenzo and M.
                 P{\'e}rez Rodr{\'i}guez",
  booktitle =    "Proceedings of the 22nd International Workshop on
                 Description Logics (DL 2009)",
  title =        "Testing Provers on a Grid - Framework Description",
  year =         "2009",
  abstract =     "GridTest is a framework for testing automated theorem
                 prov- ers 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.",
  editor =       "B. Cuenca Grau and I. Horrocks and B. Motik and U.
                 Sattler",
  publisher =    "CEUR-WS.org",
  series =       "CEUR Workshop Proceedings",
  volume =       "477",
}