Testing Provers on a Grid -- Framework Description

by Carlos Areces , Daniel Gorín , Alejandra Lorenzo , Mariano Pérez Rodríguez

Citations:

1 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Testing Provers on a Grid -- Framework Description	user correction
AUTHOR NAME	Carlos Areces	user correction
AUTHOR AFFIL	INRIA Nancy Grand Est	user correction
AUTHOR ADDR	France	user correction
AUTHOR NAME	Daniel Gorín	user correction
AUTHOR AFFIL	Université Henri Poincaré	user correction
AUTHOR ADDR	France	user correction
AUTHOR NAME	Alejandra Lorenzo	user correction
AUTHOR AFFIL	Université Nancy	user correction
AUTHOR ADDR	France	user correction
AUTHOR NAME	Mariano Pérez Rodríguez	user correction
AUTHOR AFFIL	Universidad de Buenos Aires	user correction
AUTHOR ADDR	Argentina	user correction
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.	user correction
CITATIONS	19 found	ParsCit 1.0