Index of /users/cek/frocos15

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[DIR]data/13-May-2015 18:56 -
[DIR]redirector/15-Apr-2015 16:00 -
[DIR]statistics/13-May-2015 18:54 -
[DIR]toolchain/13-May-2015 18:54 -
This is the source to the TSTP proof redirector and the experiment data accompanying the paper submitted to FroCoS'2015:
redirector/
Includes the source and binary of the TSTP proof redirector.
data/
The ATP inputs and outputs from which the statistics were generated.
statistics/
All the statistics tables, only small parts are included in the paper.
toolchain/
Contains a script used to run all the tools presented in the paper on a set of TPTP problems.