diff options
author | MichalMoskal <unknown> | 2011-02-23 03:54:37 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-02-23 03:54:37 +0000 |
commit | 4f9ad03f5d0d6d9a8dbd27adf25b83a3f50d7aa1 (patch) | |
tree | 211c84a7560a1ab91ab07f6d687ff21f9d83aa17 /Source/Provers/TPTP | |
parent | 8e1c309880067303b9fa847184338db682dc78de (diff) |
Check for timeout/memoryout
Diffstat (limited to 'Source/Provers/TPTP')
0 files changed, 0 insertions, 0 deletions