| 964d789c84935cf5a06235388a92cd421d1d739d |
|
17-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
decrease SPASS timelimit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12665 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d836177e78ba14c9d8a4b40e13fb9c3cecb61667 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
set a time limit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12655 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 88f2dee2a7114aa6e060352990f425c682513bf0 |
|
15-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
try different SPASS options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12652 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4ad2426ee4fd3df4da5932589285d037678064d6 |
|
06-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
move script up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10266 cec4b9c1-7d33-0410-9eda-942365e851bb |